Tool DepthK ESBMC+DepthK version 2.1
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-05 14:06:34 CET [[ 2016-01-15 09:00:06 CET ]] [[ 2016-01-15 22:17:52 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/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmcdepthk.2016-01-05_1406.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 witness timeout 5.0  3.4  170 wit timeout 91   70   3900 true 12 8.3 320
systemc/kundu2_false-unreach-call_false-termination.cil.c witness timeout 4.9  3.1  170 wit timeout 91   68   2100 true 12 7.0 330
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 3.8  2.0  160 wit false(reach) 8.3 4.6 360 true 13 7.6 340
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) 4.0  2.2  170 wit false(reach) 7.5 4.2 390 true 14 7.8 330
systemc/pipeline_false-unreach-call_false-termination.cil.c witness timeout 49    48    350 wit timeout 90   70   2000 true 14 8.9 340
systemc/token_ring.01_false-unreach-call_false-termination.cil.c witness timeout 4.7  2.9  170 wit timeout 91   70   2900 true 12 7.2 320
systemc/token_ring.02_false-unreach-call_false-termination.cil.c witness timeout 5.0  3.5  180 wit timeout 91   67   2800 true 13 8.0 330
systemc/token_ring.03_false-unreach-call_false-termination.cil.c witness timeout 7.1  5.3  180 wit timeout 91   66   3000 true 13 8.2 340
systemc/token_ring.04_false-unreach-call_false-termination.cil.c witness timeout 8.3  6.4  180 wit timeout 91   66   2900 true 13 7.9 340
systemc/token_ring.05_false-unreach-call_false-termination.cil.c witness timeout 9.8  8.0  180 wit timeout 90   66   2600 true 14 7.9 340
systemc/token_ring.06_false-unreach-call_false-termination.cil.c witness timeout 12    10    180 wit timeout 91   65   2800 true 13 7.4 330
systemc/token_ring.07_false-unreach-call_false-termination.cil.c witness timeout 14    12    180 wit timeout 91   69   2900 true 15 8.3 330
systemc/token_ring.08_false-unreach-call_false-termination.cil.c witness timeout 19    18    180 wit timeout 91   68   2900 true 15 8.9 350
systemc/token_ring.09_false-unreach-call_false-termination.cil.c witness timeout 22    20    190 wit timeout 91   69   2800 true 16 9.8 340
systemc/token_ring.10_false-unreach-call_false-termination.cil.c witness timeout 30    28    190 wit timeout 90   65   2900 true 14 7.7 340
systemc/token_ring.11_false-unreach-call_false-termination.cil.c witness timeout 36    34    190 wit timeout 91   65   2900 true 17 9.8 330
systemc/token_ring.12_false-unreach-call_false-termination.cil.c witness timeout 45    43    220 wit timeout 90   62   2800 true 17 9.7 350
systemc/token_ring.13_false-unreach-call_false-termination.cil.c witness timeout 52    50    250 wit timeout 91   66   2800 true 17 9.9 340
systemc/token_ring.14_false-unreach-call_false-termination.cil.c witness timeout 44    42    220 wit timeout 91   63   2700 true 14 7.9 340
systemc/token_ring.15_false-unreach-call_false-termination.cil.c witness timeout 52    50    250 wit timeout 91   69   2900 true 15 9.0 330
systemc/toy1_false-unreach-call_false-termination.cil.c witness timeout 5.7  3.8  180 wit timeout 91   71   1300 true 14 9.5 330
systemc/toy2_false-unreach-call_false-termination.cil.c witness timeout 5.4  3.6  180 wit timeout 91   70   1600 true 12 7.7 330
systemc/transmitter.01_false-unreach-call_false-termination.cil.c witness timeout 4.1  2.2  170 wit timeout 91   70   2900 true 14 7.6 350
systemc/transmitter.02_false-unreach-call_false-termination.cil.c witness timeout 4.5  2.7  170 wit timeout 90   73   1600 true 12 7.4 330
systemc/transmitter.03_false-unreach-call_false-termination.cil.c witness timeout 4.7  2.9  180 wit timeout 91   70   1400 true 12 6.6 350
systemc/transmitter.04_false-unreach-call_false-termination.cil.c witness timeout 5.0  3.1  170 wit timeout 91   70   1400 true 13 9.2 320
systemc/transmitter.05_false-unreach-call_false-termination.cil.c witness timeout 5.5  3.8  180 wit timeout 91   71   1400 true 14 8.7 320
systemc/transmitter.06_false-unreach-call_false-termination.cil.c witness timeout 5.9  4.1  180 wit timeout 91   69   1300 true 13 7.3 360
systemc/transmitter.07_false-unreach-call_false-termination.cil.c witness timeout 7.2  5.3  180 wit timeout 91   68   1300 true 16 9.1 350
systemc/transmitter.08_false-unreach-call_false-termination.cil.c witness timeout 8.3  6.4  180 wit timeout 91   67   1100 true 15 9.2 340
systemc/transmitter.09_false-unreach-call_false-termination.cil.c witness timeout 9.2  7.2  180 wit timeout 91   67   1500 true 14 8.2 330
systemc/transmitter.10_false-unreach-call_false-termination.cil.c witness timeout 9.9  7.8  180 wit timeout 91   66   1500 true 15 8.6 350
systemc/transmitter.11_false-unreach-call_false-termination.cil.c witness timeout 11    9.1  190 wit timeout 91   67   1600 true 16 9.5 350
systemc/transmitter.12_false-unreach-call_false-termination.cil.c witness timeout 12    10    190 wit timeout 91   68   1600 true 18 10   360
systemc/transmitter.13_false-unreach-call_false-termination.cil.c witness timeout 14    12    190 wit timeout 90   63   1700 true 16 9.3 350
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 7.2  4.9  190 wit false(reach) 16   8.8 610 true 15 8.9 330
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 8.1  5.9  190 wit false(reach) 18   9.4 620 true 13 7.6 340
systemc/bist_cell_true-unreach-call_false-termination.cil.c unknown 890    900    560 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c unknown 890    900    680 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c unknown 890    900    530 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c unknown 890    900    510 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c unknown 890    900    450 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c unknown 890    900    430 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c unknown 890    900    500 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 890    900    570 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unknown 890    900    730 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c unknown 890    900    810 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 890    900    2500 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c unknown 890    900    740 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c unknown 890    900    470 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c unknown 890    900    400 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c unknown 890    900    450 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c unknown 890    900    560 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c unknown 890    900    570 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c unknown 900    900    530 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c unknown 890    900    640 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c unknown 890    900    780 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c unknown 890    900    920 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c unknown 890    900    1000 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c unknown 890    900    1000 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c unknown 890    900    1300 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c unknown 890    900    650 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 4.1  2.5  180 wit timeout 91   68   2200 true 13 7.7 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 5.0  3.0  180 wit false(reach) 16   8.8 580 true 14 8.7 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c witness timeout 5.7  3.7  180 wit timeout 91   68   2700 true 15 9.4 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c witness timeout 4.2  2.6  180 wit timeout 91   67   2700 true 16 10   330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c witness timeout 5.7  3.7  180 wit timeout 91   68   1700 true 14 8.1 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c witness timeout 5.4  3.3  180 wit timeout 91   68   2700 true 16 8.8 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c witness timeout 7.0  4.9  180 wit timeout 91   68   2800 true 14 7.7 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c witness timeout 6.3  4.7  180 wit timeout 91   68   2000 true 15 10   330
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 6.1  4.5  170 wit timeout 91   69   2700 true 15 10   330
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 6.3  4.5  180 wit timeout 91   68   2400 true 13 7.4 340
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 5.9  4.3  180 wit timeout 91   72   3800 true 16 9.0 340
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 6.1  4.3  180 wit timeout 91   67   1600 true 14 9.6 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 6.0  3.9  180 wit timeout 91   68   3800 true 16 9.2 350
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 5.4  3.6  180 wit false(reach) 16   8.5 560 true 14 8.2 350
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 5.1  3.3  180 wit false(reach) 16   8.7 540 true 15 8.9 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 5.0  3.1  180 wit timeout 90   67   1700 true 13 7.9 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness timeout 5.8  3.9  180 wit timeout 91   69   3600 true 14 8.1 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 4.6  3.0  180 wit timeout 91   69   1300 true 14 7.8 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness timeout 6.3  4.4  180 wit timeout 91   69   3300 true 14 9.1 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 5.7  3.7  180 wit timeout 91   71   2100 true 16 9.3 350
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 11    8.8  190 wit timeout 91   68   3800 true 17 9.2 360
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 9.6  7.7  190 wit timeout 91   67   2300 true 15 8.6 340
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 9.4  7.3  190 wit timeout 91   69   3500 true 20 11   380
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 8.3  6.2  190 wit timeout 90   66   1400 true 14 7.9 350
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 9.7  7.5  190 wit timeout 91   69   3900 true 17 11   360
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 11    8.5  190 wit timeout 91   67   2700 true 17 9.6 340
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 10    8.0  190 wit timeout 91   69   3800 true 16 9.9 360
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 10    7.9  190 wit timeout 91   68   2400 true 17 9.6 350
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 24    22    210 wit timeout 91   65   3800 true 21 14   470
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 29    26    210 wit timeout 91   66   3300 true 22 13   480
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 27    24    210 wit timeout 91   67   3700 true 22 12   480
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 22    20    210 wit timeout 91   68   1300 true 21 13   480
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 25    23    210 wit timeout 91   65   3800 true 20 11   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 28    26    210 wit timeout 91   67   3900 true 21 12   480
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 29    26    210 wit timeout 91   67   3800 true 22 13   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 30    27    210 wit timeout 91   67   2200 true 20 12   360
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 4.6  2.9  170 wit timeout 91   68   2900 true 11 6.8 330
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 5.5  3.7  170 wit timeout 91   68   2600 true 14 8.1 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness timeout 4.7  3.1  170 wit timeout 91   68   3200 true 11 6.6 330
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 5.4  3.7  170 wit timeout 91   69   2700 true 13 7.3 340
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 5.5  3.5  180 wit timeout 91   67   2800 true 14 8.7 330
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 6.4  4.7  180 wit timeout 91   68   2600 true 14 9.9 330
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 4.9  3.2  170 wit timeout 91   69   2800 true 14 8.8 340
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 6.9  5.3  170 wit timeout 91   68   2700 true 12 6.6 360
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 6.1  4.3  180 wit timeout 91   67   3600 true 15 8.2 330
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 13    11    180 wit timeout 91   66   2600 true 14 8.1 330
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 6.5  4.6  180 wit timeout 91   69   3500 true 14 7.9 340
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 13    11    180 wit timeout 91   66   3500 true 14 8.5 320
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness timeout 7.3  5.3  180 wit timeout 91   68   2800 true 14 8.8 330
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 37    35    180 wit timeout 91   67   3000 true 14 8.6 330
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c witness timeout 6.9  5.0  180 wit timeout 91   65   2800 true 16 10   350
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 30    28    180 wit timeout 91   66   2600 true 13 6.9 350
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 4.7  2.9  170 wit timeout 91   68   2900 true 12 7.5 320
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 4.2  2.7  180 wit timeout 91   67   2600 true 12 7.8 320
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 5.1  3.4  170 wit timeout 91   68   3400 true 13 8.3 330
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 6.4  4.5  170 wit timeout 91   67   2700 true 14 8.3 340
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 5.7  3.8  170 wit timeout 91   67   3300 true 14 9.1 330
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 8.2  6.5  170 wit timeout 91   66   3600 true 14 8.3 330
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness timeout 6.2  4.3  180 wit timeout 91   65   2800 true 14 9.3 330
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 14    13    180 wit timeout 91   67   3200 true 13 7.1 350
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c witness timeout 7.6  5.5  190 wit timeout 91   66   3100 true 15 9.2 330
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 25    23    180 wit timeout 91   67   3100 true 13 7.5 330
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c witness timeout 10    8.3  180 wit timeout 91   68   4000 true 14 7.9 330
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 53    51    180 wit timeout 91   66   3200 true 16 9.0 340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 6.1  4.3  180 wit timeout 91   68   3700 true 15 9.9 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 6.2  4.2  180 wit timeout 91   68   1800 true 14 9.1 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 5.9  3.9  180 wit false(reach) 17   9.3 570 true 12 7.5 340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 4.8  2.8  180 wit timeout 91   69   2000 true 14 8.0 340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness timeout 6.2  4.3  170 wit timeout 91   67   3400 true 16 9.2 350
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 5.8  3.8  180 wit timeout 91   70   2300 true 14 7.9 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness timeout 6.7  4.6  180 wit timeout 91   67   3500 true 14 7.7 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 6.2  4.1  180 wit timeout 91   68   2300 true 14 7.9 330
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 10    8.2  190 wit timeout 91   69   3800 true 15 8.6 360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 11    8.8  190 wit timeout 91   67   2500 true 15 9.6 360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 10    8.1  190 wit timeout 91   71   3800 true 17 10   360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 9.4  7.1  190 wit timeout 91   67   2300 true 16 11   350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 10    8.2  190 wit timeout 91   67   3800 true 15 8.2 380
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 12    9.5  190 wit timeout 91   65   1700 true 17 10   350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 12    9.4  190 wit timeout 91   67   3900 true 17 9.7 370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 12    9.5  200 wit timeout 91   68   2400 true 15 8.7 350
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 27    24    210 wit timeout 91   68   3700 true 20 11   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 34    31    210 wit timeout 92   68   3600 true 19 11   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 31    29    210 wit timeout 91   67   3700 true 22 13   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 24    21    210 wit timeout 91   68   2200 true 21 12   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 29    27    220 wit timeout 90   63   3700 true 18 11   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 33    30    210 wit timeout 91   64   3300 true 22 12   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 41    39    210 wit timeout 91   68   3700 true 21 12   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 33    30    210 wit timeout 91   64   3500 true 22 13   480
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c unknown .71 .73 66 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c unknown 5.2  5.2  430 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c unknown .89 .91 67 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c unknown 5.3  5.3  440 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c unknown 1.2  1.2  88 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c unknown 5.6  5.6  500 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c unknown 1.2  1.2  88 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c unknown 5.9  5.9  500 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c unknown 890    900    1800 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c unknown 900    900    5000 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c unknown .74 .75 56 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c unknown 4.7  4.7  400 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c unknown .85 .87 62 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c unknown 4.7  4.7  420 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c unknown 1.2  1.2  88 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c unknown 1.2  1.3  88 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c unknown 1.2  1.3  89 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c unknown 1.3  1.3  90 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c unknown 1.6  1.7  140 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c unknown 1.8  1.8  140 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c unknown 900    900    1200 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c unknown 900    900    1900 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c unknown .92 .94 64 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c unknown .93 .95 64 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c unknown 1.1  1.1  75 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c unknown 1.1  1.1  75 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 1.9  2.0  51 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    410 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c true 1.2  1.3  48 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    400 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 1.6  1.6  42 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    330 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 55    55    79 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    110 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 890    900    160 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    200 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 1.0  1.0  31 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    220 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 2.1  2.1  40 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    180 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 5.4  5.5  53 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    140 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c true 19    19    68 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    120 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c true .82 .85 30 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    160 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 1.5  1.5  37 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 690    690    290 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 3.4  3.4  48 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    320 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c true 8.7  8.7  61 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    240 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c true 20    20    79 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    180 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c true 74    74    99 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    160 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 1.6  1.7  44 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    330 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 40    40    87 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    130 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 890    900    170 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    200 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c unknown .88 .89 66 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c unknown 5.1  5.1  430 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c unknown .94 .96 88 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c unknown 5.9  5.9  500 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c unknown 890    900    1800 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c unknown 900    900    1800 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c unknown 900    900    5000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c unknown 900    900    13000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c unknown .79 .81 56 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c unknown 4.5  4.5  400 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c unknown .82 .85 58 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c unknown 5.0  5.1  410 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c unknown .93 .96 62 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c unknown 4.7  4.8  420 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c unknown 1.2  1.2  88 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c unknown 1.1  1.2  88 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c unknown 1.8  1.8  140 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c unknown 1.7  1.7  140 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c unknown 1.9  1.9  140 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c unknown 1.8  1.8  140 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c unknown 890    900    1200 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c unknown 890    900    1200 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c unknown 890    900    2000 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c unknown 900    900    3000 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c unknown .85 .87 64 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c unknown .86 .88 64 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c unknown .69 .71 65 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c unknown .96 .98 66 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c unknown 1.1  1.1  75 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c unknown .79 .81 75 wit - -
seq-pthread/cs_fib_false-unreach-call.i unknown 890    900    120 wit - -
seq-pthread/cs_fib_longer_false-unreach-call.i unknown 890    900    190 wit - -
seq-pthread/cs_lazy_false-unreach-call.i unknown .48 .50 34 wit - -
seq-pthread/cs_queue_false-unreach-call.i unknown .92 .93 66 wit - -
seq-pthread/cs_read_write_lock_false-unreach-call.i witness timeout 19    17    190 wit timeout 91   71   2500 error 11 6.4 320
seq-pthread/cs_stack_false-unreach-call.i unknown .67 .69 41 wit - -
seq-pthread/cs_stateful_false-unreach-call.i unknown .56 .57 34 wit - -
seq-pthread/cs_dekker_true-unreach-call.i unknown 890    900    200 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i unknown 890    900    190 wit - -
seq-pthread/cs_fib_true-unreach-call.i unknown 890    900    120 wit - -
seq-pthread/cs_lamport_true-unreach-call.i unknown 890    900    250 wit - -
seq-pthread/cs_peterson_true-unreach-call.i unknown 890    900    140 wit - -
seq-pthread/cs_queue_true-unreach-call.i unknown 1.5  1.5  72 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i true 19    19    160 wit - -
seq-pthread/cs_stack_true-unreach-call.i unknown 1.1  1.1  46 wit - -
seq-pthread/cs_stateful_true-unreach-call.i unknown .82 .85 35 wit - -
seq-pthread/cs_sync_true-unreach-call.i true 270    270    460 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i unknown 890    900    170 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 15    15    89 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 60000 60000 96000 261 11000   8000   330000   261 1900   1100   45000  
    correct results 27 580 570 3000 8 120   62   4200   8 110   65   2700  
        correct true 19 540 540 1600 0 0   0   0   8 0   0   0  
        correct false 8 45 29 1400 8 120   62   4200   0 110   65   2700  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (261 tasks, max score: 364) 46
Run set sv-comp16.Sequentialized