Tool CPAchecker 1.6.1-svn 24048
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-11 11:18:39 CET [[ 2017-01-14 21:32:33 CET ]] [[ 2017-01-14 22:21:46 CET ]] [[ 2017-01-14 21:35:07 CET ]] [[ 2017-01-14 22:35:09 CET ]]
Run set sv-comp17.ReachSafety-ControlFlow
Options -sv-comp17 -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-11_1118.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-11_1118.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-11_1118.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-11_1118.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 8.0 2.2  63 340 .029 0   false(unreach-call) 8.6  4.5  120   310 false(unreach-call) 21   11   220 510 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 8.4 2.3  67 360 .037 0   false(unreach-call) 7.6  4.0  140   310 false(unreach-call) 18   9.8 300 510 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 9.3 2.6  76 370 .041 0   false(unreach-call) 7.9  4.2  150   300 false(unreach-call) 22   12   220 520 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 5.4 1.7  40 300 .025 0   false(unreach-call) 8.2  4.4  110   340 false(unreach-call) 13   7.1 160 390 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 7.3 2.1  62 330 0     0   - - true 17   8.9 330 630 true 96   53   1400 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 100   90    1300 1300 0     0   - - out of memory 400   390   11000 7000 true 66   36   760 890
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 7.4 2.2  56 350 0     0   - - true 12   6.1 210 460 true 65   35   580 930
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 8.3 2.4  64 360 0     0   - - true 15   7.8 240 500 true 77   42   970 1000
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 3.5 1.2  29 270 0     0   - - true 7.1 3.8 130 280 true 19   10   160 570
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 4.3 1.4  36 270 0     0   - - true 9.2 4.9 140 350 true 23   12   340 590
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 5.8 1.8  50 310 .033 0   false(unreach-call) 6.7  3.6  140   300 false(unreach-call) 11   6.0 200 450 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 1 wit inspect 6.2 1.8  50 310 .033 0   false(unreach-call) 7.6  4.1  130   300 false(unreach-call) 12   6.2 200 440 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 6.2 1.9  48 310 .033 0   false(unreach-call) 6.8  3.6  130   300 false(unreach-call) 15   7.8 150 470 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 6.2 1.8  47 310 .033 0   false(unreach-call) 7.0  3.7  150   320 false(unreach-call) 15   8.0 150 480 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 12   5.7  110 740 .016 0   false(unreach-call) 5.9  3.2  130   290 false(unreach-call) 13   6.9 140 360 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 120   110    1400 2300 .35  0   false(unreach-call) 9.2  4.8  150   340 false(unreach-call) 19   9.7 290 560 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 120   110    1400 2600 .37  0   false(unreach-call) 8.0  4.2  150   310 false(unreach-call) 15   7.9 180 560 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 110   100    1500 1900 .22  0   false(unreach-call) 6.8  3.6  130   300 false(unreach-call) 16   8.6 170 510 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 45   33    540 2300 .14  0   false(unreach-call) 6.5  3.5  110   290 false(unreach-call) 14   7.4 220 430 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 5.0 1.6  41 280 .029 0   false(unreach-call) 6.9  3.7  130   300 false(unreach-call) 15   7.7 180 500 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 5.1 1.6  40 280 .029 0   false(unreach-call) 6.8  3.6  140   310 false(unreach-call) 15   7.7 140 480 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 3.1 1.2  25 260 .012 0   false(unreach-call) 5.1  2.8  89   290 false(unreach-call) 11   6.0 120 320 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 2 wit inspect 20   12    200 1300 0     0   - - true 14   7.8 270 540 true 55   30   540 1600
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 19   12    170 1300 0     0   - - true 13   7.3 240 550 true 61   33   1100 1400
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 2 wit inspect 22   14    200 1300 0     0   - - true 15   8.2 320 560 true 52   28   560 1500
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 2 wit inspect 21   12    200 1300 0     0   - - true 14   8.1 210 540 true 55   30   420 1600
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c true 2 wit inspect 24   16    220 2300 0     0   - - out of memory 840   830   20000 7000 true 56   30   800 1800
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 2 wit inspect 3.2 1.2  26 270 0     0   - - true 8.2 4.4 180 310 true 11   5.8 190 390
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 2 wit inspect 2.5 .98 20 260 0     0   - - true 5.1 2.8 91 280 true 8.4 4.5 130 320
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 2 wit inspect 24   16    260 2300 0     0   - - timeout 910   900   19000 4900 true 51   27   440 1300
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c true 2 wit inspect 25   17    260 2300 0     0   - - timeout 910   890   19000 5200 true 51   27   590 1200
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 2 wit inspect 24   16    260 2300 0     0   - - timeout 910   890   19000 5600 true 49   26   440 1000
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c true 2 wit inspect 97   87    1000 2300 0     0   - - timeout 910   890   20000 5000 true 56   31   440 1500
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 2 wit inspect 96   87    1200 2300 0     0   - - timeout 910   890   20000 4700 true 53   28   460 1100
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 2 wit inspect 24   16    260 2300 0     0   - - timeout 910   900   25000 5400 true 53   29   700 1100
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 93   88    1100 2200 .012 0   false(unreach-call) 4.8  2.6  110   280 false(unreach-call) 11   5.9 110 350 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 94   87    1300 1300 .012 0   false(unreach-call) 4.6  2.5  86   280 false(unreach-call) 8.6 4.6 160 340 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 27   20    320 2300 0     0   - - true 6.0 3.3 120 300 true 23   12   340 760
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 160   130    400 1200 0     0   - - true 5.8 3.2 75 290 true 26   14   380 1100
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 150   140    2000 1400 0     0   - - true 5.9 3.2 110 300 true 32   18   290 2500
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 150   140    2000 2200 0     0   - - true 7.8 4.2 89 300 true 39   24   340 3900
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 150   140    2100 2300 0     0   - - true 6.6 3.6 110 300 true 110   67   1400 6600
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 150   140    1800 2300 0     0   - - true 8.1 4.4 98 300 out of memory 110   68   1000 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 3.0 1.1  28 250 0     0   - - true 4.9 2.7 90 290 true 9.6 5.1 140 340
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 3.6 1.2  26 260 0     0   - - true 6.2 3.4 59 290 true 12   6.3 210 410
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 5.1 1.7  44 300 0     0   - - true 5.2 2.8 92 290 true 14   7.1 230 440
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 7.8 2.5  64 440 0     0   - - true 6.9 3.8 73 290 true 16   8.5 300 520
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 13   6.3  99 730 0     0   - - true 7.1 3.8 74 290 true 20   10   360 610
ntdrivers/cdaudio_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 52   38    570 2200 .61  0   false(unreach-call) 41    23    870   1400 true 25   14   270 500 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 100   89    1300 1600 .15  0   false(unreach-call) 27    20    570   2500 true 14   7.7 210 450 - -
ntdrivers/floppy_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 15   4.7  140 670 .13  0   false(unreach-call) 16    8.3  270   680 true 25   14   230 570 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 9.0 2.8  65 410 .12  0   false(unreach-call) 11    5.9  200   460 true 14   7.7 260 440 - -
ntdrivers/parport_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 150   97    1300 4500 .16  0   false(unreach-call) 14    7.4  290   480 timeout 91   63   1700 940 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 2 wit inspect 9.2 2.6  75 350 0     0   - - true 48   30   960 1100 true 170   110   1700 2400
ntdrivers/diskperf_true-unreach-call.i.cil.c true 2 wit inspect 100   86    1200 1400 0     0   - - out of memory 830   820   12000 7000 true 98   59   1200 1400
ntdrivers/floppy2_true-unreach-call.i.cil.c true 1 wit inspect 78   54    670 2500 .72  0   - - out of memory 290   270   8300 7000 out of memory 190   120   1900 7000
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c true 1 wit inspect 74   55    680 1800 .36  0   - - out of memory 490   470   7800 7000 out of memory 160   100   1700 7000
ntdrivers/parport_true-unreach-call.i.cil.c true 2 wit inspect 160   110    1500 4400 0     0   - - out of memory 420   340   11000 7000 true 190   130   2600 4400
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c out of memory 0 wit inspect 190   170    2200 15000 .41  0   error (invalid witness file) .47 .31 10   39 error (invalid witness file) 6.1 3.2 110 300 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c out of memory 0 wit inspect 170   150    1900 15000 .38  0   error (invalid witness file) .53 .35 4.2 42 error (invalid witness file) 6.7 3.5 79 300 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c out of memory 0 wit inspect 170   150    1900 15000 .38  0   error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.8 3.6 110 300 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c out of memory 0 wit inspect 170   150    1800 15000 .38  0   error (invalid witness file) .53 .33 7.4 42 error (invalid witness file) 7.7 4.1 82 300 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c out of memory 0 wit inspect 170   160    2000 15000 .32  0   error (invalid witness file) .52 .34 13   44 error (invalid witness file) 7.4 3.9 85 300 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c out of memory 0 wit inspect 170   160    1900 15000 .32  0   error (invalid witness file) .50 .33 9.5 40 error (invalid witness file) 8.4 4.4 83 300 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c out of memory 0 wit inspect 180   160    2100 15000 .32  0   error (invalid witness file) .48 .31 6.8 40 error (invalid witness file) 6.6 3.5 66 290 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c out of memory 0 wit inspect 170   160    2500 15000 .32  0   error (invalid witness file) .56 .36 12   42 error (invalid witness file) 7.9 4.1 82 300 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c out of memory 0 wit inspect 160   150    1500 15000 .40  0   error (invalid witness file) .62 .39 5.5 39 error (invalid witness file) 7.3 3.8 83 300 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c out of memory 0 wit inspect 240   220    2600 15000 .43  0   error (invalid witness file) .66 .43 9.0 41 error (invalid witness file) 7.7 4.1 92 320 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c out of memory 0 wit inspect 330   320    3600 15000 .54  0   error (invalid witness file) .51 .32 13   39 error (invalid witness file) 7.9 4.1 77 290 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c out of memory 0 wit inspect 240   220    2500 15000 .43  0   error (invalid witness file) .56 .36 9.5 40 error (invalid witness file) 6.3 3.3 120 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c out of memory 0 wit inspect 330   320    2900 15000 .52  0   error (invalid witness file) .53 .34 12   40 error (invalid witness file) 7.3 3.8 100 300 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c out of memory 0 wit inspect 200   190    2100 15000 .39  0   error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.1 4.2 120 340 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c out of memory 0 wit inspect 150   140    1300 15000 .37  0   error (invalid witness file) .49 .31 9.4 41 error (invalid witness file) 7.5 3.9 84 300 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c out of memory 0 wit inspect 240   220    2600 15000 .43  0   error (invalid witness file) .58 .37 14   45 error (invalid witness file) 8.2 4.3 81 300 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c out of memory 0 wit inspect 150   150    1500 15000 .38  0   error (invalid witness file) .48 .31 6.4 39 error (invalid witness file) 7.1 3.7 110 300 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c out of memory 0 wit inspect 350   340    2900 15000 .56  0   error (invalid witness file) .54 .35 13   41 error (invalid witness file) 6.2 3.2 120 300 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c out of memory 0 wit inspect 160   150    1600 15000 .39  0   error (invalid witness file) .48 .31 11   40 error (invalid witness file) 7.9 4.1 76 300 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c true 2 wit inspect 110   94    1300 1200 .19  0   - - true 230   210   4100 2100 timeout 960   880   19000 3400
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c true 2 wit inspect 110   92    1300 1600 .19  0   - - true 220   210   4000 2000 timeout 960   890   15000 3800
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c true 2 wit inspect 140   120    1800 1300 .19  0   - - true 200   180   4300 2100 timeout 960   910   14000 3300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c true 2 wit inspect 120   100    1500 1200 .19  0   - - true 230   220   4200 2000 timeout 960   890   22000 3000
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c true 1 wit inspect 110   97    1500 1700 .18  0   - - timeout 910   890   23000 5000 timeout 960   820   14000 5800
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c true 1 wit inspect 200   190    2900 1200 .16  0   - - timeout 910   890   20000 4800 timeout 960   820   17000 5300
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c true 1 wit inspect 140   110    1700 3900 .34  0   - - timeout 910   890   24000 4800 out of memory 600   490   13000 7000
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c true 1 wit inspect 160   140    1900 1200 .18  0   - - timeout 910   890   17000 4700 timeout 960   860   15000 5300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c true 1 wit inspect 120   100    1400 1400 .24  0   - - timeout 910   900   19000 4800 timeout 960   820   21000 6100
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c true 1 wit inspect 110   97    1400 1200 .18  0   - - timeout 910   890   16000 4700 timeout 960   880   17000 4900
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c true 1 wit inspect 110   95    1400 1400 .20  0   - - timeout 910   890   18000 4700 timeout 960   820   12000 6500
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c true 1 wit inspect 130   110    1500 1300 .18  0   - - timeout 910   890   11000 4400 timeout 960   810   15000 6000
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c true 1 wit inspect 140   120    2000 3200 .24  0   - - timeout 910   890   15000 4600 out of memory 610   500   12000 7000
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c true 1 wit inspect 120   100    1400 1200 .18  0   - - timeout 910   890   18000 4400 timeout 960   810   12000 6000
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c true 1 wit inspect 120   95    1500 3800 .27  0   - - timeout 910   890   17000 4800 timeout 960   800   23000 7000
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c true 1 wit inspect 120   98    1600 1200 .27  0   - - timeout 900   890   16000 4900 timeout 960   800   14000 6900
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c true 1 wit inspect 120   100    1400 3900 .31  0   - - timeout 910   890   15000 4600 out of memory 650   540   7100 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 112 8900 7800 99000 390000 15    0   94 240 140 4700 12000   94 570 320 7700 17000   94 22000 21000 440000 150000   94 17000 15000 290000 160000  
    correct results 60 97 3100 2500 35000 75000 3.4  0   23 230 130 4500 11000   22 440 250 5900 11000   27 9100 8700 200000 76000   32 5700 4600 91000 67000  
        correct true 37 74 2100 1800 23000 49000 .77 0   0 0 0 0 0   4 0 0 0 0   27 9100 8700 200000 76000   32 5700 4600 91000 67000  
        correct false 23 23 1000 780 11000 26000 2.6  0   23 230 130 4500 11000   18 440 250 5900 11000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 15 15 1900 1600 23000 31000 4.0  0   0 0 0 0 0   0 0 0 0 0   0 13000 12000 250000 75000   0 12000 10000 200000 95000  
        correct-unconfirmed true 15 15 1900 1600 23000 31000 4.0  0   0 0 0 0 0   0 0 0 0 0   0 13000 12000 250000 75000   0 12000 10000 200000 95000  
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (94 tasks, max score: 146) 112
Run set sv-comp17.ReachSafety-ControlFlow