Tool VeriAbs
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-14 09:46:18 CET [[ 2017-01-15 04:55:34 CET ]] [[ 2017-01-15 05:46:09 CET ]] [[ 2017-01-15 05:17:25 CET ]] [[ 2017-01-15 05:48:02 CET ]]
Run set sv-comp17.ReachSafety-ControlFlow
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/veriabs.2017-01-14_0946.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 270 250   2700 500 .54  .0041 false(unreach-call) 8.4  4.4  130   310 false(unreach-call) 17   8.8 240 530 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 270 250   2800 460 .24  0      false(unreach-call) 8.6  4.6  180   310 false(unreach-call) 14   7.3 240 460 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 270 250   2800 510 .31  0      false(unreach-call) 8.8  4.6  170   310 false(unreach-call) 15   8.1 300 510 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 260 250   3100 450 .22  .0041 false(unreach-call) 7.7  4.1  150   330 false(unreach-call) 13   7.0 250 440 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 260 250   3000 320 .10  0      - - true 16    8.5  190   660 true 95   52   1300 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 620 610   7200 310 1.9   0      - - error (invalid witness file) .50 .32 9.5 40 error (invalid witness file) 5.5 2.9 100 290
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 260 250   2900 280 .10  0      - - true 13    6.7  130   480 true 72   39   1100 910
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 260 250   2900 290 .10  0      - - true 13    6.7  210   500 true 74   40   730 990
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 260 250   2800 270 .10  .0082 - - true 6.9  3.7  140   310 true 24   12   520 570
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 260 250   2400 270 .10  0      - - true 7.6  4.0  120   320 true 21   11   380 580
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 43 27   370 470 .26  0      false(unreach-call) 8.1  4.3  160   310 false(unreach-call) 14   7.1 200 530 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 1 wit inspect 43 27   420 470 .26  .0041 false(unreach-call) 7.3  3.9  150   300 false(unreach-call) 12   6.1 210 500 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 47 31   440 480 .27  0      false(unreach-call) 8.9  4.7  120   350 false(unreach-call) 13   6.7 190 530 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 44 27   430 470 .26  0      false(unreach-call) 7.3  3.9  130   310 false(unreach-call) 12   6.1 230 490 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 59 47   540 460 .14  .0082 false(unreach-call) 6.5  3.5  150   290 false(unreach-call) 11   5.6 200 380 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c witness invalid (false(unreach-call)) 0 wit inspect 410 360   4700 2200 2.0   0      error (invalid witness file) .53 .34 14   41 error (invalid witness file) 5.8 3.1 100 300 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c timeout 0 wit inspect 900 890   6300 590 .11  0      error (invalid witness file) .47 .31 6.1 39 error (invalid witness file) 7.1 3.7 130 330 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 87 64   850 570 .27  0      false(unreach-call) 7.5  4.0  140   310 false(unreach-call) 14   7.2 270 530 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 72 56   760 520 .18  .0041 false(unreach-call) 6.9  3.7  130   290 false(unreach-call) 12   6.3 170 440 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 69 54   700 560 .23  0      false(unreach-call) 8.0  4.2  160   310 false(unreach-call) 12   6.4 210 500 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 68 54   670 510 .23  .0041 false(unreach-call) 7.9  4.1  150   320 false(unreach-call) 12   6.6 220 520 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 74 63   760 520 .10  0      false(unreach-call) 5.8  3.1  90   290 false(unreach-call) 9.7 5.2 130 340 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 2 wit inspect 38 26   350 390 .10  0      - - true 13    7.1  100   530 true 55   30   1200 1500
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 37 26   360 400 .10  0      - - true 13    7.4  210   550 true 61   33   1100 1400
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 2 wit inspect 39 28   440 480 .10  0      - - true 17    9.4  170   560 true 56   30   1000 1600
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 2 wit inspect 37 26   350 400 .10  0      - - true 15    8.3  200   540 true 57   31   700 1500
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 0 wit inspect 900 890   6900 310 .12  0      - - error (invalid witness file) .54 .35 15   42 error (invalid witness file) 5.9 3.2 120 300
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900   4000 220 .25  0      - - error (invalid witness file) .49 .33 3.7 39 error (invalid witness file) 5.9 3.2 120 300
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 560 550   3200 270 8.7   0      - - error (invalid witness file) .49 .32 9.2 40 error (invalid witness file) 6.0 3.2 120 300
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 0 wit inspect 900 890   5900 510 .11  0      - - error (invalid witness file) .50 .32 9.5 40 error (invalid witness file) 6.2 3.3 120 300
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 0 wit inspect 900 890   6100 510 .12  0      - - error (invalid witness file) .50 .33 11   41 error (invalid witness file) 5.9 3.1 120 300
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 0 wit inspect 900 890   5700 510 .11  0      - - error (invalid witness file) .51 .32 7.3 41 error (invalid witness file) 5.8 3.1 130 280
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 0 wit inspect 900 890   6600 520 .11  0      - - error (invalid witness file) .55 .34 11   40 error (invalid witness file) 8.6 4.5 130 300
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 0 wit inspect 900 890   6700 520 .12  0      - - error (invalid witness file) .51 .33 10   39 error (invalid witness file) 5.9 3.2 130 300
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 0 wit inspect 900 900   7200 510 .11  0      - - error (invalid witness file) .50 .35 8.1 39 error (invalid witness file) 6.2 3.2 110 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 160 160   2200 310 .50  .0041 false(unreach-call) 5.7  3.1  110   290 false(unreach-call) 13   6.9 210 430 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900 890   7900 240 3.7   0      error (invalid witness file) .53 .34 10   42 error (invalid witness file) 6.2 3.3 110 300 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 23 5.8 170 850 .045 0      - - true 7.8  4.1  130   330 true 22   11   390 810
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 23 5.9 160 850 .045 0      - - true 7.4  4.0  150   310 true 27   14   440 1100
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 28 6.9 200 890 .045 0      - - true 7.6  4.0  110   330 true 33   18   640 2100
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 28 7.0 190 900 .045 0      - - true 8.4  4.4  130   320 true 47   28   880 3900
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 34 8.5 260 940 .045 0      - - true 8.3  4.4  100   340 true 74   47   800 6300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 31 7.7 220 1000 .045 .0082 - - true 8.1  4.3  150   330 out of memory 100   62   1500 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 16 4.3 110 610 .045 .0082 - - true 5.8  3.2  97   290 true 9.7 5.2 180 360
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 19 4.7 140 680 .045 .0082 - - true 6.2  3.3  120   300 true 12   6.3 230 380
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 20 5.1 140 740 .045 0      - - true 7.1  3.8  140   320 true 15   7.8 270 430
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 20 5.2 140 790 .045 .0082 - - true 6.4  3.5  100   320 true 16   8.4 320 560
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 22 5.4 140 820 .045 0      - - true 7.6  4.1  130   330 true 26   13   260 600
ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 0 wit inspect 600 570   7800 3400 20     0      error (invalid witness file) .51 .33 9.6 40 error (invalid witness file) 7.2 3.8 140 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c true -32 wit inspect 25 9.2 210 290 .11  0      unknown 56    45    880   2000 false(unreach-call) 26   14   400 610 - -
ntdrivers/floppy_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 92 51   880 1200 .25  0      false(unreach-call) 21    12    360   1100 true 23   13   450 570 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 41 20   320 500 .59  .0041 true 26    14    410   620 true 14   7.3 170 440 - -
ntdrivers/parport_false-unreach-call.i.cil.c unknown 0 wit inspect 360 320   3100 390 1.2   0      error (invalid witness file) .54 .35 13   41 error (invalid witness file) 6.4 3.4 120 290 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 2 wit inspect 37 16   340 800 .11  0      - - true 42    27    930   1100 true 150   94   3400 2400
ntdrivers/diskperf_true-unreach-call.i.cil.c true 2 wit inspect 25 9.2 190 290 .11  0      - - out of memory 510    500    4600   7000 true 100   62   2500 1500
ntdrivers/floppy2_true-unreach-call.i.cil.c timeout 0 wit inspect 900 870   10000 2200 .92  .098  - - error (invalid witness file) .50 .32 12   41 error (invalid witness file) 7.6 4.0 160 310
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 0 wit inspect 820 790   11000 1600 1.0   0      - - error (invalid witness file) .51 .33 7.2 40 error (invalid witness file) 6.8 3.6 120 310
ntdrivers/parport_true-unreach-call.i.cil.c unknown 0 wit inspect 360 320   3200 390 1.2   0      - - error (invalid witness file) .70 .44 7.5 43 error (invalid witness file) 7.6 3.9 120 300
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 53 34   510 710 .28  .10   true 5.7  3.1  98   280 true 19   10   310 530 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c out of memory 0 wit inspect 47 42   630 15000 .045 0      error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 6.2 3.3 120 300 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c out of memory 0 wit inspect 48 43   640 15000 .045 0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.2 3.3 130 300 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c out of memory 0 wit inspect 47 42   520 15000 .045 0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.4 3.4 120 300 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c out of memory 0 wit inspect 250 240   2700 15000 .090 0      error (invalid witness file) .51 .33 9.3 40 error (invalid witness file) 5.9 3.1 100 300 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 320 300   3300 15000 .29  0      true 8.6  4.6  180   300 true 11   6.0 200 370 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 320 300   3300 14000 .26  0      true 8.6  4.5  150   310 true 10   5.5 190 350 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 320 300   3200 15000 .29  0      true 8.8  4.7  130   300 true 10   5.6 190 350 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 320 300   2700 9700 .17  0      true 7.9  4.2  110   300 true 11   5.9 200 370 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c timeout 0 wit inspect 900 890   8900 800 .16  0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 5.7 3.0 110 290 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 310 300   3000 14000 .14  .0041 true 8.2  4.4  130   290 true 10   5.5 190 360 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6500 800 .16  .098  error (invalid witness file) .50 .31 12   40 error (invalid witness file) 6.2 3.3 130 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 310 300   2800 14000 .17  .0041 false(unreach-call) 7.1  3.8  150   300 true 10   5.4 180 340 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6500 800 .16  0      error (invalid witness file) .62 .39 6.0 39 error (invalid witness file) 6.3 3.3 130 300 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 310 300   2900 13000 .17  .10   false(unreach-call) 7.2  3.8  130   310 true 9.5 5.2 160 350 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 320 300   3100 800 .34  0      false(unreach-call) 9.9  5.2  190   330 true 11   5.8 200 370 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 320 300   3100 10000 .17  .10   true 8.0  4.3  130   300 true 10   5.4 180 360 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 0 wit inspect 900 890   7000 14000 .16  0      error (invalid witness file) .53 .33 10   41 error (invalid witness file) 6.5 3.4 120 310 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 320 300   3400 10000 .17  .10   true 8.2  4.3  150   300 true 9.7 5.3 170 350 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c true 2 wit inspect 44 32   420 690 .11  0      - - true 190    170    2400   2000 timeout 960   890   13000 2700
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c out of memory 0 wit inspect 47 42   630 15000 .045 0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 5.8 3.2 100 290
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c out of memory 0 wit inspect 47 42   570 15000 .045 0      - - error (invalid witness file) .52 .34 13   42 error (invalid witness file) 8.2 4.3 120 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c out of memory 0 wit inspect 47 42   620 15000 .045 0      - - error (invalid witness file) .53 .35 5.8 41 error (invalid witness file) 5.9 3.1 120 290
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c out of memory 0 wit inspect 130 120   1300 15000 .045 0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 6.2 3.3 140 300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6800 14000 .16  .098  - - error (invalid witness file) .50 .33 8.4 40 error (invalid witness file) 5.8 3.1 110 300
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   7200 7300 .16  0      - - error (invalid witness file) .52 .34 7.5 40 error (invalid witness file) 6.1 3.2 130 300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   8100 800 .16  0      - - error (invalid witness file) .51 .33 9.7 40 error (invalid witness file) 6.7 3.5 140 310
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6100 9700 .16  0      - - error (invalid witness file) .53 .34 6.7 39 error (invalid witness file) 6.1 3.2 120 290
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6400 800 .16  0      - - error (invalid witness file) .51 .34 6.5 41 error (invalid witness file) 6.4 3.4 130 300
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   9000 11000 .16  0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.6 3.5 130 310
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6400 800 .16  0      - - error (invalid witness file) .52 .32 9.7 42 error (invalid witness file) 6.9 3.6 130 310
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   7400 10000 .16  0      - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 7.1 3.7 140 320
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6400 800 .16  0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.6 3.5 110 310
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   5900 12000 .16  0      - - error (invalid witness file) .48 .32 11   39 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   6500 12000 .16  0      - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 7.1 3.7 140 320
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 0 wit inspect 900 890   7800 11000 .16  0      - - error (invalid witness file) .53 .33 12   39 error (invalid witness file) 6.5 3.4 140 310
../../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 33 36000 34000   300000 380000 54    .79  94 310 180 5400 12000   94 460 240 8000 17000   94 950 810 11000 19000   94 2300 1600 36000 49000  
    correct results 42 65 4700 4000   48000 50000 6.7  .18  19 160 85 2900 6700   19 250 130 4200 8700   22 930 800 11000 18000   21 2100 1500 32000 40000  
        correct true 23 46 1800 1500   18000 14000 1.7  .041 0 0 0 0 0   4 0 0 0 0   22 930 800 11000 18000   21 2100 1500 32000 40000  
        correct false 19 19 2900 2600   29000 36000 4.9  .14  19 160 85 2900 6700   15 250 130 4200 8700   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 9 0 2300 2200   23000 89000 2.3  .32  9 90 48 1500 3000   9 110 56 1800 3500   0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 9 0 2300 2200   23000 89000 2.3  .32  0 90 48 1500 3000   0 110 56 1800 3500   0 0 0 0 0   0 0 0 0 0  
    incorrect results 1 -32 25 9.2 210 290 .11 0     0 56 45 880 2000   1 26 14 400 610   0 0 0 0 0   0 0 0 0 0  
        incorrect true 1 -32 25 9.2 210 290 .11 0     0 56 45 880 2000   0 26 14 400 610   0 0 0 0 0   0 0 0 0 0  
        incorrect false 0
score (94 tasks, max score: 146) 33
Run set sv-comp17.ReachSafety-ControlFlow