Tool ULTIMATE Kojak 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-13 13:05:01 CET [[ 2017-01-15 02:11:27 CET ]] [[ 2017-01-15 04:07:55 CET ]] [[ 2017-01-15 02:33:46 CET ]] [[ 2017-01-15 04:34:07 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-13_1305.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   570   12000 3900 2.3 0      error (invalid witness file) .59 .38 9.4 39 error (invalid witness file) 5.6 3.0 97 300 - -
systemc/kundu2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   530   12000 2900 2.3 0      error (invalid witness file) .54 .35 8.6 42 error (invalid witness file) 5.7 3.1 110 300 - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.2 2.0 53 340 2.5 0      timeout 96    77    1100   4400 false(unreach-call) 9.8 5.2 160 330 - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.7 2.3 55 340 2.9 0      timeout 98    76    2300   4600 false(unreach-call) 15   8.2 200 480 - -
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   780   13000 4600 2.3 0      error (invalid witness file) .51 .35 3.7 43 error (invalid witness file) 6.6 3.4 130 310 - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 21   5.5 150 670 2.6 0      true 7.5  4.0  92   290 false(unreach-call) 24   13   420 570 - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   510   12000 4100 2.3 0      error (invalid witness file) .66 .42 7.2 41 error (invalid witness file) 5.8 3.0 100 300 - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   660   11000 1600 2.3 0      error (invalid witness file) .56 .38 13   42 error (invalid witness file) 6.1 3.3 110 300 - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   12000 5200 2.3 0      error (invalid witness file) .49 .31 11   41 error (invalid witness file) 6.2 3.3 130 300 - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   15000 5200 2.3 0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.1 3.2 130 300 - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   14000 4000 2.3 0      error (invalid witness file) .52 .37 11   40 error (invalid witness file) 7.2 3.7 140 330 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   13000 5300 2.3 0      error (invalid witness file) .56 .35 9.2 41 error (invalid witness file) 6.4 3.4 140 300 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   13000 5300 2.3 0      error (invalid witness file) .51 .34 11   42 error (invalid witness file) 6.2 3.3 110 290 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   12000 5300 2.3 0      error (invalid witness file) .71 .44 8.0 46 error (invalid witness file) 6.5 3.4 120 300 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   14000 5300 2.3 0      error (invalid witness file) .51 .33 8.9 41 error (invalid witness file) 6.3 3.3 130 300 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   12000 5400 2.3 0      error (invalid witness file) .53 .35 13   40 error (invalid witness file) 6.0 3.2 98 290 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   13000 5600 2.3 0      error (invalid witness file) .63 .40 9.6 44 error (invalid witness file) 5.9 3.2 110 290 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   13000 5700 2.3 0      error (invalid witness file) .53 .34 13   43 error (invalid witness file) 6.1 3.3 130 300 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   13000 5600 2.3 0      error (invalid witness file) .52 .32 8.7 40 error (invalid witness file) 6.5 3.4 97 310 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   13000 5700 2.3 0      error (invalid witness file) .48 .32 9.2 41 error (invalid witness file) 5.7 3.0 81 300 - -
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   790   14000 1400 2.3 0      error (invalid witness file) .63 .41 5.8 40 error (invalid witness file) 5.9 3.1 90 300 - -
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 440   370   5900 1500 2.7 0      true 15    7.9  240   490 false(unreach-call) 34   18   370 850 - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   520   12000 1200 2.3 0      error (invalid witness file) .47 .31 7.3 39 error (invalid witness file) 5.3 2.8 64 290 - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   570   11000 2100 2.3 0      error (invalid witness file) .55 .35 11   43 error (invalid witness file) 6.1 3.2 120 300 - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   510   10000 1600 2.3 0      error (invalid witness file) .53 .36 12   41 error (invalid witness file) 6.2 3.3 120 290 - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   770   13000 2300 2.3 0      error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.7 3.5 130 320 - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   11000 5200 2.3 0      error (invalid witness file) .55 .34 7.4 40 error (invalid witness file) 6.1 3.3 110 300 - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   11000 5400 2.3 0      error (invalid witness file) .54 .36 12   41 error (invalid witness file) 6.1 3.2 130 300 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   13000 5300 2.3 .012  error (invalid witness file) .59 .39 9.4 40 error (invalid witness file) 6.1 3.2 96 300 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   12000 5600 2.3 0      error (invalid witness file) .62 .40 8.2 40 error (invalid witness file) 5.7 3.0 93 300 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   11000 5300 2.3 0      error (invalid witness file) .58 .36 10   43 error (invalid witness file) 6.1 3.2 130 300 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   14000 5600 2.3 0      error (invalid witness file) .49 .32 7.0 40 error (invalid witness file) 6.7 3.5 140 310 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   14000 5700 2.3 0      error (invalid witness file) .55 .35 9.4 40 error (invalid witness file) 5.6 3.0 110 290 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   13000 5600 2.3 0      error (invalid witness file) .51 .33 7.9 40 error (invalid witness file) 6.3 3.3 120 300 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   12000 5600 2.3 0      error (invalid witness file) .51 .33 9.9 39 error (invalid witness file) 6.0 3.2 120 290 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 37   13   350 1000 2.7 0      true 28    16    360   1600 false(unreach-call) 73   40   690 1300 - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 42   14   350 1100 2.7 0      true 31    18    450   1600 false(unreach-call) 78   43   1200 1400 - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   770   15000 2600 2.3 0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 5.9 3.1 99 300
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   530   9900 2800 2.3 0      - - error (invalid witness file) .47 .30 8.9 40 error (invalid witness file) 5.8 3.1 130 300
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   13000 5200 2.3 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.4 3.4 130 300
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   15000 5200 2.3 0      - - error (invalid witness file) .51 .34 12   41 error (invalid witness file) 6.4 3.4 110 310
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   12000 5200 2.3 0      - - error (invalid witness file) .65 .41 8.2 40 error (invalid witness file) 6.3 3.3 130 300
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   13000 5100 2.3 0      - - error (invalid witness file) .61 .39 6.1 40 error (invalid witness file) 5.9 3.1 94 290
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   14000 5200 2.3 0      - - error (invalid witness file) .51 .31 11   40 error (invalid witness file) 5.9 3.2 110 300
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   770   13000 1900 2.3 0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.1 3.2 120 300
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   770   13000 1900 2.3 0      - - error (invalid witness file) .66 .42 8.8 41 error (invalid witness file) 6.6 3.5 91 300
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   520   9500 1300 2.3 0      - - error (invalid witness file) .62 .40 7.9 39 error (invalid witness file) 6.4 3.4 87 320
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   770   12000 4600 2.3 0      - - error (invalid witness file) .62 .39 7.6 39 error (invalid witness file) 5.4 2.9 110 280
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   580   10000 2700 2.3 0      - - error (invalid witness file) .64 .40 7.5 40 error (invalid witness file) 5.8 3.1 85 300
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   510   11000 1900 2.3 0      - - error (invalid witness file) .58 .38 8.6 39 error (invalid witness file) 6.0 3.2 93 300
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   510   12000 3200 2.3 0      - - error (invalid witness file) .62 .40 7.1 39 error (invalid witness file) 5.9 3.2 120 300
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   11000 5200 2.3 0      - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 6.2 3.3 130 300
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   12000 5100 2.3 0      - - error (invalid witness file) .71 .45 7.9 41 error (invalid witness file) 6.9 3.7 110 310
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   13000 5000 2.3 0      - - error (invalid witness file) .49 .33 11   40 error (invalid witness file) 6.7 3.5 120 310
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   14000 4600 2.3 0      - - error (invalid witness file) .61 .40 9.3 40 error (invalid witness file) 5.2 2.8 52 290
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   16000 5300 2.3 0      - - error (invalid witness file) .59 .38 9.7 40 error (invalid witness file) 6.3 3.3 120 290
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   13000 5300 2.3 0      - - error (invalid witness file) .49 .32 6.6 40 error (invalid witness file) 6.0 3.2 100 300
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   14000 5400 2.3 0      - - error (invalid witness file) .67 .42 8.7 40 error (invalid witness file) 6.1 3.3 140 300
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   12000 5400 2.3 0      - - error (invalid witness file) .62 .39 7.8 40 error (invalid witness file) 6.3 3.3 130 310
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   750   12000 5400 2.3 0      - - error (invalid witness file) .45 .29 8.5 39 error (invalid witness file) 6.1 3.2 120 300
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   740   13000 5700 2.3 0      - - error (invalid witness file) .56 .37 10   43 error (invalid witness file) 6.1 3.2 110 300
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   790   13000 1400 2.3 0      - - error (invalid witness file) .57 .37 11   44 error (invalid witness file) 7.3 3.9 80 290
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   540   11000 1900 2.3 0      error (invalid witness file) .53 .34 10   43 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   540   9800 2200 2.3 0      error (invalid witness file) .62 .39 7.8 39 error (invalid witness file) 5.8 3.1 120 290 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   550   12000 3100 2.3 0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.7 3.0 88 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   550   12000 1700 2.3 0      error (invalid witness file) .52 .34 11   40 error (invalid witness file) 6.0 3.2 120 290 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   540   11000 2000 2.3 0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   540   11000 2000 2.3 0      error (invalid witness file) .49 .31 5.3 40 error (invalid witness file) 5.7 3.1 110 290 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   550   9400 2600 2.3 0      error (invalid witness file) .52 .34 5.4 39 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   540   11000 2400 2.3 0      error (invalid witness file) .51 .33 9.0 40 error (invalid witness file) 5.9 3.1 110 290 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   620   10000 3200 2.3 0      error (invalid witness file) .56 .36 12   41 error (invalid witness file) 5.9 3.1 100 300 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   620   12000 3000 2.3 0      error (invalid witness file) .52 .36 4.2 40 error (invalid witness file) 6.3 3.4 120 310 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   620   11000 2800 2.3 0      error (invalid witness file) .50 .33 3.9 39 error (invalid witness file) 6.1 3.3 140 300 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   620   12000 3500 2.3 0      error (invalid witness file) .48 .31 9.5 39 error (invalid witness file) 5.6 3.0 110 280 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 110   75   1300 1200 2.7 0      true 8.5  4.4  59   310 timeout 96   75   1400 1500 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 0 wit inspect 150   110   1900 780 2.5 0      error (invalid witness file) .61 .40 11   45 error (invalid witness file) 6.2 3.2 120 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 37   16   360 750 2.7 0      true 8.4  4.4  120   320 false(unreach-call) 35   23   390 740 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 53   30   500 780 2.7 0      true 7.7  4.0  98   320 false(unreach-call) 22   12   320 590 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c error 0 wit inspect 110   74   1400 1200 2.5 0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 5.8 3.1 83 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c error 0 wit inspect 120   87   1400 860 2.5 0      error (invalid witness file) .52 .34 13   40 error (invalid witness file) 5.9 3.1 110 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c error 0 wit inspect 130   86   1700 1200 2.5 0      error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c error 0 wit inspect 110   80   1300 970 2.5 0      error (invalid witness file) .51 .34 9.2 39 error (invalid witness file) 6.1 3.2 120 290 - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   800   13000 12000 2.3 0      error (invalid witness file) .63 .40 8.0 40 error (invalid witness file) 5.9 3.2 120 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   800   11000 11000 2.3 0      error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   10000 1600 2.3 0      error (invalid witness file) .46 .30 8.2 39 error (invalid witness file) 6.3 3.3 130 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c error 0 wit inspect 420   350   5000 2700 2.5 0      error (invalid witness file) .53 .36 12   39 error (invalid witness file) 6.1 3.2 91 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   11000 1600 2.3 .033  error (invalid witness file) .56 .36 11   41 error (invalid witness file) 6.1 3.3 120 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   820   12000 2900 2.3 0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.1 3.8 100 320 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   11000 1300 2.3 0      error (invalid witness file) .56 .35 13   42 error (invalid witness file) 6.4 3.4 130 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c error 0 wit inspect 800   710   12000 3100 2.5 0      error (invalid witness file) .50 .32 7.2 39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   830   11000 2300 2.3 0      error (invalid witness file) .53 .34 12   39 error (invalid witness file) 6.0 3.2 130 290 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   830   11000 7100 2.3 0      error (invalid witness file) .51 .33 7.0 42 error (invalid witness file) 5.9 3.2 99 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   810   12000 2500 2.3 0      error (invalid witness file) .59 .38 9.5 40 error (invalid witness file) 6.5 3.4 110 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   12000 1800 2.3 0      error (invalid witness file) .66 .42 8.3 40 error (invalid witness file) 6.5 3.5 120 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   820   11000 5800 2.3 0      error (invalid witness file) .54 .36 13   39 error (invalid witness file) 6.2 3.3 130 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   11000 3000 2.3 0      error (invalid witness file) .48 .32 10   39 error (invalid witness file) 6.4 3.4 140 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   830   14000 3300 2.3 0      error (invalid witness file) .50 .33 9.3 40 error (invalid witness file) 5.5 3.0 100 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   11000 2500 2.3 0      error (invalid witness file) .47 .31 3.9 40 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   820   13000 3400 2.3 0      error (invalid witness file) .50 .35 8.4 40 error (invalid witness file) 6.3 3.4 110 310 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   11000 3000 2.3 0      error (invalid witness file) .63 .40 7.2 39 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   830   11000 3200 2.3 0      error (invalid witness file) .60 .39 8.7 39 error (invalid witness file) 6.1 3.3 110 300 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c error 0 wit inspect 66   40   640 770 2.5 0      error (invalid witness file) .51 .34 10   39 error (invalid witness file) 6.2 3.2 110 290 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 0 wit inspect 61   36   700 740 2.5 0      error (invalid witness file) .47 .30 9.0 39 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 56   33   640 840 2.7 0      true 6.8  3.6  86   300 false(unreach-call) 13   6.8 200 460 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 35   18   400 690 2.7 0      true 5.8  3.1  85   290 false(unreach-call) 19   11   320 540 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   760   10000 11000 2.3 0      error (invalid witness file) .50 .32 5.6 40 error (invalid witness file) 6.7 3.6 140 320 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 0 wit inspect 160   120   1500 11000 2.5 0      error (invalid witness file) .52 .34 13   39 error (invalid witness file) 6.7 3.5 120 310 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c error 0 wit inspect 370   320   4000 1300 2.5 0      error (invalid witness file) .48 .31 9.0 39 error (invalid witness file) 6.1 3.2 100 290 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   12000 7000 2.3 0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 6.5 3.4 130 310 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c error 0 wit inspect 730   650   9500 11000 2.5 0      error (invalid witness file) .51 .35 12   40 error (invalid witness file) 6.2 3.3 110 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 0 wit inspect 220   170   3100 8500 2.5 0      error (invalid witness file) .53 .35 13   40 error (invalid witness file) 6.1 3.3 110 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   820   13000 11000 2.3 0      error (invalid witness file) .52 .34 12   41 error (invalid witness file) 5.7 3.1 89 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c error 0 wit inspect 180   130   1800 13000 2.5 0      error (invalid witness file) .51 .35 4.3 41 error (invalid witness file) 6.0 3.2 88 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   830   11000 1900 2.3 0      error (invalid witness file) .50 .33 6.6 40 error (invalid witness file) 6.9 3.6 120 320 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   780   11000 12000 2.3 0      error (invalid witness file) .61 .40 6.8 39 error (invalid witness file) 6.8 3.6 82 290 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   830   12000 1600 2.3 0      error (invalid witness file) .69 .44 9.1 43 error (invalid witness file) 6.4 3.4 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c error 0 wit inspect 300   250   3400 9500 2.5 0      error (invalid witness file) .48 .31 10   39 error (invalid witness file) 5.9 3.2 110 300 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 330   290   4300 820 2.6 0      true 11    5.8  54   300 false(unreach-call) 14   7.0 220 470 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 270   230   3000 870 2.6 0      true 6.8  3.7  110   320 false(unreach-call) 25   14   270 850 - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   10000 810 2.3 0      error (invalid witness file) .52 .32 9.5 40 error (invalid witness file) 5.9 3.1 130 300 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   870   12000 850 2.3 0      error (invalid witness file) .64 .40 7.1 39 error (invalid witness file) 6.1 3.3 120 300 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   12000 870 2.3 0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.3 3.3 110 310 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   10000 770 2.3 .0082 error (invalid witness file) .59 .37 9.8 40 error (invalid witness file) 6.6 3.5 130 310 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   870   12000 1000 2.3 0      error (invalid witness file) .67 .43 8.1 44 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   11000 890 2.3 0      error (invalid witness file) .52 .34 6.2 43 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   11000 940 2.3 0      error (invalid witness file) .53 .34 11   39 error (invalid witness file) 6.0 3.2 120 310 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   870   11000 1100 2.3 0      error (invalid witness file) .59 .39 8.9 40 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   11000 980 2.3 0      error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.0 3.2 99 300 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   9800 1000 2.3 0      error (invalid witness file) .51 .33 9.1 40 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   860   11000 940 2.3 0      error (invalid witness file) .50 .34 8.8 40 error (invalid witness file) 6.6 3.4 120 300 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   11000 990 2.3 0      error (invalid witness file) .52 .34 10   41 error (invalid witness file) 5.7 3.1 100 300 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   12000 1100 2.3 0      error (invalid witness file) .51 .33 12   43 error (invalid witness file) 5.8 3.1 98 290 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   830   12000 1300 2.3 0      error (invalid witness file) .51 .33 7.1 44 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   11000 1000 2.3 0      error (invalid witness file) .51 .35 12   40 error (invalid witness file) 5.4 2.9 80 290 - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   12000 1300 2.3 0      error (invalid witness file) .66 .42 8.0 39 error (invalid witness file) 6.3 3.3 120 310 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 110   78   1300 1100 2.7 0      true 8.8  4.7  140   310 false(unreach-call) 42   24   420 990 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 96   65   1100 880 2.7 0      true 11    5.6  84   300 false(unreach-call) 42   24   440 1100 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 43   20   380 810 2.7 0      true 8.3  4.4  120   310 timeout 96   80   1700 870 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 52   28   590 830 2.7 0      true 9.2  4.8  91   340 false(unreach-call) 38   24   420 790 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c error 0 wit inspect 120   78   1400 1400 2.5 0      error (invalid witness file) .63 .40 5.2 39 error (invalid witness file) 5.9 3.1 110 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c error 0 wit inspect 140   100   1800 860 2.5 0      error (invalid witness file) .60 .40 8.1 40 error (invalid witness file) 6.1 3.3 110 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c error 0 wit inspect 110   74   1400 1200 2.5 0      error (invalid witness file) .55 .37 9.2 43 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c error 0 wit inspect 140   100   1500 1000 2.5 0      error (invalid witness file) .53 .35 3.7 42 error (invalid witness file) 7.6 4.0 89 300 - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   820   11000 1200 2.3 0      error (invalid witness file) .59 .37 9.0 40 error (invalid witness file) 5.5 3.0 95 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c error 0 wit inspect 540   450   6800 10000 2.5 0      error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.7 3.5 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   10000 1600 2.3 0      error (invalid witness file) .48 .31 8.0 40 error (invalid witness file) 5.9 3.2 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c error 0 wit inspect 400   340   6000 4600 2.5 0      error (invalid witness file) .53 .34 11   43 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   11000 1500 2.3 0      error (invalid witness file) .50 .33 9.9 39 error (invalid witness file) 6.5 3.4 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c error 0 wit inspect 670   600   9200 2900 2.5 0      error (invalid witness file) .50 .33 13   40 error (invalid witness file) 5.7 3.0 110 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   11000 2000 2.3 0      error (invalid witness file) .55 .35 8.3 41 error (invalid witness file) 6.3 3.3 130 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   800   11000 11000 2.3 0      error (invalid witness file) .50 .33 3.9 41 error (invalid witness file) 5.7 3.1 120 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   830   11000 2400 2.3 0      error (invalid witness file) .53 .34 10   41 error (invalid witness file) 5.9 3.1 73 310 - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   12000 2200 2.3 0      error (invalid witness file) .54 .35 13   41 error (invalid witness file) 6.6 3.5 110 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   840   11000 3000 2.3 0      error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.5 4.0 93 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   13000 2000 2.3 0      error (invalid witness file) .55 .36 14   40 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   840   12000 2900 2.3 0      error (invalid witness file) .54 .34 10   40 error (invalid witness file) 6.4 3.4 140 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   13000 2400 2.3 0      error (invalid witness file) .51 .34 10   40 error (invalid witness file) 6.4 3.4 120 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   760   12000 13000 2.3 0      error (invalid witness file) .52 .34 5.9 41 error (invalid witness file) 5.7 3.0 100 290 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   12000 4300 2.3 0      error (invalid witness file) .54 .35 10   39 error (invalid witness file) 6.4 3.4 130 290 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   850   11000 4600 2.3 0      error (invalid witness file) .57 .37 7.4 41 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   12000 2700 2.3 0      error (invalid witness file) .53 .36 9.3 39 error (invalid witness file) 6.4 3.4 120 300 - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   830   12000 4500 2.3 0      error (invalid witness file) .52 .34 8.2 40 error (invalid witness file) 7.1 3.8 130 330 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error 0 wit inspect 7.3 1.9 54 340 2.5 0      error (invalid witness file) .55 .36 7.8 40 error (invalid witness file) 6.3 3.3 120 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error 0 wit inspect 8.9 2.4 64 450 2.5 0      error (invalid witness file) .50 .31 5.9 39 error (invalid witness file) 6.8 3.6 140 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error 0 wit inspect 6.7 1.9 46 320 2.5 0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 6.5 3.4 110 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error 0 wit inspect 7.7 2.1 56 450 2.5 0      error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.6 3.5 91 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error 0 wit inspect 6.7 1.8 55 330 2.5 0      error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.6 3.5 140 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error 0 wit inspect 8.7 2.3 68 490 2.5 0      error (invalid witness file) .54 .34 10   42 error (invalid witness file) 6.8 3.6 110 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error 0 wit inspect 6.2 1.8 49 320 2.5 0      error (invalid witness file) .48 .32 9.7 40 error (invalid witness file) 5.9 3.2 110 290 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error 0 wit inspect 8.8 2.3 61 490 2.5 0      error (invalid witness file) .55 .36 10   40 error (invalid witness file) 6.4 3.4 120 290 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   810   11000 5100 2.3 0      error (invalid witness file) .48 .30 9.2 39 error (invalid witness file) 7.2 3.8 150 290 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   810   9400 5500 2.3 0      error (invalid witness file) .46 .30 7.8 40 error (invalid witness file) 7.3 3.8 120 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error 0 wit inspect 6.6 1.8 52 330 2.5 0      error (invalid witness file) .51 .32 4.1 41 error (invalid witness file) 6.2 3.3 98 310 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error 0 wit inspect 8.6 2.3 63 440 2.5 0      error (invalid witness file) .52 .33 9.8 40 error (invalid witness file) 7.0 3.7 130 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error 0 wit inspect 5.9 1.8 46 310 2.5 0      error (invalid witness file) .57 .36 5.9 42 error (invalid witness file) 6.0 3.2 92 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error 0 wit inspect 8.6 2.3 62 460 2.5 0      error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 6.3 3.4 120 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error 0 wit inspect 6.2 1.7 43 320 2.5 0      error (invalid witness file) .52 .32 13   40 error (invalid witness file) 6.1 3.2 120 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error 0 wit inspect 6.2 1.8 45 310 2.5 0      error (invalid witness file) .50 .33 7.8 39 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error 0 wit inspect 6.6 1.9 46 320 2.5 0      error (invalid witness file) .50 .33 8.8 40 error (invalid witness file) 6.6 3.5 120 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error 0 wit inspect 6.5 1.9 52 310 2.5 0      error (invalid witness file) .48 .32 6.5 40 error (invalid witness file) 6.4 3.4 91 310 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error 0 wit inspect 6.9 1.9 52 320 2.5 0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.4 3.4 120 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error 0 wit inspect 6.8 1.9 54 320 2.5 0      error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   770   13000 3100 2.3 0      error (invalid witness file) .56 .34 10   40 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   720   12000 2900 2.3 0      error (invalid witness file) .52 .34 6.6 40 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error 0 wit inspect 6.0 1.7 46 310 2.5 0      error (invalid witness file) .49 .32 6.5 39 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error 0 wit inspect 6.0 1.8 51 320 2.5 0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 6.5 3.4 120 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error 0 wit inspect 6.3 1.8 47 320 2.5 0      error (invalid witness file) .47 .32 9.5 39 error (invalid witness file) 6.8 3.5 97 310 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error 0 wit inspect 7.3 1.9 51 350 2.5 0      error (invalid witness file) .55 .37 11   42 error (invalid witness file) 5.8 3.2 110 290 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   540   13000 2400 2.3 0      - - error (invalid witness file) .60 .39 6.9 39 error (invalid witness file) 6.5 3.4 110 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   540   9800 2300 2.3 0      - - error (invalid witness file) .69 .43 8.0 40 error (invalid witness file) 6.3 3.4 120 290
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   620   10000 3400 2.3 0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.0 3.2 130 300
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   620   11000 3600 2.3 0      - - error (invalid witness file) .68 .43 8.5 42 error (invalid witness file) 6.1 3.2 97 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   810   12000 6600 2.3 0      - - error (invalid witness file) .62 .40 8.5 40 error (invalid witness file) 5.9 3.2 110 310
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error 0 wit inspect 200   150   2400 11000 2.5 0      - - error (invalid witness file) .55 .36 11   39 error (invalid witness file) 6.2 3.3 130 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   810   12000 6200 2.3 0      - - error (invalid witness file) .53 .34 9.9 40 error (invalid witness file) 7.0 3.7 130 320
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   10000 1700 2.3 0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.5 3.4 93 320
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   820   14000 3500 2.3 0      - - error (invalid witness file) .55 .35 12   43 error (invalid witness file) 6.2 3.3 92 300
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   12000 3600 2.3 0      - - error (invalid witness file) .56 .37 6.5 39 error (invalid witness file) 6.1 3.3 120 300
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   830   12000 7900 2.3 0      - - error (invalid witness file) .67 .43 6.1 40 error (invalid witness file) 6.3 3.3 120 300
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   810   10000 13000 2.3 0      - - error (invalid witness file) .61 .39 7.9 40 error (invalid witness file) 6.1 3.2 91 300
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   790   11000 13000 2.3 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.1 3.2 120 300
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   830   12000 9300 2.3 0      - - error (invalid witness file) .67 .43 7.0 43 error (invalid witness file) 7.3 3.8 120 310
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   830   12000 9400 2.3 0      - - error (invalid witness file) .60 .38 6.8 40 error (invalid witness file) 5.4 2.9 86 290
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c error 0 wit inspect 260   220   3300 9700 2.5 0      - - error (invalid witness file) .57 .35 9.2 39 error (invalid witness file) 5.7 3.0 67 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c error 0 wit inspect 270   220   3200 12000 2.5 0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   750   9500 12000 2.3 0      - - error (invalid witness file) .57 .37 9.1 39 error (invalid witness file) 6.0 3.2 130 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   870   10000 1000 2.3 0      - - error (invalid witness file) .48 .31 8.9 40 error (invalid witness file) 6.3 3.4 120 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   12000 840 2.3 0      - - error (invalid witness file) .64 .42 8.8 40 error (invalid witness file) 5.9 3.1 100 290
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   840   12000 1000 2.3 0      - - error (invalid witness file) .60 .38 9.9 39 error (invalid witness file) 5.8 3.1 89 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   860   10000 840 2.3 0      - - error (invalid witness file) .54 .34 11   39 error (invalid witness file) 6.0 3.2 110 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   840   11000 770 2.3 0      - - error (invalid witness file) .59 .38 11   42 error (invalid witness file) 6.1 3.3 120 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   13000 910 2.3 0      - - error (invalid witness file) .55 .36 13   42 error (invalid witness file) 6.7 3.5 130 310
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   840   13000 940 2.3 0      - - error (invalid witness file) .67 .42 8.5 40 error (invalid witness file) 5.1 2.8 64 290
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   11000 820 2.3 0      - - error (invalid witness file) .70 .44 8.1 41 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   860   11000 980 2.3 0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.1 3.2 100 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   14000 930 2.3 0      - - error (invalid witness file) .64 .42 8.0 40 error (invalid witness file) 5.8 3.1 97 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   850   10000 1500 2.3 0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.5 3.4 130 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   840   11000 1300 2.3 0      - - error (invalid witness file) .60 .39 9.5 42 error (invalid witness file) 5.8 3.1 94 290
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   820   12000 2800 2.3 0      - - error (invalid witness file) .49 .33 10   39 error (invalid witness file) 6.0 3.2 120 300
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   810   13000 3300 2.3 0      - - error (invalid witness file) .60 .38 8.6 40 error (invalid witness file) 6.1 3.2 120 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   820   13000 3200 2.3 0      - - error (invalid witness file) .59 .37 9.3 41 error (invalid witness file) 5.9 3.1 110 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   850   13000 1400 2.3 0      - - error (invalid witness file) .63 .40 5.5 39 error (invalid witness file) 6.0 3.2 110 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   760   10000 13000 2.3 0      - - error (invalid witness file) .51 .33 10   41 error (invalid witness file) 6.8 3.5 78 310
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   870   12000 2200 2.3 0      - - error (invalid witness file) .63 .41 7.0 39 error (invalid witness file) 6.6 3.5 110 290
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error 0 wit inspect 5.8 1.7 46 320 2.5 0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.0 3.2 72 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error 0 wit inspect 8.1 2.3 69 440 2.5 0      - - error (invalid witness file) .61 .38 8.5 40 error (invalid witness file) 7.4 3.9 150 320
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error 0 wit inspect 6.7 1.9 49 350 2.5 0      - - error (invalid witness file) .59 .36 7.8 41 error (invalid witness file) 6.9 3.6 130 310
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error 0 wit inspect 8.8 2.4 64 480 2.5 0      - - error (invalid witness file) .56 .36 12   43 error (invalid witness file) 6.8 3.6 140 310
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   800   10000 7000 2.5 0      - - error (invalid witness file) .61 .38 6.8 40 error (invalid witness file) 6.6 3.5 100 310
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   810   11000 6600 2.3 0      - - error (invalid witness file) .56 .35 9.0 39 error (invalid witness file) 7.0 3.7 120 300
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   810   8700 5400 2.3 0      - - error (invalid witness file) .66 .41 7.1 40 error (invalid witness file) 6.5 3.5 120 300
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   820   7700 6100 2.3 0      - - error (invalid witness file) .74 .46 6.0 39 error (invalid witness file) 7.0 3.7 130 300
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error 0 wit inspect 5.6 1.7 43 320 2.5 0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 6.6 3.5 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error 0 wit inspect 8.0 2.2 60 430 2.5 0      - - error (invalid witness file) .57 .37 9.5 39 error (invalid witness file) 6.7 3.5 100 300
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error 0 wit inspect 6.1 1.8 47 310 2.5 0      - - error (invalid witness file) .59 .37 10   40 error (invalid witness file) 6.2 3.3 99 300
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error 0 wit inspect 7.7 2.1 63 430 2.5 0      - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 6.7 3.6 100 290
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error 0 wit inspect 5.8 1.7 49 320 2.5 0      - - error (invalid witness file) .63 .41 6.6 40 error (invalid witness file) 6.0 3.2 110 290
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error 0 wit inspect 8.2 2.2 57 450 2.5 0      - - error (invalid witness file) .63 .40 8.5 39 error (invalid witness file) 6.7 3.5 100 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error 0 wit inspect 6.4 1.8 51 320 2.5 0      - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 5.8 3.1 120 290
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error 0 wit inspect 6.5 1.9 54 310 2.5 0      - - error (invalid witness file) .56 .36 11   40 error (invalid witness file) 6.5 3.5 130 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error 0 wit inspect 7.3 1.9 60 340 2.5 0      - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 8.9 4.6 110 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error 0 wit inspect 6.6 1.9 55 310 2.5 0      - - error (invalid witness file) .67 .42 7.9 41 error (invalid witness file) 6.0 3.1 91 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error 0 wit inspect 7.6 2.0 51 330 2.5 0      - - error (invalid witness file) .64 .41 8.3 40 error (invalid witness file) 6.6 3.5 120 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error 0 wit inspect 6.8 2.0 52 320 2.5 0      - - error (invalid witness file) .65 .42 7.2 40 error (invalid witness file) 6.0 3.2 92 300
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   830   11000 4900 2.3 1.2    - - error (invalid witness file) .75 .48 7.3 42 error (invalid witness file) 6.5 3.4 140 300
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   780   12000 4800 2.3 0      - - error (invalid witness file) .55 .35 11   40 error (invalid witness file) 6.5 3.4 130 300
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   720   14000 2900 2.3 0      - - error (invalid witness file) .59 .38 8.5 39 error (invalid witness file) 6.4 3.4 130 300
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   770   12000 4100 2.3 .13   - - error (invalid witness file) .55 .34 13   41 error (invalid witness file) 6.4 3.4 120 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error 0 wit inspect 6.1 1.7 49 320 2.5 0      - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.6 3.5 110 310
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error 0 wit inspect 6.0 1.8 45 320 2.5 0      - - error (invalid witness file) .54 .35 10   41 error (invalid witness file) 7.3 3.9 120 310
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error 0 wit inspect 5.9 1.7 43 310 2.5 0      - - error (invalid witness file) .46 .30 8.4 40 error (invalid witness file) 6.9 3.6 87 310
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error 0 wit inspect 6.6 1.8 55 340 2.5 0      - - error (invalid witness file) .48 .31 12   39 error (invalid witness file) 6.3 3.3 93 300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error 0 wit inspect 6.9 1.8 52 350 2.5 0      - - error (invalid witness file) .64 .40 8.3 42 error (invalid witness file) 6.1 3.3 130 290
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error 0 wit inspect 6.9 1.9 56 310 2.5 0      - - error (invalid witness file) .66 .40 8.5 39 error (invalid witness file) 6.8 3.6 95 310
seq-pthread/cs_fib_false-unreach-call.i error 0 wit inspect 9.0 2.9 71 320 2.6 0      error (invalid witness file) .61 .40 8.8 39 error (invalid witness file) 5.6 3.0 58 310 - -
seq-pthread/cs_fib_longer_false-unreach-call.i error 0 wit inspect 9.2 2.8 80 330 2.6 0      error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.0 3.2 120 300 - -
seq-pthread/cs_lazy_false-unreach-call.i timeout 0 wit inspect 900   770   13000 1100 2.3 0      error (invalid witness file) .48 .30 6.4 39 error (invalid witness file) 6.7 3.5 98 300 - -
seq-pthread/cs_queue_false-unreach-call.i unknown 0 wit inspect 55   34   540 10000 2.5 0      error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.3 3.3 110 310 - -
seq-pthread/cs_read_write_lock_false-unreach-call.i error 0 wit inspect 8.6 2.8 66 300 2.6 0      error (invalid witness file) .64 .40 8.3 40 error (invalid witness file) 6.1 3.2 89 300 - -
seq-pthread/cs_stack_false-unreach-call.i error 0 wit inspect 6.2 1.8 50 330 2.5 0      error (invalid witness file) .51 .33 10   41 error (invalid witness file) 6.6 3.5 110 300 - -
seq-pthread/cs_stateful_false-unreach-call.i timeout 0 wit inspect 900   620   9100 2200 2.3 0      error (invalid witness file) .47 .32 6.1 42 error (invalid witness file) 5.9 3.2 120 290 - -
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900   850   11000 1300 2.3 0      - - error (invalid witness file) .67 .45 8.7 40 error (invalid witness file) 6.5 3.4 120 310
seq-pthread/cs_fib_longer_true-unreach-call.i error 0 wit inspect 8.5 2.7 72 310 2.6 0      - - error (invalid witness file) .56 .36 12   42 error (invalid witness file) 6.7 3.5 120 310
seq-pthread/cs_fib_true-unreach-call.i error 0 wit inspect 9.1 2.8 70 330 2.6 0      - - error (invalid witness file) .66 .41 8.8 43 error (invalid witness file) 6.0 3.2 91 300
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900   820   12000 1200 2.3 0      - - error (invalid witness file) .52 .32 8.7 39 error (invalid witness file) 6.2 3.3 130 300
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900   840   9900 1300 2.3 0      - - error (invalid witness file) .50 .33 7.2 43 error (invalid witness file) 5.7 3.0 96 300
seq-pthread/cs_queue_true-unreach-call.i unknown 0 wit inspect 51   34   520 8400 2.5 0      - - error (invalid witness file) .70 .45 7.2 41 error (invalid witness file) 6.5 3.4 150 310
seq-pthread/cs_read_write_lock_true-unreach-call.i error 0 wit inspect 8.5 2.8 60 310 2.6 0      - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 6.3 3.4 120 300
seq-pthread/cs_stack_true-unreach-call.i error 0 wit inspect 5.2 1.7 37 310 2.5 0      - - error (invalid witness file) .56 .36 13   44 error (invalid witness file) 6.4 3.4 120 300
seq-pthread/cs_stateful_true-unreach-call.i timeout 0 wit inspect 900   760   12000 2300 2.3 0      - - error (invalid witness file) .57 .37 8.5 40 error (invalid witness file) 6.3 3.3 130 310
seq-pthread/cs_sync_true-unreach-call.i timeout 0 wit inspect 900   670   11000 2600 2.3 0      - - error (invalid witness file) .50 .33 10   40 error (invalid witness file) 6.2 3.3 110 300
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900   860   11000 1100 2.3 0      - - error (invalid witness file) .61 .40 8.7 42 error (invalid witness file) 6.4 3.4 99 300
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 0 wit inspect 900   840   9800 3400 2.3 0      - - error (invalid witness file) .50 .33 6.9 39 error (invalid witness file) 5.6 3.0 110 290
../../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 15 170000 140000 2200000 840000 660   1.4 273 450 300   7000 23000 273 1600 930 26000 60000 273 60 38 960 4100   273 650 340 11000 31000  
    correct results 15 15 1600 1200 19000 13000 40   0   13 350 240   5400 16000 15 480 270 6000 12000 0 0 0 0 0   0 0 0 0 0  
        correct true 0
        correct false 15 15 1600 1200 19000 13000 40   0   0 350 240   5400 16000 15 480 270 6000 12000 0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 2 0 150 94 1700 2000 5.3 0   2 17 8.8 180 620 0 190 150 3100 2400 0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 2 0 150 94 1700 2000 5.3 0   0 17 8.8 180 620 0 190 150 3100 2400 0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (273 tasks, max score: 376) 15
Run set sv-comp17.ReachSafety-Sequentialized