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