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-ControlFlow
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)
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 4.3 4.1 66 120 2.2  0      false(unreach-call) 8.5  4.5  160 300 true 13   7.0 96 490 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 4.0 3.8 47 110 1.6  0      false(unreach-call) 7.9  4.2  140 310 false(unreach-call) 15   8.2 230 410 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 8.7 8.4 110 120 1.9  0      false(unreach-call) 8.1  4.3  150 310 false(unreach-call) 16   8.6 200 460 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 3.3 3.3 44 96 1.5  0      false(unreach-call) 7.7  4.1  150 330 false(unreach-call) 12   6.1 80 390 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 31   30   380 140 2.2  0      - - true 16   8.5 270 660 true 96   53   1300 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 5.9 5.7 78 130 1.6  16      - - out of memory 420   410   9300 7000 true 84   47   1000 950
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 4.7 4.5 57 120 1.6  0      - - true 13   6.9 160 470 true 74   40   1800 940
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 9.5 9.2 140 120 1.9  0      - - true 13   7.0 220 500 true 90   49   1100 880
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 1.6 1.6 23 75 1.3  0      - - true 7.0 3.7 110 330 true 25   13   380 560
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 3.0 2.9 35 94 1.5  0      - - true 9.3 5.0 110 330 true 25   13   340 570
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 4.6 4.4 66 130 1.2  0      false(unreach-call) 7.1  3.8  140 310 true 8.4 4.5 150 330 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 1 wit inspect 4.6 4.4 53 130 1.2  0      false(unreach-call) 6.6  3.5  87 300 true 10   5.3 100 330 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 0 wit inspect 4.6 4.4 59 130 1.2  0      true 5.5  3.0  100 280 true 8.3 4.5 75 320 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 4.7 4.5 63 130 1.2  0      false(unreach-call) 6.7  3.6  120 300 true 8.8 4.7 100 320 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 2.9 2.7 37 100 1.3  0      false(unreach-call) 6.0  3.3  120 300 true 9.9 5.3 83 320 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 8.5 8.3 100 160 1.3  0      false(unreach-call) 7.6  4.0  150 310 true 8.5 4.5 68 330 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(unreach-call) 0 wit inspect 9.1 8.9 120 180 1.4  16      true 22    12    370 630 true 9.4 5.1 87 320 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 4.6 4.4 58 140 1.3  0      false(unreach-call) 20    11    330 610 true 8.4 4.5 130 320 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 3.8 3.8 74 120 1.3  0      false(unreach-call) 6.1  3.3  110 300 true 11   6.0 99 320 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 3.8 3.7 49 130 1.2  0      false(unreach-call) 6.7  3.6  150 310 true 8.3 4.4 80 320 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 3.7 3.6 43 130 1.2  0      false(unreach-call) 6.8  3.6  130 300 true 8.4 4.5 100 320 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 2.8 2.8 40 100 1.3  0      false(unreach-call) 5.6  3.0  85 290 false(unreach-call) 9.6 5.1 98 340 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 2 wit inspect 44   44   570 190 1.2  0      - - true 15   8.1 270 540 true 65   35   720 1700
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 46   45   610 190 1.2  0      - - true 16   8.8 200 540 true 60   32   1200 1500
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 2 wit inspect 45   45   530 190 1.2  0      - - true 15   8.6 280 550 true 66   36   1000 1400
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 2 wit inspect 43   43   550 190 1.2  0      - - true 13   7.6 280 540 true 65   35   1100 1400
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c true 2 wit inspect 880   880   6400 380 1.2  0      - - out of memory 830   820   12000 7000 true 64   35   770 1800
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 2 wit inspect 880   880   8500 330 .95 0      - - true 8.6 4.6 150 320 true 11   5.8 160 380
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 2 wit inspect 890   880   11000 300 .88 0      - - true 4.9 2.7 110 280 true 8.3 4.5 190 320
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 2 wit inspect 880   880   6500 390 1.2  0      - - timeout 910   890   13000 4800 true 56   30   750 1200
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c true 2 wit inspect 880   880   6300 390 1.2  0      - - timeout 910   890   16000 5000 true 63   34   890 1200
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 2 wit inspect 880   880   6900 390 1.2  0      - - timeout 910   890   15000 4900 true 61   32   730 1000
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c true 2 wit inspect 880   880   5800 410 1.3  0      - - timeout 910   890   20000 5000 true 71   38   850 1600
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 2 wit inspect 880   880   6600 390 1.3  0      - - timeout 910   900   16000 4900 true 67   36   820 1100
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 2 wit inspect 880   880   6600 400 1.3  0      - - timeout 910   890   17000 5300 true 56   30   1000 1200
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 2.0 2.0 30 81 .98 .0041 false(unreach-call) 5.0  2.8  99 280 true 7.0 3.7 88 310 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 2.0 2.0 26 87 1.0  0      false(unreach-call) 4.8  2.6  89 290 true 9.0 4.7 93 330 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.5 1.5 17 82 .94 0      - - true 7.5 4.1 74 290 true 24   12   400 650
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.5 1.4 19 77 .95 0      - - true 5.7 3.1 88 290 true 26   14   480 1200
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.5 1.5 19 81 .95 0      - - true 7.5 4.1 84 300 true 42   23   420 2400
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.5 1.5 19 83 .97 0      - - true 6.6 3.6 140 300 true 46   28   630 3500
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.5 1.5 21 83 .98 0      - - true 7.4 4.0 98 300 true 92   58   1300 6300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.6 1.6 20 79 1.0  0      - - true 8.7 4.7 82 300 out of memory 130   77   1500 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.4 1.5 18 81 .89 0      - - true 5.1 2.8 110 290 true 12   6.2 170 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.4 1.5 17 80 .90 0      - - true 4.8 2.7 95 290 true 13   6.7 170 430
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.4 1.5 17 79 .91 0      - - true 5.1 2.8 86 280 true 15   7.7 280 420
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.4 1.4 17 83 .91 0      - - true 6.3 3.4 74 290 true 18   9.4 230 520
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 1.5 1.5 17 77 .93 0      - - true 5.5 3.0 96 290 true 22   11   160 580
ntdrivers/cdaudio_false-unreach-call.i.cil.c timeout 0 wit inspect 880   930   6600 2200 12    0      error (invalid witness file) .49 .32 11 40 error (invalid witness file) 8.8 4.6 66 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 4.6 4.5 67 140 2.8  0      timeout 97    81    2200 3000 true 20   11   190 520 - -
ntdrivers/floppy_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 9.3 9.1 110 190 6.5  0      false(unreach-call) 30    18    380 1100 true 22   13   330 580 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 4.5 4.3 55 110 2.1  0      true 6.7  3.6  110 290 true 12   6.2 110 420 - -
ntdrivers/parport_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 8.5 8.2 100 250 6.1  0      timeout 97    70    1800 4400 true 23   13   260 600 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 2 wit inspect 21   20   280 220 7.2  0      - - true 51   32   840 1100 true 160   99   2000 2400
ntdrivers/diskperf_true-unreach-call.i.cil.c true 2 wit inspect 26   26   300 250 2.8  0      - - out of memory 830   820   17000 7000 true 120   70   1000 1400
ntdrivers/floppy2_true-unreach-call.i.cil.c true 1 wit inspect 110   110   1100 330 12    .25   - - out of memory 360   330   5300 7000 out of memory 240   160   3200 7000
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c true 1 wit inspect 200   200   2200 370 6.9  0      - - out of memory 500   480   10000 7000 out of memory 180   110   3900 7000
ntdrivers/parport_true-unreach-call.i.cil.c true 2 wit inspect 23   23   340 300 6.1  0      - - out of memory 510   410   9100 7000 true 250   170   3100 4100
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 13   13   190 220 1.5  0      false(unreach-call) 16    8.3  170 480 true 9.0 4.8 71 340 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 8.0 7.7 93 190 1.5  0      false(unreach-call) 12    6.4  210 480 true 9.7 5.2 100 340 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 7.9 7.7 110 200 1.5  0      false(unreach-call) 12    6.7  230 480 true 10   5.5 130 340 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 7.9 7.6 98 190 1.5  0      false(unreach-call) 12    6.7  220 480 true 11   6.1 110 360 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 5.9 5.7 66 190 1.6  0      false(unreach-call) 9.1  4.9  140 370 true 9.5 5.1 91 340 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 5.9 5.7 71 190 1.6  0      false(unreach-call) 9.2  4.9  150 390 true 11   6.0 140 360 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 6.0 5.8 71 180 1.6  0      false(unreach-call) 9.2  4.9  170 400 true 11   6.0 140 360 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 5.9 5.8 88 190 1.6  0      false(unreach-call) 9.2  4.9  150 390 true 9.2 5.0 67 350 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 13   13   150 240 1.7  0      false(unreach-call) 11    5.8  210 470 true 12   6.2 79 370 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 12   12   150 230 1.6  0      false(unreach-call) 11    5.9  210 470 true 9.5 5.2 120 360 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 520   520   3500 370 1.6  0      false(unreach-call) 15    8.4  290 530 true 9.7 5.2 74 350 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 12   12   130 220 1.6  0      false(unreach-call) 11    6.0  260 470 true 11   5.8 100 370 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 700   700   5600 370 1.6  0      false(unreach-call) 15    8.1  260 530 true 9.6 5.2 140 350 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 8.6 8.4 100 220 1.6  0      false(unreach-call) 11    5.8  210 450 true 12   6.4 83 360 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 13   13   140 230 1.6  0      false(unreach-call) 11    5.8  180 460 true 10   5.7 150 350 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 12   12   120 230 1.6  0      false(unreach-call) 11    5.9  180 480 true 12   6.5 87 370 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 13   13   160 240 1.6  0      false(unreach-call) 11    6.1  230 480 true 11   5.8 120 360 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 470   470   3500 370 1.6  0      false(unreach-call) 15    8.2  270 530 true 10   5.4 130 360 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 13   13   150 240 1.6  0      false(unreach-call) 10    5.7  160 470 true 9.9 5.4 140 350 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c true 2 wit inspect 880   880   7400 340 1.5  .13   - - true 230   220   4100 2100 timeout 960   870   21000 3300
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c true 2 wit inspect 880   880   7000 350 1.5  0      - - true 220   210   4500 2000 timeout 960   880   23000 3700
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c true 2 wit inspect 880   880   6300 340 1.5  0      - - true 220   200   4400 2100 timeout 960   900   29000 3800
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c true 2 wit inspect 880   880   5500 360 1.5  0      - - true 230   210   4300 2100 timeout 960   880   18000 2800
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6300 380 1.6  0      - - timeout 910   890   18000 5100 timeout 960   820   28000 5800
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c true 1 wit inspect 880   880   8000 400 1.6  0      - - timeout 910   890   26000 4900 timeout 960   820   14000 5200
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6100 360 1.7  0      - - timeout 910   890   17000 4600 out of memory 780   640   14000 7000
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6000 360 1.6  0      - - timeout 910   890   18000 4700 timeout 960   850   23000 5300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6900 400 1.6  16      - - timeout 910   890   13000 4700 timeout 960   820   19000 5900
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6200 340 1.6  0      - - timeout 910   890   19000 4700 timeout 960   870   30000 5000
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6900 390 1.6  0      - - timeout 910   890   18000 4800 timeout 960   820   17000 5900
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6200 370 1.6  0      - - timeout 910   890   17000 4700 timeout 960   810   20000 6500
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c true 1 wit inspect 880   880   9000 370 1.6  0      - - timeout 910   890   19000 4800 out of memory 770   610   14000 7000
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c true 1 wit inspect 880   880   5600 340 1.6  0      - - timeout 910   890   16000 4700 timeout 960   820   18000 5300
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c true 1 wit inspect 880   880   6600 370 1.6  0      - - timeout 910   890   18000 4800 out of memory 860   720   19000 7000
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c true 1 wit inspect 880   880   8900 400 1.6  0      - - timeout 910   890   15000 5000 timeout 960   820   26000 6700
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c true 1 wit inspect 880   880   7100 370 1.6  0      - - timeout 910   890   14000 4800 out of memory 780   650   18000 7000
../../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 94 125 26000 26000 210000 23000 180 48      94 600 370 11000 24000   94 470 250 5000 15000   94 22000 21000 410000 150000   94 18000 15000 380000 160000  
    correct results 73 110 14000 14000 110000 14000 120 16      36 370 200 6500 15000   36 380 210 4200 13000   27 9200 8800 160000 75000   32 5900 4700 120000 66000  
        correct true 37 74 12000 12000 95000 7900 58 16      0 0 0 0 0   32 0 0 0 0   27 9200 8800 160000 75000   32 5900 4700 120000 66000  
        correct false 36 36 1900 1900 16000 6600 59 .0041 36 370 200 6500 15000   4 380 210 4200 13000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 20 15 12000 12000 93000 6400 54 32      3 230 170 4600 8500   5 73 40 720 2200   0 13000 12000 240000 76000   0 12000 10000 270000 94000  
        correct-unconfirmed true 15 15 12000 12000 93000 5600 40 16      3 0 0 0 0   5 0 0 0 0   0 13000 12000 240000 76000   0 12000 10000 270000 94000  
        correct-unconfirmed false 5 0 31 30 410 810 14 16      0 230 170 4600 8500   0 73 40 720 2200   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (94 tasks, max score: 146) 125
Run set sv-comp17.ReachSafety-ControlFlow