Tool ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-14 09:46:18 CET [[ 2017-01-15 02:18:39 CET ]] [[ 2017-01-15 04:12:25 CET ]] [[ 2017-01-15 02:37:40 CET ]] [[ 2017-01-15 04:38:18 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   12000 2600 2.3 0     error (invalid witness file) .52 .35 7.7 39 error (invalid witness file) 5.6 3.0 110 280 - -
systemc/kundu2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   720   14000 2500 2.3 0     error (invalid witness file) .51 .33 11   42 error (invalid witness file) 6.0 3.2 120 300 - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.2 1.9 49 330 2.6 0     timeout 97    76    1000   4000 false(unreach-call) 9.5 5.1 170 340 - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   3.5 92 490 2.6 0     timeout 97    75    1000   4600 false(unreach-call) 16   8.7 240 470 - -
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   720   11000 1700 2.4 0     error (invalid witness file) .50 .31 11   39 error (invalid witness file) 6.1 3.2 120 300 - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 880   700   12000 1700 2.8 0     true 8.5  4.5  120   290 false(unreach-call) 25   13   380 620 - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   11000 1900 2.3 0     error (invalid witness file) .48 .30 7.7 39 error (invalid witness file) 6.0 3.2 110 300 - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   11000 5200 2.3 0     error (invalid witness file) .52 .32 13   40 error (invalid witness file) 6.1 3.2 110 310 - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 3400 2.3 0     error (invalid witness file) .50 .32 8.4 40 error (invalid witness file) 6.2 3.3 85 310 - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 2100 2.3 0     error (invalid witness file) .49 .32 10   41 error (invalid witness file) 5.7 3.0 130 280 - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   13000 4700 2.3 0     error (invalid witness file) .53 .34 9.5 40 error (invalid witness file) 5.7 3.1 93 300 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   11000 4800 2.3 0     error (invalid witness file) .54 .34 12   42 error (invalid witness file) 5.8 3.1 120 290 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   13000 3000 2.3 0     error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.3 3.3 130 300 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   530   8100 10000 2.3 0     error (invalid witness file) .52 .34 11   40 error (invalid witness file) 6.6 3.5 140 300 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   12000 6000 2.3 0     error (invalid witness file) .50 .32 11   42 error (invalid witness file) 6.1 3.2 120 300 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   13000 4500 2.3 0     error (invalid witness file) .57 .38 5.6 45 error (invalid witness file) 5.9 3.1 110 300 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   11000 4100 2.3 0     error (invalid witness file) .49 .32 12   39 error (invalid witness file) 6.2 3.3 97 300 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   440   7100 12000 2.3 0     error (invalid witness file) .52 .34 13   42 error (invalid witness file) 6.5 3.4 120 300 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   11000 4000 2.3 0     error (invalid witness file) .52 .34 6.8 42 error (invalid witness file) 5.8 3.1 110 300 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   470   7600 12000 2.3 0     error (invalid witness file) .53 .34 7.5 43 error (invalid witness file) 5.9 3.1 110 290 - -
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   11000 4400 2.3 0     error (invalid witness file) .53 .35 13   39 error (invalid witness file) 6.0 3.2 97 300 - -
systemc/toy2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   11000 4400 2.3 0     error (invalid witness file) .48 .32 10   40 error (invalid witness file) 6.4 3.3 120 310 - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   620   11000 5400 2.3 0     error (invalid witness file) .47 .31 9.3 39 error (invalid witness file) 5.4 2.9 100 290 - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   11000 2900 2.3 0     error (invalid witness file) .51 .35 11   40 error (invalid witness file) 6.4 3.4 120 300 - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 3500 2.3 0     error (invalid witness file) .69 .46 7.9 43 error (invalid witness file) 6.2 3.3 110 300 - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   680   11000 5600 2.3 0     error (invalid witness file) .47 .31 4.2 39 error (invalid witness file) 5.7 3.0 120 290 - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 2700 2.3 0     error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.2 2.8 58 290 - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   11000 6000 2.3 0     error (invalid witness file) .49 .32 12   40 error (invalid witness file) 5.6 3.0 95 290 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   610   9100 11000 2.3 0     error (invalid witness file) .54 .36 4.2 42 error (invalid witness file) 6.2 3.3 120 310 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   13000 6000 2.3 0     error (invalid witness file) .56 .37 12   43 error (invalid witness file) 5.7 3.1 120 290 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   430   7100 13000 2.3 0     error (invalid witness file) .51 .33 9.6 40 error (invalid witness file) 6.4 3.3 130 310 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   430   7500 13000 2.7 0     error (invalid witness file) .55 .35 12   40 error (invalid witness file) 6.8 3.6 96 300 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   510   8500 13000 2.3 0     error (invalid witness file) .51 .34 12   39 error (invalid witness file) 5.8 3.1 93 300 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   410   7300 13000 2.3 0     error (invalid witness file) .53 .36 11   42 error (invalid witness file) 5.2 2.8 79 290 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   12000 6400 2.3 0     error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.1 3.2 100 310 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 700   450   8000 9000 2.8 0     true 27    16    240   1800 false(unreach-call) 79   43   730 1400 - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   510   8200 11000 2.3 0     error (invalid witness file) .53 .35 13   44 error (invalid witness file) 6.2 3.3 110 300 - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   720   14000 1200 2.3 0     - - error (invalid witness file) .60 .38 8.8 40 error (invalid witness file) 6.2 3.3 130 300
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 1900 2.3 0     - - error (invalid witness file) .53 .34 11   39 error (invalid witness file) 6.8 3.5 140 310
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   670   11000 7300 2.3 0     - - error (invalid witness file) .51 .32 10   39 error (invalid witness file) 5.9 3.1 84 290
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   670   12000 7200 2.3 0     - - error (invalid witness file) .58 .37 11   40 error (invalid witness file) 5.8 3.1 94 300
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   670   11000 7200 2.3 0     - - error (invalid witness file) .53 .34 12   42 error (invalid witness file) 6.7 3.5 75 300
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   660   10000 7300 2.4 0     - - error (invalid witness file) .64 .41 7.3 39 error (invalid witness file) 6.5 3.4 140 300
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   660   11000 7200 2.3 0     - - error (invalid witness file) .67 .42 8.8 40 error (invalid witness file) 5.1 2.8 84 290
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   11000 2700 2.3 0     - - error (invalid witness file) .50 .33 9.6 39 error (invalid witness file) 6.4 3.4 110 290
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   11000 4800 2.3 0     - - error (invalid witness file) .59 .38 8.9 42 error (invalid witness file) 5.7 3.1 120 300
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 21   6.5 180 760 2.6 0     - - timeout 900    880    23000   6100 true 32   17   520 700
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   720   12000 1900 2.3 0     - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.3 3.3 65 320
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   720   11000 1900 2.3 0     - - error (invalid witness file) .58 .37 8.1 40 error (invalid witness file) 5.3 2.9 70 290
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 1800 2.3 0     - - error (invalid witness file) .56 .37 8.7 40 error (invalid witness file) 5.3 2.9 94 290
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   720   12000 4900 2.3 0     - - error (invalid witness file) .50 .32 10   40 error (invalid witness file) 5.4 2.9 100 290
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   13000 4500 2.3 0     - - error (invalid witness file) .58 .37 8.9 41 error (invalid witness file) 7.5 3.9 140 340
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   14000 1800 2.3 0     - - error (invalid witness file) .51 .32 9.1 40 error (invalid witness file) 6.5 3.4 110 320
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   14000 4800 2.3 0     - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.3 3.3 120 300
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   12000 4800 2.3 0     - - error (invalid witness file) .54 .35 7.6 39 error (invalid witness file) 5.3 2.8 82 290
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   12000 2400 2.3 0     - - error (invalid witness file) .71 .45 8.7 40 error (invalid witness file) 5.8 3.1 68 290
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   530   7400 11000 2.3 0     - - error (invalid witness file) .50 .33 14   40 error (invalid witness file) 6.0 3.2 110 300
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   690   11000 5900 2.3 0     - - error (invalid witness file) .57 .37 9.7 42 error (invalid witness file) 5.8 3.1 84 300
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   11000 3900 2.3 0     - - error (invalid witness file) .60 .38 12   43 error (invalid witness file) 6.0 3.2 92 300
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   11000 4400 2.3 0     - - error (invalid witness file) .53 .34 10   39 error (invalid witness file) 5.8 3.0 100 300
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   450   7700 12000 2.3 0     - - error (invalid witness file) .63 .40 8.9 40 error (invalid witness file) 6.2 3.2 120 300
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   13000 5100 2.3 0     - - error (invalid witness file) .63 .39 10   40 error (invalid witness file) 6.0 3.1 58 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 54   17   410 1300 2.7 0     true 12    6.2  80   450 false(unreach-call) 13   7.0 140 470 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 58   17   470 1300 2.7 0     true 9.4  5.0  150   400 false(unreach-call) 13   7.1 220 480 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 130   64   1300 4000 2.8 0     true 14    7.1  190   460 false(unreach-call) 16   8.6 170 590 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 130   60   1200 3600 2.8 0     true 11    5.9  200   400 false(unreach-call) 16   8.3 180 560 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 200   110   2000 4700 2.9 0     true 13    6.6  160   480 false(unreach-call) 16   8.5 190 610 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 210   130   2600 4800 3.0 0     true 11    5.9  140   420 false(unreach-call) 18   9.1 190 600 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   690   9100 7200 2.3 0     error (invalid witness file) .56 .36 10   41 error (invalid witness file) 6.3 3.4 130 310 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   11000 6900 2.3 0     error (invalid witness file) .56 .35 7.5 39 error (invalid witness file) 5.9 3.2 120 290 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   700   12000 1700 2.3 0     error (invalid witness file) .54 .35 10   42 error (invalid witness file) 6.3 3.3 120 300 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   12000 1500 2.3 0     error (invalid witness file) .48 .31 9.8 40 error (invalid witness file) 5.6 3.0 84 310 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   710   14000 1700 2.3 0     error (invalid witness file) .50 .32 10   39 error (invalid witness file) 5.6 3.0 97 290 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   12000 1500 2.3 0     error (invalid witness file) .56 .36 9.4 39 error (invalid witness file) 7.4 3.8 140 320 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   510   7900 9900 2.3 0     error (invalid witness file) .61 .38 6.1 40 error (invalid witness file) 6.2 3.3 140 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   500   6700 10000 2.3 0     error (invalid witness file) .52 .34 6.7 39 error (invalid witness file) 5.7 3.0 110 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   480   7600 13000 2.3 0     error (invalid witness file) .66 .43 7.3 39 error (invalid witness file) 6.5 3.4 110 310 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   380   6300 13000 2.3 0     error (invalid witness file) .54 .36 13   40 error (invalid witness file) 5.7 3.0 130 290 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   450   8000 12000 2.3 0     error (invalid witness file) .48 .31 10   40 error (invalid witness file) 6.3 3.4 80 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   380   6700 13000 2.3 0     error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.0 3.2 100 310 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   420   6900 12000 2.3 0     error (invalid witness file) .48 .32 8.6 40 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   350   6500 13000 2.3 0     error (invalid witness file) .50 .33 10   39 error (invalid witness file) 5.6 3.1 120 290 - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   430   7700 13000 2.3 0     error (invalid witness file) .57 .37 4.6 39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   380   6200 12000 2.3 0     error (invalid witness file) .48 .31 9.3 40 error (invalid witness file) 5.9 3.1 94 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   340   6200 13000 2.3 0     error (invalid witness file) .51 .34 9.0 41 error (invalid witness file) 5.5 3.0 97 290 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   410   8200 13000 2.3 0     error (invalid witness file) .53 .33 11   39 error (invalid witness file) 5.9 3.1 100 290 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   400   7900 13000 2.3 0     error (invalid witness file) .53 .36 13   40 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   440   6900 13000 2.3 0     error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.3 3.3 93 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   390   6700 13000 2.3 0     error (invalid witness file) .56 .36 6.3 44 error (invalid witness file) 7.7 4.0 91 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   400   6700 13000 2.3 0     error (invalid witness file) .53 .34 10   40 error (invalid witness file) 5.2 2.9 80 290 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   380   6100 12000 2.3 0     error (invalid witness file) .49 .33 12   40 error (invalid witness file) 5.9 3.1 120 300 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   390   6400 12000 2.3 0     error (invalid witness file) .50 .31 6.6 40 error (invalid witness file) 6.1 3.3 100 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   290   6200 13000 2.3 0     error (invalid witness file) .51 .34 8.2 39 error (invalid witness file) 6.7 3.5 130 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   270   5100 14000 2.3 0     error (invalid witness file) .58 .38 8.6 40 error (invalid witness file) 6.0 3.2 92 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   360   7700 13000 2.3 0     error (invalid witness file) .55 .37 7.9 40 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   280   6400 13000 2.3 0     error (invalid witness file) .52 .35 8.0 43 error (invalid witness file) 6.1 3.2 96 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   320   5500 14000 2.3 0     error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.3 3.3 120 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   240   4700 14000 2.3 0     error (invalid witness file) .51 .31 9.6 39 error (invalid witness file) 5.8 3.1 100 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   370   6300 13000 2.3 0     error (invalid witness file) .50 .32 4.6 40 error (invalid witness file) 6.1 3.2 100 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   280   5400 13000 2.3 0     error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.7 4.0 150 330 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   310   6000 13000 2.3 0     error (invalid witness file) .53 .34 12   39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   710   13000 5000 2.3 0     error (invalid witness file) .52 .33 5.9 42 error (invalid witness file) 6.2 3.2 120 310 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   12000 5900 2.3 0     error (invalid witness file) .52 .34 8.8 40 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   710   12000 5400 2.3 0     error (invalid witness file) .60 .38 7.7 39 error (invalid witness file) 5.6 3.0 120 290 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   13000 4000 2.3 0     error (invalid witness file) .51 .33 8.6 39 error (invalid witness file) 6.0 3.2 120 290 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   720   11000 3200 2.3 0     error (invalid witness file) .46 .31 5.4 40 error (invalid witness file) 6.6 3.5 99 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   670   11000 7500 2.3 0     error (invalid witness file) .53 .34 7.4 39 error (invalid witness file) 5.3 2.8 100 290 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   720   14000 2500 2.3 0     error (invalid witness file) .52 .34 3.7 39 error (invalid witness file) 5.5 2.9 79 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   720   14000 5700 2.3 0     error (invalid witness file) .49 .32 9.6 39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   720   15000 1900 2.3 0     error (invalid witness file) .53 .34 13   39 error (invalid witness file) 5.8 3.1 97 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   470   7600 12000 2.3 0     error (invalid witness file) .53 .34 4.0 40 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   720   11000 2700 2.3 0     error (invalid witness file) .58 .37 11   43 error (invalid witness file) 7.3 3.8 130 320 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   560   9100 11000 2.3 0     error (invalid witness file) .49 .33 8.9 39 error (invalid witness file) 5.9 3.1 120 290 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   720   12000 2500 2.3 .45  error (invalid witness file) .50 .31 6.4 41 error (invalid witness file) 5.6 3.0 120 290 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   420   7900 13000 2.3 0     error (invalid witness file) .50 .33 10   40 error (invalid witness file) 5.9 3.1 75 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   710   13000 2500 2.3 0     error (invalid witness file) .58 .37 7.8 39 error (invalid witness file) 6.3 3.3 110 310 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   460   7200 13000 2.3 0     error (invalid witness file) .52 .32 9.9 42 error (invalid witness file) 5.7 3.1 110 300 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   730   12000 1800 2.3 0     error (invalid witness file) .51 .34 7.0 40 error (invalid witness file) 5.9 3.2 120 300 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   720   14000 3200 2.3 0     error (invalid witness file) .54 .35 4.7 44 error (invalid witness file) 6.2 3.3 120 310 - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   720   14000 2900 2.3 0     error (invalid witness file) .53 .33 12   43 error (invalid witness file) 5.3 2.9 95 280 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   720   11000 2200 2.3 0     error (invalid witness file) .55 .35 11   44 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   11000 4200 2.3 0     error (invalid witness file) .54 .36 7.7 40 error (invalid witness file) 6.6 3.5 110 310 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   610   10000 10000 2.3 0     error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.0 3.2 130 290 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   720   13000 2200 2.3 0     error (invalid witness file) .50 .33 7.0 43 error (invalid witness file) 5.5 3.0 100 290 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   12000 5300 2.3 0     error (invalid witness file) .56 .38 12   43 error (invalid witness file) 6.1 3.2 130 300 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   570   9000 12000 2.3 0     error (invalid witness file) .50 .32 6.1 41 error (invalid witness file) 5.5 3.0 70 290 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   720   14000 3300 2.3 0     error (invalid witness file) .47 .31 6.7 39 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   720   12000 3100 2.3 0     error (invalid witness file) .52 .36 12   39 error (invalid witness file) 6.0 3.2 100 300 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   13000 3800 2.3 0     error (invalid witness file) .52 .34 13   41 error (invalid witness file) 5.8 3.1 100 290 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   710   10000 2900 2.3 0     error (invalid witness file) .55 .35 6.3 40 error (invalid witness file) 6.5 3.4 130 310 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   690   11000 6800 2.3 0     error (invalid witness file) .53 .33 13   40 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   680   11000 7500 2.3 .016 error (invalid witness file) .50 .31 6.2 39 error (invalid witness file) 5.9 3.1 110 290 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   700   12000 5400 2.3 0     error (invalid witness file) .54 .36 12   39 error (invalid witness file) 5.9 3.1 85 300 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   690   11000 5400 2.3 0     error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.5 3.4 110 310 - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   570   8900 12000 2.3 0     error (invalid witness file) .49 .33 10   40 error (invalid witness file) 5.8 3.1 75 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   460   6700 12000 2.3 0     error (invalid witness file) .56 .38 13   44 error (invalid witness file) 5.6 3.0 82 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   350   6600 13000 2.3 0     error (invalid witness file) .49 .32 13   40 error (invalid witness file) 5.7 3.1 94 290 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   360   6300 13000 2.3 0     error (invalid witness file) .49 .32 10   40 error (invalid witness file) 7.0 3.7 94 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   420   7200 13000 2.3 0     error (invalid witness file) .52 .33 13   42 error (invalid witness file) 6.1 3.3 120 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   420   7900 13000 2.3 0     error (invalid witness file) .47 .31 9.2 40 error (invalid witness file) 6.1 3.2 130 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   460   7100 13000 2.3 0     error (invalid witness file) .55 .36 9.1 41 error (invalid witness file) 6.7 3.5 130 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   490   8600 11000 2.3 0     error (invalid witness file) .55 .35 8.0 39 error (invalid witness file) 6.5 3.4 120 310 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   380   6800 13000 2.3 0     error (invalid witness file) .48 .33 7.1 39 error (invalid witness file) 6.0 3.2 110 300 - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   450   7300 13000 2.3 0     error (invalid witness file) .56 .35 10   40 error (invalid witness file) 5.5 2.9 110 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   310   5500 13000 2.3 0     error (invalid witness file) .50 .32 7.7 40 error (invalid witness file) 5.9 3.1 84 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   310   4900 14000 2.3 0     error (invalid witness file) .59 .38 7.0 39 error (invalid witness file) 5.8 3.1 93 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   290   5900 13000 2.3 0     error (invalid witness file) .49 .32 9.5 40 error (invalid witness file) 6.2 3.2 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   340   6000 13000 2.3 0     error (invalid witness file) .54 .34 11   42 error (invalid witness file) 5.5 3.0 96 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   360   6400 13000 2.3 0     error (invalid witness file) .47 .31 8.2 39 error (invalid witness file) 6.5 3.4 130 310 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   370   6700 13000 2.3 0     error (invalid witness file) .52 .32 10   39 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   290   5700 14000 2.3 0     error (invalid witness file) .49 .32 8.7 40 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   360   5800 13000 2.3 0     error (invalid witness file) .47 .31 8.9 40 error (invalid witness file) 5.9 3.2 77 300 - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   390   7200 14000 2.3 0     error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.1 3.3 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   280   5700 14000 2.3 0     error (invalid witness file) .50 .33 12   41 error (invalid witness file) 5.7 3.0 75 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   260   5100 13000 2.3 0     error (invalid witness file) .49 .31 6.4 40 error (invalid witness file) 6.1 3.2 110 290 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   300   5500 14000 2.3 .025 error (invalid witness file) .58 .37 5.5 39 error (invalid witness file) 5.9 3.2 76 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   250   5500 14000 2.3 0     error (invalid witness file) .50 .33 6.6 41 error (invalid witness file) 6.3 3.3 120 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   300   5400 13000 2.3 0     error (invalid witness file) .47 .32 4.4 40 error (invalid witness file) 6.3 3.3 130 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   220   4700 14000 2.3 0     error (invalid witness file) .47 .30 5.9 39 error (invalid witness file) 6.2 3.3 130 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   300   5100 14000 2.3 0     error (invalid witness file) .61 .40 13   44 error (invalid witness file) 7.2 3.7 130 320 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   260   4800 14000 2.3 0     error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.7 3.5 140 290 - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   300   5400 14000 2.3 0     error (invalid witness file) .48 .31 9.7 39 error (invalid witness file) 5.8 3.1 120 290 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error 0 wit inspect 260   210   2800 1700 2.5 0     error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.8 3.6 130 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900   840   9800 5500 2.5 0     error (invalid witness file) .49 .30 4.6 39 error (invalid witness file) 6.8 3.6 120 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900   860   12000 1500 2.5 0     error (invalid witness file) .53 .34 7.9 42 error (invalid witness file) 6.6 3.5 140 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   830   12000 3700 2.5 0     error (invalid witness file) .50 .33 9.1 41 error (invalid witness file) 7.0 3.7 93 290 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900   860   14000 1900 2.5 0     error (invalid witness file) .57 .37 12   43 error (invalid witness file) 6.1 3.2 100 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900   840   9800 5600 2.5 0     error (invalid witness file) .56 .36 8.5 42 error (invalid witness file) 6.7 3.5 78 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error 0 wit inspect 270   220   2900 2000 2.5 0     error (invalid witness file) .51 .34 3.9 41 error (invalid witness file) 6.8 3.6 130 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   840   12000 5600 2.5 0     error (invalid witness file) .48 .30 6.9 40 error (invalid witness file) 7.1 3.7 150 310 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   830   10000 6700 2.5 0     error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.8 3.6 110 300 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   810   11000 7100 2.5 0     error (invalid witness file) .52 .36 4.0 40 error (invalid witness file) 6.4 3.4 110 290 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   880   11000 1200 2.5 0     error (invalid witness file) .48 .32 8.0 40 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   840   9800 3500 2.5 0     error (invalid witness file) .54 .36 11   41 error (invalid witness file) 6.7 3.5 110 310 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error 0 wit inspect 180   150   2100 1400 2.5 0     error (invalid witness file) .52 .32 6.8 40 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   840   10000 3600 2.5 0     error (invalid witness file) .53 .36 4.4 42 error (invalid witness file) 6.4 3.4 90 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error 0 wit inspect 270   240   2900 1400 2.5 0     error (invalid witness file) .49 .33 9.4 39 error (invalid witness file) 5.9 3.2 98 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error 0 wit inspect 310   280   3400 1400 2.5 0     error (invalid witness file) .68 .43 8.1 42 error (invalid witness file) 6.6 3.5 100 310 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error 0 wit inspect 360   320   3500 1500 2.5 0     error (invalid witness file) .56 .35 12   42 error (invalid witness file) 6.0 3.2 92 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error 0 wit inspect 400   360   3700 1600 2.5 0     error (invalid witness file) .48 .31 7.6 39 error (invalid witness file) 9.0 4.7 91 320 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error 0 wit inspect 280   230   2700 1500 2.6 0     error (invalid witness file) .52 .34 12   42 error (invalid witness file) 6.8 3.6 140 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error 0 wit inspect 190   150   1900 1200 2.5 0     error (invalid witness file) .54 .36 13   41 error (invalid witness file) 6.4 3.4 110 300 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   720   14000 3700 2.3 0     error (invalid witness file) .52 .33 8.9 42 error (invalid witness file) 7.3 3.8 130 320 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   710   12000 4300 2.3 0     error (invalid witness file) .52 .34 11   39 error (invalid witness file) 6.0 3.2 100 290 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   840   9900 3100 2.5 0     error (invalid witness file) .53 .36 11   40 error (invalid witness file) 5.9 3.2 120 290 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   850   12000 5000 2.5 0     error (invalid witness file) .49 .32 4.3 40 error (invalid witness file) 6.3 3.3 130 310 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900   870   11000 1100 2.5 0     error (invalid witness file) .65 .42 9.1 44 error (invalid witness file) 6.5 3.4 120 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   870   13000 1200 2.5 0     error (invalid witness file) .53 .35 4.3 42 error (invalid witness file) 6.2 3.3 98 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   700   12000 7000 2.3 0     - - error (invalid witness file) .69 .44 8.0 42 error (invalid witness file) 5.7 3.1 92 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   680   10000 7500 2.3 0     - - error (invalid witness file) .51 .33 12   42 error (invalid witness file) 7.3 3.8 110 290
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   710   12000 1600 2.3 0     - - error (invalid witness file) .52 .33 11   39 error (invalid witness file) 6.0 3.2 110 300
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   11000 1500 2.3 0     - - error (invalid witness file) .56 .37 9.2 39 error (invalid witness file) 5.5 2.9 38 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   490   7600 11000 2.3 0     - - error (invalid witness file) .68 .43 6.0 43 error (invalid witness file) 5.9 3.2 110 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   380   6000 13000 2.3 0     - - error (invalid witness file) .64 .41 8.1 39 error (invalid witness file) 5.8 3.1 98 290
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   410   6500 13000 2.3 0     - - error (invalid witness file) .59 .37 11   41 error (invalid witness file) 5.9 3.1 110 290
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   380   5700 13000 2.3 0     - - error (invalid witness file) .51 .33 9.2 42 error (invalid witness file) 6.1 3.2 99 310
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   380   6600 13000 2.3 0     - - error (invalid witness file) .71 .43 8.2 43 error (invalid witness file) 6.0 3.2 94 290
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   290   5300 14000 2.3 0     - - error (invalid witness file) .66 .42 9.2 40 error (invalid witness file) 5.7 3.0 50 300
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   720   11000 5300 2.3 0     - - error (invalid witness file) .49 .33 12   39 error (invalid witness file) 6.3 3.3 110 290
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   12000 5900 2.3 0     - - error (invalid witness file) .56 .37 12   41 error (invalid witness file) 6.7 3.5 110 320
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   720   12000 3100 2.3 0     - - error (invalid witness file) .53 .34 14   41 error (invalid witness file) 5.9 3.1 86 300
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   670   11000 7300 2.3 0     - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 7.0 3.7 140 320
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   720   13000 2200 2.3 0     - - error (invalid witness file) .64 .39 9.9 40 error (invalid witness file) 6.5 3.4 130 310
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   510   8400 13000 2.3 0     - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 5.7 3.0 120 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   720   12000 2500 2.3 0     - - error (invalid witness file) .52 .34 11   43 error (invalid witness file) 6.1 3.2 110 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   420   7500 13000 2.3 0     - - error (invalid witness file) .58 .36 9.0 40 error (invalid witness file) 6.5 3.5 100 290
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   730   13000 1700 2.3 0     - - error (invalid witness file) .57 .35 9.1 40 error (invalid witness file) 5.9 3.1 110 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   720   14000 2700 2.3 0     - - error (invalid witness file) .68 .42 8.0 39 error (invalid witness file) 5.8 3.1 110 290
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   720   13000 2100 2.3 0     - - error (invalid witness file) .55 .35 8.8 40 error (invalid witness file) 6.0 3.2 110 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   12000 2900 2.7 0     - - error (invalid witness file) .66 .42 7.2 40 error (invalid witness file) 6.1 3.2 120 290
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   720   11000 1900 2.3 0     - - error (invalid witness file) .65 .41 7.9 39 error (invalid witness file) 6.0 3.2 130 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   11000 5100 2.3 0     - - error (invalid witness file) .55 .33 13   40 error (invalid witness file) 6.2 3.3 130 300
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   720   12000 2500 2.3 0     - - error (invalid witness file) .48 .30 10   39 error (invalid witness file) 5.9 3.1 120 300
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   15000 3300 2.3 0     - - error (invalid witness file) .68 .43 7.4 40 error (invalid witness file) 5.7 3.1 70 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   710   12000 2900 2.3 0     - - error (invalid witness file) .61 .38 7.8 41 error (invalid witness file) 6.1 3.2 130 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   690   13000 6600 2.3 0     - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 7.0 3.6 150 310
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   700   12000 5400 2.3 0     - - error (invalid witness file) .51 .32 14   39 error (invalid witness file) 5.9 3.1 79 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   690   10000 5300 2.3 0     - - error (invalid witness file) .65 .42 7.4 40 error (invalid witness file) 5.5 3.0 61 290
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   510   7500 9700 2.3 0     - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.7 3.1 96 290
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   420   6900 13000 2.3 0     - - error (invalid witness file) .65 .41 9.1 44 error (invalid witness file) 6.8 3.6 130 310
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   290   5300 13000 2.3 0     - - error (invalid witness file) .65 .41 8.0 40 error (invalid witness file) 5.8 3.1 79 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   340   6000 13000 2.3 0     - - error (invalid witness file) .66 .41 7.6 40 error (invalid witness file) 5.6 3.0 90 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   300   5500 14000 2.3 0     - - error (invalid witness file) .69 .44 8.6 40 error (invalid witness file) 6.1 3.2 79 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   260   5200 14000 2.3 0     - - error (invalid witness file) .66 .41 8.1 41 error (invalid witness file) 7.6 4.0 81 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error 0 wit inspect 200   170   2200 1500 2.5 0     - - error (invalid witness file) .64 .41 6.9 39 error (invalid witness file) 6.6 3.4 110 310
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   830   9100 4200 2.5 0     - - error (invalid witness file) .53 .35 10   40 error (invalid witness file) 6.9 3.6 130 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error 0 wit inspect 290   240   4000 1800 2.5 0     - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.5 3.4 120 310
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   830   10000 5600 2.5 0     - - error (invalid witness file) .60 .39 9.0 40 error (invalid witness file) 7.1 3.7 140 310
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   820   11000 6800 2.5 0     - - error (invalid witness file) .63 .40 7.9 41 error (invalid witness file) 6.4 3.3 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   830   10000 6700 2.5 0     - - error (invalid witness file) .58 .37 11   43 error (invalid witness file) 6.8 3.6 110 310
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   800   12000 7100 2.5 0     - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.7 3.5 130 310
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   830   12000 6600 2.3 0     - - error (invalid witness file) .68 .42 7.0 39 error (invalid witness file) 6.6 3.5 78 310
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   880   13000 1100 2.5 0     - - error (invalid witness file) .61 .39 7.6 39 error (invalid witness file) 5.9 3.1 110 290
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   840   9800 3600 2.5 0     - - error (invalid witness file) .64 .40 8.3 41 error (invalid witness file) 6.4 3.3 120 290
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   880   10000 1200 2.9 0     - - error (invalid witness file) .53 .33 12   39 error (invalid witness file) 5.6 3.0 110 280
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   840   12000 3400 2.5 0     - - error (invalid witness file) .61 .40 8.1 40 error (invalid witness file) 6.9 3.7 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error 0 wit inspect 190   160   2100 1600 2.5 0     - - error (invalid witness file) .63 .41 6.5 41 error (invalid witness file) 6.3 3.4 80 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   840   9900 4200 2.5 .59  - - error (invalid witness file) .62 .39 11   43 error (invalid witness file) 6.9 3.7 110 310
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error 0 wit inspect 210   170   2400 1300 2.5 0     - - error (invalid witness file) .54 .34 12   41 error (invalid witness file) 6.8 3.5 91 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error 0 wit inspect 270   230   2800 1300 2.5 0     - - error (invalid witness file) .58 .37 10   41 error (invalid witness file) 6.5 3.5 110 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error 0 wit inspect 240   200   2600 1500 2.5 0     - - error (invalid witness file) .62 .39 8.3 40 error (invalid witness file) 7.6 4.0 120 310
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error 0 wit inspect 210   170   2100 1200 2.5 0     - - error (invalid witness file) .50 .32 7.1 39 error (invalid witness file) 6.6 3.5 99 310
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error 0 wit inspect 270   230   3200 1200 2.5 0     - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.4 3.4 94 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error 0 wit inspect 320   270   3600 1400 2.5 0     - - error (invalid witness file) .69 .45 9.3 44 error (invalid witness file) 6.6 3.5 110 300
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   720   11000 3400 2.3 0     - - error (invalid witness file) .50 .33 12   41 error (invalid witness file) 6.9 3.6 120 310
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   720   15000 3700 2.3 0     - - error (invalid witness file) .54 .35 13   45 error (invalid witness file) 8.3 4.3 110 300
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   710   11000 3400 2.3 0     - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 5.7 3.1 69 290
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   720   12000 3500 2.3 0     - - error (invalid witness file) .64 .41 8.3 40 error (invalid witness file) 6.1 3.3 130 290
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   840   9600 3100 2.5 0     - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.5 3.4 100 310
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   850   10000 5000 2.5 0     - - error (invalid witness file) .55 .35 9.1 40 error (invalid witness file) 6.7 3.5 120 300
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   860   10000 1200 2.5 0     - - error (invalid witness file) .56 .36 13   43 error (invalid witness file) 7.1 3.7 140 320
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   870   11000 1100 2.5 0     - - error (invalid witness file) .47 .31 12   39 error (invalid witness file) 5.9 3.2 94 290
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900   870   14000 1200 2.5 0     - - error (invalid witness file) .63 .39 11   43 error (invalid witness file) 6.3 3.3 97 310
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   870   14000 1200 2.5 0     - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.9 3.6 130 320
seq-pthread/cs_fib_false-unreach-call.i error 0 wit inspect 9.3 2.8 76 330 2.7 0     error (invalid witness file) .50 .32 11   41 error (invalid witness file) 5.9 3.1 88 310 - -
seq-pthread/cs_fib_longer_false-unreach-call.i error 0 wit inspect 8.6 2.7 65 310 2.6 0     error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.3 3.3 120 300 - -
seq-pthread/cs_lazy_false-unreach-call.i unknown 0 wit inspect 51   19   420 960 2.6 0     error (invalid witness file) .57 .37 9.0 39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-pthread/cs_queue_false-unreach-call.i unknown 0 wit inspect 49   33   510 8300 2.6 0     error (invalid witness file) .50 .32 9.5 39 error (invalid witness file) 7.4 4.0 120 320 - -
seq-pthread/cs_read_write_lock_false-unreach-call.i error 0 wit inspect 8.6 2.7 63 310 2.6 0     error (invalid witness file) .49 .32 8.4 40 error (invalid witness file) 6.4 3.3 120 310 - -
seq-pthread/cs_stack_false-unreach-call.i unknown 0 wit inspect 9.7 2.9 82 340 2.6 0     error (invalid witness file) .50 .31 10   39 error (invalid witness file) 6.4 3.4 130 300 - -
seq-pthread/cs_stateful_false-unreach-call.i unknown 0 wit inspect 380   340   4600 830 2.5 0     error (invalid witness file) .54 .36 9.8 41 error (invalid witness file) 6.3 3.3 110 300 - -
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 910   530   8000 13000 2.3 0     - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 5.8 3.1 110 290
seq-pthread/cs_fib_longer_true-unreach-call.i error 0 wit inspect 8.7 2.8 74 300 2.6 0     - - error (invalid witness file) .54 .35 11   41 error (invalid witness file) 6.3 3.3 100 290
seq-pthread/cs_fib_true-unreach-call.i error 0 wit inspect 9.1 2.9 66 310 2.6 0     - - error (invalid witness file) .71 .44 8.6 42 error (invalid witness file) 5.8 3.1 100 290
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900   590   7800 12000 2.3 0     - - error (invalid witness file) .54 .35 9.5 42 error (invalid witness file) 7.5 3.9 79 310
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 910   460   6600 12000 2.3 0     - - error (invalid witness file) .69 .44 8.1 41 error (invalid witness file) 6.1 3.2 93 290
seq-pthread/cs_queue_true-unreach-call.i unknown 0 wit inspect 51   34   470 8300 2.6 0     - - error (invalid witness file) .62 .40 8.0 40 error (invalid witness file) 5.6 3.0 97 300
seq-pthread/cs_read_write_lock_true-unreach-call.i error 0 wit inspect 8.6 2.7 70 310 2.6 0     - - error (invalid witness file) .73 .47 6.0 39 error (invalid witness file) 7.1 3.7 140 320
seq-pthread/cs_stack_true-unreach-call.i unknown 0 wit inspect 8.8 2.8 70 310 2.6 0     - - error (invalid witness file) .53 .33 14   40 error (invalid witness file) 6.4 3.4 120 310
seq-pthread/cs_stateful_true-unreach-call.i unknown 0 wit inspect 340   310   4700 990 2.5 0     - - error (invalid witness file) .51 .32 14   39 error (invalid witness file) 6.1 3.2 120 300
seq-pthread/cs_sync_true-unreach-call.i unknown 0 wit inspect 280   250   3300 1100 2.5 0     - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 5.9 3.1 93 290
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 910   460   7800 12000 2.3 0     - - error (invalid witness file) .81 .52 4.9 40 error (invalid witness file) 6.0 3.2 120 300
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 0 wit inspect 910   480   7000 12000 2.3 0     - - error (invalid witness file) .69 .44 8.4 42 error (invalid witness file) 6.2 3.3 130 300
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 273 12 220000 150000   2300000 1800000 660   1.1 273 380 260 4800 20000   273 1200 640 20000 54000   273 960 910 24000 10000   273 670 350 11000 31000  
    correct results 11 12 2400 1600   28000 32000 30   0   8 300 210 3300 13000   10 220 120 2600 6100   0 900 880 23000 6100   1 32 17 520 700  
        correct true 1 2 21 6.5 180 760 2.6 0   8 0 0 0 0   0 0 0 0 0   0 900 880 23000 6100   1 32 17 520 700  
        correct false 10 10 2400 1600   28000 31000 28   0   0 300 210 3300 13000   10 220 120 2600 6100   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (273 tasks, max score: 376) 12
Run set sv-comp17.ReachSafety-Sequentialized