Tool symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a
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 11:10:58 CET [[ 2017-01-15 02:01:54 CET ]] [[ 2017-01-15 02:34:25 CET ]] [[ 2017-01-15 02:04:28 CET ]] [[ 2017-01-15 03:02:21 CET ]]
Run set sv-comp17.ReachSafety-Recursive
Options --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.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 .19 .19 1.6 10   .012 0    false(unreach-call) 7.5 4.1 83 300 false(unreach-call) 12   6.6 150 360 - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.7 9.9 .012 0    false(unreach-call) 4.3 2.4 89 290 false(unreach-call) 8.6 4.7 120 340 - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .15 .14 1.7 9.4 .012 0    false(unreach-call) 3.8 2.1 51 270 true 8.1 4.3 88 310 - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.7 10   .012 0    false(unreach-call) 4.4 2.4 59 270 false(unreach-call) 8.5 4.6 120 320 - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .20 .20 1.9 10   .012 0    true 5.7 3.1 100 290 false(unreach-call) 22   11   200 530 - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 0 wit inspect .28 .28 3.2 11   .012 0    true 8.1 4.3 140 460 timeout 97   59   1900 5500 - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.9 10   .012 0    false(unreach-call) 4.5 2.5 57 280 false(unreach-call) 7.8 4.1 120 330 - -
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout (timeout) 0 wit inspect 900    910    13000   15000   .012 8.2  - - error (invalid witness file) .55 .35 11   41 error (invalid witness file) 7.4 3.9 65 310
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout (timeout) 0 wit inspect 900    900    14000   15000   .012 0    - - error (invalid witness file) .54 .33 13   40 error (invalid witness file) 5.8 3.1 110 290
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout (timeout) 0 wit inspect 900    900    12000   15000   .012 0    - - error (invalid witness file) .63 .40 9.4 41 error (invalid witness file) 6.1 3.3 97 290
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    900    13000   150   .012 0    - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.6 3.5 89 290
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    900    10000   230   .012 0    - - error (invalid witness file) .47 .31 8.8 39 error (invalid witness file) 7.6 4.0 91 310
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 1 wit inspect .19 .19 2.4 12   .012 0    - - error (recursion) 3.4  1.9  60   260 timeout 960   820   27000 2400
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout (timeout) 0 wit inspect 900    920    12000   15000   .012 0    - - error (invalid witness file) .58 .36 8.7 39 error (invalid witness file) 5.7 3.1 120 300
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .16 .16 1.4 9.2 .012 0    - - error (recursion) 3.4  1.9  73   260 true 37   21   520 1400
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    920    13000   15000   .012 0    - - error (invalid witness file) .54 .33 13   41 error (invalid witness file) 4.9 2.7 70 290
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    900    11000   320   .012 0    - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.1 3.2 120 290
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    900    11000   140   .012 0    - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.0 3.1 120 300
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout (timeout) 0 wit inspect 900    900    12000   93   .012 0    - - error (invalid witness file) .64 .41 10   44 error (invalid witness file) 6.0 3.2 90 290
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    900    11000   100   .012 0    - - error (invalid witness file) .55 .36 9.7 40 error (invalid witness file) 7.1 3.8 81 300
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    900    9800   50   .012 0    - - error (invalid witness file) .59 .37 7.5 39 error (invalid witness file) 5.4 2.9 99 290
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout (timeout) 0 wit inspect 900    910    13000   15000   .012 0    - - error (invalid witness file) .69 .43 7.7 40 error (invalid witness file) 5.8 3.2 93 290
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .20 .20 2.3 10   .012 0    - - error (recursion) 4.1  2.3  44   260 true 8.0 4.3 170 320
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 1 wit inspect .21 .21 2.1 10   .012 0    - - error (recursion) 3.8  2.2  41   250 timeout 960   950   28000 2700
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.4 9.6 .012 0    false(unreach-call) 4.8 2.6 46 270 true 7.9 4.1 86 310 - -
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.5 9.2 .012 0    false(unreach-call) 3.9 2.1 65 280 false(unreach-call) 11   5.8 120 340 - -
recursive-simple/fibo_10_false-unreach-call.c false(unreach-call) 0 wit inspect .14 .13 1.5 9.3 .012 0    true 11   5.7 210 490 timeout 98   65   1900 5100 - -
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 0 wit inspect .17 .17 1.9 17   .012 0    true 18   9.6 400 680 timeout 97   58   1300 6100 - -
recursive-simple/fibo_20_false-unreach-call.c false(unreach-call) 0 wit inspect .60 .59 7.9 110   .012 0    true 30   16   460 1200 timeout 98   53   1900 7000 - -
recursive-simple/fibo_25_false-unreach-call.c false(unreach-call) 0 wit inspect 5.3  5.3  64   1200   .012 0    true 79   44   1500 4100 timeout 98   53   1600 6900 - -
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 0 wit inspect .16 .15 1.8 9.3 .012 0    true 8.0 4.3 120 380 true 46   24   700 1200 - -
recursive-simple/fibo_2calls_15_false-unreach-call.c false(unreach-call) 0 wit inspect .17 .17 1.5 11   .012 0    true 14   7.2 210 530 timeout 97   63   1200 6500 - -
recursive-simple/fibo_2calls_20_false-unreach-call.c false(unreach-call) 0 wit inspect .30 .29 3.4 45   .012 0    true 23   12   450 960 timeout 98   53   990 5500 - -
recursive-simple/fibo_2calls_25_false-unreach-call.c false(unreach-call) 0 wit inspect 1.8  1.8  25   420   .012 0    true 49   26   760 2300 timeout 98   53   1800 6500 - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 2.0 9.1 .012 0    false(unreach-call) 4.2 2.3 77 280 true 7.5 4.0 130 310 - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .16 1.4 9.2 .012 .45 false(unreach-call) 5.0 2.7 100 290 true 7.4 3.9 140 330 - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 0 wit inspect .14 .14 1.7 9.4 .012 0    true 3.8 2.1 63 270 true 8.8 4.7 110 320 - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 0 wit inspect .16 .16 1.7 9.4 .012 0    true 4.2 2.4 78 280 true 12   6.6 160 350 - -
recursive-simple/fibo_2calls_8_false-unreach-call.c false(unreach-call) 0 wit inspect .15 .15 1.4 9.2 .012 0    true 5.8 3.1 110 280 true 19   10   350 500 - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .16 1.4 9.5 .012 0    true 5.7 3.1 110 280 false(unreach-call) 30   16   350 550 - -
recursive-simple/fibo_7_false-unreach-call.c false(unreach-call) 0 wit inspect .14 .13 1.4 9.3 .012 0    true 8.8 4.7 77 380 true 30   17   460 1000 - -
recursive-simple/id2_b3_o2_false-unreach-call.c false(unreach-call) 0 wit inspect .16 .15 1.9 9.9 .012 0    true 3.6 2.0 81 280 true 7.0 3.8 140 320 - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.5 9.4 .012 0    false(unreach-call) 5.0 2.7 76 290 true 7.6 4.0 120 320 - -
recursive-simple/id_b3_o2_false-unreach-call.c false(unreach-call) 1 wit inspect .17 .17 1.6 9.4 .012 0    true 3.8 2.1 76 270 false(unreach-call) 11   6.1 100 340 - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .15 1.2 9.3 .012 0    false(unreach-call) 4.4 2.4 96 290 true 6.9 3.7 130 300 - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.7 9.2 .012 0    false(unreach-call) 5.3 2.9 70 290 true 6.9 3.7 140 310 - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.4 9.2 .012 0    false(unreach-call) 6.2 3.4 66 280 true 8.0 4.3 95 310 - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.6 9.2 .012 0    false(unreach-call) 5.4 3.0 82 290 true 6.5 3.5 120 310 - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.4 9.3 .012 0    false(unreach-call) 4.3 2.4 75 290 true 7.4 3.9 150 320 - -
recursive-simple/id_o1000_false-unreach-call.c false(unreach-call) 0 wit inspect .17 .17 1.6 9.5 .012 0    timeout 97   84   2600 3000 true 7.9 4.2 140 330 - -
recursive-simple/id_o100_false-unreach-call.c false(unreach-call) 1 wit inspect .14 .14 1.7 9.4 .012 .32 false(unreach-call) 15   7.6 140 480 true 7.6 4.0 110 320 - -
recursive-simple/id_o10_false-unreach-call.c false(unreach-call) 1 wit inspect .14 .14 1.7 9.2 .012 0    false(unreach-call) 4.4 2.4 87 290 true 8.9 4.7 150 350 - -
recursive-simple/id_o200_false-unreach-call.c false(unreach-call) 1 wit inspect .16 .16 1.4 9.4 .012 0    false(unreach-call) 23   12   300 740 true 8.1 4.4 120 320 - -
recursive-simple/id_o20_false-unreach-call.c false(unreach-call) 1 wit inspect .17 .17 1.4 9.4 .012 0    false(unreach-call) 5.6 3.0 110 300 true 7.8 4.2 92 320 - -
recursive-simple/id_o3_false-unreach-call.c false(unreach-call) 1 wit inspect .14 .14 1.5 9.4 .012 0    false(unreach-call) 4.5 2.5 93 290 true 8.5 4.5 99 320 - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .15 .15 1.6 9.3 .012 0    false(unreach-call) 4.3 2.4 76 280 true 8.4 4.5 87 310 - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .16 1.5 9.4 .012 0    false(unreach-call) 4.8 2.7 76 280 true 7.3 3.9 110 310 - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.6 9.4 .012 0    false(unreach-call) 5.2 2.9 110 280 true 7.7 4.1 110 310 - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .13 .13 1.7 9.1 .012 0    false(unreach-call) 5.2 2.9 120 290 true 7.3 3.9 140 310 - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .16 .15 1.5 9.3 .012 0    false(unreach-call) 4.0 2.2 84 280 true 7.6 4.0 120 330 - -
recursive-simple/sum_non_eq_false-unreach-call.c false(unreach-call) 1 wit inspect .15 .14 1.9 9.5 .012 0    false(unreach-call) 4.2 2.3 65 280 true 8.6 4.6 95 320 - -
recursive-simple/sum_non_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect .14 .14 1.6 9.2 .012 0    false(unreach-call) 4.0 2.2 79 280 true 8.0 4.2 100 320 - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.8 9.2 .012 0    - - true 3.7  2.1  45   260 true 7.7 4.1 140 320
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.3 9.1 .012 0    - - true 3.5  2.0  66   270 true 8.9 4.7 120 320
recursive-simple/fibo_10_true-unreach-call.c true 2 wit inspect .15 .15 1.6 9.4 .012 0    - - error (recursion) 3.3  1.9  45   260 true 56   32   680 2700
recursive-simple/fibo_15_true-unreach-call.c true 2 wit inspect .17 .16 1.6 9.3 .012 0    - - error (recursion) 3.4  1.9  68   260 true 610   550   8500 6300
recursive-simple/fibo_20_true-unreach-call.c true 1 wit inspect .21 .20 2.0 15   .012 0    - - error (recursion) 3.6  2.0  75   260 timeout 960   900   24000 5500
recursive-simple/fibo_25_true-unreach-call.c true 1 wit inspect .78 .78 11   77   .012 0    - - error (recursion) 3.7  2.1  61   260 timeout 960   910   23000 5200
recursive-simple/fibo_2calls_10_true-unreach-call.c true 2 wit inspect .16 .16 1.3 9.3 .012 0    - - error (recursion) 3.6  2.0  45   260 true 100   60   2000 4100
recursive-simple/fibo_2calls_15_true-unreach-call.c true 1 wit inspect .30 .41 2.0 18   .012 8.8  - - error (recursion) 4.2  2.3  53   270 timeout 960   890   23000 5500
recursive-simple/fibo_2calls_20_true-unreach-call.c true 1 wit inspect .18 .18 1.8 11   .012 0    - - error (recursion) 3.6  2.0  49   260 timeout 960   900   26000 5300
recursive-simple/fibo_2calls_25_true-unreach-call.c true 1 wit inspect .50 .61 5.3 42   .012 8.7  - - error (recursion) 3.4  2.0  63   260 timeout 960   900   20000 5600
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.4 9.2 .012 0    - - true 3.5  1.9  61   260 true 13   7.3 180 400
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect .14 .14 1.7 9.3 .012 0    - - error (recursion) 4.3  2.4  40   260 true 23   13   320 570
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.4 9.3 .012 0    - - error (recursion) 3.8  2.2  51   260 true 22   13   460 510
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.4 9.2 .012 0    - - error (recursion) 4.1  2.3  58   260 true 35   20   650 750
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 2 wit inspect .14 .13 1.5 9.2 .012 .32 - - error (recursion) 3.3  1.9  41   260 true 60   35   1100 1300
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.7 9.3 .012 0    - - error (recursion) 3.8  2.2  58   260 true 19   10   400 530
recursive-simple/fibo_7_true-unreach-call.c true 2 wit inspect .16 .16 1.3 9.3 .012 0    - - error (recursion) 3.4  1.9  48   260 true 24   13   360 660
recursive-simple/id2_b2_o3_true-unreach-call.c timeout (timeout) 0 wit inspect 900    900    12000   2400   .012 0    - - error (invalid witness file) .66 .42 7.7 41 error (invalid witness file) 6.3 3.4 100 300
recursive-simple/id2_b3_o5_true-unreach-call.c timeout (timeout) 0 wit inspect 900    900    13000   2300   .012 0    - - error (invalid witness file) .53 .34 13   42 error (invalid witness file) 7.4 3.9 87 300
recursive-simple/id2_b5_o10_true-unreach-call.c timeout (timeout) 0 wit inspect 900    900    11000   2200   .012 0    - - error (invalid witness file) .65 .40 7.8 39 error (invalid witness file) 6.9 3.7 87 300
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .16 .16 1.6 9.4 .012 0    - - error (recursion) 3.4  1.9  56   260 true 13   7.2 250 430
recursive-simple/id_b2_o3_true-unreach-call.c timeout (timeout) 0 wit inspect 900    900    10000   2200   .012 0    - - error (invalid witness file) .59 .37 7.6 40 error (invalid witness file) 6.4 3.4 120 310
recursive-simple/id_b3_o5_true-unreach-call.c timeout (timeout) 0 wit inspect 900    900    9400   2400   .012 0    - - error (invalid witness file) .50 .33 12   42 error (invalid witness file) 6.8 3.7 69 290
recursive-simple/id_b5_o10_true-unreach-call.c timeout (timeout) 0 wit inspect 900    900    11000   2200   .012 0    - - error (invalid witness file) .46 .30 8.6 39 error (invalid witness file) 6.8 3.6 90 290
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.6 9.2 .012 0    - - error (recursion) 3.4  1.9  72   260 true 18   9.7 350 490
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 2 wit inspect .16 .15 1.4 9.4 .012 0    - - error (recursion) 3.6  2.1  53   260 true 26   15   290 590
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 2 wit inspect .15 .14 1.8 9.5 .012 0    - - error (recursion) 3.5  2.0  73   260 true 34   20   460 720
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.5 9.2 .012 0    - - error (recursion) 3.9  2.2  31   260 true 41   24   600 800
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 2.0 9.3 .012 0    - - error (recursion) 3.3  1.9  42   260 true 13   7.2 200 440
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.3 9.4 .012 0    - - error (recursion) 3.5  2.0  57   260 true 23   13   440 560
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.5 9.5 .012 0    - - error (recursion) 3.5  2.0  62   260 true 30   17   440 640
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 2 wit inspect .15 .15 1.5 9.3 .012 0    - - error (recursion) 3.7  2.0  52   250 true 37   21   530 710
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 2 wit inspect .13 .13 1.3 9.5 .012 0    - - error (recursion) 3.5  2.0  65   260 true 56   33   690 890
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect .16 .15 1.4 9.3 .012 0    - - error (recursion) 3.4  1.9  78   250 true 13   7.2 170 410
recursive-simple/sum_non_eq_true-unreach-call.c true 2 wit inspect .16 .16 1.4 9.4 .012 0    - - error (recursion) 4.0  2.2  53   260 true 11   6.0 130 340
recursive-simple/sum_non_true-unreach-call_true-termination.c true 2 wit inspect .21 .33 1.9 17   .012 8.0  - - error (recursion) 3.4  1.9  56   260 true 11   6.0 150 350
../../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 91 17000   17000   220000 110000 1.2   35    98 530 320 10000 25000   98 1200 680 19000 63000   98 130 76 2100 9500   98 8200 7300 190000 65000  
    correct results 57 84 8.6 8.6 90 540 .70  9.1  30 170 94 2700 9200   30 280 150 3800 10000   3 97 55 1500 7000   27 1300 980 20000 28000  
        correct true 27 54 4.1 4.1 42 260 .33  8.3  3 0 0 0 0   22 0 0 0 0   3 97 55 1500 7000   27 1300 980 20000 28000  
        correct false 30 30 4.5 4.4 47 280 .37  .76 27 170 94 2700 9200   8 280 150 3800 10000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 22 7 12   12   150 2100 .27  18    14 360 230 7300 16000   7 910 530 15000 53000   0 26 15 400 1800   0 6700 6300 170000 32000  
        correct-unconfirmed true 7 7 2.4 2.6 26 180 .086 18    14 0 0 0 0   7 0 0 0 0   0 26 15 400 1800   0 6700 6300 170000 32000  
        correct-unconfirmed false 15 0 9.9 9.8 120 1900 .18  0    0 360 230 7300 16000   0 910 530 15000 53000   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) 91
Run set sv-comp17.ReachSafety-Recursive