Tool ULTIMATE Kojak fd30d3d8
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-08 15:10:30 CET [[ 2016-01-15 09:49:48 CET ]] [[ 2016-01-15 22:43:29 CET ]]
Run set sv-comp16.Sequentialized
Options [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c timeout 49   930   940 wit - -
systemc/kundu2_false-unreach-call_false-termination.cil.c timeout 65   930   900 wit - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 10   3.0 330 wit false(reach) 7.9 4.4 360 false(reach) 16 8.7 360
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) 12   3.2 350 wit false(reach) 9.2 5.1 370 false(reach) 24 13   500
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 30   930   560 wit - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c timeout 35   930   510 wit - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c timeout 49   930   760 wit - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 47   930   860 wit - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 39   930   760 wit - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 46   930   710 wit - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 36   930   740 wit - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 35   930   590 wit - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 36   930   590 wit - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 38   930   760 wit - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 37   930   590 wit - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 39   930   770 wit - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 41   930   820 wit - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 43   930   770 wit - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 43   930   710 wit - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 43   930   800 wit - -
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 67   930   1300 wit - -
systemc/toy2_false-unreach-call_false-termination.cil.c timeout 69   930   970 wit - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) 16   4.4 360 wit false(reach) 11   5.8 390 false(reach) 21 12   500
systemc/transmitter.02_false-unreach-call_false-termination.cil.c timeout 41   930   690 wit - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c timeout 48   930   590 wit - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 43   930   740 wit - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 42   930   700 wit - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 41   930   700 wit - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 35   930   700 wit - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 38   930   660 wit - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 39   930   780 wit - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 41   930   620 wit - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 39   930   670 wit - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 39   930   600 wit - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 41   930   770 wit - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 28   6.8 540 wit false(reach) 19   10   670 false(reach) 74 44   1500
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 28   6.9 540 wit false(reach) 21   11   730 false(reach) 82 50   1100
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 41   930   740 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 62   930   1100 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 91   930   1700 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 97   930   1400 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 83   930   1500 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 97   930   1400 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 95   930   1400 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 53   930   920 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 44   930   770 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 40   930   700 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 32   930   530 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 38   930   580 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 39   930   720 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 50   930   800 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 42   930   770 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 39   930   730 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 38   930   690 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 38   930   700 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 34   930   690 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 37   930   640 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 37   930   600 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 38   930   810 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 41   930   640 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 40   930   820 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c timeout 67   930   1400 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 67   930   940 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 50   930   860 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c timeout 54   930   910 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c timeout 47   930   680 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 67   930   1000 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c timeout 58   930   1100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 62   930   1100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 62   930   1000 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 49   930   880 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 46   930   680 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 50   930   1000 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 48   930   880 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 93   930   1100 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 120   930   1400 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 32   12   570 wit false(reach) 18   9.8 590 false(reach) 36 22   690
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 31   11   660 wit false(reach) 17   9.0 530 error 68 54   630
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c timeout 120   930   1400 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 90   930   1200 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c timeout 85   930   1100 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 91   930   1200 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 90   930   1000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 110   930   1400 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 100   930   1200 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 91   930   1000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 100   930   1300 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 97   930   1200 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 100   930   1300 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 86   930   1300 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 52   930   840 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 43   930   660 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 50   930   760 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 43   930   760 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 51   930   780 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 43   930   650 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 48   930   760 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 44   930   640 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 100   930   1300 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 110   930   1200 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c timeout 110   930   1500 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 96   930   860 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 120   930   1600 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 120   930   860 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 80   930   930 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 110   930   1200 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 97   930   1100 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 87   930   1100 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 89   930   910 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 130   930   1000 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 65   930   830 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 64   930   790 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c timeout 64   930   780 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 68   930   1100 wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 110   930   1500 wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 110   930   1300 wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 99   930   1700 wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 140   930   760 wit - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 100   930   790 wit - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 160   930   1300 wit - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 85   930   1300 wit - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 89   930   1100 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c timeout 110   930   1300 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 110   930   1200 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c timeout 120   930   1200 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 110   930   990 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 120   930   1400 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 120   930   1000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 47   18   740 wit false(reach) 20   11   610 error 51 38   750
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 43   18   700 wit false(reach) 20   11   630 false(reach) 27 15   500
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c timeout 120   930   1300 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 110   930   1000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c timeout 110   930   870 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 110   930   1100 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 110   930   1500 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 120   930   1000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 110   930   1800 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 100   930   1600 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 110   930   1400 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 100   930   1500 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 110   930   1800 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 110   930   1300 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 41   930   690 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 41   930   670 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 45   930   840 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 42   930   750 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 44   930   800 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 44   930   820 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 43   930   830 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 44   930   660 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 40   930   920 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error 54   26   1400 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 43   930   920 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error 55   26   2100 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 45   930   1500 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error 75   43   3400 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 45   930   1500 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error 74   43   3900 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c timeout 100   930   4800 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c error 65   33   4200 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 100   930   1400 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error 49   22   1100 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 40   930   810 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error 49   23   1200 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error 43   10   1000 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error 48   10   840 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error 43   10   910 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error 47   10   860 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error 64   17   1600 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error 73   17   1800 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c timeout 67   930   1300 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c error 63   16   1200 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 65   930   2000 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 89   930   3600 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error 39   9.6 880 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error 43   9.7 810 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 71   930   1100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 64   930   740 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 47   930   960 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 50   930   920 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 99   930   1600 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 89   930   1200 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 92   930   960 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 110   930   1400 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 52   930   700 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 41   930   670 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 110   930   1600 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 100   930   770 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 130   930   1700 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 130   930   1200 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 120   930   1000 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 88   930   1100 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 66   930   890 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 67   930   790 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 100   930   1200 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 110   930   900 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 83   930   1100 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 120   930   810 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 100   930   890 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 130   930   1300 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 86   930   1100 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 90   930   1000 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c timeout 110   930   1000 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 100   930   1000 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c timeout 120   930   1200 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 120   930   1600 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 110   930   1000 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 100   930   1000 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 97   930   1400 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 100   930   1500 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 42   930   790 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 41   930   800 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 41   930   830 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error 55   26   2100 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 44   930   1100 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error 75   44   3100 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c timeout 100   930   4400 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c timeout 110   930   4800 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c error 63   33   2900 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c error 73   37   4600 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 57   930   1000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error 50   22   1300 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 36   930   710 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error 51   23   1200 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 37   930   800 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error 52   24   1200 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error 40   9.6 780 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error 47   10   900 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error 63   16   2000 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error 71   17   1600 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error 65   17   1400 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error 65   15   1600 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c timeout 68   930   1600 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c timeout 70   930   1300 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c error 59   16   1100 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c timeout 70   930   1800 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 66   930   2600 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 89   930   3000 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error 110   79   1300 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error 57   26   750 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error 42   9.7 960 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error 42   9.6 810 wit - -
seq-pthread/cs_fib_false-unreach-call.i error 7.9 2.4 310 wit - -
seq-pthread/cs_fib_longer_false-unreach-call.i error 8.5 2.5 320 wit - -
seq-pthread/cs_lazy_false-unreach-call.i timeout 37   930   590 wit - -
seq-pthread/cs_queue_false-unreach-call.i error 60   31   5700 wit - -
seq-pthread/cs_read_write_lock_false-unreach-call.i error 8.6 2.5 310 wit - -
seq-pthread/cs_stack_false-unreach-call.i error 8.8 2.6 330 wit - -
seq-pthread/cs_stateful_false-unreach-call.i timeout 37   930   740 wit - -
seq-pthread/cs_dekker_true-unreach-call.i timeout 72   930   1400 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i error 7.6 2.3 310 wit - -
seq-pthread/cs_fib_true-unreach-call.i error 8.4 2.4 320 wit - -
seq-pthread/cs_lamport_true-unreach-call.i timeout 71   930   1000 wit - -
seq-pthread/cs_peterson_true-unreach-call.i timeout 74   930   1500 wit - -
seq-pthread/cs_queue_true-unreach-call.i error 45   30   5400 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i error 8.1 2.4 330 wit - -
seq-pthread/cs_stack_true-unreach-call.i error 9.6 2.9 330 wit - -
seq-pthread/cs_stateful_true-unreach-call.i timeout 38   930   690 wit - -
seq-pthread/cs_sync_true-unreach-call.i timeout 47   930   1000 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i timeout 85   930   1300 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 62   930   1300 wit - -
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 261 17000 190000 300000 261 140 77 4900 261 400 260 6600
    correct results 9 250 84 4800 9 140 77 4900 7 400 260 6600
        correct true 0
        correct false 9 250 84 4800 9 140 77 4900 7 400 260 6600
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (261 tasks, max score: 364) 9
Run set sv-comp16.Sequentialized