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