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-Recursive
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)
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 4.6 1.8  40 310 0      0      error (recursion) 3.2 1.8 39 260 false(unreach-call) 11   5.8 130 350 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 3.5 1.4  28 300 0      0      error (recursion) 3.6 2.0 65 260 false(unreach-call) 12   6.4 120 340 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 2.8 1.3  25 280 .012  0      true 3.6 2.0 75 270 false(unreach-call) 11   5.7 100 340 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 3.3 1.4  30 300 0      0      error (recursion) 3.5 2.0 72 260 false(unreach-call) 8.5 4.6 88 300 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 6.4 2.5  56 450 0      0      error (recursion) 3.3 1.9 27 250 false(unreach-call) 17   9.5 180 540 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 14   7.5  130 620 0      0      error (recursion) 3.6 2.0 78 250 false(unreach-call) 26   15   330 710 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 3.0 1.3  27 300 0      0      error (recursion) 3.7 2.1 64 260 false(unreach-call) 8.0 4.3 120 320 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c true 2 wit inspect 4.2 1.6  39 310 .0082 0      - - error (recursion) 4.6 2.6 49 250 true 12   6.8 200 380
recursive/Ackermann03_true-unreach-call_true-no-overflow.c true 2 wit inspect 43   32    410 1400 .0082 0      - - error (recursion) 4.2 2.4 52 250 true 27   16   330 710
recursive/Ackermann04_true-unreach-call_true-no-overflow.c true 2 wit inspect 13   6.7  130 650 .0082 0      - - error (recursion) 4.1 2.3 54 250 true 23   13   420 700
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 4.2 1.6  35 310 .0082 0      - - error (recursion) 4.4 2.5 52 260 true 11   6.0 180 380
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   860    11000 10000 0      0      - - error (recursion) 3.5 2.0 74 260 true 310   240   6300 4600
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 1 wit inspect 4.8 2.0  39 310 .012  0      - - error (recursion) 4.4 2.4 50 260 timeout 960   820   24000 2400
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c true 2 wit inspect 7.4 3.1  68 480 .0082 0      - - error (recursion) 3.9 2.2 46 260 true 24   14   390 630
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 4.8 1.7  38 440 .0082 0      - - error (recursion) 4.5 2.5 45 260 true 32   18   420 1200
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   870    10000 3700 0      0      - - error (recursion) 3.7 2.1 69 260 true 36   20   470 1100
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 3.6 1.4  30 310 .0082 0      - - error (recursion) 3.9 2.2 57 260 true 10   5.5 110 330
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   900    11000 750 0      0      - - error (recursion) 4.3 2.4 61 270 timeout 960   840   10000 2100
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 0 wit inspect 900   890    11000 1300 0      0      - - error (recursion) 3.9 2.2 78 260 timeout 960   840   18000 2000
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 4.0 1.6  35 300 .012  0      - - error (recursion) 4.1 2.3 55 260 true 12   6.5 250 360
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   890    11000 1100 .0082 0      - - error (recursion) 3.9 2.2 75 260 timeout 960   830   19000 2100
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c exception 0 wit inspect 4.9 1.7  40 320 0      0      - - error (recursion) 3.5 1.9 41 250 out of memory 420   330   6400 7000
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 6.3 2.8  57 450 .0082 0      - - error (recursion) 3.8 2.1 63 260 true 7.9 4.3 99 330
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 1 wit inspect 9.8 5.2  84 480 .0082 0      - - error (recursion) 3.5 2.0 61 260 timeout 960   950   13000 2700
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 2.7 1.0  23 260 .0041 0      false(unreach-call) 4.0 2.2 77 270 false(unreach-call) 8.2 4.4 110 310 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 2.4 1.0  21 250 .0041 0      false(unreach-call) 3.7 2.0 78 270 false(unreach-call) 8.4 4.5 76 300 - -
recursive-simple/fibo_10_false-unreach-call.c false(unreach-call) 1 wit inspect 5.7 1.9  51 400 0      0      error (recursion) 3.4 2.0 70 250 false(unreach-call) 36   20   650 2400 - -
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 0 wit inspect 34   22    360 1700 0      0      error (recursion) 3.5 2.0 76 250 timeout 97   66   1500 4600 - -
recursive-simple/fibo_20_false-unreach-call.c timeout 0 wit inspect 960   930    8800 5400 0      0      error (recursion) 3.4 1.9 70 250 timeout 97   68   1300 4600 - -
recursive-simple/fibo_25_false-unreach-call.c timeout 0 wit inspect 910   870    5200 7200 0      0      error (recursion) 3.5 2.0 76 260 timeout 97   67   1600 4600 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 1 wit inspect 6.1 2.0  49 400 0      0      error (recursion) 3.6 2.0 61 260 false(unreach-call) 89   52   1000 3000 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c false(unreach-call) 0 wit inspect 28   20    270 1600 0      0      error (recursion) 3.7 2.0 79 250 timeout 98   61   1100 4600 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c timeout 0 wit inspect 960   930    8500 5400 0      0      error (recursion) 3.5 2.0 79 260 timeout 97   62   1100 4600 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c timeout 0 wit inspect 910   560    1200 7700 0      0      error (recursion) 3.4 1.9 69 260 timeout 97   66   2100 4600 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 2.5 1.1  24 250 .0041 0      false(unreach-call) 4.0 2.3 75 270 false(unreach-call) 7.5 4.0 81 320 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.4 1.3  31 300 0      0      error (recursion) 3.7 2.1 76 260 false(unreach-call) 17   9.5 180 430 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.6 1.4  29 300 0      0      error (recursion) 4.2 2.3 64 260 false(unreach-call) 29   16   300 540 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.9 1.5  36 300 0      0      error (recursion) 3.5 2.0 66 260 false(unreach-call) 29   16   340 610 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c false(unreach-call) 1 wit inspect 4.5 1.7  39 310 0      0      error (recursion) 4.2 2.4 59 260 false(unreach-call) 46   26   490 1100 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.5 1.4  29 300 0      0      error (recursion) 3.5 1.9 62 260 false(unreach-call) 17   9.3 180 480 - -
recursive-simple/fibo_7_false-unreach-call.c false(unreach-call) 1 wit inspect 3.9 1.5  33 310 0      0      error (recursion) 3.4 1.9 67 250 false(unreach-call) 21   12   260 620 - -
recursive-simple/id2_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 3.6 1.5  31 300 0      0      error (recursion) 3.5 1.9 71 250 false(unreach-call) 11   5.8 130 340 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.4 1.3  27 300 0      0      error (recursion) 3.4 1.9 53 260 false(unreach-call) 12   6.4 170 380 - -
recursive-simple/id_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 3.3 1.3  27 300 0      0      error (recursion) 3.5 1.9 71 250 false(unreach-call) 12   6.2 110 330 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.4 1.4  29 300 0      0      error (recursion) 4.1 2.3 48 260 false(unreach-call) 21   12   280 530 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.6 1.4  30 310 0      0      error (recursion) 3.3 1.8 63 260 false(unreach-call) 28   16   370 690 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.5 1.4  33 300 0      0      error (recursion) 3.2 1.8 53 250 false(unreach-call) 40   24   460 790 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.6 1.4  30 310 0      0      error (recursion) 3.5 2.0 65 260 false(unreach-call) 52   31   560 900 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.3 1.3  29 300 0      0      error (recursion) 3.9 2.2 71 260 false(unreach-call) 11   6.1 240 380 - -
recursive-simple/id_o1000_false-unreach-call.c false(unreach-call) 0 wit inspect 380   340    4600 4300 0      .0041 error (recursion) 3.8 2.2 61 260 timeout 97   60   1500 1500 - -
recursive-simple/id_o100_false-unreach-call.c false(unreach-call) 0 wit inspect 6.7 2.1  53 480 0      0      error (recursion) 3.5 2.0 73 260 timeout 96   61   2000 1700 - -
recursive-simple/id_o10_false-unreach-call.c false(unreach-call) 1 wit inspect 3.4 1.4  28 300 0      0      error (recursion) 3.4 1.9 71 250 false(unreach-call) 21   11   230 510 - -
recursive-simple/id_o200_false-unreach-call.c false(unreach-call) 0 wit inspect 11   3.8  90 680 0      0      error (recursion) 3.4 1.9 72 250 timeout 97   60   1100 1300 - -
recursive-simple/id_o20_false-unreach-call.c false(unreach-call) 1 wit inspect 4.0 1.5  33 300 0      0      error (recursion) 3.4 1.9 43 260 false(unreach-call) 28   16   490 660 - -
recursive-simple/id_o3_false-unreach-call.c false(unreach-call) 1 wit inspect 3.2 1.3  27 290 0      0      error (recursion) 3.4 1.9 68 260 false(unreach-call) 11   5.8 120 350 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.4 1.3  29 300 0      0      error (recursion) 4.3 2.4 54 260 false(unreach-call) 20   11   240 510 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.6 1.5  33 300 0      0      error (recursion) 3.5 2.0 67 260 false(unreach-call) 28   16   290 630 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.5 1.4  28 300 0      0      error (recursion) 3.5 2.0 72 250 false(unreach-call) 34   19   440 670 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.8 1.5  37 310 0      0      error (recursion) 3.4 1.9 76 260 false(unreach-call) 45   26   460 760 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.2 1.3  29 300 0      0      error (recursion) 3.4 1.9 71 260 false(unreach-call) 8.5 4.6 140 340 - -
recursive-simple/sum_non_eq_false-unreach-call.c false(unreach-call) 1 wit inspect 3.0 1.2  28 300 0      0      error (recursion) 3.5 2.0 80 260 false(unreach-call) 7.8 4.2 110 320 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.1 1.2  28 290 0      0      error (recursion) 3.6 2.0 80 250 false(unreach-call) 7.3 3.9 130 320 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect 2.3 .92 19 250 0      0      - - true 3.3 1.9 69 260 true 7.2 3.9 120 320
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect 2.2 .90 17 240 0      0      - - true 4.1 2.3 47 260 true 7.3 3.9 120 320
recursive-simple/fibo_10_true-unreach-call.c true 2 wit inspect 6.8 2.2  53 490 .0082 0      - - error (recursion) 3.3 1.9 69 260 true 42   25   710 3200
recursive-simple/fibo_15_true-unreach-call.c true 2 wit inspect 46   40    540 2300 .0082 0      - - error (recursion) 3.6 2.0 69 260 true 620   560   16000 6300
recursive-simple/fibo_20_true-unreach-call.c timeout 0 wit inspect 910   890    11000 3900 0      0      - - error (recursion) 4.2 2.3 52 260 timeout 960   910   20000 5400
recursive-simple/fibo_25_true-unreach-call.c timeout 0 wit inspect 930   860    11000 5000 0      0      - - error (recursion) 4.2 2.3 63 260 timeout 960   910   17000 5500
recursive-simple/fibo_2calls_10_true-unreach-call.c true 2 wit inspect 7.3 2.3  56 510 .012  0      - - error (recursion) 3.5 2.0 68 250 true 85   52   950 4300
recursive-simple/fibo_2calls_15_true-unreach-call.c true 1 wit inspect 63   56    820 2400 .012  0      - - error (recursion) 3.7 2.0 73 260 timeout 960   880   14000 5700
recursive-simple/fibo_2calls_20_true-unreach-call.c timeout 0 wit inspect 910   890    14000 3900 0      0      - - error (recursion) 3.9 2.2 80 270 timeout 960   900   19000 5300
recursive-simple/fibo_2calls_25_true-unreach-call.c timeout 0 wit inspect 960   870    12000 5500 0      0      - - error (recursion) 3.8 2.1 71 250 timeout 960   910   21000 5300
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect 2.3 .94 22 250 0      0      - - true 4.5 2.5 51 260 true 11   6.1 91 410
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect 3.6 1.4  31 290 .012  0      - - error (recursion) 4.5 2.5 51 260 true 21   12   270 520
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect 3.5 1.4  31 290 .012  0      - - error (recursion) 3.8 2.1 62 260 true 22   13   330 640
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect 4.0 1.5  33 300 .012  0      - - error (recursion) 4.6 2.6 49 260 true 34   19   480 740
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 2 wit inspect 5.2 1.8  40 370 .012  0      - - error (recursion) 4.4 2.5 52 260 true 50   29   450 1100
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 2 wit inspect 3.3 1.4  30 290 .0082 0      - - error (recursion) 4.4 2.5 49 260 true 16   9.0 260 500
recursive-simple/fibo_7_true-unreach-call.c true 2 wit inspect 3.9 1.5  35 300 .0082 0      - - error (recursion) 3.7 2.1 70 260 true 21   12   270 650
recursive-simple/id2_b2_o3_true-unreach-call.c true 2 wit inspect 3.2 1.3  27 290 .0082 0      - - error (recursion) 4.2 2.4 54 260 true 11   5.7 64 320
recursive-simple/id2_b3_o5_true-unreach-call.c true 2 wit inspect 3.3 1.3  24 300 .0082 0      - - error (recursion) 3.3 1.9 80 250 true 8.5 4.5 120 310
recursive-simple/id2_b5_o10_true-unreach-call.c true 2 wit inspect 3.4 1.3  30 300 .0082 0      - - error (recursion) 4.2 2.4 48 260 true 8.4 4.6 120 320
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect 3.3 1.3  29 300 .0082 0      - - error (recursion) 3.8 2.1 54 260 true 14   7.6 160 470
recursive-simple/id_b2_o3_true-unreach-call.c true 2 wit inspect 3.2 1.3  24 290 .0082 0      - - error (recursion) 3.5 2.0 68 260 true 8.8 4.8 150 330
recursive-simple/id_b3_o5_true-unreach-call.c true 2 wit inspect 3.1 1.3  28 300 .0082 0      - - error (recursion) 3.6 2.0 68 260 true 8.1 4.4 140 320
recursive-simple/id_b5_o10_true-unreach-call.c true 2 wit inspect 3.2 1.3  27 290 .0082 0      - - error (recursion) 4.2 2.4 47 260 true 11   5.7 110 330
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 2 wit inspect 3.0 1.3  28 280 .0082 0      - - error (recursion) 4.2 2.3 48 260 true 18   10   250 570
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 2 wit inspect 3.3 1.4  28 300 .0082 0      - - error (recursion) 4.1 2.4 49 250 true 22   13   310 620
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 2 wit inspect 3.5 1.5  30 310 .0082 8.8    - - error (recursion) 3.6 2.1 81 260 true 35   20   530 710
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 2 wit inspect 3.4 1.4  29 300 .0082 0      - - error (recursion) 3.3 1.9 63 260 true 38   22   560 810
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect 3.1 1.3  25 290 .0082 0      - - error (recursion) 3.4 1.9 65 260 true 12   6.8 170 370
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect 3.6 1.4  30 300 .0082 0      - - error (recursion) 4.3 2.4 53 250 true 21   12   230 570
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect 3.6 1.4  32 300 .0082 0      - - error (recursion) 3.6 2.0 80 260 true 26   15   350 650
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 2 wit inspect 3.7 1.4  30 300 .0082 0      - - error (recursion) 3.5 1.9 68 250 true 34   20   340 700
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 2 wit inspect 4.2 1.5  32 300 .0082 0      - - error (recursion) 3.5 2.0 57 250 true 43   26   800 800
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect 3.1 1.3  27 290 .0082 0      - - error (recursion) 4.2 2.4 49 260 true 13   7.1 190 410
recursive-simple/sum_non_eq_true-unreach-call.c true 2 wit inspect 3.3 1.3  28 310 .0082 0      - - error (recursion) 3.7 2.1 57 260 true 9.0 4.9 130 330
recursive-simple/sum_non_true-unreach-call_true-termination.c true 2 wit inspect 3.3 1.4  26 310 .0082 0      - - error (recursion) 3.3 1.9 64 260 true 9.2 5.1 140 350
../../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 98 119 13000 12000 140000 100000 .39  8.8    98 160 91 3000 12000   98 1700 1000 23000 55000   98 210 120   3200 14000   98 12000 10000 220000 85000  
    correct results 76 116 390 190 3500 28000 .35  8.8    4 130 73 2400 9300   36 800 450 9700 22000   3 160 88   2300 10000   40 1400 1000 27000 33000  
        correct true 40 80 240 130 2300 16000 .33  8.8    1 0 0 0 0   0 0 0 0 0   3 160 88   2300 10000   40 1400 1000 27000 33000  
        correct false 36 36 140 58 1200 11000 .025 0      3 130 73 2400 9300   36 800 450 9700 22000   0 0 0   0 0   0 0 0 0 0  
    correct-unconfimed results 8 3 530 450 6300 12000 .033 .0041 0 18 10 360 1300   0 480 310 7200 14000   0 12 6.5 180 770   0 2900 2700 51000 11000  
        correct-unconfirmed true 3 3 77 63 940 3200 .033 0      0 0 0 0 0   0 0 0 0 0   0 12 6.5 180 770   0 2900 2700 51000 11000  
        correct-unconfirmed false 5 0 460 390 5400 8800 0     .0041 0 18 10 360 1300   0 480 310 7200 14000   0 0 0   0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (98 tasks, max score: 151) 119
Run set sv-comp17.ReachSafety-Recursive