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