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-57-generic; 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-10 22:04:57 CET [[ 2017-01-14 18:01:27 CET ]] [[ 2017-01-14 20:11:29 CET ]] [[ 2017-01-14 18:28:10 CET ]] [[ 2017-01-14 20:42:56 CET ]]
Run set sv-comp17.ReachSafety-Recursive
Options -sv-comp17-k-induction -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-10_2204.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-10_2204.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-10_2204.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-10_2204.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 error 0 wit inspect 3.0 1.1  27 270 0      0      error (recursion) 3.6 2.0 60 260 false(unreach-call) 9.2 5.0 180 360 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.0 1.0  24 270 0      0      error (recursion) 3.4 1.9 53 250 false(unreach-call) 9.0 4.8 180 340 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 3.9 1.3  32 330 .016  0      false(unreach-call) 4.3 2.4 55 280 false(unreach-call) 8.0 4.3 160 310 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  27 280 0      0      error (recursion) 3.5 2.0 78 260 false(unreach-call) 7.2 3.8 150 300 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  26 270 0      0      error (recursion) 3.3 1.9 61 260 false(unreach-call) 14   7.6 220 520 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.0 1.1  24 280 0      0      error (recursion) 3.5 2.0 73 260 false(unreach-call) 18   9.8 290 570 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 2.9 1.0  21 280 0      0      error (recursion) 3.3 1.9 45 260 false(unreach-call) 7.0 3.8 140 320 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c error 0 wit inspect 3.2 1.1  25 280 0      0      - - error (recursion) 4.6 2.6 43 260 true 12   7.0 270 390
recursive/Ackermann03_true-unreach-call_true-no-overflow.c error 0 wit inspect 3.2 1.1  23 280 0      0      - - error (recursion) 4.8 2.7 48 260 true 29   17   470 720
recursive/Ackermann04_true-unreach-call_true-no-overflow.c error 0 wit inspect 3.2 1.1  28 280 0      0      - - error (recursion) 4.5 2.6 53 260 true 28   16   340 700
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.1 1.1  28 270 0      0      - - error (recursion) 4.2 2.4 48 260 true 11   6.0 200 390
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  25 280 0      0      - - error (recursion) 3.9 2.3 55 260 true 330   240   4000 4600
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  27 270 0      0      - - error (recursion) 4.3 2.4 51 260 timeout 960   820   16000 2300
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c error 0 wit inspect 3.1 1.0  25 270 0      0      - - error (recursion) 4.0 2.2 59 260 true 25   14   350 710
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 2.9 1.0  25 280 0      0      - - error (recursion) 3.6 2.0 73 250 true 35   20   560 1400
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.0 1.1  25 270 0      0      - - error (recursion) 4.2 2.4 53 250 true 36   21   470 1200
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  27 280 0      0      - - error (recursion) 3.8 2.1 65 260 true 9.8 5.3 190 330
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  28 290 0      0      - - error (recursion) 4.2 2.4 55 260 timeout 960   840   16000 2200
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c error 0 wit inspect 3.6 1.2  29 280 0      0      - - error (recursion) 4.0 2.2 65 260 timeout 960   830   20000 1900
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  24 280 0      0      - - error (recursion) 4.8 2.7 47 250 true 13   7.1 240 400
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.4 1.1  30 280 0      0      - - error (recursion) 3.8 2.1 65 260 timeout 960   830   22000 2200
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  25 280 0      0      - - error (recursion) 3.7 2.1 73 250 out of memory 390   310   9800 7000
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 2.9 1.0  23 270 0      0      - - error (recursion) 4.3 2.4 49 250 true 7.9 4.3 150 330
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error 0 wit inspect 3.2 1.1  26 280 0      0      - - error (recursion) 4.9 2.7 42 260 timeout 960   950   22000 2600
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.5 1.2  27 280 .0082 .0041 unknown 4.2 2.3 71 260 false(unreach-call) 8.1 4.4 160 320 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.1 1.1  23 270 .0082 0      unknown 4.2 2.3 50 270 false(unreach-call) 8.4 4.5 100 320 - -
recursive-simple/fibo_10_false-unreach-call.c error 0 wit inspect 3.1 1.1  26 270 0      0      error (recursion) 3.5 1.9 48 260 false(unreach-call) 34   19   640 2200 - -
recursive-simple/fibo_15_false-unreach-call.c error 0 wit inspect 3.1 1.1  26 280 0      0      error (recursion) 3.2 1.8 46 260 timeout 96   68   1400 4600 - -
recursive-simple/fibo_20_false-unreach-call.c error 0 wit inspect 3.1 1.2  24 290 0      8.7    error (recursion) 4.4 2.5 53 260 timeout 97   70   1400 4700 - -
recursive-simple/fibo_25_false-unreach-call.c error 0 wit inspect 3.0 1.0  22 270 0      .090  error (recursion) 3.5 2.0 66 270 timeout 97   70   1400 4600 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c error 0 wit inspect 3.1 1.1  27 280 0      0      error (recursion) 3.6 2.0 69 260 false(unreach-call) 65   39   790 3300 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c error 0 wit inspect 3.2 1.1  28 280 0      0      error (recursion) 3.5 1.9 48 260 timeout 97   64   1300 4600 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c error 0 wit inspect 3.2 1.1  23 270 0      0      error (recursion) 4.1 2.3 58 260 timeout 97   60   960 4600 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c error 0 wit inspect 3.1 1.0  27 280 0      0      error (recursion) 3.5 2.0 52 260 timeout 96   63   1400 4600 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 3.5 1.1  27 280 .0041 .79   false(unreach-call) 4.2 2.3 76 260 false(unreach-call) 14   7.5 150 360 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c error 0 wit inspect 3.2 1.1  26 280 0      0      error (recursion) 3.6 2.0 55 260 false(unreach-call) 14   7.6 260 420 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  26 280 0      0      error (recursion) 3.6 2.0 85 260 false(unreach-call) 25   14   180 550 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.1  26 280 0      0      error (recursion) 3.6 2.0 74 260 false(unreach-call) 23   13   310 610 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c error 0 wit inspect 3.1 1.1  24 270 0      0      error (recursion) 4.1 2.3 51 260 false(unreach-call) 41   23   600 1000 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  25 270 0      0      error (recursion) 3.3 1.9 57 260 false(unreach-call) 12   6.9 210 460 - -
recursive-simple/fibo_7_false-unreach-call.c error 0 wit inspect 3.0 1.1  23 260 0      0      error (recursion) 3.3 1.9 50 260 false(unreach-call) 18   9.8 220 590 - -
recursive-simple/id2_b3_o2_false-unreach-call.c error 0 wit inspect 3.2 1.1  24 280 0      0      error (recursion) 3.6 2.0 76 260 false(unreach-call) 9.1 5.0 190 340 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c error 0 wit inspect 3.1 1.0  29 270 0      0      error (recursion) 4.4 2.4 49 260 false(unreach-call) 12   6.3 190 390 - -
recursive-simple/id_b3_o2_false-unreach-call.c error 0 wit inspect 2.9 1.0  23 270 0      0      error (recursion) 3.3 1.8 58 260 false(unreach-call) 8.2 4.5 160 350 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  27 280 0      .77   error (recursion) 3.1 1.8 26 260 false(unreach-call) 18   9.9 330 500 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  24 270 0      0      error (recursion) 3.6 2.0 52 250 false(unreach-call) 28   16   310 680 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.1  24 280 0      0      error (recursion) 3.4 1.9 55 260 false(unreach-call) 32   19   330 780 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  26 280 0      0      error (recursion) 3.2 1.8 39 260 false(unreach-call) 37   23   360 770 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  23 270 0      0      error (recursion) 3.4 1.9 74 260 false(unreach-call) 13   7.0 150 390 - -
recursive-simple/id_o1000_false-unreach-call.c error 0 wit inspect 3.0 1.0  21 270 0      0      error (recursion) 3.3 1.9 82 250 timeout 96   61   1700 1600 - -
recursive-simple/id_o100_false-unreach-call.c error 0 wit inspect 3.1 1.0  27 280 0      0      error (recursion) 3.3 1.9 41 250 timeout 96   61   1500 1500 - -
recursive-simple/id_o10_false-unreach-call.c error 0 wit inspect 2.9 1.1  22 270 0      0      error (recursion) 3.3 1.9 59 250 false(unreach-call) 17   9.4 250 520 - -
recursive-simple/id_o200_false-unreach-call.c error 0 wit inspect 3.0 1.1  25 270 0      0      error (recursion) 4.3 2.4 37 260 timeout 97   62   1400 1500 - -
recursive-simple/id_o20_false-unreach-call.c error 0 wit inspect 3.0 1.0  26 270 0      0      error (recursion) 3.4 1.9 47 260 false(unreach-call) 30   17   590 660 - -
recursive-simple/id_o3_false-unreach-call.c error 0 wit inspect 2.9 1.0  22 270 0      0      error (recursion) 3.5 2.0 66 260 false(unreach-call) 9.5 5.1 170 350 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c error 0 wit inspect 3.1 1.0  23 280 0      0      error (recursion) 3.4 1.9 72 250 false(unreach-call) 18   9.8 230 520 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.1  27 270 0      3.1    error (recursion) 3.8 2.1 33 260 false(unreach-call) 22   12   430 610 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c error 0 wit inspect 2.9 1.0  23 280 0      0      error (recursion) 3.4 1.9 64 260 false(unreach-call) 31   17   480 660 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  23 280 0      0      error (recursion) 4.1 2.3 40 250 false(unreach-call) 34   20   370 720 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c error 0 wit inspect 2.9 1.0  22 270 0      0      error (recursion) 3.4 1.9 42 260 false(unreach-call) 8.2 4.4 170 340 - -
recursive-simple/sum_non_eq_false-unreach-call.c error 0 wit inspect 2.9 1.0  25 270 0      0      error (recursion) 3.4 1.9 45 250 false(unreach-call) 7.4 3.9 82 320 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c error 0 wit inspect 3.0 1.1  25 290 0      8.8    error (recursion) 3.7 2.1 56 260 false(unreach-call) 6.9 3.7 140 320 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect 2.8 1.0  22 270 .0041 0      - - true 3.9 2.2 64 260 true 8.7 4.6 120 320
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect 2.8 .99 22 270 .0041 0      - - true 4.2 2.4 47 260 true 8.3 4.4 120 320
recursive-simple/fibo_10_true-unreach-call.c error 0 wit inspect 3.1 1.0  27 270 0      0      - - error (recursion) 4.1 2.3 56 260 true 44   25   860 2400
recursive-simple/fibo_15_true-unreach-call.c error 0 wit inspect 3.1 1.1  22 290 0      0      - - error (recursion) 3.5 2.0 70 270 true 610   550   9800 6300
recursive-simple/fibo_20_true-unreach-call.c error 0 wit inspect 2.9 1.0  22 270 0      0      - - error (recursion) 4.1 2.3 49 260 timeout 960   910   25000 5500
recursive-simple/fibo_25_true-unreach-call.c error 0 wit inspect 3.0 1.1  29 290 0      8.9    - - error (recursion) 3.6 2.0 75 260 timeout 960   900   25000 5400
recursive-simple/fibo_2calls_10_true-unreach-call.c error 0 wit inspect 3.2 1.1  25 270 0      0      - - error (recursion) 4.6 2.6 47 260 true 86   52   960 3700
recursive-simple/fibo_2calls_15_true-unreach-call.c error 0 wit inspect 3.1 1.1  25 280 0      0      - - error (recursion) 3.4 1.9 69 260 timeout 960   880   17000 5900
recursive-simple/fibo_2calls_20_true-unreach-call.c error 0 wit inspect 3.2 1.1  25 280 0      0      - - error (recursion) 4.5 2.4 53 270 timeout 960   910   17000 5300
recursive-simple/fibo_2calls_25_true-unreach-call.c error 0 wit inspect 3.2 1.1  26 270 0      0      - - error (recursion) 3.7 2.1 55 260 timeout 960   900   19000 5200
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect 2.9 1.0  24 270 .0041 0      - - true 4.4 2.5 48 260 true 12   6.7 170 410
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  22 270 0      0      - - error (recursion) 4.2 2.4 61 260 true 20   11   340 560
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  25 270 0      0      - - error (recursion) 4.3 2.4 47 260 true 30   16   310 570
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  26 290 0      0      - - error (recursion) 4.1 2.3 53 260 true 36   21   510 800
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c error 0 wit inspect 3.2 1.1  27 280 0      0      - - error (recursion) 3.6 2.0 61 260 true 49   28   640 1200
recursive-simple/fibo_5_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  26 280 0      0      - - error (recursion) 3.6 2.0 59 260 true 17   9.4 250 490
recursive-simple/fibo_7_true-unreach-call.c error 0 wit inspect 3.0 1.0  22 280 0      0      - - error (recursion) 4.4 2.5 42 250 true 22   13   400 690
recursive-simple/id2_b2_o3_true-unreach-call.c error 0 wit inspect 3.1 1.1  25 280 0      0      - - error (recursion) 4.4 2.4 50 260 true 9.0 4.9 140 340
recursive-simple/id2_b3_o5_true-unreach-call.c error 0 wit inspect 3.0 1.0  24 280 0      .77   - - error (recursion) 3.5 1.9 76 260 true 8.7 4.7 170 320
recursive-simple/id2_b5_o10_true-unreach-call.c error 0 wit inspect 3.2 1.1  27 280 0      0      - - error (recursion) 4.0 2.2 56 260 true 11   6.1 130 320
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c error 0 wit inspect 3.2 1.1  24 280 0      0      - - error (recursion) 4.3 2.4 49 260 true 14   7.7 210 460
recursive-simple/id_b2_o3_true-unreach-call.c error 0 wit inspect 3.1 1.1  24 280 0      0      - - error (recursion) 4.1 2.4 49 260 true 9.2 4.9 180 330
recursive-simple/id_b3_o5_true-unreach-call.c error 0 wit inspect 3.1 1.0  27 270 0      0      - - error (recursion) 3.6 2.0 63 260 true 9.6 5.1 180 350
recursive-simple/id_b5_o10_true-unreach-call.c error 0 wit inspect 3.0 1.0  23 270 0      0      - - error (recursion) 3.7 2.1 59 260 true 9.0 4.9 190 330
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  27 280 0      0      - - error (recursion) 4.3 2.4 47 260 true 21   12   270 550
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  26 270 0      0      - - error (recursion) 3.4 1.9 72 260 true 24   14   350 640
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  23 280 0      0      - - error (recursion) 4.2 2.4 48 260 true 38   21   560 710
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.1  24 270 0      0      - - error (recursion) 3.4 2.0 72 260 true 38   22   670 790
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.0  26 280 0      0      - - error (recursion) 4.0 2.2 56 260 true 13   6.9 210 390
recursive-simple/sum_10x0_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  21 280 0      0      - - error (recursion) 3.4 1.9 51 250 true 21   12   270 580
recursive-simple/sum_15x0_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  26 270 0      0      - - error (recursion) 3.4 1.9 69 260 true 26   15   490 660
recursive-simple/sum_20x0_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.1  28 270 0      0      - - error (recursion) 3.3 1.9 66 260 true 39   22   630 710
recursive-simple/sum_25x0_true-unreach-call_true-termination.c error 0 wit inspect 3.1 1.0  26 290 0      0      - - error (recursion) 3.3 1.8 66 250 true 45   27   740 930
recursive-simple/sum_2x3_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.0  26 280 0      0      - - error (recursion) 3.8 2.2 58 260 true 11   5.9 240 390
recursive-simple/sum_non_eq_true-unreach-call.c error 0 wit inspect 2.9 1.0  24 260 0      0      - - error (recursion) 4.5 2.5 43 250 true 9.8 5.3 170 350
recursive-simple/sum_non_true-unreach-call_true-termination.c error 0 wit inspect 3.0 1.1  24 280 0      0      - - error (recursion) 4.2 2.4 45 250 true 10   5.4 180 340
../../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 10 300   100   2500 27000 .049 32    98 160 91   2500 12000   98 1500 960 22000 54000   98 210 120   3000 14000   98 12000 10000 240000 84000  
    correct results 7 10 22   7.7 180 2000 .049 .80 2 17 9.3 250 1100   4 38 21 570 1300   3 13 7.0 160 780   3 29 16 410 1000  
        correct true 3 6 8.5 3.0 68 810 .012 0    0 0 0   0 0   0 0 0 0 0   3 13 7.0 160 780   3 29 16 410 1000  
        correct false 4 4 14   4.6 110 1200 .037 .80 2 17 9.3 250 1100   4 38 21 570 1300   0 0 0   0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (98 tasks, max score: 151) 10
Run set sv-comp17.ReachSafety-Recursive