Tool ULTIMATE Automizer f7c3ed31
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-13 12:41:58 CET [[ 2017-01-15 02:09:41 CET ]] [[ 2017-01-15 04:03:21 CET ]] [[ 2017-01-15 02:31:54 CET ]] [[ 2017-01-15 04:27:36 CET ]]
Run set sv-comp17.ReachSafety-Recursive
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.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 7.3 2.3 55 370 2.5 0   false(unreach-call) 28    14    330   1100 false(unreach-call) 10   5.2 200 370 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 6.4 2.0 53 320 2.5 0   false(unreach-call) 4.0  2.3  33   280 false(unreach-call) 7.5 4.0 140 320 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 6.6 2.0 51 330 2.5 0   true 3.6  2.0  44   270 false(unreach-call) 7.2 3.9 120 320 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 6.5 1.9 54 330 2.5 0   false(unreach-call) 4.7  2.6  36   270 false(unreach-call) 7.1 3.8 130 320 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 11   3.3 120 500 2.5 0   false(unreach-call) 52    36    590   2300 false(unreach-call) 25   13   250 880 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 0 wit inspect 14   4.3 120 710 2.6 0   timeout 97    69    910   4600 timeout 97   70   960 4500 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect 5.5 1.8 48 320 2.5 0   false(unreach-call) 3.7  2.1  61   280 false(unreach-call) 8.2 4.3 140 330 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c true 2 wit inspect 9.2 2.8 70 490 2.5 0   - - error (recursion) 3.4  1.9  59   260 true 12   7.0 230 400
recursive/Ackermann03_true-unreach-call_true-no-overflow.c true 2 wit inspect 27   9.4 230 860 2.5 0   - - error (recursion) 3.7  2.1  77   270 true 31   18   520 740
recursive/Ackermann04_true-unreach-call_true-no-overflow.c true 2 wit inspect 20   6.0 170 720 2.5 0   - - error (recursion) 4.4  2.4  54   260 true 22   13   330 700
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 7.9 2.4 66 430 2.5 0   - - error (recursion) 4.0  2.2  58   250 true 12   6.4 200 380
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 230   160   2500 3200 2.5 0   - - error (recursion) 3.6  2.0  64   260 true 300   230   3500 4400
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   750   11000 1300 2.3 0   - - error (invalid witness file) .62 .39 9.1 40 error (invalid witness file) 5.9 3.2 84 300
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c true 2 wit inspect 18   5.6 150 680 2.5 0   - - error (recursion) 3.4  1.9  69   250 true 24   14   380 610
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 24   7.2 210 1500 2.5 0   - - error (recursion) 3.5  2.0  62   260 true 32   18   590 1400
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 24   7.2 210 1000 2.5 0   - - error (recursion) 4.5  2.5  28   250 true 33   19   370 1100
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 7.4 2.1 51 370 2.5 0   - - error (recursion) 4.0  2.2  50   250 true 9.0 5.0 130 340
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   790   10000 1200 2.3 0   - - error (invalid witness file) .67 .42 7.4 40 error (invalid witness file) 5.4 2.9 95 290
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 0 wit inspect 900   780   14000 1200 2.3 0   - - error (invalid witness file) .68 .44 7.0 39 error (invalid witness file) 6.0 3.2 120 300
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 9.4 2.8 75 500 2.5 0   - - error (recursion) 3.9  2.2  47   260 true 12   6.4 230 380
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   780   11000 1300 2.3 0   - - error (invalid witness file) .55 .35 12   42 error (invalid witness file) 6.0 3.2 120 300
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   700   11000 8300 2.3 0   - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 5.8 3.1 69 300
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect 6.1 2.0 50 330 2.5 0   - - error (recursion) 3.5  2.0  73   250 true 8.2 4.4 160 320
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900   890   9900 2500 2.3 0   - - error (invalid witness file) .64 .41 7.9 39 error (invalid witness file) 5.7 3.0 100 290
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 6.9 1.9 53 350 2.5 0   true 4.1  2.3  30   270 false(unreach-call) 7.4 3.9 150 320 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 6.2 1.8 52 340 2.5 0   true 3.3  1.8  42   270 false(unreach-call) 8.6 4.7 140 340 - -
recursive-simple/fibo_10_false-unreach-call.c false(unreach-call) 0 wit inspect 22   7.1 190 1900 2.8 0   timeout 98    71    970   4600 timeout 97   64   940 5400 - -
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 0 wit inspect 330   280   4600 4900 5.4 0   exception 43    25    650   1200 out of memory 86   49   750 7000 - -
recursive-simple/fibo_20_false-unreach-call.c timeout 0 wit inspect 900   830   11000 5500 2.3 0   error (invalid witness file) .51 .33 11   40 error (invalid witness file) 5.4 2.9 110 290 - -
recursive-simple/fibo_25_false-unreach-call.c timeout 0 wit inspect 900   830   11000 5400 2.3 0   error (invalid witness file) .52 .33 11   39 error (invalid witness file) 6.9 3.6 130 330 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 0 wit inspect 46   17   410 3800 2.9 0   timeout 98    67    1500   4700 timeout 97   64   870 5800 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c false(unreach-call) 0 wit inspect 780   710   11000 5400 5.8 0   exception 40    25    410   1200 out of memory 82   49   1100 7000 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c timeout 0 wit inspect 900   830   13000 5500 2.3 0   error (invalid witness file) .51 .32 8.6 40 error (invalid witness file) 5.6 3.0 100 290 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c timeout 0 wit inspect 900   830   11000 5400 2.3 0   error (invalid witness file) .50 .33 10   39 error (invalid witness file) 5.8 3.1 98 290 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.5 2.1 56 350 2.5 0   false(unreach-call) 3.9  2.1  54   270 false(unreach-call) 7.8 4.2 140 330 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 8.9 2.8 77 480 2.5 0   false(unreach-call) 12    6.1  120   510 false(unreach-call) 10   5.3 150 400 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 13   3.9 100 500 2.5 0   false(unreach-call) 19    9.9  160   740 false(unreach-call) 29   15   350 810 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 16   4.8 120 540 2.6 0   false(unreach-call) 35    20    310   2000 false(unreach-call) 63   36   640 2100 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c false(unreach-call) 0 wit inspect 26   8.1 230 930 2.6 0   timeout 97    69    840   4300 timeout 97   67   980 5000 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 9.8 2.9 81 490 2.5 0   false(unreach-call) 21    11    250   730 false(unreach-call) 25   13   290 830 - -
recursive-simple/fibo_7_false-unreach-call.c false(unreach-call) 1 wit inspect 13   3.8 110 520 2.6 0   false(unreach-call) 61    40    920   3800 false(unreach-call) 74   47   570 4400 - -
recursive-simple/id2_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 6.5 2.1 50 330 2.5 0   false(unreach-call) 6.0  3.3  99   280 false(unreach-call) 7.3 3.9 150 320 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.9 2.4 65 410 2.5 0   false(unreach-call) 7.1  3.8  81   290 false(unreach-call) 7.9 4.2 150 320 - -
recursive-simple/id_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect 6.4 2.1 59 330 2.5 0   false(unreach-call) 5.2  2.9  78   280 false(unreach-call) 7.1 3.9 110 320 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 12   3.6 97 490 2.5 0   false(unreach-call) 8.0  4.2  95   400 true 8.1 4.3 140 330 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 18   5.8 160 610 2.5 0   false(unreach-call) 14    7.3  120   480 true 7.6 4.0 120 310 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 23   8.2 230 790 2.5 0   false(unreach-call) 15    7.9  160   520 true 7.8 4.2 140 320 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 27   10   210 910 2.5 0   false(unreach-call) 19    9.9  170   650 true 8.6 4.5 170 330 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 7.8 2.4 66 410 2.5 0   false(unreach-call) 6.0  3.2  85   290 false(unreach-call) 8.0 4.2 150 320 - -
recursive-simple/id_o1000_false-unreach-call.c timeout 0 wit inspect 900   720   12000 2900 2.3 0   error (invalid witness file) .57 .36 11   43 error (invalid witness file) 7.0 3.7 110 310 - -
recursive-simple/id_o100_false-unreach-call.c false(unreach-call) 0 wit inspect 250   180   3900 2000 2.6 0   timeout 96    76    1700   4000 true 9.7 5.1 150 500 - -
recursive-simple/id_o10_false-unreach-call.c false(unreach-call) 1 wit inspect 11   3.0 80 480 2.5 0   false(unreach-call) 15    7.6  140   510 true 8.0 4.2 150 320 - -
recursive-simple/id_o200_false-unreach-call.c timeout 0 wit inspect 900   720   15000 2400 2.3 0   error (invalid witness file) .55 .35 10   42 error (invalid witness file) 5.7 3.0 110 300 - -
recursive-simple/id_o20_false-unreach-call.c false(unreach-call) 1 wit inspect 18   5.4 140 590 2.5 0   false(unreach-call) 29    16    310   1400 true 8.0 4.2 140 320 - -
recursive-simple/id_o3_false-unreach-call.c false(unreach-call) 1 wit inspect 6.3 2.0 49 320 2.5 0   false(unreach-call) 5.6  3.1  54   280 false(unreach-call) 7.4 4.0 140 320 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 11   3.2 93 490 2.5 0   false(unreach-call) 6.4  3.4  82   310 true 7.3 3.9 140 320 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 14   4.1 110 620 2.5 0   false(unreach-call) 7.6  4.0  60   450 true 8.0 4.2 140 310 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 18   5.5 140 700 2.5 0   false(unreach-call) 11    5.6  110   470 true 7.8 4.2 150 330 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 22   7.4 200 830 2.5 0   false(unreach-call) 12    6.0  120   500 true 8.3 4.4 170 320 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 6.7 2.0 51 330 2.5 0   false(unreach-call) 4.3  2.4  80   290 false(unreach-call) 7.5 4.0 150 320 - -
recursive-simple/sum_non_eq_false-unreach-call.c false(unreach-call) 1 wit inspect 5.8 1.8 45 330 2.5 0   false(unreach-call) 3.5  1.9  47   270 false(unreach-call) 7.4 3.9 130 320 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 5.7 1.8 45 320 2.5 0   false(unreach-call) 3.4  1.9  36   270 false(unreach-call) 7.6 4.0 150 320 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect 6.0 1.8 51 340 2.5 0   - - true 3.7  2.1  61   280 true 7.8 4.1 160 330
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect 6.0 1.9 50 330 2.5 0   - - true 4.4  2.4  51   270 true 7.6 4.1 160 320
recursive-simple/fibo_10_true-unreach-call.c true 2 wit inspect 31   11   260 2500 2.5 0   - - error (recursion) 3.5  1.9  77   260 true 42   24   390 2700
recursive-simple/fibo_15_true-unreach-call.c true 2 wit inspect 580   510   8500 6300 2.5 0   - - error (recursion) 4.5  2.5  41   260 true 640   580   8000 6300
recursive-simple/fibo_20_true-unreach-call.c timeout 0 wit inspect 900   840   13000 5500 2.3 0   - - error (invalid witness file) .59 .38 8.8 43 error (invalid witness file) 5.7 3.1 110 300
recursive-simple/fibo_25_true-unreach-call.c timeout 0 wit inspect 900   840   11000 5400 2.3 0   - - error (invalid witness file) .61 .40 8.7 41 error (invalid witness file) 6.4 3.4 91 300
recursive-simple/fibo_2calls_10_true-unreach-call.c true 2 wit inspect 75   38   740 3800 2.5 0   - - error (recursion) 3.5  2.0  56   260 true 83   50   960 3900
recursive-simple/fibo_2calls_15_true-unreach-call.c timeout 0 wit inspect 900   830   11000 5400 2.3 0   - - error (invalid witness file) .60 .38 9.0 40 error (invalid witness file) 5.7 3.1 120 300
recursive-simple/fibo_2calls_20_true-unreach-call.c timeout 0 wit inspect 900   840   12000 5300 2.3 0   - - error (invalid witness file) .61 .39 11   42 error (invalid witness file) 6.0 3.2 100 300
recursive-simple/fibo_2calls_25_true-unreach-call.c timeout 0 wit inspect 900   830   12000 5500 2.3 0   - - error (invalid witness file) .51 .34 11   42 error (invalid witness file) 5.5 2.9 96 290
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect 8.8 2.6 64 460 2.5 0   - - true 3.6  2.1  56   260 true 12   6.4 180 380
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect 14   4.1 110 500 2.5 0   - - error (recursion) 4.9  2.7  47   260 true 20   11   240 560
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect 17   4.9 130 530 2.5 0   - - error (recursion) 3.7  2.1  69   260 true 26   14   410 620
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect 25   7.8 210 900 2.5 0   - - error (recursion) 4.3  2.4  59   260 true 30   17   350 690
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 2 wit inspect 39   14   310 1300 2.5 0   - - error (recursion) 3.8  2.1  62   260 true 45   26   640 1000
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 2 wit inspect 12   3.5 100 490 2.5 0   - - error (recursion) 4.4  2.5  37   250 true 16   8.9 200 520
recursive-simple/fibo_7_true-unreach-call.c true 2 wit inspect 18   5.1 140 710 2.5 0   - - error (recursion) 3.8  2.1  58   260 true 22   12   320 710
recursive-simple/id2_b2_o3_true-unreach-call.c true 2 wit inspect 6.7 2.1 53 340 2.5 0   - - error (recursion) 3.7  2.1  76   260 true 9.6 5.1 180 330
recursive-simple/id2_b3_o5_true-unreach-call.c true 2 wit inspect 6.9 2.1 50 340 2.5 0   - - error (recursion) 4.6  2.6  51   270 true 8.0 4.4 110 310
recursive-simple/id2_b5_o10_true-unreach-call.c true 2 wit inspect 6.9 2.1 55 330 2.5 0   - - error (recursion) 4.4  2.5  50   250 true 8.2 4.5 170 310
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect 11   3.1 79 480 2.5 0   - - error (recursion) 3.6  2.1  60   260 true 14   7.6 230 470
recursive-simple/id_b2_o3_true-unreach-call.c true 2 wit inspect 6.4 2.1 58 330 2.5 0   - - error (recursion) 4.2  2.4  47   260 true 8.4 4.5 160 320
recursive-simple/id_b3_o5_true-unreach-call.c true 2 wit inspect 6.4 2.2 52 330 2.5 0   - - error (recursion) 4.0  2.2  58   250 true 8.6 4.7 150 330
recursive-simple/id_b5_o10_true-unreach-call.c true 2 wit inspect 6.4 2.0 54 330 2.5 0   - - error (recursion) 4.5  2.5  44   260 true 8.5 4.6 140 320
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 2 wit inspect 12   3.6 99 490 2.5 0   - - error (recursion) 3.3  1.8  69   260 true 17   9.7 320 560
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 2 wit inspect 15   4.8 130 540 2.5 0   - - error (recursion) 4.3  2.4  49   260 true 23   13   260 630
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 2 wit inspect 21   6.6 170 620 2.5 0   - - error (recursion) 4.1  2.3  47   260 true 34   19   450 720
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 2 wit inspect 25   8.5 200 820 2.5 0   - - error (recursion) 3.8  2.1  57   260 true 37   22   490 810
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect 9.1 2.6 66 490 2.5 0   - - error (recursion) 4.4  2.5  51   260 true 12   6.7 230 380
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect 14   4.4 110 490 2.5 0   - - error (recursion) 3.9  2.2  53   260 true 20   12   290 570
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect 19   6.0 140 560 2.5 0   - - error (recursion) 3.9  2.2  47   260 true 24   14   230 680
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 2 wit inspect 24   8.3 200 670 2.5 0   - - error (recursion) 4.5  2.5  42   260 true 33   20   340 690
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 2 wit inspect 31   11   270 970 2.5 0   - - error (recursion) 3.3  1.9  57   260 true 44   26   570 890
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect 8.3 2.6 63 410 2.5 0   - - error (recursion) 3.7  2.1  57   250 true 11   5.8 180 380
recursive-simple/sum_non_eq_true-unreach-call.c true 2 wit inspect 7.0 2.2 60 350 2.5 0   - - error (recursion) 4.4  2.5  37   260 true 9.6 5.3 170 330
recursive-simple/sum_non_true-unreach-call_true-termination.c true 2 wit inspect 7.2 2.2 52 370 2.5 0   - - error (recursion) 4.3  2.4  47   260 true 11   6.1 180 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 116 19000 16000 240000 140000 250 0   98 1000 650 12000 46000   98 1000 630 12000 55000   98 170 98 2400 11000   98 1900 1300 25000 41000  
    correct results 74 116 1800 1000 19000 53000 190 0   32 430 250 4900 21000   32 430 240 6000 18000   3 170 93 2300 11000   42 1800 1300 23000 38000  
        correct true 42 84 1500 890 16000 37000 110 0   3 0 0 0 0   10 0 0 0 0   3 170 93 2300 11000   42 1800 1300 23000 38000  
        correct false 32 32 350 110 2900 15000 81 0   29 430 250 4900 21000   22 430 240 6000 18000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 7 0 1500 1200 20000 20000 25 0   0 570 400 7000 25000   1 570 370 5800 35000   0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 7 0 1500 1200 20000 20000 25 0   0 570 400 7000 25000   0 570 370 5800 35000   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) 116
Run set sv-comp17.ReachSafety-Recursive