Tool CBMC 4.9 CPAchecker 1.3.10-svcomp15 ESBMC 1.24 Seahorn Ultimate Automizer r12950 Ultimate Kojak r12950
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host cayman[1-8]
OS Linux 3.13.0
System CPU: Intel Core i7-4770 @ 3.40 GHz with 8 cores, frequency: 3.4 GHz; RAM: 33 GB
Date of execution 14-11-19 20:34 [[ 14-12-21 23:35 ]] 14-11-15 15:53 [[ 14-12-21 23:23 ]] 14-12-13 18:39 [[ 14-12-19 11:24 ]] 14-12-20 18:50 [[ 14-12-21 21:13 ]] 14-11-12 22:41 [[ 14-12-21 23:12 ]] 14-11-16 20:08 [[ 14-12-21 23:18 ]]
Options --32 [[ -witness-check -noout -timelimit 90 -spec ../../results-2015/cbmc.14-11-19_2034.logfiles/sv-comp15.${sourcefile_name}.files/SV-Competition/comp/bin-2015/cbmc-sv-comp-2015/witness.graphml -setprop spec.singlePathMatching=false -setprop parser.transformTokensToLines=false ]] -sv-comp15 -disable-java-assertions -heap 10000m [[ -witness-check -noout -timelimit 90 -spec ../../results-2015/cpachecker.14-11-15_1553.logfiles/sv-comp15.${sourcefile_name}.files/SV-Competition/comp/bin-2015/CPAchecker-1.3.10-svcomp15-unix/output/witness.graphml -setprop spec.singlePathMatching=false -setprop parser.transformTokensToLines=true ]] [[ -witness-check -noout -timelimit 90 -spec ../../results-2015/esbmc.14-12-13_1839.logfiles/sv-comp15.${sourcefile_name}.files/SV-Competition/comp/bin-2015/esbmc-v1.24.1/witness.graphml -setprop spec.singlePathMatching=false -setprop parser.transformTokensToLines=false ]] --cex=witness.graphml [[ -witness-check -noout -timelimit 90 -spec ../../results-2015/seahorn.14-12-20_1850.logfiles/sv-comp15.${sourcefile_name}.files/SV-Competition/comp/bin-2015/seahorn-svcomp15/witness.graphml -setprop spec.singlePathMatching=false -setprop parser.transformTokensToLines=false ]] 32bit precise [[ -witness-check -noout -timelimit 90 -spec ../../results-2015/ultimateautomizer.14-11-12_2241.logfiles/sv-comp15.${sourcefile_name}.files/SV-Competition/comp/bin-2015/UltimateAutomizer/witness.graphml -setprop spec.singlePathMatching=false -setprop parser.transformTokensToLines=false ]] 32bit precise [[ -witness-check -noout -timelimit 90 -spec ../../results-2015/ultimatekojak.14-11-16_2008.logfiles/sv-comp15.${sourcefile_name}.files/SV-Competition/comp/bin-2015/UltimateKojak/witness.graphml -setprop spec.singlePathMatching=false -setprop parser.transformTokensToLines=false ]]
../../sv-benchmarks/c/ status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness
systemc/kundu1_false-unreach-call_false-termination.cil.c witness confirmed 3.6  59 2.9  witness confirmed 3.7  220 3.1  witness confirmed 12    450 3.7  witness invalid (assertion) 1.4  53 1.5  witness confirmed 27    1200 3.7  timeout 920    1200 -   
systemc/kundu2_false-unreach-call_false-termination.cil.c unknown 0.29 30 -    witness confirmed 3.2  210 3.6  witness confirmed 23    840 3.9  witness invalid (assertion) 2.2  50 1.6  witness confirmed 170    5900 3.9  timeout 920    1600 -   
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c unknown 0.15 28 -    witness confirmed 1.9  200 1.7  witness confirmed 5.7  290 1.9  witness confirmed 0.33 37 1.6  witness confirmed 5.8  250 1.8  witness confirmed 6.5  250 1.8 
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c witness confirmed 0.17 26 1.9  witness confirmed 2.1  210 1.8  witness confirmed 6.4  310 2.1  witness invalid (assertion) 0.35 38 1.4  witness confirmed 11    300 2.0  witness confirmed 6.6  250 2.0 
systemc/pipeline_false-unreach-call_false-termination.cil.c witness confirmed 22    340 58    witness timeout 13    790 110    out of memory 95    15000 -    witness confirmed 42    190 59    timeout 920    12000 -    timeout 920    1900 -   
systemc/token_ring.01_false-unreach-call_false-termination.cil.c witness confirmed 1.8  41 2.1  witness confirmed 2.5  210 2.4  witness confirmed 9.2  430 2.4  witness invalid (assertion) 0.54 37 1.5  witness confirmed 17    680 2.6  timeout 920    1200 -   
systemc/token_ring.02_false-unreach-call_false-termination.cil.c witness confirmed 3.3  58 2.6  witness confirmed 2.9  210 3.4  witness confirmed 18    770 2.8  witness invalid (assertion) 0.67 40 1.6  witness confirmed 24    1200 3.3  timeout 920    1200 -   
systemc/token_ring.03_false-unreach-call_false-termination.cil.c witness confirmed 6.2  78 3.5  witness confirmed 3.6  220 4.9  witness confirmed 29    1300 4.2  witness invalid (assertion) 1.1  44 1.6  witness confirmed 36    1900 4.4  timeout 920    1600 -   
systemc/token_ring.04_false-unreach-call_false-termination.cil.c witness confirmed 10    100 4.1  witness confirmed 4.6  260 6.6  witness confirmed 49    1900 4.2  witness invalid (assertion) 1.4  49 1.6  witness confirmed 58    4000 5.2  timeout 920    1600 -   
systemc/token_ring.05_false-unreach-call_false-termination.cil.c witness confirmed 17    130 5.2  witness confirmed 6.5  280 8.9  witness confirmed 74    2800 6.1  witness invalid (assertion) 2.1  53 1.8  witness confirmed 88    4600 6.2  timeout 920    1600 -   
systemc/token_ring.06_false-unreach-call_false-termination.cil.c witness confirmed 27    160 6.5  witness confirmed 7.6  320 17    witness confirmed 120    3900 6.3  witness invalid (assertion) 2.7  59 1.8  witness confirmed 550    7600 7.8  timeout 920    1600 -   
systemc/token_ring.07_false-unreach-call_false-termination.cil.c witness confirmed 39    190 9.1  witness confirmed 11    420 29    witness confirmed 180    5200 9.6  witness invalid (assertion) 5.9  71 2.0  timeout 920    12000 -    timeout 920    1600 -   
systemc/token_ring.08_false-unreach-call_false-termination.cil.c witness confirmed 61    230 18    witness timeout 24    830 110    witness confirmed 260    6800 18    witness invalid (assertion) 10    98 2.0  timeout 920    12000 -    timeout 920    1800 -   
systemc/token_ring.09_false-unreach-call_false-termination.cil.c witness confirmed 100    270 51    witness confirmed 150    4200 51    witness confirmed 360    8800 50    witness invalid (assertion) 67    240 2.2  timeout 920    12000 -    timeout 920    1600 -   
systemc/token_ring.10_false-unreach-call_false-termination.cil.c true 130    310 -    witness timeout 170    2400 92    witness timeout 490    11000 92    witness invalid (assertion) 140    530 2.2  timeout 920    12000 -    timeout 920    1800 -   
systemc/token_ring.11_false-unreach-call_false-termination.cil.c witness timeout 200    350 92    witness timeout 180    2600 92    witness timeout 670    14000 92    witness invalid (assertion) 12    88 2.3  timeout 920    13000 -    timeout 920    1900 -   
systemc/token_ring.12_false-unreach-call_false-termination.cil.c witness timeout 240    400 92    witness timeout 240    2600 91    out of memory 150    15000 -    witness invalid (assertion) 23    100 2.4  timeout 920    12000 -    timeout 920    1900 -   
systemc/token_ring.13_false-unreach-call_false-termination.cil.c true 330    450 -    witness timeout 350    2700 92    out of memory 150    15000 -    out of memory 440    15000 -    timeout 920    13000 -    timeout 920    1800 -   
systemc/token_ring.14_false-unreach-call_false-termination.cil.c witness timeout 250    400 92    witness timeout 240    2500 92    out of memory 150    15000 -    witness invalid (assertion) 32    100 2.5  timeout 920    11000 -    timeout 920    1800 -   
systemc/token_ring.15_false-unreach-call_false-termination.cil.c witness timeout 330    440 92    witness timeout 360    2800 92    out of memory 150    15000 -    out of memory 450    15000 -    timeout 920    13000 -    timeout 920    1900 -   
systemc/toy1_false-unreach-call_false-termination.cil.c true 4.5  57 -    witness confirmed 3.2  210 4.4  witness confirmed 18    700 3.3  witness invalid (assertion) 5.7  77 1.6  witness confirmed 32    2100 4.6  timeout 920    1600 -   
systemc/toy2_false-unreach-call_false-termination.cil.c witness confirmed 4.4  55 3.2  witness confirmed 3.3  210 4.4  witness confirmed 15    660 3.3  witness invalid (assertion) 5.5  78 1.6  witness confirmed 30    2100 4.3  timeout 920    1500 -   
systemc/transmitter.01_false-unreach-call_false-termination.cil.c witness confirmed 0.17 25 1.9  witness confirmed 2.3  210 2.1  witness confirmed 4.4  200 2.1  witness invalid (assertion) 0.44 35 1.5  witness confirmed 12    410 2.3  witness confirmed 290    1200 2.2 
systemc/transmitter.02_false-unreach-call_false-termination.cil.c witness confirmed 0.18 26 2.4  witness confirmed 2.6  200 3.0  witness confirmed 10    420 2.7  witness invalid (assertion) 0.60 39 1.6  witness confirmed 19    700 3.0  timeout 920    1200 -   
systemc/transmitter.03_false-unreach-call_false-termination.cil.c witness confirmed 0.22 27 3.2  witness confirmed 3.1  210 4.4  witness confirmed 20    770 3.3  witness invalid (assertion) 0.68 42 1.6  witness confirmed 29    2000 3.9  timeout 920    1600 -   
systemc/transmitter.04_false-unreach-call_false-termination.cil.c witness confirmed 0.25 28 4.3  witness confirmed 3.7  220 6.0  witness confirmed 33    1200 4.1  witness invalid (assertion) 1.0  47 1.7  witness confirmed 110    4800 5.2  timeout 920    1600 -   
systemc/transmitter.05_false-unreach-call_false-termination.cil.c witness confirmed 0.29 29 5.0  witness confirmed 4.0  260 8.0  witness confirmed 52    1900 5.0  witness invalid (assertion) 1.5  52 1.8  timeout 920    8600 -    timeout 920    1600 -   
systemc/transmitter.06_false-unreach-call_false-termination.cil.c witness confirmed 0.39 29 6.1  witness confirmed 4.7  270 12    witness confirmed 78    2800 5.9  witness invalid (assertion) 2.4  57 1.8  timeout 920    10000 -    timeout 920    1600 -   
systemc/transmitter.07_false-unreach-call_false-termination.cil.c witness confirmed 0.50 30 8.9  witness confirmed 6.6  310 30    witness confirmed 120    3900 8.7  witness invalid (assertion) 2.4  64 2.2  timeout 920    11000 -    timeout 920    1600 -   
systemc/transmitter.08_false-unreach-call_false-termination.cil.c witness confirmed 0.65 31 18    witness timeout 8.0  330 110    witness confirmed 180    5300 17    witness invalid (assertion) 3.8  71 2.0  timeout 920    13000 -    timeout 920    1600 -   
systemc/transmitter.09_false-unreach-call_false-termination.cil.c witness confirmed 0.82 34 57    witness timeout 11    350 110    witness confirmed 260    6900 54    witness invalid (assertion) 3.9  76 2.1  timeout 920    12000 -    timeout 920    1600 -   
systemc/transmitter.10_false-unreach-call_false-termination.cil.c witness timeout 0.92 35 92    witness timeout 25    410 110    witness timeout 360    8800 92    witness invalid (assertion) 6.5  83 2.1  timeout 920    13000 -    timeout 920    1600 -   
systemc/transmitter.11_false-unreach-call_false-termination.cil.c witness timeout 1.3  37 92    witness timeout 150    2500 92    witness timeout 490    11000 92    witness invalid (assertion) 8.2  89 2.7  timeout 920    12000 -    timeout 920    1500 -   
systemc/transmitter.12_false-unreach-call_false-termination.cil.c witness timeout 1.6  37 91    witness timeout 150    2600 92    witness timeout 660    14000 92    witness invalid (assertion) 9.3  100 2.4  timeout 920    13000 -    timeout 920    1800 -   
systemc/transmitter.13_false-unreach-call_false-termination.cil.c witness timeout 2.0  40 92    witness timeout 150    2700 92    out of memory 150    15000 -    witness invalid (assertion) 14    110 2.5  timeout 920    13000 -    timeout 920    1800 -   
systemc/transmitter.15_false-unreach-call_false-termination.cil.c unknown 1.8  36 -    witness confirmed 4.6  380 3.3  out of memory 150    15000 -    witness invalid (assertion) 2.8  78 2.0  timeout 920    11000 -    witness confirmed 17    720 3.5 
systemc/transmitter.16_false-unreach-call_false-termination.cil.c witness confirmed 1.8  37 3.1  witness confirmed 4.8  380 3.4  out of memory 160    15000 -    witness invalid (assertion) 3.0  82 2.1  timeout 920    9600 -    witness confirmed 15    680 3.7 
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 35    170 -    true 1.6  140 -    true 0.47 52 -    true 0.27 28 -    true 24    1200 -    timeout 920    1200 -   
systemc/kundu_true-unreach-call_false-termination.cil.c true 850    610 -    true 5.1  260 -    true 110    980 -    true 45    160 -    true 240    6000 -    timeout 920    1200 -   
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 850    1600 -    true 2.1  150 -    true 230    3000 -    true 140    350 -    true 38    2900 -    timeout 920    1800 -   
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 850    500 -    true 2.2  150 -    true 230    3100 -    true 400    420 -    true 56    3900 -    timeout 920    1800 -   
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 850    520 -    true 2.4  160 -    true 270    3500 -    timeout 920    670 -    true 67    4200 -    timeout 920    1600 -   
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 850    530 -    true 2.5  160 -    true 270    3300 -    timeout 920    460 -    true 89    4400 -    timeout 920    1800 -   
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 850    550 -    true 2.7  160 -    true 300    3900 -    timeout 920    670 -    true 120    4400 -    timeout 920    1800 -   
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 850    700 -    true 200    2600 -    true 2.6  280 -    true 0.88 52 -    timeout 920    1200 -    timeout 920    1600 -   
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 850    580 -    true 110    1900 -    true 26    300 -    true 4.3  92 -    timeout 920    1700 -    timeout 920    1600 -   
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 850    470 -    true 1.8  140 -    true 1.9  270 -    true 0.55 39 -    true 11    310 -    timeout 920    1600 -   
systemc/pipeline_true-unreach-call_false-termination.cil.c true 850    350 -    true 150    4300 -    out of memory 97    15000 -    true 50    220 -    timeout 920    12000 -    timeout 920    1600 -   
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 850    510 -    true 140    2400 -    true 40    500 -    true 0.56 34 -    true 17    670 -    timeout 920    1200 -   
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 850    630 -    true 120    3700 -    true 340    850 -    true 1.5  48 -    true 25    1200 -    timeout 920    1600 -   
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 850    480 -    true 140    4000 -    timeout 920    1400 -    true 4.8  60 -    true 30    1900 -    timeout 920    1600 -   
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 850    750 -    true 130    3900 -    timeout 920    2000 -    true 12    73 -    true 50    4400 -    timeout 920    1600 -   
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 850    840 -    true 190    4300 -    timeout 920    2900 -    true 30    93 -    true 110    5300 -    timeout 920    1600 -   
systemc/token_ring.06_true-unreach-call_false-termination.cil.c true 850    290 -    true 190    4300 -    timeout 920    4000 -    true 59    110 -    true 650    8000 -    timeout 920    1600 -   
systemc/token_ring.07_true-unreach-call_false-termination.cil.c true 850    320 -    true 230    4800 -    timeout 920    5300 -    true 160    150 -    timeout 920    11000 -    timeout 920    1800 -   
systemc/token_ring.08_true-unreach-call_false-termination.cil.c true 850    320 -    true 490    4600 -    timeout 920    6900 -    true 330    180 -    timeout 920    12000 -    timeout 920    1800 -   
systemc/token_ring.09_true-unreach-call_false-termination.cil.c true 850    390 -    timeout 920    4400 -    timeout 920    8900 -    true 480    310 -    timeout 920    11000 -    timeout 920    1800 -   
systemc/token_ring.10_true-unreach-call_false-termination.cil.c true 850    490 -    timeout 920    3500 -    timeout 920    11000 -    timeout 920    1100 -    timeout 920    12000 -    timeout 920    1800 -   
systemc/token_ring.11_true-unreach-call_false-termination.cil.c true 850    540 -    timeout 920    3700 -    timeout 920    14000 -    timeout 920    2600 -    timeout 920    13000 -    timeout 920    1800 -   
systemc/token_ring.12_true-unreach-call_false-termination.cil.c true 850    580 -    timeout 920    3600 -    out of memory 150    15000 -    timeout 920    5400 -    timeout 920    12000 -    timeout 920    1800 -   
systemc/token_ring.13_true-unreach-call_false-termination.cil.c true 850    630 -    timeout 920    3500 -    out of memory 150    15000 -    out of memory 480    15000 -    timeout 920    12000 -    timeout 920    1800 -   
systemc/toy_true-unreach-call_false-termination.cil.c true 850    790 -    true 190    4600 -    true 410    800 -    true 30    110 -    true 38    2100 -    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c unknown 0.17 28 -    witness confirmed 7.9  290 3.6  witness confirmed 2.2  44 4.0  witness confirmed 0.51 40 3.8  witness confirmed 33    1200 2.9  witness confirmed 210    1600 2.9 
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0.18 28 -    witness confirmed 7.9  340 2.9  witness confirmed 2.8  69 4.2  witness confirmed 0.53 40 3.2  witness confirmed 28    1200 4.0  witness confirmed 170    1600 4.1 
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c witness confirmed 0.21 27 3.3  witness confirmed 8.0  320 4.1  witness confirmed 2.2  45 4.1  witness confirmed 1.1  42 3.3  witness confirmed 57    1200 4.0  timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c witness confirmed 0.20 28 3.2  witness confirmed 8.7  330 3.3  witness confirmed 2.7  64 4.1  witness confirmed 0.94 42 3.2  witness confirmed 61    1200 3.9  timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c witness confirmed 0.20 28 3.3  witness confirmed 9.6  340 3.4  witness confirmed 2.3  46 4.2  witness confirmed 0.88 42 3.8  witness confirmed 74    1200 3.9  timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c witness confirmed 0.22 28 3.2  witness confirmed 8.5  360 3.4  witness confirmed 2.8  67 4.1  witness confirmed 1.1  42 3.2  witness confirmed 83    1200 3.9  timeout 920    1800 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c witness confirmed 0.78 33 4.0  witness confirmed 11    450 5.0  witness confirmed 2.3  52 5.2  witness confirmed 2.6  59 3.5  timeout 920    7900 -    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c witness confirmed 0.76 31 3.3  witness confirmed 11    450 4.9  witness confirmed 2.8  80 6.0  witness confirmed 2.4  59 3.5  timeout 920    8000 -    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness confirmed 0.55 30 4.0  witness confirmed 53    1500 4.0  witness confirmed 1.4  39 4.6  witness confirmed 1.8  64 4.1  witness confirmed 110    1300 3.9  timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.51 30 -    witness confirmed 90    2100 27    witness confirmed 2.3  59 5.5  witness confirmed 1.7  63 4.2  witness confirmed 110    1200 37    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness confirmed 0.55 32 4.3  timeout 920    1900 -    witness confirmed 1.9  40 4.7  witness confirmed 2.0  67 4.2  witness confirmed 250    3800 9.2  timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness confirmed 0.50 30 4.0  timeout 920    1900 -    witness confirmed 2.3  59 5.2  witness confirmed 1.8  64 4.1  witness confirmed 230    2900 40    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness confirmed 0.43 33 81    witness confirmed 26    1400 3.9  witness confirmed 1.6  24 81    witness confirmed 3.1  66 83    timeout 920    12000 -    witness unconfirmed 470    1200 2.8 
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.41 34 -    witness confirmed 26    1400 3.3  witness confirmed 1.9  41 77    witness confirmed 2.5  66 79    timeout 920    12000 -    witness confirmed 550    1200 3.1 
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c unknown 0.16 28 -    witness confirmed 13    470 3.3  witness confirmed 1.6  25 24    witness confirmed 0.95 48 24    timeout 920    12000 -    witness confirmed 64    1200 2.9 
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness confirmed 0.16 27 23    witness confirmed 15    490 3.1  witness confirmed 2.0  42 25    witness confirmed 1.0  47 23    timeout 920    12000 -    witness confirmed 64    1200 2.9 
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness confirmed 0.38 33 80    witness confirmed 26    1400 3.4  witness confirmed 1.6  25 80    witness confirmed 2.5  71 82    timeout 920    12000 -    witness unconfirmed 540    1200 2.7 
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness confirmed 0.42 33 75    witness confirmed 25    1300 3.2  witness confirmed 2.0  43 76    witness confirmed 6.1  72 79    timeout 920    13000 -    witness confirmed 500    1200 3.3 
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness confirmed 0.50 34 71    witness confirmed 23    1400 3.4  witness confirmed 1.6  25 71    witness confirmed 8.3  74 73    timeout 920    13000 -    witness unconfirmed 520    1200 2.7 
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness confirmed 0.51 33 62    witness confirmed 25    1400 3.2  witness confirmed 2.0  43 67    witness confirmed 6.7  72 61    timeout 920    13000 -    witness confirmed 490    1200 3.2 
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 0.92 39 91    witness confirmed 79    1200 5.2  witness timeout 3.8  52 91    witness timeout 43    130 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.89 38 -    witness confirmed 77    1500 5.1  witness timeout 4.8  77 91    witness timeout 14    120 91    timeout 920    12000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 0.94 40 91    witness confirmed 76    1500 5.3  witness timeout 4.0  53 91    witness timeout 10    100 91    timeout 920    13000 -    timeout 920    1900 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c true 0.90 40 -    witness confirmed 74    1400 5.0  witness timeout 4.3  79 91    witness timeout 7.9  120 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 0.90 40 91    witness confirmed 78    1500 6.1  witness timeout 4.0  54 91    witness timeout 60    140 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 0.94 39 91    witness confirmed 77    1500 6.1  witness timeout 5.0  80 91    witness timeout 72    140 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 0.96 40 91    witness confirmed 78    1500 4.9  witness timeout 4.0  54 91    witness timeout 370    150 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c true 0.91 40 -    witness confirmed 76    1500 5.3  witness timeout 5.0  80 91    witness timeout 170    160 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 6.2  79 92    witness confirmed 98    1700 7.1  witness timeout 12    120 91    timeout 920    200 -    timeout 920    13000 -    timeout 920    1900 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 3.2  53 -    witness confirmed 100    1700 6.8  witness timeout 15    150 91    timeout 920    200 -    timeout 920    13000 -    timeout 920    1900 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c true 3.5  56 -    witness confirmed 90    1600 6.3  witness timeout 13    120 92    witness timeout 210    260 92    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 3.6  55 91    witness confirmed 96    1600 6.2  witness timeout 15    150 91    witness timeout 51    150 92    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c true 6.8  76 -    witness confirmed 92    1600 7.5  witness timeout 13    120 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 7.5  88 92    witness confirmed 96    1600 7.5  witness timeout 16    160 91    timeout 920    200 -    timeout 920    13000 -    timeout 920    1900 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 7.2  76 92    witness confirmed 100    1600 6.9  witness timeout 13    120 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 7.9  87 91    witness confirmed 99    1700 6.8  witness timeout 16    160 91    timeout 920    200 -    timeout 920    13000 -    timeout 920    1900 -   
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness confirmed 0.31 28 3.4  witness confirmed 150    540 3.2  witness confirmed 0.99 18 3.9  witness confirmed 5.1  58 3.4  timeout 920    12000 -    witness confirmed 230    950 3.0 
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.27 28 -    witness confirmed 73    350 3.3  witness confirmed 1.3  36 4.4  witness confirmed 3.2  56 3.4  timeout 920    13000 -    witness confirmed 280    950 2.9 
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness confirmed 0.30 28 3.4  witness confirmed 310    430 3.1  witness confirmed 0.96 17 3.9  witness confirmed 3.4  56 3.3  witness confirmed 750    8700 3.2  witness confirmed 280    960 2.9 
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c true 0.29 28 -    witness confirmed 100    470 3.1  witness confirmed 1.2  32 4.6  witness confirmed 5.3  57 3.3  witness confirmed 560    7800 3.1  witness confirmed 320    1200 2.9 
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c true 0.75 32 -    timeout 920    680 -    witness confirmed 1.3  25 6.8  witness confirmed 39    89 4.9  timeout 920    13000 -    timeout 920    930 -   
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.82 35 -    timeout 920    460 -    witness confirmed 1.4  40 6.0  witness confirmed 60    91 4.9  timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness confirmed 0.64 32 4.9  timeout 920    680 -    witness confirmed 1.2  25 6.6  witness confirmed 81    99 5.3  timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c true 0.72 33 -    timeout 920    460 -    witness confirmed 1.4  38 6.0  witness confirmed 31    88 4.8  timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness confirmed 0.81 36 10.0  timeout 920    760 -    witness confirmed 1.6  35 10    timeout 920    120 -    timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness confirmed 0.87 38 9.6  timeout 920    1200 -    witness confirmed 1.8  50 11    witness confirmed 620    130 9.3  timeout 920    12000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c true 0.79 35 -    timeout 920    480 -    witness confirmed 1.6  34 10    witness confirmed 560    130 9.5  timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness confirmed 0.91 37 9.1  timeout 920    1200 -    witness confirmed 1.8  47 11    witness confirmed 860    150 9.2  timeout 920    12000 -    timeout 920    920 -   
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness confirmed 1.1  39 49    timeout 920    1200 -    witness confirmed 2.0  48 51    timeout 920    130 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness confirmed 1.1  39 48    timeout 920    1200 -    witness confirmed 2.3  59 50    timeout 920    130 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c witness confirmed 1.1  38 48    timeout 920    990 -    witness confirmed 2.0  46 49    timeout 920    120 -    timeout 920    12000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness confirmed 1.1  38 46    timeout 920    1000 -    witness confirmed 2.2  58 48    timeout 920    130 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness confirmed 0.30 26 2.8  witness confirmed 770    640 3.1  witness confirmed 0.89 16 3.3  witness confirmed 3.5  56 2.8  witness confirmed 640    6900 3.3  witness unconfirmed 750    960 2.6 
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness confirmed 0.30 28 2.8  witness confirmed 600    610 3.9  witness confirmed 1.1  29 3.8  witness confirmed 2.7  56 3.3  witness confirmed 380    5200 3.3  witness confirmed 650    1200 2.8 
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness confirmed 0.53 31 3.6  timeout 920    450 -    witness confirmed 1.1  23 4.4  witness confirmed 15    71 3.5  timeout 920    6900 -    timeout 920    940 -   
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.60 32 -    timeout 920    460 -    witness confirmed 1.3  35 6.1  witness confirmed 15    75 3.5  timeout 920    7300 -    timeout 920    950 -   
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness confirmed 0.70 33 5.3  timeout 920    760 -    witness confirmed 1.4  31 6.5  witness confirmed 120    120 5.3  timeout 920    9400 -    timeout 920    930 -   
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness confirmed 0.70 33 5.3  timeout 920    680 -    witness confirmed 1.5  42 7.7  witness confirmed 93    130 5.4  timeout 920    7100 -    timeout 920    940 -   
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness confirmed 0.81 38 9.6  timeout 920    740 -    witness confirmed 1.7  41 12    timeout 920    190 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness confirmed 0.81 37 10    timeout 920    730 -    witness confirmed 1.9  51 11    timeout 920    170 -    timeout 920    7600 -    timeout 920    1600 -   
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c witness confirmed 16    42 42    timeout 920    1300 -    witness confirmed 2.2  54 45    timeout 920    140 -    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 16    45 -    timeout 920    1100 -    witness confirmed 2.2  60 42    timeout 920    140 -    timeout 920    9200 -    timeout 920    3500 -   
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c true 12    46 -    timeout 920    1300 -    witness timeout 2.4  69 92    timeout 920    140 -    timeout 920    10000 -    timeout 920    1500 -   
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 12    48 91    timeout 920    1800 -    witness timeout 2.7  68 91    timeout 920    140 -    timeout 920    12000 -    timeout 920    1500 -   
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c true 0.41 32 -    witness confirmed 71    3200 3.3  witness timeout 1.7  27 92    witness timeout 4.0  73 92    timeout 920    12000 -    witness unconfirmed 650    1200 2.8 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 0.44 32 92    witness confirmed 71    3200 3.2  witness timeout 2.2  46 92    witness timeout 4.5  72 92    timeout 920    12000 -    witness confirmed 600    1200 3.1 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness timeout 0.19 28 93    witness confirmed 13    490 3.3  witness timeout 1.8  27 93    witness timeout 1.2  51 95    timeout 920    12000 -    witness confirmed 80    1200 3.0 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 0.20 28 93    witness confirmed 14    500 3.1  witness timeout 2.2  48 93    witness timeout 1.1  50 93    timeout 920    11000 -    witness confirmed 79    1200 3.0 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness timeout 0.45 31 92    witness confirmed 81    3900 3.7  witness timeout 1.8  28 92    witness timeout 2.9  73 92    timeout 920    12000 -    witness unconfirmed 590    1200 2.8 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 0.41 31 92    witness confirmed 73    3200 3.5  witness timeout 2.2  48 92    witness timeout 4.9  74 92    timeout 920    12000 -    witness confirmed 640    1200 3.4 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness timeout 0.51 34 93    witness confirmed 58    2700 3.7  witness timeout 1.4  28 92    witness timeout 11    78 93    timeout 920    12000 -    witness unconfirmed 620    1200 2.8 
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c true 0.50 35 -    witness confirmed 58    3100 3.5  witness timeout 2.2  48 92    witness timeout 11    77 93    timeout 920    11000 -    witness confirmed 620    1200 3.7 
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 1.0  40 91    witness confirmed 84    1700 5.1  witness timeout 4.3  58 91    witness timeout 29    130 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c true 0.97 42 -    witness confirmed 83    1600 5.2  witness timeout 4.8  89 91    witness timeout 99    150 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 1.0  41 91    witness confirmed 130    3000 5.1  witness timeout 4.4  58 91    witness timeout 25    130 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 1.0  41 91    witness confirmed 130    3100 4.9  witness timeout 5.6  89 91    witness timeout 16    130 91    timeout 920    13000 -    timeout 920    1500 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c true 0.96 41 -    witness confirmed 83    1600 5.3  witness timeout 4.4  59 91    witness timeout 140    160 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 1.0  41 91    witness confirmed 84    1600 5.3  witness timeout 5.6  90 91    witness timeout 27    140 91    timeout 920    13000 -    timeout 920    1500 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 1.1  40 91    witness confirmed 81    1500 5.2  witness timeout 4.1  59 91    witness timeout 490    150 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 1.1  40 91    witness confirmed 84    1600 5.3  witness timeout 5.7  90 91    witness timeout 250    160 91    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 7.0  83 92    witness confirmed 160    3400 6.8  witness timeout 14    130 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    2600 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 8.2  94 92    witness confirmed 150    3100 7.6  witness timeout 17    170 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    1900 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c true 3.9  60 -    witness confirmed 130    3000 6.8  witness timeout 14    130 91    witness timeout 390    210 92    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 3.9  60 92    witness confirmed 130    3000 6.7  witness timeout 17    170 91    witness timeout 560    210 92    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 7.7  83 92    witness confirmed 150    3500 7.0  witness timeout 14    130 91    timeout 920    220 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 8.3  95 92    witness confirmed 160    3400 7.3  witness timeout 18    170 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 8.4  82 92    witness confirmed 160    3500 7.3  witness timeout 14    130 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c true 7.3  81 -    witness confirmed 160    3300 7.1  witness timeout 17    170 91    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error 850    2000 -    timeout 920    8500 -    witness confirmed 420    480 8.0  witness invalid (error (invalid c code)) 660    630 2.2  unknown 5.8  240 -    unknown 5.9  240 -   
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error 850    6000 -    timeout 920    6200 -    timeout 920    7700 -    timeout 920    2100 -    unknown 8.7  270 -    unknown 8.5  270 -   
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error 850    1900 -    timeout 920    8500 -    witness confirmed 360    480 7.8  witness invalid (error (invalid c code)) 770    620 2.3  unknown 5.7  240 -    unknown 6.0  240 -   
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error 850    6100 -    timeout 920    6200 -    timeout 920    7700 -    timeout 920    2000 -    unknown 8.7  280 -    unknown 8.5  270 -   
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error 850    2100 -    timeout 920    7900 -    timeout 920    580 -    timeout 920    620 -    unknown 6.4  240 -    unknown 6.5  240 -   
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error 850    7100 -    timeout 920    9000 -    timeout 920    8600 -    timeout 920    2200 -    unknown 9.5  280 -    unknown 9.5  280 -   
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error 850    2000 -    timeout 920    7800 -    timeout 920    590 -    timeout 920    640 -    unknown 6.4  240 -    unknown 6.6  250 -   
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error 850    7000 -    timeout 920    8300 -    timeout 920    8600 -    timeout 920    2500 -    unknown 9.5  270 -    unknown 9.3  280 -   
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c witness confirmed 120    1200 50    timeout 920    11000 -    timeout 920    1400 -    timeout 920    1200 -    unknown 13    650 -    unknown 12    650 -   
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c error 850    2400 -    out of memory 810    15000 -    timeout 920    4000 -    timeout 920    8900 -    unknown 18    1100 -    unknown 17    1100 -   
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c true 850    2000 -    timeout 920    7700 -    timeout 920    520 -    witness invalid (error (invalid c code)) 340    450 2.1  unknown 6.1  240 -    unknown 7.1  240 -   
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c true 850    5600 -    timeout 920    7600 -    timeout 920    7200 -    timeout 920    1300 -    unknown 8.9  280 -    unknown 9.2  280 -   
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c true 850    2100 -    timeout 920    8200 -    timeout 920    530 -    witness invalid (error (invalid c code)) 620    590 2.3  unknown 5.5  240 -    unknown 5.7  240 -   
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c true 850    5900 -    timeout 920    8400 -    timeout 920    7500 -    timeout 920    2200 -    unknown 8.6  280 -    unknown 8.4  270 -   
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error 850    2100 -    timeout 920    7500 -    witness confirmed 110    580 6.5  witness invalid (error (invalid c code)) 190    550 2.6  unknown 6.7  250 -    unknown 6.0  250 -   
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error 850    5200 -    timeout 920    7600 -    timeout 920    6500 -    witness invalid (error (invalid c code)) 680    910 2.9  unknown 8.0  250 -    unknown 6.7  240 -   
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error 850    2000 -    timeout 920    7500 -    witness confirmed 110    580 6.2  witness invalid (error (invalid c code)) 180    580 2.6  unknown 6.2  240 -    unknown 6.1  250 -   
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error 850    5200 -    timeout 920    7500 -    timeout 920    6500 -    witness invalid (error (invalid c code)) 680    900 2.6  unknown 6.0  240 -    unknown 6.2  240 -   
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error 850    2300 -    timeout 920    6200 -    witness confirmed 230    740 6.5  witness invalid (error (invalid c code)) 270    710 2.9  unknown 7.2  240 -    unknown 7.1  240 -   
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error 850    5600 -    timeout 920    6300 -    timeout 920    7600 -    timeout 920    850 -    unknown 6.4  240 -    unknown 6.7  240 -   
seq-mthreaded/rekh_ctm_false-unreach-call.2.c witness confirmed 17    530 6.9  witness confirmed 280    2600 16    witness confirmed 370    840 8.7  witness invalid (error (invalid c code)) 250    940 2.8  unknown 8.4  280 -    unknown 7.9  280 -   
seq-mthreaded/rekh_ctm_false-unreach-call.3.c unknown 19    200 -    timeout 920    9000 -    timeout 920    1500 -    witness invalid (error (invalid c code)) 410    990 2.8  unknown 8.5  280 -    unknown 7.6  280 -   
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c true 850    2000 -    timeout 920    6300 -    witness timeout 53    480 110    witness invalid (error (invalid c code)) 330    440 2.2  unknown 5.7  240 -    unknown 6.0  250 -   
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c true 850    5100 -    timeout 920    6300 -    timeout 920    5700 -    timeout 920    520 -    unknown 5.8  240 -    unknown 5.6  240 -   
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c true 850    2100 -    timeout 920    6400 -    witness confirmed 82    530 6.3  witness invalid (error (invalid c code)) 140    480 2.3  unknown 5.8  240 -    unknown 6.3  240 -   
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c true 850    5100 -    timeout 920    6400 -    timeout 920    6100 -    witness invalid (error (invalid c code)) 610    770 2.3  unknown 6.0  240 -    unknown 6.4  240 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 6.4  38 -    true 100    420 -    true 0.38 40 -    true 2.4  51 -    timeout 920    8200 -    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c true 32    130 -    timeout 920    980 -    true 0.62 61 -    true 2.2  50 -    timeout 920    8400 -    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c true 3.2  34 -    timeout 920    1900 -    true 0.33 37 -    true 0.73 39 -    true 670    5800 -    timeout 920    1600 -   
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 14    91 -    timeout 920    2900 -    true 0.51 56 -    true 0.70 38 -    true 680    6200 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 2.0  33 -    timeout 920    2900 -    true 0.34 21 -    true 33    90 -    timeout 920    12000 -    timeout 920    1200 -   
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 6.8  94 -    timeout 920    2900 -    true 0.51 35 -    true 55    110 -    timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 460    57 -    timeout 920    1300 -    true 53    70 -    timeout 920    150 -    timeout 920    13000 -    timeout 920    1500 -   
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 350    210 -    timeout 920    1400 -    true 52    93 -    timeout 920    160 -    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 850    150 -    timeout 920    2000 -    timeout 920    220 -    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 850    200 -    timeout 920    1700 -    timeout 920    240 -    timeout 920    210 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 1.7  30 -    true 280    270 -    true 0.20 17 -    true 120    140 -    timeout 920    13000 -    true 570    950 -   
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 7.2  56 -    true 670    640 -    true 0.93 29 -    true 770    300 -    timeout 920    9300 -    timeout 920    950 -   
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 17    32 -    timeout 920    560 -    true 1.2  23 -    timeout 920    170 -    timeout 920    13000 -    timeout 920    930 -   
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 61    120 -    timeout 920    950 -    true 3.1  33 -    timeout 920    180 -    timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 200    50 -    timeout 920    660 -    true 6.1  35 -    timeout 920    140 -    timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 670    210 -    timeout 920    700 -    true 11    48 -    timeout 920    120 -    timeout 920    12000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c true 850    89 -    timeout 920    720 -    true 19    53 -    timeout 920    120 -    timeout 920    9400 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 650    81 -    timeout 920    980 -    true 32    61 -    timeout 920    130 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 1.0  29 -    timeout 920    260 -    true 0.14 16 -    true 11    65 -    timeout 920    8500 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 4.3  48 -    timeout 920    1000 -    true 0.27 20 -    true 17    83 -    true 430    4500 -    timeout 920    960 -   
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 2.8  31 -    timeout 920    270 -    true 0.24 18 -    true 100    160 -    timeout 920    7200 -    timeout 920    960 -   
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 15    77 -    timeout 920    800 -    true 0.47 25 -    true 170    190 -    timeout 920    8200 -    timeout 920    960 -   
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 20    35 -    timeout 920    660 -    true 1.4  28 -    timeout 920    210 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 68    160 -    timeout 920    690 -    true 2.1  35 -    timeout 920    220 -    timeout 920    7500 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c true 92    45 -    timeout 920    720 -    true 2.9  36 -    timeout 920    170 -    timeout 920    11000 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 300    230 -    timeout 920    730 -    true 4.0  43 -    timeout 920    180 -    timeout 920    8500 -    timeout 920    1200 -   
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c true 320    58 -    timeout 920    1000 -    true 8.6  47 -    timeout 920    150 -    timeout 920    13000 -    timeout 920    3100 -   
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c true 750    300 -    timeout 920    1800 -    true 11    54 -    timeout 920    150 -    timeout 920    11000 -    timeout 920    1500 -   
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c true 850    82 -    timeout 920    1200 -    true 17    65 -    timeout 920    140 -    timeout 920    10000 -    timeout 920    1500 -   
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c true 850    150 -    timeout 920    1200 -    true 16    65 -    timeout 920    130 -    timeout 920    9500 -    timeout 920    1500 -   
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 2.1  33 -    timeout 920    3800 -    true 0.30 23 -    true 120    130 -    timeout 920    12000 -    timeout 920    1200 -   
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 6.1  100 -    timeout 920    3800 -    true 0.50 39 -    true 82    110 -    timeout 920    13000 -    timeout 920    1200 -   
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 150    53 -    timeout 920    1700 -    true 44    71 -    timeout 920    150 -    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 160    210 -    timeout 920    1700 -    true 45    97 -    timeout 920    140 -    timeout 920    13000 -    timeout 920    1600 -   
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 850    170 -    timeout 920    3400 -    timeout 920    230 -    timeout 920    220 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 850    190 -    timeout 920    3300 -    timeout 920    250 -    timeout 920    220 -    timeout 920    13000 -    timeout 920    2500 -   
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c true 97    1300 -    timeout 920    8500 -    true 290    630 -    false(reach) 580    610 -    unknown 6.1  240 -    unknown 5.9  240 -   
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error 850    6000 -    timeout 920    5500 -    timeout 920    7600 -    timeout 920    2100 -    unknown 8.5  270 -    unknown 8.7  280 -   
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error 850    2100 -    timeout 920    7700 -    timeout 920    570 -    timeout 920    560 -    unknown 6.3  240 -    unknown 6.0  240 -   
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error 850    7000 -    timeout 920    8400 -    timeout 920    8700 -    timeout 920    2400 -    unknown 8.6  270 -    unknown 9.2  270 -   
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c error 850    1400 -    timeout 920    13000 -    timeout 920    1500 -    timeout 920    3400 -    unknown 13    660 -    unknown 12    670 -   
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c error 850    1500 -    timeout 920    13000 -    timeout 920    1400 -    timeout 920    1200 -    unknown 12    650 -    unknown 13    650 -   
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c error 850    2500 -    out of memory 740    15000 -    timeout 920    4000 -    timeout 920    9000 -    unknown 16    1100 -    unknown 17    1100 -   
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c error 850    4000 -    timeout 920    13000 -    timeout 920    9600 -    out of memory 470    15000 -    unknown 21    1400 -    unknown 20    1400 -   
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c true 78    1300 -    timeout 920    7700 -    timeout 920    520 -    false(reach) 380    470 -    unknown 5.9  240 -    unknown 5.7  240 -   
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c true 790    5600 -    timeout 920    7700 -    timeout 920    7200 -    timeout 920    1200 -    unknown 7.9  270 -    unknown 8.4  270 -   
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c true 84    1300 -    timeout 920    7400 -    timeout 920    500 -    false(reach) 450    490 -    unknown 5.9  240 -    unknown 5.6  240 -   
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c true 850    5800 -    timeout 920    7900 -    timeout 920    7300 -    timeout 920    1500 -    unknown 8.8  270 -    unknown 8.3  280 -   
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c true 81    1300 -    timeout 920    8200 -    true 190    610 -    false(reach) 580    610 -    unknown 5.7  240 -    unknown 6.6  250 -   
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c true 850    5900 -    timeout 920    7500 -    timeout 920    7500 -    timeout 920    2300 -    unknown 8.4  270 -    unknown 8.6  280 -   
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c true 84    1300 -    timeout 920    7600 -    true 92    560 -    false(reach) 190    550 -    unknown 6.7  240 -    unknown 6.7  240 -   
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c true 470    5200 -    timeout 920    7600 -    timeout 920    6300 -    false(reach) 600    820 -    unknown 6.7  240 -    unknown 6.6  240 -   
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error 850    2200 -    timeout 920    6500 -    false(reach) 260    740 -    false(reach) 260    730 -    unknown 7.1  240 -    unknown 6.5  240 -   
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error 850    5600 -    timeout 920    6400 -    timeout 920    7700 -    timeout 920    840 -    unknown 7.2  240 -    unknown 6.4  250 -   
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error 850    2400 -    timeout 920    6300 -    false(reach) 270    750 -    false(reach) 280    780 -    unknown 6.6  240 -    unknown 6.9  240 -   
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error 850    5600 -    timeout 920    6300 -    timeout 920    7700 -    timeout 920    950 -    unknown 7.2  240 -    unknown 7.5  240 -   
seq-mthreaded/rekh_ctm_true-unreach-call.1.c true 110    550 -    timeout 920    8700 -    true 460    870 -    false(reach) 230    950 -    unknown 7.9  270 -    unknown 7.8  280 -   
seq-mthreaded/rekh_ctm_true-unreach-call.2.c true 110    540 -    timeout 920    9800 -    true 400    840 -    false(reach) 270    950 -    unknown 8.2  280 -    unknown 7.9  280 -   
seq-mthreaded/rekh_ctm_true-unreach-call.3.c true 250    810 -    timeout 920    7900 -    timeout 920    1500 -    false(reach) 430    1000 -    unknown 8.0  270 -    unknown 8.3  280 -   
seq-mthreaded/rekh_ctm_true-unreach-call.4.c unknown 40    730 -    timeout 920    9800 -    timeout 920    2300 -    false(reach) 800    1500 -    unknown 7.9  280 -    unknown 8.0  280 -   
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c true 74    1300 -    timeout 920    6300 -    true 54    480 -    false(reach) 350    430 -    unknown 5.8  240 -    unknown 6.2  240 -   
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c true 360    5100 -    timeout 920    6000 -    timeout 920    5700 -    timeout 920    500 -    unknown 6.1  240 -    unknown 6.1  240 -   
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c true 79    1300 -    timeout 920    5700 -    true 56    500 -    false(reach) 86    390 -    unknown 5.9  240 -    unknown 5.6  240 -   
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c true 410    5100 -    timeout 920    5700 -    timeout 920    5900 -    false(reach) 530    750 -    unknown 6.1  240 -    unknown 5.8  250 -   
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c true 80    1300 -    timeout 920    6300 -    true 68    530 -    false(reach) 140    460 -    unknown 6.0  240 -    unknown 7.7  240 -   
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c true 400    5100 -    timeout 920    6300 -    timeout 920    6100 -    false(reach) 630    730 -    unknown 5.8  250 -    unknown 6.1  250 -   
seq-pthread/cs_fib_false-unreach-call.i witness confirmed 2.9  71 3.9  timeout 920    1400 -    witness confirmed 54    93 4.5  true 0.21 22 -    timeout 920    7600 -    timeout 920    7300 -   
seq-pthread/cs_fib_longer_false-unreach-call.i witness confirmed 14    100 4.1  timeout 920    1000 -    witness confirmed 390    140 4.2  true 0.20 28 -    unknown 17    4700 -    unknown 18    4700 -   
seq-pthread/cs_lazy_false-unreach-call.i witness confirmed 0.52 39 3.2  timeout 920    1800 -    witness confirmed 16    69 3.4  true 0.17 27 -    witness confirmed 26    690 3.4  witness confirmed 290    1200 3.2 
seq-pthread/cs_queue_false-unreach-call.i unknown 110    7400 -    timeout 920    3600 -    unknown 3.8  290 -    true 0.23 28 -    unknown 20    4600 -    unknown 20    4600 -   
seq-pthread/cs_read_write_lock_false-unreach-call.i witness confirmed 0.91 52 3.8  timeout 920    1800 -    witness confirmed 38    120 5.1  true 0.20 23 -    witness confirmed 610    1000 4.0  timeout 920    1600 -   
seq-pthread/cs_stack_false-unreach-call.i witness confirmed 1.6  94 3.7  witness confirmed 310    1500 4.7  witness confirmed 230    160 3.9  true 0.18 27 -    unknown 5.7  240 -    unknown 5.2  240 -   
seq-pthread/cs_stateful_false-unreach-call.i unknown 0.42 37 -    witness confirmed 580    1700 3.4  witness confirmed 6.9  47 3.3  true 0.17 27 -    witness confirmed 30    700 3.4  witness confirmed 44    1200 3.3 
seq-pthread/cs_dekker_true-unreach-call.i true 850    150 -    unknown 190    770 -    timeout 920    590 -    true 0.19 27 -    false(reach) 81    710 -    false(reach) 64    1200 -   
seq-pthread/cs_fib_longer_true-unreach-call.i true 58    130 -    timeout 920    1100 -    true 280    140 -    true 0.24 28 -    unknown 17    4700 -    unknown 17    4700 -   
seq-pthread/cs_fib_true-unreach-call.i true 18    71 -    timeout 920    940 -    true 120    120 -    true 0.23 27 -    false(reach) 690    7200 -    timeout 920    7500 -   
seq-pthread/cs_lamport_true-unreach-call.i true 850    590 -    unknown 63    470 -    timeout 920    1500 -    true 0.18 27 -    false(reach) 150    730 -    false(reach) 61    1200 -   
seq-pthread/cs_peterson_true-unreach-call.i true 16    110 -    unknown 68    600 -    true 120    170 -    true 0.17 27 -    false(reach) 150    730 -    false(reach) 120    1200 -   
seq-pthread/cs_queue_true-unreach-call.i true 180    14000 -    exception 670    4100 -    unknown 2.0  200 -    true 0.23 27 -    unknown 19    4600 -    unknown 20    4600 -   
seq-pthread/cs_read_write_lock_true-unreach-call.i true 5.0  51 -    timeout 920    1800 -    true 31    110 -    true 0.18 27 -    false(reach) 310    1100 -    timeout 920    1600 -   
seq-pthread/cs_stack_true-unreach-call.i false(reach) 1.5  90 -    false(reach) 370    1400 -    true 340    190 -    true 0.17 27 -    unknown 5.4  240 -    unknown 5.4  240 -   
seq-pthread/cs_stateful_true-unreach-call.i true 2.6  39 -    unknown 250    1200 -    true 4.9  47 -    true 0.18 27 -    false(reach) 31    700 -    false(reach) 49    1200 -   
seq-pthread/cs_sync_true-unreach-call.i true 29    370 -    timeout 920    2100 -    true 130    160 -    true 0.17 27 -    false(reach) 120    730 -    timeout 920    1200 -   
seq-pthread/cs_szymanski_true-unreach-call.i true 87    310 -    unknown 55    590 -    timeout 920    320 -    true 0.18 27 -    false(reach) 150    730 -    false(reach) 140    1200 -   
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 3.3  42 -    timeout 920    1500 -    true 7.6  53 -    true 0.31 27 -    false(reach) 97    700 -    false(reach) 210    1200 -   
../../sv-benchmarks/c/ status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness status time(s) memory(MB) time(s) for witness
total files 261 69000 230000 4500 261 130000 750000 1900 261 64000 570000 5700 261 93000 160000 3400 261 140000 1800000 200 261 160000 350000 92
correct results 153 39000 89000 1100 113 11000 170000 570 144 9600 93000 1300 83 5800 7300 690 51 8600 150000 200 25 7000 27000 73
false negatives 34 7300 32000 0 0 - - - 0 - - - 7 1.4 180 0 0 - - - 0 - - -
false positives 1 1.5 90 0 1 370 1400 0 2 530 1500 0 17 6800 12000 0 9 1800 13000 0 6 640 7200 0
false properties 0 - - - 0 - - - 0 - - - 0 - - - 0 - - - 0 - - -
score (261 files, max score: 364) -171 - - - 130 - - - 193 - - - -59 - - - 15 - - - -10 - - -
Tool CBMC 4.9 CPAchecker 1.3.10-svcomp15 ESBMC 1.24 Seahorn Ultimate Automizer r12950 Ultimate Kojak r12950