Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017
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:24:16 CET [[ 2017-01-14 21:58:42 CET ]] [[ 2017-01-14 22:27:33 CET ]] [[ 2017-01-14 22:07:52 CET ]] [[ 2017-01-14 22:42:14 CET ]]
Run set sv-comp17.ReachSafety-ControlFlow
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-11_1124.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) 0 wit inspect 3.3  3.3  40   88 1.9  .020  true 13    7.0  200   460 true 15   8.2 160 470 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 0 wit inspect 1.6  1.6  19   95 .94 .10   true 9.0  4.8  150   420 true 13   6.9 130 380 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 0 wit inspect 2.3  2.3  26   100 .98 .10   true 9.6  5.1  170   450 true 12   6.7 140 430 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 0 wit inspect 1.2  1.2  14   64 1.8  .21   true 8.9  4.8  95   290 true 13   6.8 150 370 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 18    12    200   340 5.4  .0041 - - true 20    11    200   630 true 90   50   1100 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 140    140    1700   100 170    0      - - error (invalid witness file) .55 .35 11   40 error (invalid witness file) 6.0 3.2 95 300
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 10    5.2  87   350 3.5  .29   - - true 11    5.9  210   470 true 71   38   840 900
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 13    7.1  120   380 3.5  .11   - - true 16    8.4  140   500 true 72   39   560 1000
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 5.2  3.0  53   260 4.4  0      - - true 7.7  4.1  95   320 true 23   12   260 590
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 7.6  4.4  73   280 4.5  0      - - true 9.1  4.7  150   360 true 21   11   290 570
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 20    20    220   93 14    .098  false(unreach-call) 7.2  3.9  150   300 true 12   6.2 130 330 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 1 wit inspect 20    20    280   85 14    0      false(unreach-call) 7.1  3.8  150   300 true 11   6.1 120 340 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 24    24    270   95 14    0      false(unreach-call) 7.3  3.8  150   300 true 13   7.0 130 370 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 20    20    300   85 14    0      false(unreach-call) 9.8  5.2  94   310 true 9.3 5.0 160 350 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 4.9  4.9  61   86 1.8  0      false(unreach-call) 5.9  3.2  92   290 false(unreach-call) 9.9 5.3 200 360 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 24    24    300   88 11    .090  false(unreach-call) 7.6  4.0  110   320 true 9.5 5.1 150 330 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 41    41    480   94 9.5  0      false(unreach-call) 9.0  4.8  120   310 true 12   6.5 130 340 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 16    16    190   97 9.4  0      false(unreach-call) 9.9  5.2  93   300 true 9.2 4.9 170 340 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 14    14    190   88 2.7  0      false(unreach-call) 8.0  4.2  94   300 true 11   5.8 130 330 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 21    21    260   320 4.3  0      false(unreach-call) 7.5  4.0  140   300 true 8.7 4.7 170 330 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 9.9  9.9  120   93 6.0  0      false(unreach-call) 8.9  4.7  100   300 true 10   5.4 170 340 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 14    14    200   91 1.8  0      false(unreach-call) 5.8  3.1  120   290 false(unreach-call) 11   5.7 210 350 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 2 wit inspect 150    140    1600   1300 37    0      - - true 15    8.5  220   540 true 47   26   400 1400
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 150    150    2000   1300 37    0      - - true 16    9.2  200   540 true 54   29   390 1500
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 2 wit inspect 180    170    2200   1300 37    0      - - true 14    8.0  230   560 true 57   31   630 1400
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 2 wit inspect 150    150    1600   1300 37    0      - - true 17    9.6  180   540 true 52   28   390 1500
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c unknown 0 wit inspect 900    900    11000   480 73    0      - - error (invalid witness file) .55 .34 12   40 error (invalid witness file) 6.5 3.4 99 310
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 370    370    5700   110 170    0      - - error (invalid witness file) .55 .36 10   40 error (invalid witness file) 5.9 3.1 83 290
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 120    120    1600   77 170    0      - - error (invalid witness file) .56 .37 8.8 39 error (invalid witness file) 5.5 3.0 68 300
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 2 wit inspect 44    36    540   2300 4.4  0      - - timeout 910    890    12000   5000 true 51   27   420 1400
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c unknown 0 wit inspect 900    900    11000   460 70    0      - - error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 6.1 3.2 48 320
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c unknown 0 wit inspect 890    900    12000   460 70    0      - - error (invalid witness file) .59 .38 7.7 40 error (invalid witness file) 6.1 3.2 80 300
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c unknown 0 wit inspect 890    900    11000   450 67    0      - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 5.3 2.8 69 300
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c unknown 0 wit inspect 890    900    10000   470 69    0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.9 3.6 94 300
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 2 wit inspect 48    41    480   2300 4.3  34      - - timeout 910    900    21000   5400 true 50   27   440 1300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect .48 .48 5.5 79 .85 0      false(unreach-call) 6.4  3.5  72   290 true 8.2 4.4 140 310 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect .52 .52 6.2 79 .85 0      false(unreach-call) 5.1  2.8  90   280 true 7.8 4.2 130 320 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 30    21    310   2200 3.4  0      - - true 7.3  3.9  85   290 true 22   12   270 820
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 89    80    1200   1300 3.4  0      - - true 5.9  3.2  110   300 true 30   16   380 1200
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 160    150    2100   1400 3.4  .0041 - - true 6.3  3.4  110   300 true 31   18   220 2200
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 160    150    1800   2300 3.5  0      - - true 6.4  3.5  110   300 true 39   24   320 3800
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 160    150    2100   1500 3.4  0      - - true 7.7  4.2  92   300 true 92   58   760 6400
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 160    150    1800   1500 3.4  .0041 - - true 8.8  4.8  92   300 out of memory 130   79   1400 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.1  2.2  40   260 3.4  0      - - true 5.7  3.1  68   290 true 9.3 5.0 140 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.9  2.5  42   270 3.4  0      - - true 5.6  3.1  80   280 true 11   5.9 160 410
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 6.4  2.9  51   300 3.4  0      - - true 6.7  3.6  77   290 true 13   7.0 120 520
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 8.8  3.9  77   450 3.4  0      - - true 5.8  3.2  99   290 true 16   8.2 220 520
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 13    7.8  140   750 3.4  33      - - true 6.8  3.7  85   300 true 17   9.0 110 740
ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    11000   350 48    .10   error (invalid witness file) .61 .39 7.9 40 error (invalid witness file) 8.9 4.6 75 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 480    480    6000   170 1.3  .23   timeout 96    82    2500   3600 true 14   7.5 240 480 - -
ntdrivers/floppy_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 600    600    7300   830 2.1  0      true 39    24    670   1200 true 22   12   410 570 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    13000   540 4.6  0      error (invalid witness file) .64 .41 8.1 40 error (invalid witness file) 6.0 3.2 80 300 - -
ntdrivers/parport_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 590    590    6500   950 2.1  0      timeout 97    69    2000   4400 true 31   17   310 560 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    11000   350 56    .10   - - error (invalid witness file) .50 .32 8.5 41 error (invalid witness file) 7.1 3.7 120 310
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 0 wit inspect 900    900    13000   180 99    .36   - - error (invalid witness file) .55 .35 9.4 40 error (invalid witness file) 6.8 3.6 150 310
ntdrivers/floppy2_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    11000   14000 3.8  0      - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 7.8 4.1 150 320
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 0 wit inspect 890    900    8400   1300 2.9  .10   - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.7 3.1 47 290
ntdrivers/parport_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9100   1500 2.9  .23   - - error (invalid witness file) .55 .35 14   40 error (invalid witness file) 6.8 3.5 46 300
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8400   1600 15    0      error (invalid witness file) .65 .41 9.0 41 error (invalid witness file) 6.3 3.3 120 300 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8000   1600 15    0      error (invalid witness file) .57 .37 7.4 39 error (invalid witness file) 7.3 3.9 99 300 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    12000   1600 15    0      error (invalid witness file) .54 .35 12   40 error (invalid witness file) 7.5 4.0 76 290 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9800   1600 15    0      error (invalid witness file) .58 .38 9.4 40 error (invalid witness file) 7.5 4.0 83 320 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 350    350    3300   1000 9.7  0      false(unreach-call) 11    6.0  150   390 true 9.9 5.3 180 340 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 430    430    3700   1000 6.3  0      false(unreach-call) 9.4  5.0  190   400 true 12   6.3 180 370 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 450    450    4200   1000 9.7  0      false(unreach-call) 12    6.3  130   400 true 13   6.7 99 360 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 350    350    3200   1000 9.7  0      false(unreach-call) 11    6.2  170   400 true 12   6.2 150 350 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9200   1200 8.7  .094  error (invalid witness file) .57 .37 10   41 error (invalid witness file) 5.3 2.9 110 290 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8300   1700 9.6  0      error (invalid witness file) .51 .33 11   41 error (invalid witness file) 7.0 3.7 100 310 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8300   1300 8.7  0      error (invalid witness file) .65 .42 9.0 40 error (invalid witness file) 7.9 4.1 70 300 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    7600   1700 9.7  0      error (invalid witness file) .56 .36 11   40 error (invalid witness file) 7.0 3.7 96 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    7600   1700 9.6  0      error (invalid witness file) .67 .42 7.7 40 error (invalid witness file) 7.4 3.9 75 300 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 680    680    6600   1300 8.0  0      false(unreach-call) 11    6.0  180   460 true 12   6.3 81 360 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    7800   1500 8.7  0      error (invalid witness file) .63 .39 6.2 40 error (invalid witness file) 6.1 3.2 110 300 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 800    800    8800   1600 9.7  0      false(unreach-call) 11    6.2  190   460 true 10   5.6 82 350 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    7800   1300 8.7  0      error (invalid witness file) .59 .37 11   40 error (invalid witness file) 5.9 3.2 95 290 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8800   1500 8.8  0      error (invalid witness file) .73 .45 9.3 43 error (invalid witness file) 6.4 3.4 130 300 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8500   1200 8.7  0      error (invalid witness file) .67 .43 7.1 40 error (invalid witness file) 6.0 3.2 100 290 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8100   1600 15    0      - - error (invalid witness file) .63 .41 7.3 40 error (invalid witness file) 5.8 3.1 90 290
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9600   1500 13    35      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.3 3.4 110 320
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9200   1600 15    34      - - error (invalid witness file) .70 .45 7.4 41 error (invalid witness file) 5.5 2.9 48 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9200   1600 15    0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.1 3.2 110 310
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8800   1700 15    0      - - error (invalid witness file) .62 .41 7.8 40 error (invalid witness file) 6.3 3.4 89 300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8100   1700 15    0      - - error (invalid witness file) .47 .31 10   40 error (invalid witness file) 5.8 3.1 74 290
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    10000   1500 8.7  35      - - error (invalid witness file) .56 .35 9.3 39 error (invalid witness file) 6.0 3.2 93 300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8200   1600 10    0      - - error (invalid witness file) .52 .32 13   40 error (invalid witness file) 5.8 3.1 120 300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8600   1700 10    0      - - error (invalid witness file) .56 .36 9.9 41 error (invalid witness file) 5.7 3.0 70 300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    12000   1700 10    0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.9 3.7 90 320
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8500   1600 10    0      - - error (invalid witness file) .56 .37 12   41 error (invalid witness file) 5.6 2.9 45 300
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    7900   1700 11    0      - - error (invalid witness file) .57 .37 10   39 error (invalid witness file) 6.4 3.4 93 300
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8000   1600 10    0      - - error (invalid witness file) .70 .43 7.4 40 error (invalid witness file) 7.4 3.9 61 300
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8700   1700 10    0      - - error (invalid witness file) .54 .35 8.8 39 error (invalid witness file) 6.9 3.6 89 300
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8600   1700 9.6  0      - - error (invalid witness file) .68 .42 8.9 40 error (invalid witness file) 6.0 3.2 92 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    9200   1700 9.6  0      - - error (invalid witness file) .53 .34 15   39 error (invalid witness file) 5.5 2.9 66 290
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown 0 wit inspect 890    900    8700   1500 8.7  0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.9 3.1 70 300
../../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 64 45000 45000 480000 100000 1800 170    94 450 290 8500 18000   94 430 230 5800 15000   94 2000 1900 36000 19000   94 1200 660 12000 46000  
    correct results 42 64 4900 4700 51000 32000 380 68    20 170 92 2600 6700   20 210 110 2900 6900   20 2000 1900 36000 18000   21 1000 560 9900 37000  
        correct true 22 44 1600 1400 19000 23000 220 67    0 0 0 0 0   18 0 0 0 0   20 2000 1900 36000 18000   21 1000 560 9900 37000  
        correct false 20 20 3300 3300 33000 8500 160 .19 20 170 92 2600 6700   2 210 110 2900 6900   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 7 0 1700 1700 20000 2300 11 .67 5 270 200 5800 11000   7 120 66 1500 3300   0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 7 0 1700 1700 20000 2300 11 .67 0 270 200 5800 11000   0 120 66 1500 3300   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) 64
Run set sv-comp17.ReachSafety-ControlFlow