Tool CPAchecker 1.4-svcomp16c
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 06:25:51 CET [[ 2016-01-15 08:31:02 CET ]] [[ 2016-01-15 21:59:57 CET ]]
Run set sv-comp16.Sequentialized
Options -sv-comp16-bam -disable-java-assertions -heap 10000m -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-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-bam.2016-01-04_0625.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 35   8.0 1100 28   16   800 12 7.0 340
systemc/kundu2_false-unreach-call_false-termination.cil.c 56   20   1900 25   14   680 13 7.2 330
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 4.3 1.8 240 7.9 4.4 350 15 12   350
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 7.1 2.5 400 8.1 4.5 360 12 9.1 320
systemc/pipeline_false-unreach-call_false-termination.cil.c 600   390   5700 59   34   2500 12 6.7 330
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 12   3.6 480 12   6.3 450 12 9.9 320
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 20   5.1 770 13   7.4 490 12 8.2 330
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 36   9.6 1000 16   8.5 530 13 7.6 340
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 97   56   4000 18   9.3 580 14 7.8 350
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 500   410   4500 18   9.3 660 13 9.4 330
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 900   710   7000
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 900   690   6700
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 900   660   7500
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 900   670   7500
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 900   720   6600
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 900   770   5500
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 900   750   6100
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 900   670   6800
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 910   720   6200
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 900   640   6900
systemc/toy1_false-unreach-call_false-termination.cil.c 900   840   3700
systemc/toy2_false-unreach-call_false-termination.cil.c 900   840   3800
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 8.8 2.8 430 8.9 4.9 400 12 7.3 320
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 17   4.7 660 9.3 5.1 420 12 6.9 330
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 34   8.6 950 13   7.0 470 13 7.1 330
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 62   24   2100 15   8.3 520 12 6.6 330
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 190   130   4500 18   9.5 600 13 8.1 330
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 900   690   6200
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 900   770   5200
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 900   700   6300
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 900   510   8100
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 910   510   8300
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 900   650   6600
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 900   620   7400
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 900   490   9700
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 45   11   1600 16   8.3 580 14 9.1 340
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 47   12   1600 15   7.8 600 15 9.2 330
systemc/bist_cell_true-unreach-call_false-termination.cil.c 17   4.3 680
systemc/kundu_true-unreach-call_false-termination.cil.c 94   46   4100
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 16   4.5 630
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 19   5.6 790
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 900   830   3700
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 26   7.5 870
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 900   830   3600
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 900   860   1600
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 900   780   4300
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 9.0 2.9 440
systemc/pipeline_true-unreach-call_false-termination.cil.c 910   630   6600
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 20   5.6 780
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 29   9.0 890
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 74   32   2900
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 200   110   4800
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 910   730   5700
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 900   710   7400
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 910   660   7100
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 900   650   7100
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 910   640   7800
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 900   750   6800
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 900   760   5500
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 910   730   6200
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 900   650   6800
systemc/toy_true-unreach-call_false-termination.cil.c 900   850   3700
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 30   8.0 950 14   7.4 510 13 11   340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 31   8.0 970 13   7.0 530 13 7.9 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 900   700   5900
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 900   700   6000
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 910   710   5900
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 910   720   5900
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 900   660   6100
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 910   660   6100
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   810   4100
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   810   4100
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c 47   17   1600 18   10   560 13 10   320
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 47   17   1600 17   9.1 550 12 7.2 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   830   4000
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   4300
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   840   4200
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c 900   830   4600
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   830   4400
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   840   4100
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   4000
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 900   830   3800
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   840   3700
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   3900
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 900   840   3900
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   830   3800
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 900   840   3700
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   830   4100
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 900   840   3600
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   840   3600
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   660   6200
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   650   6100
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 900   660   6300
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   690   6700
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   660   6700
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   640   6700
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 900   670   6800
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   650   6700
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   650   6800
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   650   7000
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 900   630   6300
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   650   6800
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 900   630   7000
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   640   7300
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c 900   640   7100
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   620   7100
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   680   6200
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   690   6200
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   670   6500
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   630   6100
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   660   7000
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   640   6800
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 900   620   7000
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   640   7100
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c 910   610   7700
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   610   7400
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 900   610   7700
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   610   7200
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 900   840   4100
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   4100
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   830   4400
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c 900   830   4100
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c 900   840   3700
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 900   840   3700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   830   3800
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 900   840   3800
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   840   3900
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 900   830   4000
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900   830   4100
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 900   840   3800
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 910   410   11000
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 910   410   11000
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 910   370   11000
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 900   410   10000
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 900   370   11000
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 900   420   11000
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 900   270   11000
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 910   420   11000
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c 910   350   11000
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c 910   400   11000
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 910   380   11000
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 910   410   11000
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 910   370   10000
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 910   400   10000
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 900   880   1600
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 900   880   1600
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 900   880   1600
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 900   880   1600
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 900   890   2700
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 900   890   2700
seq-mthreaded/rekh_ctm_false-unreach-call.2.c 900   860   3000
seq-mthreaded/rekh_ctm_false-unreach-call.3.c 480   440   2600 91   69   2100 64 38   930
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 910   640   7900
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 900   870   4900
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 900   870   2900
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 900   870   2900
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 900   700   5900
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 900   660   5800
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c 230   180   4000
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 210   160   4000
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   830   4400
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   830   4300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   830   3700
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   830   3800
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   840   3700
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   670   6200
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   650   6300
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   650   6800
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   660   6500
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   650   7000
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   640   6900
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c 900   610   7200
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 900   620   7100
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   680   6100
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   680   6100
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   670   6600
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   680   6300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   650   6800
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   650   6800
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c 900   610   7200
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 900   630   7000
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c 900   610   7400
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 910   610   7700
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c 900   620   7400
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 900   610   7300
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 900   840   4000
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900   830   3700
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 900   830   3700
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900   840   3600
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900   840   3700
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 910   370   11000
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 910   420   11000
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 900   390   11000
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 910   420   10000
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c 900   330   11000
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c 910   340   11000
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c 910   390   11000
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c 900   410   11000
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 910   370   11000
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 900   400   11000
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 910   390   11000
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 910   410   10000
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 910   420   11000
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 910   400   10000
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 900   880   1600
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 900   880   1600
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 900   890   2700
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 900   880   2700
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 900   880   2900
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 900   880   2900
seq-mthreaded/rekh_ctm_true-unreach-call.1.c 900   850   4600
seq-mthreaded/rekh_ctm_true-unreach-call.2.c 900   860   2200
seq-mthreaded/rekh_ctm_true-unreach-call.3.c 900   870   2200
seq-mthreaded/rekh_ctm_true-unreach-call.4.c 900   760   5100
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 900   860   2700
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 900   790   6200
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 900   880   1300
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 900   880   1300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 900   870   2900
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 900   870   2900
seq-pthread/cs_fib_false-unreach-call.i 900   870   3100
seq-pthread/cs_fib_longer_false-unreach-call.i 900   880   2800
seq-pthread/cs_lazy_false-unreach-call.i 900   750   5700
seq-pthread/cs_queue_false-unreach-call.i 900   840   6500
seq-pthread/cs_read_write_lock_false-unreach-call.i 910   750   6200
seq-pthread/cs_stack_false-unreach-call.i 900   860   3700
seq-pthread/cs_stateful_false-unreach-call.i 900   860   4900
seq-pthread/cs_dekker_true-unreach-call.i 900   880   1700
seq-pthread/cs_fib_longer_true-unreach-call.i 900   870   5200
seq-pthread/cs_fib_true-unreach-call.i 900   870   4300
seq-pthread/cs_lamport_true-unreach-call.i 900   880   1600
seq-pthread/cs_peterson_true-unreach-call.i 900   880   2000
seq-pthread/cs_queue_true-unreach-call.i 560   500   15000
seq-pthread/cs_read_write_lock_true-unreach-call.i 900   790   5300
seq-pthread/cs_stack_true-unreach-call.i 900   870   2800
seq-pthread/cs_stateful_true-unreach-call.i 900   870   2600
seq-pthread/cs_sync_true-unreach-call.i 900   870   2100
seq-pthread/cs_szymanski_true-unreach-call.i 900   880   1600
seq-pthread/cs_time_var_mutex_true-unreach-call.i 900   880   2000
../../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 210000 160000 1400000 261 450   270   15000   261 330   210   7900  
    correct results 32 2800 1700 61000 21 360   200   13000   21 270   180   7000  
        correct true 11 930 570 24000 0 0   0   0   20 0   0   0  
        correct false 21 1900 1200 37000 21 360   200   13000   1 270   180   7000  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (261 tasks, max score: 364) 43
Run set sv-comp16.Sequentialized