Tool ESBMC ESBMC version 3.1 64-bit x86_64 linux
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:31:18 CET [[ 2017-01-14 22:07:55 CET ]] [[ 2017-01-14 22:45:22 CET ]] [[ 2017-01-14 22:11:49 CET ]] [[ 2017-01-14 23:12:14 CET ]]
Run set sv-comp17.ReachSafety-Recursive
Options -s fixed [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-11_1131.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-11_1131.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-11_1131.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-11_1131.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 0 wit inspect 260    260    3700    15000 .84 0     error (invalid witness file) .55 .37 10   41 error (invalid witness file) 7.5 3.9 96 310 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 230    220    3000    15000 .84 .40  error (invalid witness file) .60 .38 10   40 error (invalid witness file) 6.2 3.3 100 310 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 7.6  7.5  91    580 1.7  0     true 4.6  2.6  50   280 false(unreach-call) 6.8 3.7 75 310 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 0 wit inspect 37    37    470    2900 2.1  0     exception 23    12    210   720 timeout 95   59   960 7000 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 170    170    2100    15000 .84 0     error (invalid witness file) .51 .32 6.8 39 error (invalid witness file) 5.7 3.0 97 300 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 170    170    2200    15000 .84 0     error (invalid witness file) .49 .32 8.0 40 error (invalid witness file) 5.7 3.0 100 300 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 200    190    2800    15000 .84 0     error (invalid witness file) .54 .34 12   42 error (invalid witness file) 5.9 3.1 93 300 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c out of memory 0 wit inspect 250    240    3200    15000 .84 0     - - error (invalid witness file) .47 .31 11   39 error (invalid witness file) 5.9 3.1 76 300
recursive/Ackermann03_true-unreach-call_true-no-overflow.c out of memory 0 wit inspect 250    240    3300    15000 .84 0     - - error (invalid witness file) .65 .42 7.5 43 error (invalid witness file) 6.0 3.2 98 300
recursive/Ackermann04_true-unreach-call_true-no-overflow.c out of memory 0 wit inspect 250    240    2800    15000 .84 0     - - error (invalid witness file) .51 .33 6.2 40 error (invalid witness file) 7.3 3.8 61 300
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 210    210    2600    15000 .84 0     - - error (invalid witness file) .48 .30 8.2 39 error (invalid witness file) 6.8 3.6 47 300
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 220    210    3000    15000 .84 0     - - error (invalid witness file) .62 .40 8.6 40 error (invalid witness file) 5.4 2.9 61 300
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 1 wit inspect 38    38    440    2800 4.3  0     - - error (recursion) 5.4  2.8  92   270 timeout 960   820   13000 2700
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c out of memory 0 wit inspect 160    160    2100    15000 .84 0     - - error (invalid witness file) .58 .36 8.8 41 error (invalid witness file) 5.8 3.1 100 300
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .15 .15 2.0  23 1.7  0     - - error (recursion) 4.3  2.4  51   260 true 32   18   440 1300
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 160    160    2200    15000 .84 0     - - error (invalid witness file) .60 .37 9.8 39 error (invalid witness file) 6.0 3.2 98 300
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 200    190    2400    15000 .84 0     - - error (invalid witness file) .59 .37 8.7 39 error (invalid witness file) 6.4 3.4 68 310
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 250    240    3300    15000 .84 0     - - error (invalid witness file) .49 .32 5.6 40 error (invalid witness file) 6.0 3.2 93 300
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c out of memory 0 wit inspect 270    270    3400    15000 .84 0     - - error (invalid witness file) .76 .47 9.5 43 error (invalid witness file) 5.9 3.2 68 310
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 170    170    2200    15000 .84 0     - - error (invalid witness file) .59 .38 8.2 41 error (invalid witness file) 5.9 3.1 91 300
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 96    94    1100    15000 .84 0     - - error (invalid witness file) .71 .45 9.7 41 error (invalid witness file) 5.8 3.1 76 290
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 180    170    2100    15000 .84 0     - - error (invalid witness file) .54 .34 13   42 error (invalid witness file) 6.7 3.5 87 320
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 4.0  4.0  46    310 2.3  0     - - error (recursion) 5.6  3.0  64   270 true 8.8 4.7 130 340
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 1 wit inspect 16    16    32    310 2.3  0     - - error (recursion) 4.4  2.4  81   260 timeout 960   950   21000 2600
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.5  23 1.8  0     false(unreach-call) 3.7  2.1  66   270 true 6.5 3.5 82 310 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .14 .13 1.5  23 1.7  0     false(unreach-call) 3.7  2.1  75   290 true 6.8 3.6 86 310 - -
recursive-simple/fibo_10_false-unreach-call.c false(unreach-call) 1 wit inspect .15 .15 1.8  23 1.7  0     false(unreach-call) 7.8  4.2  150   440 true 6.2 3.4 140 300 - -
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 1 wit inspect .43 .42 5.4  24 1.7  0     false(unreach-call) 44    33    790   2000 true 6.6 3.5 110 310 - -
recursive-simple/fibo_20_false-unreach-call.c false(unreach-call) 0 wit inspect 3.9  3.8  47    82 1.7  0     timeout 97    82    1600   1600 true 7.0 3.7 96 320 - -
recursive-simple/fibo_25_false-unreach-call.c false(unreach-call) 0 wit inspect 45    43    670    820 1.7  0     timeout 96    56    1500   4700 true 7.1 3.8 130 320 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 1 wit inspect .15 .15 2.0  23 1.7  0     false(unreach-call) 9.1  4.9  160   440 true 7.2 3.8 110 310 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c false(unreach-call) 1 wit inspect .45 .44 5.2  24 1.7  .36  false(unreach-call) 45    32    1200   2100 true 7.4 3.9 72 320 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c false(unreach-call) 0 wit inspect 4.1  3.9  51    82 1.7  0     timeout 97    86    2000   1600 true 6.9 3.8 120 320 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c false(unreach-call) 0 wit inspect 48    46    680    820 1.7  0     timeout 97    57    1200   5500 true 7.6 4.0 110 320 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .15 1.4  23 1.7  .094 false(unreach-call) 4.2  2.3  49   280 true 7.0 3.7 74 320 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .16 1.5  23 1.7  0     false(unreach-call) 4.8  2.7  69   280 true 7.0 3.7 120 310 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.4  23 1.7  0     false(unreach-call) 5.3  2.9  84   280 true 7.1 3.8 110 320 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.6  23 1.7  .094 false(unreach-call) 6.2  3.4  89   280 true 7.1 3.7 110 320 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c false(unreach-call) 1 wit inspect .14 .14 1.5  23 1.7  .094 false(unreach-call) 7.0  3.8  130   300 true 7.0 3.8 110 310 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.9  23 1.7  .094 false(unreach-call) 4.9  2.7  92   290 true 6.1 3.4 100 310 - -
recursive-simple/fibo_7_false-unreach-call.c false(unreach-call) 1 wit inspect .13 .13 2.6  23 1.7  0     false(unreach-call) 6.8  3.7  77   300 true 6.6 3.5 110 310 - -
recursive-simple/id2_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 35    35    440    1300 1.7  0     false(unreach-call) 5.3  2.9  78   280 false(unreach-call) 8.6 4.6 150 350 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .49 .49 .99 23 1.7  0     false(unreach-call) 4.4  2.4  83   280 true 6.5 3.4 56 310 - -
recursive-simple/id_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 11    11    120    370 1.7  0     false(unreach-call) 5.4  3.0  69   290 false(unreach-call) 9.5 5.1 140 350 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .16 1.5  23 2.0  .094 false(unreach-call) 4.4  2.5  86   280 true 6.3 3.4 93 310 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .14 .14 1.6  23 1.7  0     false(unreach-call) 4.8  2.6  90   290 true 6.8 3.6 120 310 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .14 .14 1.5  23 1.7  0     false(unreach-call) 5.2  2.8  99   290 true 6.5 3.5 110 310 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.5  23 1.7  .10  false(unreach-call) 6.5  3.6  70   290 true 7.6 4.0 110 310 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.3  23 1.7  .094 false(unreach-call) 4.3  2.4  83   270 true 6.9 3.7 100 310 - -
recursive-simple/id_o1000_false-unreach-call.c true -32 wit inspect 3.8  3.7  45    290 2.3  0     error (recursion) 3.9  2.2  72   260 timeout 96   61   1800 1500 - -
recursive-simple/id_o100_false-unreach-call.c false(unreach-call) 0 wit inspect 3.7  3.7  49    290 1.7  0     timeout 96    75    2700   4000 timeout 97   70   1400 5100 - -
recursive-simple/id_o10_false-unreach-call.c false(unreach-call) 1 wit inspect 3.7  3.7  52    290 1.7  0     false(unreach-call) 7.7  4.1  90   330 timeout 98   62   1500 6200 - -
recursive-simple/id_o200_false-unreach-call.c false(unreach-call) 0 wit inspect 3.8  3.7  45    290 1.7  0     timeout 96    77    2300   4100 timeout 97   69   1900 5600 - -
recursive-simple/id_o20_false-unreach-call.c false(unreach-call) 1 wit inspect 3.7  3.6  43    290 1.7  0     false(unreach-call) 14    7.4  260   550 timeout 98   64   1400 5700 - -
recursive-simple/id_o3_false-unreach-call.c false(unreach-call) 1 wit inspect 3.7  3.6  48    280 1.7  0     false(unreach-call) 5.5  3.1  66   280 false(unreach-call) 10   5.4 180 360 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.9  23 1.7  0     false(unreach-call) 5.5  3.1  59   280 true 6.1 3.3 88 310 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .17 .17 1.2  23 1.7  .094 false(unreach-call) 4.6  2.5  90   280 true 6.8 3.7 120 310 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .17 .16 1.7  23 1.7  0     false(unreach-call) 5.0  2.8  94   290 true 6.5 3.5 97 320 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .17 .17 1.3  23 1.7  0     false(unreach-call) 5.6  3.0  90   290 true 6.9 3.7 78 310 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.4  23 1.7  0     false(unreach-call) 5.6  3.2  48   270 true 7.1 3.7 110 310 - -
recursive-simple/sum_non_eq_false-unreach-call.c false(unreach-call) 0 wit inspect 7.8  7.7  98    500 1.9  .094 exception 11    5.7  160   580 timeout 96   65   920 6100 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 12    12    140    610 1.7  0     false(unreach-call) 4.0  2.2  61   270 false(unreach-call) 7.2 3.9 150 320 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect .16 .16 1.3  23 1.7  0     - - true 4.0  2.2  63   270 true 7.7 4.1 120 310
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.2  23 1.7  0     - - true 4.4  2.5  44   270 true 9.0 4.7 100 330
recursive-simple/fibo_10_true-unreach-call.c true 2 wit inspect .19 .19 1.8  23 1.7  0     - - error (recursion) 4.0  2.3  45   260 true 44   25   830 2700
recursive-simple/fibo_15_true-unreach-call.c true 2 wit inspect .64 .63 7.7  59 2.1  0     - - error (recursion) 5.3  2.9  56   270 true 620   560   8300 6300
recursive-simple/fibo_20_true-unreach-call.c true 1 wit inspect 6.2  6.0  96    560 6.9  0     - - error (recursion) 5.2  2.8  81   270 timeout 960   910   17000 5400
recursive-simple/fibo_25_true-unreach-call.c true 1 wit inspect 71    70    990    6100 61    0     - - error (recursion) 14    8.0  250   1400 timeout 960   870   16000 6200
recursive-simple/fibo_2calls_10_true-unreach-call.c true 2 wit inspect .18 .18 2.1  23 1.8  0     - - error (recursion) 5.0  2.8  50   270 true 100   60   1000 4100
recursive-simple/fibo_2calls_15_true-unreach-call.c true 1 wit inspect .75 .74 8.8  81 2.5  0     - - error (recursion) 4.8  2.6  68   280 timeout 960   890   17000 5400
recursive-simple/fibo_2calls_20_true-unreach-call.c true 1 wit inspect 7.3  7.2  97    800 11    0     - - error (recursion) 6.6  3.6  110   410 timeout 960   890   14000 5300
recursive-simple/fibo_2calls_25_true-unreach-call.c true 1 wit inspect 84    82    1000    8800 100    0     - - error (recursion) 30    17    420   2300 timeout 960   890   19000 6200
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect .16 .16 1.3  23 1.7  0     - - true 4.5  2.5  47   260 true 12   6.8 160 390
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.4  23 1.7  0     - - error (recursion) 3.7  2.0  74   250 true 20   11   240 530
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect .16 .15 1.6  23 1.7  0     - - error (recursion) 4.3  2.4  46   260 true 23   13   190 610
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 2.4  23 1.7  0     - - error (recursion) 3.4  2.0  69   260 true 33   19   430 750
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 2 wit inspect .16 .16 1.6  23 1.7  0     - - error (recursion) 4.0  2.3  54   260 true 44   26   500 1100
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.3  23 1.7  0     - - error (recursion) 3.2  1.8  53   260 true 17   9.2 270 520
recursive-simple/fibo_7_true-unreach-call.c true 2 wit inspect .16 .16 1.3  24 1.7  .54  - - error (recursion) 3.8  2.1  69   260 true 22   12   250 660
recursive-simple/id2_b2_o3_true-unreach-call.c true 2 wit inspect 35    34    370    1400 4.5  0     - - error (recursion) 6.3  3.4  74   270 true 11   5.6 160 380
recursive-simple/id2_b3_o5_true-unreach-call.c true 2 wit inspect 35    35    420    1400 4.5  0     - - error (recursion) 6.5  3.6  66   270 true 9.5 5.1 120 390
recursive-simple/id2_b5_o10_true-unreach-call.c true 2 wit inspect 35    35    390    1400 4.5  0     - - error (recursion) 6.2  3.4  77   260 true 9.8 5.2 150 390
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .13 .12 1.3  23 1.7  0     - - error (recursion) 3.2  1.9  45   260 true 14   7.8 280 460
recursive-simple/id_b2_o3_true-unreach-call.c true 2 wit inspect 11    11    140    440 2.9  0     - - error (recursion) 5.3  2.9  64   270 true 11   5.6 160 360
recursive-simple/id_b3_o5_true-unreach-call.c true 2 wit inspect 11    11    130    440 2.9  0     - - error (recursion) 5.1  2.8  44   270 true 10   5.3 150 360
recursive-simple/id_b5_o10_true-unreach-call.c true 2 wit inspect 11    11    140    440 2.9  0     - - error (recursion) 5.2  2.9  73   270 true 9.4 5.0 100 360
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.2  23 1.7  0     - - error (recursion) 3.4  1.9  65   260 true 20   11   200 540
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.5  23 1.7  0     - - error (recursion) 4.0  2.3  52   260 true 21   12   220 640
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.3  23 1.7  0     - - error (recursion) 3.8  2.1  35   260 true 33   19   340 720
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.4  23 1.8  0     - - error (recursion) 3.6  2.0  67   270 true 46   27   560 800
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .12 .12 1.4  23 1.7  0     - - error (recursion) 3.4  1.9  52   260 true 12   6.6 210 380
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect .16 .16 1.3  23 1.7  0     - - error (recursion) 4.3  2.4  47   260 true 20   11   300 580
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.7  23 1.7  0     - - error (recursion) 4.2  2.4  50   260 true 27   16   460 710
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.5  23 2.0  0     - - error (recursion) 3.6  2.1  55   260 true 36   21   400 740
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 2 wit inspect .17 .17 1.6  23 1.7  0     - - error (recursion) 3.7  2.1  68   250 true 42   26   520 860
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect .12 .12 1.8  23 1.7  0     - - error (recursion) 3.4  1.9  47   260 true 11   6.2 180 390
recursive-simple/sum_non_eq_true-unreach-call.c true 2 wit inspect 150    150    2000    660 2.4  0     - - error (recursion) 5.4  2.9  75   270 true 11   5.7 160 370
recursive-simple/sum_non_true-unreach-call_true-termination.c true 2 wit inspect 780    780    7800    840 2.4  0     - - error (recursion) 6.2  3.3  45   290 true 12   6.5 160 380
../../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 72 5300   5100   65000 310000 350   2.2   98 880   610   16000 36000   98 940 590 14000 49000   98 230 130 3100 14000   98 8200 7200 140000 67000  
    correct results 64 97 1200   1200   12000 12000 120   1.7   31 260   160   4600 13000   29 400 240 6000 21000   3 150 81 1900 8700   33 1400 980 18000 30000  
        correct true 33 66 1100   1100   11000 7800 71   .54  1 0   0   0 0   24 0 0 0 0   3 150 81 1900 8700   33 1400 980 18000 30000  
        correct false 31 31 81   81   980 4200 53   1.1   30 260   160   4600 13000   5 400 240 6000 21000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 15 7 380   370   4800 25000 210   .094 0 610   450   12000 23000   4 410 280 5700 25000   0 71 39 1100 5200   0 6700 6200 120000 34000  
        correct-unconfirmed true 7 7 220   220   2700 19000 190   0     0 0   0   0 0   4 0 0 0 0   0 71 39 1100 5200   0 6700 6200 120000 34000  
        correct-unconfirmed false 8 0 150   150   2100 5800 14   .094 0 610   450   12000 23000   0 410 280 5700 25000   0 0 0 0 0   0 0 0 0 0  
    incorrect results 1 -32 3.8 3.7 45 290 2.3 0     0 3.9 2.2 72 260   0 96 61 1800 1500   0 0 0 0 0   0 0 0 0 0  
        incorrect true 1 -32 3.8 3.7 45 290 2.3 0     0 3.9 2.2 72 260   0 96 61 1800 1500   0 0 0 0 0   0 0 0 0 0  
        incorrect false 0
score (98 tasks, max score: 151) 72
Run set sv-comp17.ReachSafety-Recursive