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