Tool SymDIVINE
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 11:13:29 CET [[ 2017-01-15 02:06:46 CET ]] [[ 2017-01-15 03:46:01 CET ]] [[ 2017-01-15 02:24:39 CET ]] [[ 2017-01-15 04:02:29 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options --fix_volatile --fix_inline --silent -Os [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.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 false(unreach-call) 1 wit inspect .39  .39  5.3  30   .025 0     false(unreach-call) 23    12    190   610 true 8.2 4.4 170 320 - -
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3   1.3   14    81   .029 11     false(unreach-call) 16    8.5  160   440 true 8.1 4.4 150 320 - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .070 .070 .64 10   .016 0     false(unreach-call) 4.4  2.4  74   280 true 7.9 4.2 160 310 - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .081 .082 .66 9.7 .025 0     false(unreach-call) 6.2  3.4  72   280 true 8.1 4.4 140 320 - -
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 80     80     1100    3800   .053 0     false(unreach-call) 32    18    300   1400 true 10   5.4 130 330 - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c true -32 wit inspect .28  .28  3.1  15   .025 0     unknown 17    8.5  160   530 false(unreach-call) 29   16   500 660 - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c true -32 wit inspect .95  .97  15    71   .029 5.6   unknown 22    11    170   530 false(unreach-call) 57   30   740 1000 - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c true -32 wit inspect 3.6   3.6   51    150   .033 0     unknown 27    14    210   630 false(unreach-call) 74   41   870 1800 - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c true -32 wit inspect 14     14     170    670   .041 11     unknown 31    16    240   710 timeout 96   53   1400 2400 - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c true -32 wit inspect 55     55     630    3400   .045 .47  unknown 24    13    180   910 timeout 97   60   890 4900 - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c true -32 wit inspect 200     200     2700    9100   .049 0     unknown 30    17    320   970 timeout 96   53   780 1100 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 200     200     2300    15000   .053 0     error (invalid witness file) .61 .39 6.9 40 error (invalid witness file) 6.0 3.2 120 300 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 290     290     3700    15000   .061 0     error (invalid witness file) .59 .38 9.5 41 error (invalid witness file) 5.4 2.9 110 300 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 350     350     4500    15000   .066 0     error (invalid witness file) .61 .39 8.4 40 error (invalid witness file) 5.7 3.0 100 300 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 380     380     4800    15000   .074 0     error (invalid witness file) .62 .39 8.3 40 error (invalid witness file) 6.9 3.6 88 300 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 410     410     4600    15000   .078 0     error (invalid witness file) .58 .37 7.9 39 error (invalid witness file) 5.4 2.9 110 300 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 480     480     5600    15000   .082 .40  error (invalid witness file) .55 .35 11   39 error (invalid witness file) 5.9 3.1 120 300 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 490     490     7300    15000   .086 5.8   error (invalid witness file) .53 .33 9.8 40 error (invalid witness file) 6.4 3.4 140 310 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 470     470     5200    15000   .082 .40  error (invalid witness file) .54 .35 8.3 42 error (invalid witness file) 8.2 4.3 69 300 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 490     490     6200    15000   .086 0     error (invalid witness file) .51 .35 9.4 40 error (invalid witness file) 5.5 3.0 91 290 - -
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.9   3.9   57    230   .041 0     false(unreach-call) 19    9.8  220   600 true 9.4 5.0 110 320 - -
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.9   3.9   56    230   .041 0     false(unreach-call) 14    7.4  170   470 true 7.6 4.2 140 310 - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .15  .15  1.6  10   .020 0     false(unreach-call) 6.0  3.2  98   290 true 9.5 5.1 95 310 - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .61  .65  5.7  39   .029 12     false(unreach-call) 7.7  4.1  120   310 true 8.4 4.5 170 320 - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3   2.3   27    130   .033 5.7   false(unreach-call) 8.2  4.3  130   330 true 11   6.0 130 330 - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.4   9.4   120    610   .037 0     false(unreach-call) 8.6  4.5  93   410 true 9.9 5.3 130 320 - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 38     38     480    2900   .041 0     false(unreach-call) 9.6  5.1  110   450 true 7.9 4.3 150 310 - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140     140     1900    7200   .045 0     false(unreach-call) 11    6.0  140   470 true 9.7 5.2 130 310 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 330     330     3700    15000   .053 0     error (invalid witness file) .52 .33 8.2 41 error (invalid witness file) 7.6 4.0 74 300 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 280     280     4000    15000   .061 0     error (invalid witness file) .52 .34 12   40 error (invalid witness file) 7.9 4.1 99 310 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 330     330     4800    15000   .066 0     error (invalid witness file) .49 .31 11   39 error (invalid witness file) 5.6 3.0 94 280 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 370     370     4400    15000   .070 0     error (invalid witness file) .63 .41 7.3 39 error (invalid witness file) 5.9 3.1 110 300 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 400     400     5900    15000   .074 0     error (invalid witness file) .49 .32 9.8 39 error (invalid witness file) 6.0 3.2 110 310 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 460     460     6800    15000   .078 5.7   error (invalid witness file) .50 .32 8.6 41 error (invalid witness file) 6.2 3.3 130 300 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c out of memory 0 wit inspect 480     480     6600    15000   .082 0     error (invalid witness file) .53 .34 12   41 error (invalid witness file) 7.0 3.7 95 300 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .20  .20  2.5  24   .082 0     false(unreach-call) 9.7  5.1  120   440 true 10   5.5 200 350 - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .21  .21  2.4  25   .094 0     false(unreach-call) 10    5.5  170   440 true 11   6.2 170 360 - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect .13  .13  1.2  11   .029 0     - - out of memory 380    330    7600   7000 true 67   38   790 1300
systemc/kundu_true-unreach-call_false-termination.cil.c true 1 wit inspect 36     36     420    3200   .029 0     - - timeout 900    880    14000   4500 out of memory 130   84   1500 7000
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 1 wit inspect 1.3   1.3   17    150   .082 .37  - - timeout 910    880    18000   5100 out of memory 160   110   1600 7000
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 1 wit inspect 2.6   2.6   33    340   .082 0     - - timeout 910    870    23000   5100 out of memory 180   130   2600 7000
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 2.6   2.6   33    350   .082 0     - - true 100    80    2200   4900 true 9.6 5.2 180 320
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 3.3   3.3   46    350   .082 0     - - true 130    110    2400   5500 true 9.6 5.2 190 330
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 4.0   4.0   55    400   .082 0     - - true 190    160    4000   5800 true 10   5.3 170 330
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 190     190     2300    15000   .016 .13  - - error (invalid witness file) .48 .32 11   40 error (invalid witness file) 5.6 3.0 110 290
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 140     140     1600    15000   .025 .34  - - error (invalid witness file) .46 .31 9.4 39 error (invalid witness file) 6.3 3.3 120 300
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect .38  .38  4.8  22   .029 .37  - - timeout 900    880    17000   5700 true 25   13   290 590
systemc/pipeline_true-unreach-call_false-termination.cil.c true 1 wit inspect 190     190     2700    10000   .053 0     - - out of memory 410    350    11000   7000 out of memory 120   70   980 7000
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect .30  .32  3.5  21   .020 5.8   - - out of memory 740    710    13000   7000 true 35   19   660 750
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect .98  .97  14    65   .029 0     - - timeout 900    880    11000   4300 true 62   33   940 1000
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 3.7   3.7   43    150   .033 0     - - timeout 900    890    16000   2700 true 75   41   890 1700
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 2 wit inspect 14     14     160    660   .041 .053 - - timeout 900    890    14000   2400 true 81   45   720 2500
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 1 wit inspect 55     55     770    3400   .045 0     - - timeout 900    890    17000   3300 out of memory 200   130   3700 7000
systemc/token_ring.06_true-unreach-call_false-termination.cil.c true 2 wit inspect 200     200     3000    9100   .049 0     - - timeout 900    890    22000   3200 true 160   98   1200 6700
systemc/token_ring.07_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 200     200     2700    15000   .053 0     - - error (invalid witness file) .60 .38 12   42 error (invalid witness file) 5.7 3.0 100 290
systemc/token_ring.08_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 280     280     3400    15000   .061 0     - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 5.9 3.2 96 300
systemc/token_ring.09_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 340     340     5400    15000   .066 0     - - error (invalid witness file) .54 .35 12   44 error (invalid witness file) 6.1 3.2 120 300
systemc/token_ring.10_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 380     380     4500    15000   .074 5.8   - - error (invalid witness file) .52 .34 11   43 error (invalid witness file) 5.8 3.1 130 300
systemc/token_ring.11_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 410     410     5300    15000   .078 0     - - error (invalid witness file) .50 .32 6.5 40 error (invalid witness file) 6.0 3.2 120 300
systemc/token_ring.12_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 470     470     5800    15000   .082 0     - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.1 3.2 110 300
systemc/token_ring.13_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 490     490     6000    15000   .086 11     - - error (invalid witness file) .66 .43 8.2 41 error (invalid witness file) 6.4 3.4 120 300
systemc/toy_true-unreach-call_false-termination.cil.c out of memory 0 wit inspect 150     150     1900    15000   .041 0     - - error (invalid witness file) .48 .32 10   40 error (invalid witness file) 5.6 3.0 120 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 2.0   2.0   25    81   .053 4.1   false(unreach-call) 11    5.7  110   350 true 9.5 5.1 160 340 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0   2.0   24    77   .053 0     false(unreach-call) 11    5.7  110   360 true 11   5.8 110 320 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 9.8   9.9   130    620   .053 4.1   false(unreach-call) 11    5.8  140   470 true 8.8 4.7 160 330 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.9   9.9   120    620   .053 11     false(unreach-call) 15    7.8  140   450 true 10   5.5 140 320 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 10     10     130    610   .053 0     false(unreach-call) 12    6.2  200   490 true 9.0 4.9 150 330 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 10     10     130    610   .053 4.0   false(unreach-call) 12    6.1  120   490 true 12   6.5 120 330 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 20     20     280    820   .053 16     timeout 91    83    1400   800 true 8.4 4.5 170 320 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20     20     260    800   .053 0     false(unreach-call) 23    13    390   640 true 8.9 4.7 160 330 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     14000    530   .041 0     error (invalid witness file) .63 .39 8.9 42 error (invalid witness file) 5.5 2.9 110 290 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    520   .041 0     error (invalid witness file) .49 .31 7.6 39 error (invalid witness file) 6.4 3.4 100 300 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     11000    530   .041 0     error (invalid witness file) .48 .32 8.1 41 error (invalid witness file) 5.9 3.1 110 300 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     10000    520   .041 0     error (invalid witness file) .65 .41 7.6 41 error (invalid witness file) 5.2 2.8 110 290 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c unknown 0 wit inspect 550     550     7000    1900   .045 0     error (invalid witness file) .48 .33 10   39 error (invalid witness file) 5.9 3.1 110 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 530     530     7400    1900   .045 0     error (invalid witness file) .49 .32 12   40 error (invalid witness file) 6.5 3.4 94 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 350     350     4700    1900   .045 0     false(unreach-call) 11    6.0  130   410 true 9.4 5.0 170 330 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 360     360     4200    1900   .045 4.0   false(unreach-call) 11    5.8  120   420 true 11   5.7 120 320 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     11000    4400   .045 4.3   error (invalid witness file) .67 .43 8.6 42 error (invalid witness file) 6.1 3.2 100 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    4700   .045 0     error (invalid witness file) .52 .32 11   40 error (invalid witness file) 7.5 3.9 78 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     11000    2700   .045 9.9   error (invalid witness file) .49 .32 10   41 error (invalid witness file) 6.2 3.3 100 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    2600   .045 0     error (invalid witness file) .49 .32 9.7 41 error (invalid witness file) 5.7 3.1 91 300 - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    4300   .045 9.9   error (invalid witness file) .53 .34 4.9 39 error (invalid witness file) 8.1 4.2 66 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    3500   .086 9.8   error (invalid witness file) .54 .34 9.1 42 error (invalid witness file) 5.9 3.1 110 290 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    3400   .086 0     error (invalid witness file) .54 .36 9.7 44 error (invalid witness file) 7.1 3.7 83 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     13000    3500   .094 15     error (invalid witness file) .51 .32 13   39 error (invalid witness file) 7.5 4.0 66 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     10000    3500   .094 4.4   error (invalid witness file) .60 .39 8.9 40 error (invalid witness file) 7.3 3.8 85 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     13000    3500   .094 0     error (invalid witness file) .57 .36 9.8 41 error (invalid witness file) 5.9 3.2 100 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    3500   .094 .012 error (invalid witness file) .50 .33 11   41 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     13000    3500   .094 0     error (invalid witness file) .62 .40 7.1 41 error (invalid witness file) 6.1 3.2 120 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     14000    3500   .094 4.4   error (invalid witness file) .47 .31 8.9 39 error (invalid witness file) 6.8 3.6 81 290 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     10000    3500   .094 0     error (invalid witness file) .59 .37 7.6 39 error (invalid witness file) 6.0 3.2 110 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5000   .18  .098 error (invalid witness file) .48 .32 9.3 42 error (invalid witness file) 6.8 3.6 130 320 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     15000    5000   .18  0     error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5100   .20  .098 error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.8 3.6 80 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    5100   .20  0     error (invalid witness file) .52 .33 12   40 error (invalid witness file) 7.4 3.9 75 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     13000    5100   .20  5.7   error (invalid witness file) .57 .38 9.5 39 error (invalid witness file) 6.4 3.4 110 310 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    5100   .20  0     error (invalid witness file) .51 .32 10   39 error (invalid witness file) 6.0 3.2 110 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     13000    5100   .20  .098 error (invalid witness file) .51 .33 6.3 39 error (invalid witness file) 6.6 3.5 90 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    5100   .20  .070 error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.7 3.6 90 290 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     14000    5100   .20  0     error (invalid witness file) .52 .32 12   40 error (invalid witness file) 8.0 4.2 71 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     900     13000    96   .033 0     error (invalid witness file) .63 .40 6.0 40 error (invalid witness file) 6.5 3.4 130 310 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    94   .033 0     error (invalid witness file) .57 .36 11   40 error (invalid witness file) 6.0 3.1 100 310 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     10000    95   .033 0     error (invalid witness file) .73 .45 8.6 43 error (invalid witness file) 7.4 4.0 81 310 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     15000    95   .033 .057 error (invalid witness file) .59 .37 8.9 39 error (invalid witness file) 5.7 3.0 88 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    430   .041 0     error (invalid witness file) .65 .41 9.0 43 error (invalid witness file) 5.9 3.2 120 290 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    430   .041 0     error (invalid witness file) .53 .33 10   40 error (invalid witness file) 6.7 3.5 100 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    430   .037 3.9   error (invalid witness file) .65 .41 7.9 40 error (invalid witness file) 6.5 3.4 130 320 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    420   .037 0     error (invalid witness file) .53 .34 11   41 error (invalid witness file) 8.4 4.4 99 310 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    2000   .045 0     error (invalid witness file) .49 .32 10   41 error (invalid witness file) 7.7 4.0 77 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    2100   .045 0     error (invalid witness file) .48 .31 11   39 error (invalid witness file) 7.3 3.8 69 310 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     11000    2000   .045 0     error (invalid witness file) .65 .40 11   44 error (invalid witness file) 5.9 3.1 86 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    2000   .045 4.4   error (invalid witness file) .58 .37 8.4 39 error (invalid witness file) 5.7 3.0 110 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     900     11000    3600   .053 0     error (invalid witness file) .51 .33 9.7 40 error (invalid witness file) 7.3 3.8 100 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    3600   .053 0     error (invalid witness file) .54 .34 10   41 error (invalid witness file) 7.2 3.8 140 310 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900     900     11000    3600   .053 0     error (invalid witness file) .47 .31 8.7 40 error (invalid witness file) 7.1 3.7 84 290 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    3600   .053 .029 error (invalid witness file) .52 .34 11   40 error (invalid witness file) 5.8 3.1 120 290 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     14000    41   .025 0     error (invalid witness file) .55 .37 9.2 40 error (invalid witness file) 6.7 3.6 91 300 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    55   .029 14     error (invalid witness file) .68 .42 7.6 40 error (invalid witness file) 6.1 3.2 120 300 - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    40   .025 0     error (invalid witness file) .49 .31 9.4 39 error (invalid witness file) 7.7 4.1 74 300 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     11000    120   .033 0     error (invalid witness file) .52 .34 11   44 error (invalid witness file) 6.9 3.6 90 300 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    120   .033 0     error (invalid witness file) .49 .32 8.7 40 error (invalid witness file) 6.2 3.3 120 310 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    120   .033 .098 error (invalid witness file) .48 .32 5.4 39 error (invalid witness file) 5.9 3.1 99 300 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     11000    410   .037 0     error (invalid witness file) .62 .40 10   41 error (invalid witness file) 5.9 3.1 130 300 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    410   .037 0     error (invalid witness file) .48 .32 8.3 41 error (invalid witness file) 6.2 3.2 120 310 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    410   .037 0     error (invalid witness file) .51 .31 11   40 error (invalid witness file) 6.1 3.2 110 290 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900     900     13000    1700   .045 0     error (invalid witness file) .52 .33 11   40 error (invalid witness file) 8.1 4.2 84 300 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    1700   .045 0     error (invalid witness file) .56 .36 11   41 error (invalid witness file) 6.4 3.4 120 300 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    1700   .045 0     error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.1 3.2 100 310 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900     900     13000    1500   .049 0     error (invalid witness file) .51 .34 13   40 error (invalid witness file) 7.6 4.0 82 300 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     14000    1500   .049 0     error (invalid witness file) .53 .34 12   40 error (invalid witness file) 7.6 4.0 76 300 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    1500   .049 3.9   error (invalid witness file) .54 .36 9.7 39 error (invalid witness file) 5.8 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     900     11000    1600   .053 0     error (invalid witness file) .52 .34 5.9 40 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    1600   .053 0     error (invalid witness file) .55 .36 8.0 40 error (invalid witness file) 5.8 3.0 100 300 - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     15000    1600   .053 0     error (invalid witness file) .48 .31 9.2 40 error (invalid witness file) 5.5 2.9 81 290 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c unknown 0 wit inspect 760     750     11000    2100   .045 0     error (invalid witness file) .58 .37 9.2 41 error (invalid witness file) 5.9 3.2 75 290 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 730     730     10000    2100   .049 0     error (invalid witness file) .51 .33 8.7 42 error (invalid witness file) 5.7 3.0 93 290 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 340     340     4000    1800   .049 3.9   false(unreach-call) 11    5.9  150   450 true 10   5.3 120 320 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 340     340     4300    1800   .049 4.1   false(unreach-call) 12    6.1  93   440 true 8.3 4.5 140 320 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 660     660     8700    6300   .049 0     false(unreach-call) 12    6.6  210   460 true 9.3 5.0 150 330 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 690     680     8800    6400   .049 0     false(unreach-call) 14    7.4  170   470 true 8.9 4.8 170 320 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 670     670     8800    3700   .049 9.8   false(unreach-call) 19    11    200   470 true 11   5.7 130 320 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 680     670     10000    3600   .049 0     false(unreach-call) 13    7.3  150   450 true 10   5.6 120 320 - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    6300   .049 0     error (invalid witness file) .50 .33 9.8 40 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    3600   .094 0     error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.1 3.3 120 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    3600   .094 0     error (invalid witness file) .65 .41 7.4 41 error (invalid witness file) 8.3 4.4 74 310 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    3700   .10  0     error (invalid witness file) .52 .34 12   41 error (invalid witness file) 7.2 3.8 76 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    3700   .10  0     error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.4 3.4 100 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     13000    3700   .10  0     error (invalid witness file) .70 .45 8.1 43 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    3700   .10  0     error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.6 3.4 89 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    3700   .10  0     error (invalid witness file) .61 .39 10   44 error (invalid witness file) 6.6 3.5 140 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    3700   .10  0     error (invalid witness file) .65 .40 9.6 42 error (invalid witness file) 6.3 3.4 120 310 - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    3700   .10  4.0   error (invalid witness file) .59 .38 6.9 39 error (invalid witness file) 6.7 3.5 69 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5200   .20  0     error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.6 3.5 76 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    5200   .20  .090 error (invalid witness file) .55 .34 9.9 40 error (invalid witness file) 6.8 3.6 100 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5300   .21  0     error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.3 3.9 85 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    5300   .21  0     error (invalid witness file) .49 .32 11   40 error (invalid witness file) 7.5 4.0 67 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5300   .21  0     error (invalid witness file) .63 .41 9.2 41 error (invalid witness file) 6.4 3.4 66 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    5300   .21  0     error (invalid witness file) .69 .44 10   45 error (invalid witness file) 7.6 4.0 87 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     11000    5300   .21  0     error (invalid witness file) .50 .32 7.4 39 error (invalid witness file) 6.5 3.5 110 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    5300   .21  11     error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.2 3.3 74 290 - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    5300   .21  0     error (invalid witness file) .65 .40 6.9 41 error (invalid witness file) 6.1 3.2 87 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900     900     13000    4400   .29  3.9   error (invalid witness file) .60 .38 9.0 40 error (invalid witness file) 6.2 3.2 110 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c out of memory 0 wit inspect 870     870     12000    15000   2.6   0     error (invalid witness file) .51 .33 8.3 41 error (invalid witness file) 7.7 4.0 110 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900     900     11000    4500   .30  4.1   error (invalid witness file) .52 .34 10   39 error (invalid witness file) 7.7 4.1 89 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900     900     14000    11000   2.6   0     error (invalid witness file) .51 .31 8.3 40 error (invalid witness file) 8.0 4.2 110 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900     900     14000    5800   .37  0     error (invalid witness file) .73 .45 7.0 40 error (invalid witness file) 6.4 3.4 140 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900     900     13000    11000   2.9   4.0   error (invalid witness file) .56 .36 12   42 error (invalid witness file) 8.4 4.3 130 320 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900     900     12000    5800   .37  0     error (invalid witness file) .54 .34 12   41 error (invalid witness file) 8.4 4.4 98 320 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900     900     13000    11000   2.9   0     error (invalid witness file) .57 .37 9.6 40 error (invalid witness file) 8.3 4.3 110 300 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900     900     12000    7200   1.1   0     error (invalid witness file) .57 .37 9.8 41 error (invalid witness file) 7.4 3.9 120 300 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900     900     12000    9700   2.0   0     error (invalid witness file) .58 .37 9.4 40 error (invalid witness file) 8.9 4.7 77 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900     900     13000    3900   .25  0     error (invalid witness file) .52 .34 13   42 error (invalid witness file) 7.6 4.0 79 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900     900     13000    14000   2.5   4.0   error (invalid witness file) .66 .43 7.9 40 error (invalid witness file) 6.8 3.5 110 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900     900     11000    4200   .28  9.6   error (invalid witness file) .53 .34 11   41 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c out of memory 0 wit inspect 770     770     9900    15000   2.6   15     error (invalid witness file) .51 .34 10   40 error (invalid witness file) 9.5 5.0 110 330 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900     900     13000    3500   .44  .23  error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.5 3.4 120 310 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900     900     14000    3500   .44  0     error (invalid witness file) .50 .32 12   41 error (invalid witness file) 6.1 3.3 120 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900     900     13000    3600   .45  0     error (invalid witness file) .64 .41 7.5 41 error (invalid witness file) 6.4 3.4 98 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900     900     14000    3600   .45  0     error (invalid witness file) .63 .41 7.8 40 error (invalid witness file) 7.3 3.9 92 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900     900     14000    4500   .70  9.8   error (invalid witness file) .57 .37 8.9 44 error (invalid witness file) 7.7 4.1 97 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900     900     12000    4400   .70  0     error (invalid witness file) .50 .32 6.9 40 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c error (1) 0 wit inspect 550     550     7100    3100   .43  9.9   error (invalid witness file) .53 .34 12   39 error (invalid witness file) 6.6 3.5 110 300 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c error (1) 0 wit inspect 590     590     9200    3100   .44  .41  error (invalid witness file) .49 .32 9.2 41 error (invalid witness file) 7.3 3.8 92 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c unknown 0 wit inspect 350     350     5000    1300   .31  0     error (invalid witness file) .62 .39 8.1 39 error (invalid witness file) 7.2 3.8 80 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c unknown 0 wit inspect 340     340     4800    1300   .31  0     error (invalid witness file) .49 .32 9.0 40 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c unknown 0 wit inspect 470     470     5600    1500   .38  4.3   error (invalid witness file) .48 .31 12   40 error (invalid witness file) 8.6 4.6 55 290 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c unknown 0 wit inspect 470     470     6200    1500   .38  0     error (invalid witness file) .66 .42 8.9 39 error (invalid witness file) 6.2 3.3 110 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c out of memory 0 wit inspect 340     340     5000    15000   .053 .26  - - error (invalid witness file) .71 .46 7.4 43 error (invalid witness file) 6.1 3.3 110 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 wit inspect 340     340     3700    15000   .053 0     - - error (invalid witness file) .56 .36 9.9 39 error (invalid witness file) 6.5 3.4 110 310
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     13000    580   .041 14     - - error (invalid witness file) .46 .30 8.0 39 error (invalid witness file) 6.3 3.3 110 290
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    560   .041 4.1   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 5.8 3.0 110 290
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     13000    4400   .045 3.9   - - error (invalid witness file) .71 .44 9.2 44 error (invalid witness file) 5.9 3.1 120 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    4700   .045 9.7   - - error (invalid witness file) .60 .38 11   40 error (invalid witness file) 6.9 3.7 120 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    3500   .094 0     - - error (invalid witness file) .57 .38 6.9 39 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    3500   .094 4.0   - - error (invalid witness file) .54 .33 9.0 41 error (invalid witness file) 6.0 3.2 130 290
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5100   .20  .098 - - error (invalid witness file) .51 .34 11   39 error (invalid witness file) 6.4 3.4 130 290
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    5100   .20  0     - - error (invalid witness file) .50 .32 13   39 error (invalid witness file) 6.3 3.3 110 320
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     10000    100   .033 4.1   - - error (invalid witness file) .52 .32 8.4 40 error (invalid witness file) 5.9 3.2 120 290
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    95   .033 0     - - error (invalid witness file) .57 .36 13   44 error (invalid witness file) 6.0 3.2 110 310
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     11000    430   .037 0     - - error (invalid witness file) .62 .39 6.9 39 error (invalid witness file) 6.3 3.3 120 310
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    430   .041 3.9   - - error (invalid witness file) .62 .40 12   45 error (invalid witness file) 5.5 2.9 90 290
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     13000    2000   .045 4.4   - - error (invalid witness file) .67 .42 8.7 40 error (invalid witness file) 5.6 3.0 110 290
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    2000   .045 9.7   - - error (invalid witness file) .66 .42 7.5 40 error (invalid witness file) 5.8 3.1 120 290
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900     900     14000    3600   .053 0     - - error (invalid witness file) .50 .33 10   42 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 900     900     10000    3600   .053 0     - - error (invalid witness file) .50 .34 6.5 40 error (invalid witness file) 5.9 3.1 100 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     11000    41   .025 0     - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.5 3.4 86 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    41   .029 0     - - error (invalid witness file) .55 .35 9.0 43 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     12000    120   .033 0     - - error (invalid witness file) .62 .41 8.4 39 error (invalid witness file) 6.3 3.3 120 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    120   .033 4.0   - - error (invalid witness file) .52 .33 13   42 error (invalid witness file) 5.7 3.1 100 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     11000    420   .037 9.9   - - error (invalid witness file) .64 .42 7.5 41 error (invalid witness file) 6.3 3.3 110 290
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    410   .037 0     - - error (invalid witness file) .53 .33 13   39 error (invalid witness file) 6.1 3.2 120 300
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900     900     13000    1700   .041 0     - - error (invalid witness file) .46 .31 6.5 40 error (invalid witness file) 5.6 3.0 120 290
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    1700   .045 9.9   - - error (invalid witness file) .63 .41 7.4 39 error (invalid witness file) 6.0 3.2 110 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900     900     13000    1500   .049 0     - - error (invalid witness file) .58 .37 11   40 error (invalid witness file) 6.1 3.2 140 310
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    1500   .049 0     - - error (invalid witness file) .68 .43 9.9 43 error (invalid witness file) 5.6 3.0 92 290
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900     900     12000    1600   .053 0     - - error (invalid witness file) .60 .38 7.7 39 error (invalid witness file) 5.7 3.0 96 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    1600   .053 0     - - error (invalid witness file) .47 .31 7.7 40 error (invalid witness file) 5.9 3.2 110 290
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900     900     14000    6300   .049 0     - - error (invalid witness file) .48 .31 8.4 39 error (invalid witness file) 5.6 3.0 120 280
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     11000    6400   .049 .016 - - error (invalid witness file) .66 .42 7.3 40 error (invalid witness file) 6.9 3.6 89 330
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900     900     13000    3700   .10  0     - - error (invalid witness file) .57 .37 9.9 40 error (invalid witness file) 6.1 3.2 120 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     13000    3700   .10  15     - - error (invalid witness file) .56 .35 8.8 44 error (invalid witness file) 6.4 3.4 120 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     900     12000    5300   .21  0     - - error (invalid witness file) .59 .37 9.7 41 error (invalid witness file) 6.4 3.4 130 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     900     12000    5300   .21  0     - - error (invalid witness file) .71 .44 7.8 41 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900     900     14000    4400   .29  15     - - error (invalid witness file) .64 .42 7.7 40 error (invalid witness file) 6.6 3.5 140 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c out of memory 0 wit inspect 870     870     11000    15000   2.6   15     - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.1 3.7 110 310
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900     900     12000    5800   .37  0     - - error (invalid witness file) .63 .39 7.4 40 error (invalid witness file) 6.3 3.3 110 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900     900     12000    11000   2.9   0     - - error (invalid witness file) .61 .38 7.9 39 error (invalid witness file) 7.4 3.9 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900     900     11000    7300   1.1   0     - - error (invalid witness file) .64 .42 8.1 41 error (invalid witness file) 6.6 3.5 110 300
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900     900     15000    7300   1.1   0     - - error (invalid witness file) .57 .37 11   41 error (invalid witness file) 6.3 3.3 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900     900     13000    9700   2.0   0     - - error (invalid witness file) .57 .36 10   39 error (invalid witness file) 7.0 3.7 140 310
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900     900     13000    6800   3.1   0     - - error (invalid witness file) .62 .40 7.0 39 error (invalid witness file) 6.7 3.6 100 290
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900     900     10000    3900   .25  0     - - error (invalid witness file) .64 .41 8.5 40 error (invalid witness file) 6.3 3.3 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900     900     12000    14000   2.5   0     - - error (invalid witness file) .51 .32 8.7 40 error (invalid witness file) 6.4 3.4 120 290
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900     900     13000    4000   .26  0     - - error (invalid witness file) .55 .36 11   40 error (invalid witness file) 6.1 3.2 91 300
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900     900     14000    14000   2.5   9.8   - - error (invalid witness file) .64 .40 7.9 41 error (invalid witness file) 7.0 3.7 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900     900     11000    4200   .28  15     - - error (invalid witness file) .54 .34 12   39 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c out of memory 0 wit inspect 770     770     9800    15000   2.6   9.8   - - error (invalid witness file) .61 .39 8.2 39 error (invalid witness file) 6.2 3.3 90 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900     900     14000    3500   .44  4.3   - - error (invalid witness file) .56 .36 10   40 error (invalid witness file) 6.4 3.4 130 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900     900     12000    3500   .44  0     - - error (invalid witness file) .52 .33 11   39 error (invalid witness file) 5.8 3.1 110 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900     900     13000    4500   .70  9.8   - - error (invalid witness file) .53 .33 9.5 39 error (invalid witness file) 6.7 3.6 140 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900     900     13000    4500   .71  0     - - error (invalid witness file) .64 .40 7.8 39 error (invalid witness file) 7.3 3.8 98 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 0 wit inspect 900     900     12000    4400   .70  4.0   - - error (invalid witness file) .66 .42 8.5 40 error (invalid witness file) 7.7 4.0 100 310
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900     900     14000    4400   .70  0     - - error (invalid witness file) .47 .31 9.6 40 error (invalid witness file) 6.6 3.5 120 300
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c error (1) 0 wit inspect 550     550     7300    3000   .43  .41  - - error (invalid witness file) .59 .38 9.9 40 error (invalid witness file) 6.4 3.4 120 300
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c error (1) 0 wit inspect 550     550     7200    3100   .43  .41  - - error (invalid witness file) .63 .40 8.3 40 error (invalid witness file) 5.9 3.1 98 290
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c error (1) 0 wit inspect 580     580     8500    3100   .44  .41  - - error (invalid witness file) .63 .40 7.0 39 error (invalid witness file) 6.2 3.3 120 290
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c error (1) 0 wit inspect 560     560     8800    3100   .45  0     - - error (invalid witness file) .66 .41 8.0 40 error (invalid witness file) 6.3 3.4 80 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c unknown 0 wit inspect 340     340     5000    1300   .31  0     - - error (invalid witness file) .66 .42 8.8 40 error (invalid witness file) 6.1 3.2 97 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c unknown 0 wit inspect 350     350     4800    1300   .31  0     - - error (invalid witness file) .59 .37 13   45 error (invalid witness file) 5.9 3.1 110 290
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c unknown 0 wit inspect 360     360     5300    1300   .32  .098 - - error (invalid witness file) .66 .40 7.6 40 error (invalid witness file) 6.5 3.4 100 310
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c unknown 0 wit inspect 360     360     4700    1300   .32  0     - - error (invalid witness file) .65 .41 9.2 41 error (invalid witness file) 5.6 3.0 110 290
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c unknown 0 wit inspect 470     470     6100    1500   .38  9.6   - - error (invalid witness file) .51 .33 13   43 error (invalid witness file) 6.3 3.3 110 300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c unknown 0 wit inspect 470     460     7300    1500   .38  0     - - error (invalid witness file) .53 .33 10   40 error (invalid witness file) 6.4 3.4 130 300
seq-pthread/cs_fib_false-unreach-call.i unknown 0 wit inspect .094 .095 .72 10   .045 0     error (invalid witness file) .55 .36 9.1 40 error (invalid witness file) 7.3 3.8 76 300 - -
seq-pthread/cs_fib_longer_false-unreach-call.i unknown 0 wit inspect .097 .097 .73 11   .045 0     error (invalid witness file) .54 .35 7.3 39 error (invalid witness file) 6.9 3.7 100 300 - -
seq-pthread/cs_lazy_false-unreach-call.i unknown 0 wit inspect .093 .093 .69 10   .037 0     error (invalid witness file) .58 .37 13   42 error (invalid witness file) 6.6 3.5 100 300 - -
seq-pthread/cs_queue_false-unreach-call.i unknown 0 wit inspect .12  .12  .77 11   .061 0     error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.2 3.3 78 290 - -
seq-pthread/cs_read_write_lock_false-unreach-call.i unknown 0 wit inspect .075 .075 .73 10   .045 .033 error (invalid witness file) .51 .34 9.6 39 error (invalid witness file) 7.7 4.1 83 320 - -
seq-pthread/cs_stack_false-unreach-call.i unknown 0 wit inspect .070 .071 .81 10   .049 0     error (invalid witness file) .60 .39 7.6 44 error (invalid witness file) 6.3 3.4 110 300 - -
seq-pthread/cs_stateful_false-unreach-call.i unknown 0 wit inspect .097 .099 .53 10   .037 0     error (invalid witness file) .52 .35 13   39 error (invalid witness file) 6.1 3.3 130 300 - -
seq-pthread/cs_dekker_true-unreach-call.i unknown 0 wit inspect .086 .086 .79 10   .057 0     - - error (invalid witness file) .62 .41 8.6 39 error (invalid witness file) 6.7 3.5 120 300
seq-pthread/cs_fib_longer_true-unreach-call.i unknown 0 wit inspect .10  .10  .72 10   .061 0     - - error (invalid witness file) .60 .38 8.1 39 error (invalid witness file) 6.2 3.3 120 300
seq-pthread/cs_fib_true-unreach-call.i unknown 0 wit inspect .095 .095 .76 10   .057 0     - - error (invalid witness file) .52 .34 12   43 error (invalid witness file) 5.7 3.1 95 290
seq-pthread/cs_lamport_true-unreach-call.i unknown 0 wit inspect .11  .11  .54 11   .066 0     - - error (invalid witness file) .52 .35 10   39 error (invalid witness file) 6.2 3.3 110 300
seq-pthread/cs_peterson_true-unreach-call.i unknown 0 wit inspect .068 .069 .84 10   .049 0     - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.3 3.3 100 300
seq-pthread/cs_queue_true-unreach-call.i unknown 0 wit inspect .085 .085 1.1  11   .086 .16  - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.8 3.1 120 300
seq-pthread/cs_read_write_lock_true-unreach-call.i unknown 0 wit inspect .094 .094 .66 11   .053 0     - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.4 3.4 110 310
seq-pthread/cs_stack_true-unreach-call.i unknown 0 wit inspect .077 .088 .74 11   .057 4.2   - - error (invalid witness file) .63 .40 7.1 40 error (invalid witness file) 6.2 3.3 120 310
seq-pthread/cs_stateful_true-unreach-call.i unknown 0 wit inspect .10  .10  .91 10   .045 0     - - error (invalid witness file) .56 .35 5.1 40 error (invalid witness file) 6.7 3.5 120 310
seq-pthread/cs_sync_true-unreach-call.i unknown 0 wit inspect .097 .097 .84 11   .045 0     - - error (invalid witness file) .60 .38 10   39 error (invalid witness file) 5.9 3.2 120 300
seq-pthread/cs_szymanski_true-unreach-call.i unknown 0 wit inspect .097 .097 .87 10   .057 0     - - error (invalid witness file) .56 .36 6.1 40 error (invalid witness file) 6.4 3.4 110 300
seq-pthread/cs_time_var_mutex_true-unreach-call.i unknown 0 wit inspect .085 .085 .81 10   .057 0     - - error (invalid witness file) .49 .32 7.2 41 error (invalid witness file) 7.0 3.7 87 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 -191 160000   160000   2200000 1100000 70     510    273 700 420 8600 25000   273 1600   880   23000 62000   273 10000 9700 190000 77000   273 1900 1100 26000 77000  
    correct results 37 44 4700   4600   61000 56000 1.6   80    30 380 210 4600 14000   30 290   150   4300 9700   0 5600 5500 100000 32000   7 510 290 5500 15000  
        correct true 7 14 220   220   3300 10000 .23  6.2  0 0 0 0 0   30 0   0   0 0   0 5600 5500 100000 32000   7 510 290 5500 15000  
        correct false 30 30 4400   4400   58000 46000 1.4   73    30 380 210 4600 14000   0 290   150   4300 9700   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 6 5 310   310   4200 18000 .34  16    0 91 83 1400 800   1 8.4 4.5 170 320   0 4000 3900 82000 25000   0 790 520 10000 35000  
        correct-unconfirmed true 5 5 290   290   3900 17000 .29  .37 0 0 0 0 0   1 0   0   0 0   0 4000 3900 82000 25000   0 790 520 10000 35000  
        correct-unconfirmed false 1 0 20   20   280 820 .053 16    0 91 83 1400 800   0 8.4 4.5 170 320   0 0 0 0 0   0 0 0 0 0  
    incorrect results 9 -240 290   290   3700 15000 .47  17    0 150 80 1300 4300   3 450   250   5100 12000   3 430 340 8600 16000   3 29 16 540 970  
        incorrect true 6 -192 280   280   3500 13000 .22  17    0 150 80 1300 4300   0 450   250   5100 12000   3 0 0 0 0   3 0 0 0 0  
        incorrect false 3 -48 10   10   130 1100 .25  0    0 0 0 0 0   3 0   0   0 0   0 430 340 8600 16000   0 29 16 540 970  
score (273 tasks, max score: 376) -191
Run set sv-comp17.ReachSafety-Sequentialized