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-Recursive
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)
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 710    690    8800   15000 4.2  0      error (recursion) 3.8 2.1 78 260 false(unreach-call) 11   5.7 160 350 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  15   50 4.2  0      false(unreach-call) 4.9 2.7 73 280 false(unreach-call) 7.3 3.9 92 310 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .86 .86 12   49 3.4  0      true 3.7 2.1 64 270 false(unreach-call) 7.5 3.9 120 320 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .59 .59 7.2 50 1.7  0      false(unreach-call) 4.3 2.4 77 270 false(unreach-call) 7.7 4.1 110 320 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 610    590    7100   15000 4.2  0      error (recursion) 3.3 1.8 56 250 false(unreach-call) 16   8.9 220 520 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 610    600    6600   15000 4.2  0      error (recursion) 4.1 2.3 58 260 false(unreach-call) 25   13   250 570 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .64 .76 6.7 82 1.7  33      false(unreach-call) 4.6 2.6 63 280 false(unreach-call) 7.0 3.8 100 320 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c out of memory (false(no-overflow)) 0 wit inspect 720    690    8300   15000 4.2  0      - - error (recursion) 4.0 2.2 62 260 true 12   6.8 200 390
recursive/Ackermann03_true-unreach-call_true-no-overflow.c out of memory (false(no-overflow)) 0 wit inspect 720    700    9000   15000 4.2  0      - - error (recursion) 3.8 2.1 67 260 true 32   19   320 750
recursive/Ackermann04_true-unreach-call_true-no-overflow.c out of memory (false(no-overflow)) 0 wit inspect 720    690    9300   15000 4.2  0      - - error (recursion) 4.4 2.5 49 260 true 24   14   270 650
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 640    630    9100   15000 24    0      - - error (recursion) 4.0 2.2 34 260 true 12   6.5 230 370
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout (false(no-overflow)) 0 wit inspect 900    870    12000   15000 25    0      - - error (recursion) 4.5 2.5 40 260 true 320   240   3800 4600
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 6.0  3.2  55   320 4.3  0      - - error (recursion) 4.9 2.7 46 250 timeout 960   820   13000 2400
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout (false(no-overflow)) 0 wit inspect 900    890    12000   10000 3.4  0      - - error (recursion) 3.6 2.0 77 260 true 25   14   330 660
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 6.1  2.8  51   440 4.3  0      - - error (recursion) 4.2 2.4 47 260 true 30   17   390 1100
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 600    590    7600   15000 4.2  0      - - error (recursion) 3.5 2.0 50 260 true 30   17   240 1200
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 740    710    10000   15000 4.2  0      - - error (recursion) 3.5 1.9 71 260 true 8.9 4.9 140 320
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 710    700    9900   15000 4.2  0      - - error (recursion) 3.4 2.0 67 260 timeout 960   840   24000 2000
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c out of memory (false(no-overflow)) 0 wit inspect 740    730    8000   15000 4.2  0      - - error (recursion) 4.1 2.3 94 260 timeout 960   830   17000 1900
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 570    560    6500   15000 19    0      - - error (recursion) 3.7 2.0 64 260 true 11   6.2 190 390
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c timeout (false(no-overflow)) 0 wit inspect 900    890    11000   15000 16    .0041 - - error (recursion) 3.9 2.2 64 260 timeout 960   830   14000 2000
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c out of memory (false(no-overflow)) 0 wit inspect 610    590    8400   15000 4.2  0      - - error (recursion) 3.6 2.0 43 260 out of memory 400   320   6700 7000
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 7.6  4.0  68   460 4.3  0      - - error (recursion) 4.4 2.5 52 260 true 9.6 5.2 72 320
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 10    6.2  110   490 4.3  0      - - error (recursion) 4.3 2.4 48 260 timeout 960   950   15000 2500
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.0  13   48 4.2  0      false(unreach-call) 3.8 2.1 57 280 false(unreach-call) 7.1 3.8 160 310 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  13   48 4.3  0      true 3.6 2.0 54 280 false(unreach-call) 9.0 4.9 150 340 - -
recursive-simple/fibo_10_false-unreach-call.c false(unreach-call) 0 wit inspect 1.2  1.2  14   49 4.4  0      timeout 98   69   2000 4600 timeout 97   65   1700 6000 - -
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 0 wit inspect 2.5  2.4  36   61 6.1  0      exception 19   9.9 260 740 timeout 96   60   900 5800 - -
recursive-simple/fibo_20_false-unreach-call.c false(unreach-call) 0 wit inspect 18    18    270   520 29    .0041 timeout 98   51   1200 4700 timeout 97   64   700 6600 - -
recursive-simple/fibo_25_false-unreach-call.c false(unreach-call) 0 wit inspect 240    230    3100   5400 320    .0082 timeout 98   52   1900 5500 timeout 96   57   1100 6400 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 0 wit inspect 1.3  1.3  16   50 4.4  0      timeout 98   64   1000 3400 timeout 97   69   1900 4500 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c false(unreach-call) 0 wit inspect 2.7  2.6  36   69 6.5  0      exception 24   12   240 730 out of memory 80   50   740 7000 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c false(unreach-call) 0 wit inspect 20    19    280   610 33    0      timeout 98   51   1800 5200 timeout 97   54   940 5200 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c false(unreach-call) 0 wit inspect 230    220    2700   6400 170    0      timeout 98   53   1400 5200 timeout 97   53   790 7000 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .35 .35 4.1 48 .85 0      false(unreach-call) 4.4 2.4 63 270 false(unreach-call) 10   5.3 92 350 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  13   50 4.3  0      false(unreach-call) 6.6 3.6 91 290 false(unreach-call) 21   11   220 560 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  12   52 4.3  0      false(unreach-call) 13   6.9 140 460 false(unreach-call) 30   16   330 610 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.2  1.1  15   50 4.3  0      false(unreach-call) 17   8.6 290 670 false(unreach-call) 60   31   580 1000 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c false(unreach-call) 1 wit inspect 1.2  1.2  15   50 4.3  0      false(unreach-call) 58   33   670 2300 timeout 96   64   1800 4500 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  11   49 4.3  0      false(unreach-call) 11   5.7 130 470 timeout 97   62   950 6000 - -
recursive-simple/fibo_7_false-unreach-call.c false(unreach-call) 1 wit inspect 1.1  1.1  14   49 4.3  0      false(unreach-call) 34   18   560 1200 timeout 97   77   1600 3900 - -
recursive-simple/id2_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 1.1  1.1  13   50 4.2  0      false(unreach-call) 5.7 3.1 83 280 false(unreach-call) 9.1 4.9 97 340 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  14   49 4.3  0      false(unreach-call) 5.7 3.2 79 280 false(unreach-call) 9.3 5.1 130 350 - -
recursive-simple/id_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 1.1  1.1  14   50 4.3  0      false(unreach-call) 5.0 2.8 75 280 false(unreach-call) 9.9 5.3 150 350 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.0  13   49 4.3  0      false(unreach-call) 8.5 4.6 95 310 timeout 97   60   850 6200 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  13   49 4.3  0      false(unreach-call) 11   5.8 130 460 timeout 98   59   1400 5400 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  13   49 4.3  0      false(unreach-call) 15   8.0 150 510 timeout 98   64   1000 5400 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c unknown 0 wit inspect 4.9  2.5  43   310 4.3  0      error (recursion) 3.8 2.1 43 260 false(unreach-call) 39   24   630 770 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  13   52 4.3  0      false(unreach-call) 6.2 3.4 81 280 false(unreach-call) 16   8.4 210 420 - -
recursive-simple/id_o1000_false-unreach-call.c unknown 0 wit inspect 400    370    4200   4300 4.3  0      error (recursion) 3.9 2.2 52 250 timeout 97   59   1100 1400 - -
recursive-simple/id_o100_false-unreach-call.c unknown 0 wit inspect 8.7  3.4  69   490 4.3  0      error (recursion) 3.5 2.0 70 260 timeout 96   60   1200 1400 - -
recursive-simple/id_o10_false-unreach-call.c false(unreach-call) 1 wit inspect 1.1  1.1  13   49 4.3  0      false(unreach-call) 9.2 4.9 89 320 timeout 97   63   1300 6000 - -
recursive-simple/id_o200_false-unreach-call.c unknown 0 wit inspect 13    5.1  110   660 4.3  0      error (recursion) 3.5 2.0 65 250 timeout 97   63   1600 2100 - -
recursive-simple/id_o20_false-unreach-call.c false(unreach-call) 1 wit inspect 1.1  1.1  13   49 4.3  0      false(unreach-call) 15   8.0 260 560 timeout 98   62   1200 4900 - -
recursive-simple/id_o3_false-unreach-call.c false(unreach-call) 1 wit inspect 1.1  1.1  14   49 4.3  0      false(unreach-call) 4.7 2.6 51 270 false(unreach-call) 9.0 4.9 160 350 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  13   49 4.3  0      false(unreach-call) 7.9 4.3 110 320 timeout 98   66   1100 4900 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  12   49 4.3  0      false(unreach-call) 11   5.7 160 460 timeout 96   78   970 3000 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  15   49 4.3  0      false(unreach-call) 11   5.9 220 460 timeout 97   82   1600 3600 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c unknown 0 wit inspect 5.0  2.5  50   310 4.3  0      error (recursion) 3.5 2.0 50 260 false(unreach-call) 33   19   340 810 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0  1.0  12   50 4.3  0      false(unreach-call) 5.2 2.9 71 290 false(unreach-call) 8.6 4.6 160 350 - -
recursive-simple/sum_non_eq_false-unreach-call.c false(unreach-call) 1 wit inspect .53 .53 6.4 49 1.7  0      false(unreach-call) 4.4 2.4 67 280 false(unreach-call) 7.1 3.8 120 320 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .55 .55 6.9 50 1.7  0      false(unreach-call) 4.0 2.2 65 270 false(unreach-call) 7.4 3.9 140 320 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect 3.2  1.7  29   250 3.4  0      - - true 4.3 2.4 60 270 true 7.3 3.9 88 310
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect 3.0  1.7  29   250 3.4  0      - - true 3.5 2.0 75 250 true 7.4 4.0 120 320
recursive-simple/fibo_10_true-unreach-call.c unknown 0 wit inspect 8.1  3.4  64   430 4.3  .35   - - error (recursion) 4.1 2.3 49 260 true 54   30   510 2900
recursive-simple/fibo_15_true-unreach-call.c unknown 0 wit inspect 49    43    570   2300 4.4  .0041 - - error (recursion) 3.3 1.9 72 260 true 610   560   8600 6300
recursive-simple/fibo_20_true-unreach-call.c timeout 0 wit inspect 900    880    12000   3900 5.3  0      - - error (recursion) 4.2 2.4 52 260 timeout 960   910   14000 5600
recursive-simple/fibo_25_true-unreach-call.c timeout 0 wit inspect 900    850    11000   4400 16    0      - - error (recursion) 3.6 2.0 56 250 timeout 960   910   16000 5400
recursive-simple/fibo_2calls_10_true-unreach-call.c unknown 0 wit inspect 8.8  3.6  83   490 4.3  0      - - error (recursion) 3.6 2.0 73 260 true 98   58   1200 3600
recursive-simple/fibo_2calls_15_true-unreach-call.c unknown 0 wit inspect 65    58    920   2600 4.4  0      - - error (recursion) 4.4 2.5 55 250 timeout 960   890   18000 5400
recursive-simple/fibo_2calls_20_true-unreach-call.c timeout 0 wit inspect 900    880    13000   3900 5.3  0      - - error (recursion) 4.0 2.3 56 260 timeout 960   910   16000 5400
recursive-simple/fibo_2calls_25_true-unreach-call.c timeout 0 wit inspect 900    850    11000   4500 16    0      - - error (recursion) 4.5 2.5 49 250 timeout 960   890   18000 5300
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect 13    6.7  21   260 3.4  0      - - true 4.0 2.3 60 260 true 12   6.7 190 400
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c unknown 0 wit inspect 4.9  2.5  45   300 4.3  0      - - error (recursion) 4.5 2.5 50 260 true 24   14   220 540
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c unknown 0 wit inspect 4.9  2.5  48   300 4.3  0      - - error (recursion) 4.0 2.2 51 260 true 23   13   300 560
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c unknown 0 wit inspect 5.3  2.6  56   300 4.3  0      - - error (recursion) 3.4 1.9 45 260 true 35   20   470 740
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c unknown 0 wit inspect 6.2  2.9  50   350 4.3  0      - - error (recursion) 4.7 2.7 44 260 true 49   29   510 1300
recursive-simple/fibo_5_true-unreach-call_true-termination.c unknown 0 wit inspect 4.7  2.4  42   300 4.3  0      - - error (recursion) 3.6 2.1 66 260 true 17   9.6 320 530
recursive-simple/fibo_7_true-unreach-call.c unknown 0 wit inspect 5.2  2.6  54   300 4.3  0      - - error (recursion) 4.4 2.5 50 260 true 21   12   190 670
recursive-simple/id2_b2_o3_true-unreach-call.c unknown 0 wit inspect 4.8  2.6  42   300 4.3  0      - - error (recursion) 3.5 2.0 51 260 true 9.2 5.0 120 320
recursive-simple/id2_b3_o5_true-unreach-call.c unknown 0 wit inspect 4.8  2.6  45   300 4.3  0      - - error (recursion) 3.8 2.1 71 270 true 8.6 4.6 180 320
recursive-simple/id2_b5_o10_true-unreach-call.c unknown 0 wit inspect 5.0  2.7  52   300 4.3  0      - - error (recursion) 4.4 2.4 52 260 true 9.1 4.9 180 320
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c unknown 0 wit inspect 4.6  2.4  46   300 4.3  0      - - error (recursion) 3.3 1.9 70 260 true 15   8.4 200 470
recursive-simple/id_b2_o3_true-unreach-call.c unknown 0 wit inspect 4.6  2.4  49   300 4.3  0      - - error (recursion) 4.2 2.4 49 250 true 8.5 4.6 120 320
recursive-simple/id_b3_o5_true-unreach-call.c unknown 0 wit inspect 4.5  2.5  45   300 4.3  0      - - error (recursion) 3.9 2.2 37 260 true 8.1 4.3 92 330
recursive-simple/id_b5_o10_true-unreach-call.c unknown 0 wit inspect 4.8  2.6  45   300 4.3  .0041 - - error (recursion) 3.3 1.9 61 260 true 8.3 4.5 140 330
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c unknown 0 wit inspect 4.6  2.4  39   300 4.3  0      - - error (recursion) 4.5 2.5 41 260 true 16   9.2 190 520
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c unknown 0 wit inspect 4.8  2.5  45   300 4.3  0      - - error (recursion) 3.4 1.9 71 260 true 23   13   300 640
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c unknown 0 wit inspect 4.7  2.4  45   300 4.3  0      - - error (recursion) 4.1 2.3 50 260 true 36   20   510 720
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c unknown 0 wit inspect 4.8  2.5  43   300 4.3  0      - - error (recursion) 4.0 2.2 59 250 true 38   22   420 830
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c unknown 0 wit inspect 4.5  2.4  42   300 4.3  0      - - error (recursion) 3.4 1.9 61 250 true 12   6.6 190 380
recursive-simple/sum_10x0_true-unreach-call_true-termination.c unknown 0 wit inspect 5.0  2.5  46   300 4.3  0      - - error (recursion) 3.8 2.1 53 260 true 20   11   170 580
recursive-simple/sum_15x0_true-unreach-call_true-termination.c unknown 0 wit inspect 4.9  2.5  41   300 4.3  0      - - error (recursion) 3.3 1.8 52 250 true 26   15   250 640
recursive-simple/sum_20x0_true-unreach-call_true-termination.c unknown 0 wit inspect 5.4  2.6  55   310 4.3  0      - - error (recursion) 3.6 2.0 54 260 true 36   21   340 760
recursive-simple/sum_25x0_true-unreach-call_true-termination.c unknown 0 wit inspect 5.4  2.6  47   300 4.3  0      - - error (recursion) 3.4 1.9 55 260 true 42   26   410 820
recursive-simple/sum_2x3_true-unreach-call_true-termination.c unknown 0 wit inspect 4.6  2.4  39   300 4.3  0      - - error (recursion) 3.5 2.0 55 260 true 10   5.6 120 370
recursive-simple/sum_non_eq_true-unreach-call.c unknown 0 wit inspect 5.2  3.0  51   310 4.3  0      - - error (recursion) 4.0 2.3 59 260 true 9.1 5.0 140 330
recursive-simple/sum_non_true-unreach-call_true-termination.c unknown 0 wit inspect 4.7  2.5  46   310 4.3  0      - - error (recursion) 3.3 1.9 43 260 true 9.7 5.3 140 360
../../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 35 16000 16000 210000 290000 1000 34     98 960 540 14000 45000   98 2500 1600 31000 120000   98 210 120   3000 14000   98 12000 10000 190000 83000  
    correct results 32 35 47 38 430 2200 120 33     29 300 160 4100 13000   18 1300 870 17000 61000   3 12 6.7 200 780   3 27 15 390 1000  
        correct true 3 6 19 10 80 770 10 0     2 0 0 0 0   0 0 0 0 0   3 12 6.7 200 780   3 27 15 390 1000  
        correct false 29 29 28 28 350 1500 110 33     27 300 160 4100 13000   18 1300 870 17000 61000   0 0 0   0 0   0 0 0 0 0  
    correct-unconfimed results 8 0 520 500 6500 13000 570 .012 0 630 360 9800 30000   0 760 470 8800 49000   0 0 0   0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 8 0 520 500 6500 13000 570 .012 0 630 360 9800 30000   0 760 470 8800 49000   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) 35
Run set sv-comp17.ReachSafety-Recursive