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