Tool CPAchecker 1.4-svn 18373
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-22-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-04 20:04:07 CET [[ 2016-01-15 08:41:31 CET ]] [[ 2016-01-15 22:05:37 CET ]]
Run set sv-comp16.Sequentialized
Options -sv-comp16--refsel -disable-java-assertions -heap 12500m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-refsel.2016-01-04_2004.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 9.3 2.9 450 14   7.3 490 31 18   520
systemc/kundu2_false-unreach-call_false-termination.cil.c 11   3.5 470 13   7.1 480 37 21   590
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 4.9 2.1 240 7.5 4.3 350 15 8.9 350
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 5.5 2.2 250 8.1 4.5 360 23 14   500
systemc/pipeline_false-unreach-call_false-termination.cil.c 87   37   2600 39   21   920 92 51   3000
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 9.0 3.3 400 9.8 5.4 400 28 17   460
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 12   4.2 440 12   6.3 440 37 20   700
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 19   5.6 650 15   7.8 500 48 27   730
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 26   7.8 840 15   7.9 570 68 38   910
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 900   850   2100
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 900   840   1900
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 900   840   2000
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 900   820   2600
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 900   820   2600
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 900   820   2600
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 900   820   2600
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 900   820   2500
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 900   840   2600
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 900   820   2500
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 900   830   2200
systemc/toy1_false-unreach-call_false-termination.cil.c 8.7 2.9 440 12   6.5 500 48 26   800
systemc/toy2_false-unreach-call_false-termination.cil.c 10   3.4 440 13   6.9 500 49 26   820
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 6.8 2.5 270 8.9 4.9 370 27 15   510
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 9.3 3.0 420 10   5.6 440 32 18   540
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 11   3.5 460 11   5.8 470 45 25   690
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 17   4.3 670 13   7.1 530 54 30   810
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 780   710   1600 16   8.4 550 80 45   1100
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 900   830   2200
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 910   830   2300
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 900   830   2600
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 900   830   2200
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 900   820   2400
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 900   810   2600
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 900   810   2700
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 900   800   2600
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 11   3.2 450 12   6.6 520 83 50   1400
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 8.8 2.8 450 15   7.9 540 89 54   1300
systemc/bist_cell_true-unreach-call_false-termination.cil.c 4.7 2.0 220
systemc/kundu_true-unreach-call_false-termination.cil.c 26   7.8 960
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 6.7 2.5 260
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 7.3 2.7 280
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 8.2 2.9 300
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 8.7 3.1 320
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 10   3.3 350
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 910   830   2800
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 900   850   1800
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 5.4 2.1 230
systemc/pipeline_true-unreach-call_false-termination.cil.c 900   830   5500
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 7.0 3.0 280
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 10   4.1 330
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 12   5.0 490
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 23   8.3 750
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 900   850   2500
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 900   840   1800
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 900   830   2300
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 900   820   2700
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 900   820   2600
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 900   820   2700
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 900   810   2600
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 900   830   2400
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 900   830   2100
systemc/toy_true-unreach-call_false-termination.cil.c 900   620   7700
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 9.3 3.0 450 15   7.9 520 29 17   450
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 11   3.4 450 15   8.3 490 25 14   510
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 83   53   1600 19   10   640 34 20   540
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 86   54   1400 19   10   640 34 18   560
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 90   62   1300 20   11   610 32 17   560
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 87   61   2400 19   10   620 29 16   520
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 900   850   2400
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 900   850   1300
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   850   1500
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   850   1500
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c 100   70   4600 22   11   640 52 28   860
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 100   70   4800 20   11   620 50 28   800
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   840   2400
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   840   2300
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 900   850   1700
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   850   1300
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c 900   850   1400
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   850   1400
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c 900   850   1400
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   850   1400
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   830   2700
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   2700
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 900   810   5900
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   800   6400
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 900   800   6200
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   810   5800
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 900   800   6200
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   800   6000
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   850   1800
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   850   1800
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 900   830   5700
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   820   5800
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 900   820   5800
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   820   5500
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 900   820   5800
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   820   5600
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   870   800
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   800
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 900   870   800
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   870   820
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   820
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 900   880   810
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   820
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 900   870   1300
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 900   870   820
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   820
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   870   810
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   870   790
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   780
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   870   760
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   800
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   870   790
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   790
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 900   880   770
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   870   760
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c 900   880   770
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   880   750
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 900   880   790
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   880   790
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   840   2600
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   840   2200
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 900   850   1300
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   860   1200
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c 900   860   1600
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   860   1500
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c 900   860   1600
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   860   1700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   830   2700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   2700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 900   810   6100
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   800   6200
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 900   810   5700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   810   5800
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 900   800   6000
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   810   5900
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   850   2000
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   850   1900
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 900   820   5600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   820   6000
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 900   820   5900
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   820   5700
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 900   820   5800
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   820   5700
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 90   64   1400
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 900   870   2400
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 120   95   1100
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 900   870   2400
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 170   150   1900
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 900   870   4700
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 150   130   1400
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 900   860   4300
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c 900   860   6900
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c 900   860   8500
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 69   47   980
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 900   870   2000
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 90   68   1100
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 900   870   2200
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 170   170   960
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 160   150   980
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 190   180   960
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 170   160   970
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 83   65   1300
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 85   68   1200
seq-mthreaded/rekh_ctm_false-unreach-call.2.c 900   870   1700
seq-mthreaded/rekh_ctm_false-unreach-call.3.c 900   880   1500
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 74   45   1700
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 120   81   3100
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 900   880   970
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 900   880   970
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 900   850   2000
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 900   850   2100
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c 900   810   6600
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 900   800   6600
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   850   1400
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   860   1800
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   810   6100
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   800   6200
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   820   5700
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   810   5900
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   870   830
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   870   840
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   870   840
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   870   840
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   870   810
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c 900   870   830
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 900   870   830
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   870   780
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   860   790
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   870   800
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   870   770
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   870   800
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   870   790
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c 900   870   760
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 900   880   770
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c 900   880   750
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 900   880   770
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c 900   880   800
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 900   880   800
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   860   1600
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   850   1400
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   820   5700
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   810   5800
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 910   820   5800
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   820   5800
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 85   63   1500
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 900   870   2400
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 160   130   1900
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 900   860   4600
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c 900   860   7600
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c 900   860   7700
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c 900   860   8600
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c 900   820   9700
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 68   47   970
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 900   870   1900
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 74   50   1000
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 900   870   2000
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 90   67   1100
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 900   870   2200
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 170   160   960
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 160   150   960
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 84   66   1300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 87   69   1200
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 92   74   1400
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 92   74   1400
seq-mthreaded/rekh_ctm_true-unreach-call.1.c 900   870   1700
seq-mthreaded/rekh_ctm_true-unreach-call.2.c 900   870   1600
seq-mthreaded/rekh_ctm_true-unreach-call.3.c 900   880   1600
seq-mthreaded/rekh_ctm_true-unreach-call.4.c 900   870   1600
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 77   44   1700
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 120   83   3100
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 900   880   900
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 540   530   900
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 900   890   960
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 900   880   980
seq-pthread/cs_fib_false-unreach-call.i 500   490   660
seq-pthread/cs_fib_longer_false-unreach-call.i 300   290   620
seq-pthread/cs_lazy_false-unreach-call.i 900   880   3300
seq-pthread/cs_queue_false-unreach-call.i 900   880   2500
seq-pthread/cs_read_write_lock_false-unreach-call.i 900   890   2000
seq-pthread/cs_stack_false-unreach-call.i 900   860   5300
seq-pthread/cs_stateful_false-unreach-call.i 900   880   2800
seq-pthread/cs_dekker_true-unreach-call.i 900   900   870
seq-pthread/cs_fib_longer_true-unreach-call.i 900   900   1800
seq-pthread/cs_fib_true-unreach-call.i 900   900   1600
seq-pthread/cs_lamport_true-unreach-call.i 900   900   990
seq-pthread/cs_peterson_true-unreach-call.i 900   900   1100
seq-pthread/cs_queue_true-unreach-call.i 900   890   5200
seq-pthread/cs_read_write_lock_true-unreach-call.i 900   900   1000
seq-pthread/cs_stack_true-unreach-call.i 900   900   1100
seq-pthread/cs_stateful_true-unreach-call.i 900   900   1100
seq-pthread/cs_sync_true-unreach-call.i 900   900   960
seq-pthread/cs_szymanski_true-unreach-call.i 900   900   1000
seq-pthread/cs_time_var_mutex_true-unreach-call.i 900   900   980
../../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 180000 170000 590000 261 390   210   14000   261 1200   660   21000  
    correct results 38 1700 1200 33000 26 390   210   14000   25 1200   660   21000  
        correct true 12 130 47 4800 0 0   0   0   0 0   0   0  
        correct false 26 1600 1200 29000 26 390   210   14000   25 1200   660   21000  
    incorrect results 2 790 780 1300 0 0   0   0   0 0   0   0  
        incorrect true 2 790 780 1300 0 0   0   0   0 0   0   0  
        incorrect false 0
score (261 tasks, max score: 364) -14
Run set sv-comp16.Sequentialized