Tool Ceagle Ceagle 1.3 @ 53cfa89
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-57-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 17:21:21 CET [[ 2017-01-14 18:00:17 CET ]] [[ 2017-01-14 19:52:12 CET ]] [[ 2017-01-14 18:07:02 CET ]] [[ 2017-01-14 19:59:19 CET ]]
Run set sv-comp17.ReachSafety-Recursive
Options --compiler clang-3.7 [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-10_1721.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 unknown 0 wit inspect .34  .34  3.8  7.9 0      0      error (invalid witness file) .53 .34 13   42 error (invalid witness file) 5.7 3.0 99 300 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .17  .17  1.9  7.9 0      0      false(unreach-call) 4.5  2.5  110   280 true 7.1 3.8 140 320 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c aborted 0 wit inspect .13  .13  1.4  7.8 0      0      error (invalid witness file) .50 .33 10   42 error (invalid witness file) 6.1 3.3 94 290 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .098 .098 1.0  7.9 0      0      false(unreach-call) 4.2  2.3  69   290 true 7.1 3.9 120 320 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .24  .24  3.3  7.9 0      0      error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.9 3.6 88 290 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .24  .24  3.2  7.8 0      0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 7.5 3.9 100 320 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .098 .098 1.0  7.7 0      0      false(unreach-call) 4.0  2.2  82   280 true 7.1 3.7 120 320 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c unknown 0 wit inspect .42  .42  5.2  7.7 0      0      - - error (invalid witness file) .62 .40 8.2 39 error (invalid witness file) 5.8 3.1 110 300
recursive/Ackermann03_true-unreach-call_true-no-overflow.c unknown 0 wit inspect .34  .34  4.0  7.8 0      0      - - error (invalid witness file) .59 .37 9.6 39 error (invalid witness file) 5.8 3.1 120 300
recursive/Ackermann04_true-unreach-call_true-no-overflow.c unknown 0 wit inspect .33  .33  3.5  7.7 0      0      - - error (invalid witness file) .64 .41 7.6 40 error (invalid witness file) 6.1 3.3 110 300
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .24  .24  2.5  8.0 0      0      - - error (invalid witness file) .56 .36 10   46 error (invalid witness file) 5.9 3.1 120 300
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .43  .43  4.9  7.8 0      0      - - error (invalid witness file) .66 .42 8.8 40 error (invalid witness file) 5.9 3.2 120 310
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .44  .44  5.0  8.0 0      0      - - error (invalid witness file) .60 .39 7.8 40 error (invalid witness file) 5.5 3.0 110 290
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c unknown 0 wit inspect .28  .28  3.0  7.8 0      0      - - error (invalid witness file) .55 .34 13   40 error (invalid witness file) 5.9 3.1 120 300
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .15  .16  1.4  7.8 0      0      - - error (invalid witness file) .52 .32 12   39 error (invalid witness file) 7.8 4.1 74 300
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .25  .25  3.2  7.6 0      0      - - error (invalid witness file) .49 .32 9.9 39 error (invalid witness file) 5.9 3.1 130 300
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .29  .29  3.3  7.8 0      0      - - error (invalid witness file) .52 .32 12   39 error (invalid witness file) 7.2 3.8 110 310
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect .60  .60  8.6  7.9 0      0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.4 3.3 130 300
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c unknown 0 wit inspect .66  .66  7.9  7.8 0      0      - - error (invalid witness file) .60 .38 9.4 39 error (invalid witness file) 6.7 3.5 92 300
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 1.1   1.1   15    7.6 0      0      - - error (invalid witness file) .70 .44 7.9 41 error (invalid witness file) 6.2 3.2 110 300
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c unknown 0 wit inspect 2.3   2.3   29    12   0      0      - - error (invalid witness file) .55 .35 13   42 error (invalid witness file) 6.7 3.5 91 320
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c aborted 0 wit inspect .14  .14  1.5  7.6 0      0      - - error (invalid witness file) .63 .40 7.0 39 error (invalid witness file) 6.0 3.2 110 310
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c aborted 0 wit inspect .22  .22  2.4  7.7 0      0      - - error (invalid witness file) .54 .34 11   40 error (invalid witness file) 5.8 3.1 96 280
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c aborted 0 wit inspect .20  .20  2.2  7.8 0      0      - - error (invalid witness file) .55 .37 8.1 41 error (invalid witness file) 5.6 3.0 110 300
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .057 .058 .47 7.8 .0082 0      false(unreach-call) 3.7  2.1  83   270 true 8.6 4.6 75 300 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .063 .085 .64 13   .0082 6.4    false(unreach-call) 3.7  2.1  68   280 true 8.7 4.6 87 310 - -
recursive-simple/fibo_10_false-unreach-call.c unknown 0 wit inspect .12  .12  1.2  7.7 0      0      error (invalid witness file) .50 .32 13   39 error (invalid witness file) 6.9 3.7 67 290 - -
recursive-simple/fibo_15_false-unreach-call.c unknown 0 wit inspect .11  .11  1.3  7.9 0      0      error (invalid witness file) .52 .34 12   41 error (invalid witness file) 5.7 3.0 120 300 - -
recursive-simple/fibo_20_false-unreach-call.c unknown 0 wit inspect .14  .14  1.2  7.8 0      0      error (invalid witness file) .54 .35 13   42 error (invalid witness file) 5.1 2.7 91 290 - -
recursive-simple/fibo_25_false-unreach-call.c unknown 0 wit inspect .15  .15  1.3  7.8 0      0      error (invalid witness file) .67 .43 9.6 42 error (invalid witness file) 5.9 3.1 120 300 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c unknown 0 wit inspect .23  .23  2.4  7.8 0      0      error (invalid witness file) .53 .34 13   40 error (invalid witness file) 6.2 3.3 44 290 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c unknown 0 wit inspect .22  .22  2.3  7.7 0      0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.9 3.1 110 300 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c unknown 0 wit inspect .21  .21  2.5  7.8 0      0      error (invalid witness file) .52 .34 12   43 error (invalid witness file) 5.8 3.1 98 290 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c unknown 0 wit inspect .25  .25  2.3  7.9 0      0      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 5.8 3.0 110 300 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13  .13  1.4  7.8 0      0      false(unreach-call) 3.9  2.2  77   280 true 8.6 4.6 94 310 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .31  .31  4.0  7.8 0      0      false(unreach-call) 4.5  2.5  83   290 true 9.9 5.1 140 340 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .48  .48  5.2  9.3 0      0      false(unreach-call) 4.9  2.7  98   290 true 8.0 4.3 99 310 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 1.0   1.0   8.5  20   0      0      false(unreach-call) 5.3  2.9  100   290 true 8.3 4.4 120 320 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c unknown 0 wit inspect .22  .21  2.5  7.8 0      0      error (invalid witness file) .54 .35 14   40 error (invalid witness file) 5.6 3.0 120 290 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c unknown 0 wit inspect .11  .11  1.1  7.8 0      0      error (invalid witness file) .56 .35 13   42 error (invalid witness file) 5.9 3.1 74 300 - -
recursive-simple/fibo_7_false-unreach-call.c unknown 0 wit inspect .11  .11  1.4  7.9 0      0      error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.6 3.5 89 300 - -
recursive-simple/id2_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect .20  .20  1.8  7.9 0      0      false(unreach-call) 4.4  2.4  97   290 true 7.5 4.0 150 320 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .14  .14  1.7  7.9 0      0      false(unreach-call) 4.2  2.3  75   270 true 6.8 3.6 120 310 - -
recursive-simple/id_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect .19  .30  2.6  43   0      35      false(unreach-call) 4.4  2.4  82   290 true 6.9 3.7 120 310 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c unknown 0 wit inspect .080 .080 .66 7.6 0      0      error (invalid witness file) .48 .32 10   39 error (invalid witness file) 5.9 3.2 100 300 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c unknown 0 wit inspect .091 .091 .58 7.5 0      0      error (invalid witness file) .52 .34 13   40 error (invalid witness file) 8.1 4.3 93 330 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c unknown 0 wit inspect .073 .073 .68 7.5 0      0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.4 3.4 120 300 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c unknown 0 wit inspect .082 .082 .65 7.8 0      0      error (invalid witness file) .52 .34 12   42 error (invalid witness file) 5.1 2.7 86 300 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c unknown 0 wit inspect .075 .075 .70 7.9 0      0      error (invalid witness file) .53 .34 11   43 error (invalid witness file) 5.7 3.0 74 300 - -
recursive-simple/id_o1000_false-unreach-call.c unknown 0 wit inspect .12  .12  1.3  7.8 0      0      error (invalid witness file) .53 .34 13   40 error (invalid witness file) 7.1 3.7 78 300 - -
recursive-simple/id_o100_false-unreach-call.c unknown 0 wit inspect .16  .15  1.3  7.8 0      0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 5.8 3.1 120 300 - -
recursive-simple/id_o10_false-unreach-call.c unknown 0 wit inspect .11  .11  1.3  7.7 0      0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 7.1 3.8 77 300 - -
recursive-simple/id_o200_false-unreach-call.c unknown 0 wit inspect .14  .14  1.4  7.9 0      0      error (invalid witness file) .47 .31 8.6 40 error (invalid witness file) 5.3 2.8 83 290 - -
recursive-simple/id_o20_false-unreach-call.c unknown 0 wit inspect .13  .13  1.2  7.8 0      0      error (invalid witness file) .55 .35 11   39 error (invalid witness file) 6.7 3.6 75 290 - -
recursive-simple/id_o3_false-unreach-call.c unknown 0 wit inspect .16  .16  1.2  7.8 0      0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 5.7 3.0 89 300 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .058 .058 .49 7.7 .0082 0      false(unreach-call) 4.6  2.5  94   280 true 6.4 3.4 88 310 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .059 .060 .59 7.8 .0082 .066  false(unreach-call) 4.7  2.6  100   280 true 8.3 4.4 89 310 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .088 .089 .40 7.8 .0082 .070  false(unreach-call) 5.0  2.8  110   280 true 7.5 4.0 120 320 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .053 .055 .58 7.7 .0082 .0041 false(unreach-call) 5.1  2.8  110   280 true 9.7 5.1 90 320 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .12  .12  .37 7.9 .0082 .0041 false(unreach-call) 4.1  2.2  78   290 true 8.2 4.4 93 320 - -
recursive-simple/sum_non_eq_false-unreach-call.c false(unreach-call) 1 wit inspect .069 .071 .55 7.9 0      0      false(unreach-call) 3.8  2.2  77   280 true 6.9 3.7 130 310 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .091 .091 .40 7.7 0      0      false(unreach-call) 4.0  2.2  80   290 true 8.2 4.4 110 330 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect .057 .057 .37 7.8 .0082 0      - - true 4.2  2.4  56   260 true 7.9 4.2 150 320
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect .064 .064 .45 7.8 .0082 0      - - true 3.8  2.1  47   270 true 7.8 4.2 140 330
recursive-simple/fibo_10_true-unreach-call.c unknown 0 wit inspect .12  .12  1.2  7.8 0      0      - - error (invalid witness file) .67 .42 8.3 41 error (invalid witness file) 5.8 3.1 110 300
recursive-simple/fibo_15_true-unreach-call.c unknown 0 wit inspect .12  .12  1.4  7.9 0      0      - - error (invalid witness file) .49 .33 10   39 error (invalid witness file) 5.8 3.1 110 290
recursive-simple/fibo_20_true-unreach-call.c unknown 0 wit inspect .13  .13  1.1  7.7 0      0      - - error (invalid witness file) .48 .31 7.1 40 error (invalid witness file) 6.0 3.2 110 300
recursive-simple/fibo_25_true-unreach-call.c unknown 0 wit inspect .12  .12  1.2  7.6 0      0      - - error (invalid witness file) .60 .38 9.0 39 error (invalid witness file) 6.1 3.2 110 300
recursive-simple/fibo_2calls_10_true-unreach-call.c unknown 0 wit inspect .22  .22  2.5  7.7 0      0      - - error (invalid witness file) .63 .41 5.9 40 error (invalid witness file) 6.4 3.3 110 310
recursive-simple/fibo_2calls_15_true-unreach-call.c unknown 0 wit inspect .26  .26  2.2  7.8 0      0      - - error (invalid witness file) .61 .38 7.0 40 error (invalid witness file) 6.0 3.2 130 300
recursive-simple/fibo_2calls_20_true-unreach-call.c unknown 0 wit inspect .21  .21  2.2  7.7 0      0      - - error (invalid witness file) .52 .35 12   40 error (invalid witness file) 8.4 4.4 85 320
recursive-simple/fibo_2calls_25_true-unreach-call.c unknown 0 wit inspect .26  .26  2.1  7.7 0      0      - - error (invalid witness file) .58 .37 7.7 40 error (invalid witness file) 6.6 3.5 110 300
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect .12  .12  1.4  7.6 0      0      - - true 4.5  2.5  54   260 true 15   8.2 170 420
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect .31  .31  3.7  7.7 0      0      - - error (recursion) 3.7  2.0  54   260 true 19   10   300 530
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect .47  .47  6.7  9.2 0      0      - - error (recursion) 4.3  2.4  47   260 true 28   15   440 560
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect .78  .78  9.7  20   0      0      - - error (recursion) 4.4  2.5  46   260 true 33   19   540 750
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c unknown 0 wit inspect .32  .46  2.5  44   0      36      - - error (invalid witness file) .47 .30 7.6 40 error (invalid witness file) 6.2 3.3 130 290
recursive-simple/fibo_5_true-unreach-call_true-termination.c unknown 0 wit inspect .12  .12  1.3  7.9 0      0      - - error (invalid witness file) .60 .37 13   42 error (invalid witness file) 6.4 3.4 94 300
recursive-simple/fibo_7_true-unreach-call.c unknown 0 wit inspect .12  .12  1.3  7.9 0      0      - - error (invalid witness file) .62 .39 9.8 44 error (invalid witness file) 6.0 3.2 110 300
recursive-simple/id2_b2_o3_true-unreach-call.c unknown 0 wit inspect .43  .43  5.0  7.9 0      0      - - error (invalid witness file) .56 .35 11   42 error (invalid witness file) 5.9 3.1 110 300
recursive-simple/id2_b3_o5_true-unreach-call.c unknown 0 wit inspect .43  .43  6.2  8.0 0      0      - - error (invalid witness file) .68 .43 8.5 41 error (invalid witness file) 6.6 3.5 130 310
recursive-simple/id2_b5_o10_true-unreach-call.c unknown 0 wit inspect .45  .44  5.2  7.9 0      0      - - error (invalid witness file) .64 .40 7.9 39 error (invalid witness file) 5.8 3.1 110 300
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .13  .13  1.3  7.8 0      0      - - error (recursion) 3.5  1.9  59   260 true 17   9.6 200 460
recursive-simple/id_b2_o3_true-unreach-call.c unknown 0 wit inspect .16  .16  1.7  7.8 0      0      - - error (invalid witness file) .65 .42 7.6 40 error (invalid witness file) 6.3 3.3 130 300
recursive-simple/id_b3_o5_true-unreach-call.c unknown 0 wit inspect .15  .15  2.0  7.7 0      0      - - error (invalid witness file) .47 .31 6.7 41 error (invalid witness file) 6.3 3.3 110 310
recursive-simple/id_b5_o10_true-unreach-call.c unknown 0 wit inspect .16  .16  1.7  7.8 0      0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 8.0 4.2 77 310
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c unknown 0 wit inspect .099 .10  .61 7.6 0      0      - - error (invalid witness file) .64 .40 8.3 40 error (invalid witness file) 5.9 3.2 110 300
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c unknown 0 wit inspect .11  .22  .97 43   0      35      - - error (invalid witness file) .51 .33 12   43 error (invalid witness file) 6.1 3.2 110 310
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c unknown 0 wit inspect .070 .070 .70 7.8 0      0      - - error (invalid witness file) .49 .32 9.8 39 error (invalid witness file) 5.7 3.1 100 300
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c unknown 0 wit inspect .080 .080 .65 7.8 0      0      - - error (invalid witness file) .70 .44 6.8 40 error (invalid witness file) 6.0 3.2 92 290
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c unknown 0 wit inspect .069 .069 .70 7.8 0      0      - - error (invalid witness file) .65 .42 8.9 40 error (invalid witness file) 5.7 3.0 86 300
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect .084 .12  .56 17   .0082 11      - - error (recursion) 3.9  2.2  48   260 true 24   14   230 530
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect .064 .064 .42 7.8 .0082 .11   - - error (recursion) 3.7  2.1  59   250 true 31   18   420 690
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 2 wit inspect .082 .085 .46 7.6 .0082 .93   - - error (recursion) 3.4  1.9  71   260 true 45   26   690 800
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 2 wit inspect .077 .077 .40 7.6 .0082 0      - - error (recursion) 3.5  2.0  37   250 true 44   27   1100 820
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect .065 .066 .42 7.8 .0082 .070  - - error (recursion) 3.7  2.1  59   260 true 13   7.3 150 410
recursive-simple/sum_non_eq_true-unreach-call.c unknown 0 wit inspect .13  .13  1.2  7.6 0      0      - - error (invalid witness file) .49 .32 11   42 error (invalid witness file) 6.1 3.2 100 300
recursive-simple/sum_non_true-unreach-call_true-termination.c unknown 0 wit inspect .12  .12  1.3  7.7 0      0      - - error (invalid witness file) .51 .33 14   41 error (invalid witness file) 5.5 2.9 89 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 98 43 23   23   250 920 .11  130 98 97 55 2000 6400   98 310 160 4500 14000   98 70 41 1000 4800   98 540 300 8900 19000  
    correct results 31 43 5.8 6.0 59 320 .11  54 19 83 46 1700 5400   19 150 80 2100 6000   3 47 26 640 3100   12 280 160 4500 6600  
        correct true 12 24 2.3 2.3 26 120 .057 13 0 0 0 0 0   19 0 0 0 0   3 47 26 640 3100   12 280 160 4500 6600  
        correct false 19 19 3.5 3.7 34 200 .057 42 19 83 46 1700 5400   0 150 80 2100 6000   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) 43
Run set sv-comp17.ReachSafety-Recursive