Tool symbiotic 3.0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-07 09:04:54 CET [[ 2016-01-15 09:39:10 CET ]] [[ 2016-01-15 22:39:28 CET ]]
Run set sv-comp16.Recursive
Options [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
recursive/Ackermann02_false-unreach-call_false-termination.c false(reach) 18     18     8.0 wit false(reach) 8.9 4.8 390 unknown 9.9 6.3 320
recursive/Addition02_false-unreach-call_false-termination.c false(reach) .25  .29  7.1 wit false(reach) 7.3 4.1 360 unknown 11   6.3 340
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call.c false(reach) .16  .20  6.8 wit false(reach) 7.2 4.0 350 unknown 10   7.3 310
recursive/EvenOdd03_false-unreach-call_false-termination.c false(reach) 19     19     6.4 wit false(reach) 6.5 3.7 350 unknown 9.7 5.7 320
recursive/Fibonacci04_false-unreach-call_true-termination.c false(reach) 54     54     7.4 wit false(reach) 36   20   920 unknown 9.3 5.6 310
recursive/Fibonacci05_false-unreach-call_true-termination.c witness timeout 110     110     7.9 wit timeout 91   65   1600 unknown 9.8 5.6 330
recursive/McCarthy91_false-unreach-call_false-termination.c false(reach) .27  .30  7.9 wit false(reach) 4.8 2.8 250 unknown 9.6 5.7 310
recursive/Ackermann01_true-unreach-call.c timeout 900     900     90   wit - -
recursive/Ackermann03_true-unreach-call.c timeout 900     900     52   wit - -
recursive/Ackermann04_true-unreach-call.c timeout 900     900     52   wit - -
recursive/Addition01_true-unreach-call_true-termination.c timeout 900     900     9.0 wit - -
recursive/Addition03_true-unreach-call.c timeout 900     900     8.6 wit - -
recursive/EvenOdd01_true-unreach-call_true-termination.c timeout 900     900     7.4 wit - -
recursive/Fibonacci01_true-unreach-call.c timeout 900     900     110   wit - -
recursive/Fibonacci02_true-unreach-call_true-termination.c true 18     18     6.0 wit - -
recursive/Fibonacci03_true-unreach-call_true-termination.c timeout 900     900     110   wit - -
recursive/McCarthy91_true-unreach-call.c timeout 900     910     59   wit - -
recursive/MultCommutative_true-unreach-call_true-termination.c timeout 900     900     8.7 wit - -
recursive/Primes_true-unreach-call.c timeout 900     900     11   wit - -
recursive/gcd01_true-unreach-call_true-termination.c timeout 900     920     110   wit - -
recursive/gcd02_true-unreach-call.c timeout 900     900     20   wit - -
recursive/recHanoi01_true-unreach-call_true-termination.c timeout 900     900     110   wit - -
recursive/recHanoi02_true-unreach-call_true-termination.c true 36     36     7.6 wit - -
recursive/recHanoi03_true-unreach-call_true-termination.c true 71     71     7.8 wit - -
recursive-simple/afterrec_2calls_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 5.1 3.0 250 unknown 9.8 5.9 310
recursive-simple/afterrec_false-unreach-call.c false(reach) 18     18     6.4 wit false(reach) 5.4 3.1 340 unknown 8.7 5.0 300
recursive-simple/fibo_10_false-unreach-call.c false(reach) 18     18     6.7 wit false(reach) 14   7.3 510 unknown 9.3 5.8 300
recursive-simple/fibo_15_false-unreach-call.c witness timeout 20     20     9.1 wit timeout (false(reach)) 91   61   2500 unknown 9.1 5.6 300
recursive-simple/fibo_20_false-unreach-call.c witness timeout 390     390     45   wit timeout 90   69   1900 unknown 9.4 5.4 310
recursive-simple/fibo_25_false-unreach-call.c timeout 900     900     50   wit - -
recursive-simple/fibo_2calls_10_false-unreach-call.c false(reach) 18     18     6.9 wit false(reach) 15   8.0 500 unknown 12   6.4 340
recursive-simple/fibo_2calls_15_false-unreach-call.c witness timeout 21     21     9.3 wit timeout 90   60   1700 unknown 11   6.1 340
recursive-simple/fibo_2calls_20_false-unreach-call.c witness timeout 380     380     45   wit timeout 91   55   2000 unknown 9.0 5.2 310
recursive-simple/fibo_2calls_25_false-unreach-call.c timeout 900     900     51   wit - -
recursive-simple/fibo_2calls_2_false-unreach-call.c false(reach) 18     18     6.8 wit false(reach) 5.3 3.0 240 unknown 11   6.5 330
recursive-simple/fibo_2calls_4_false-unreach-call.c false(reach) 18     18     6.7 wit false(reach) 7.7 4.3 360 unknown 8.6 4.9 310
recursive-simple/fibo_2calls_5_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 7.4 4.2 370 unknown 8.9 5.2 320
recursive-simple/fibo_2calls_6_false-unreach-call.c false(reach) 18     18     6.5 wit false(reach) 8.1 4.6 390 unknown 9.7 5.8 330
recursive-simple/fibo_2calls_8_false-unreach-call.c false(reach) 18     18     6.7 wit false(reach) 9.6 5.4 440 unknown 8.6 5.0 330
recursive-simple/fibo_5_false-unreach-call.c false(reach) 18     18     6.5 wit false(reach) 6.8 3.9 370 unknown 9.0 5.5 300
recursive-simple/fibo_7_false-unreach-call.c false(reach) 18     18     6.7 wit false(reach) 8.9 4.9 400 unknown 9.6 5.4 300
recursive-simple/id2_b3_o2_false-unreach-call.c false(reach) 18     18     6.8 wit false(reach) 7.7 4.3 360 unknown 9.9 6.2 290
recursive-simple/id2_i5_o5_false-unreach-call.c false(reach) 18     18     8.2 wit false(reach) 6.9 3.8 360 unknown 9.8 5.7 330
recursive-simple/id_b3_o2_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 6.8 3.9 360 unknown 8.5 5.4 300
recursive-simple/id_i10_o10_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 7.0 4.1 350 unknown 9.7 7.0 310
recursive-simple/id_i15_o15_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 7.2 4.1 360 unknown 8.4 4.8 300
recursive-simple/id_i20_o20_false-unreach-call.c false(reach) 18     18     6.7 wit false(reach) 7.9 4.4 370 unknown 9.8 5.6 330
recursive-simple/id_i25_o25_false-unreach-call.c false(reach) 18     18     6.8 wit false(reach) 7.8 4.6 380 unknown 10   6.1 310
recursive-simple/id_i5_o5_false-unreach-call.c false(reach) 18     18     6.9 wit false(reach) 7.1 4.0 360 unknown 9.3 5.6 300
recursive-simple/id_o1000_false-unreach-call.c witness invalid (exception) 130     130     270   wit exception 13   7.2 430 unknown 8.6 5.0 310
recursive-simple/id_o100_false-unreach-call.c witness unconfirmed .91  1.2   11   wit true 44   26   1500 unknown 9.8 5.5 320
recursive-simple/id_o10_false-unreach-call.c witness unconfirmed .11  .15  6.5 wit true 6.8 3.9 280 unknown 8.9 5.4 310
recursive-simple/id_o200_false-unreach-call.c witness timeout 2.9   3.5   21   wit timeout 91   69   1800 unknown 10   6.0 320
recursive-simple/id_o20_false-unreach-call.c witness unconfirmed .28  .35  7.1 wit true 8.8 4.8 360 unknown 11   6.1 330
recursive-simple/id_o3_false-unreach-call.c witness unconfirmed .13  .16  6.6 wit true 5.5 3.1 250 unknown 9.3 5.3 310
recursive-simple/sum_10x0_false-unreach-call.c false(reach) 18     18     7.0 wit false(reach) 7.2 4.0 360 unknown 9.3 6.7 330
recursive-simple/sum_15x0_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 7.2 4.1 370 unknown 9.2 5.2 310
recursive-simple/sum_20x0_false-unreach-call.c false(reach) 18     18     6.7 wit false(reach) 7.6 4.3 380 unknown 8.9 5.0 310
recursive-simple/sum_25x0_false-unreach-call.c false(reach) 18     18     7.9 wit false(reach) 8.8 4.9 400 unknown 9.3 5.4 300
recursive-simple/sum_2x3_false-unreach-call.c false(reach) 18     18     6.6 wit false(reach) 6.8 3.9 350 unknown 9.7 5.4 320
recursive-simple/sum_non_eq_false-unreach-call.c witness unconfirmed .21  .23  6.8 wit true 5.2 2.9 240 unknown 8.9 7.1 310
recursive-simple/sum_non_false-unreach-call.c false(reach) .14  .17  7.1 wit false(reach) 6.3 3.5 340 unknown 8.6 4.7 320
recursive-simple/afterrec_2calls_true-unreach-call.c true .061 .084 5.7 wit - -
recursive-simple/afterrec_true-unreach-call.c true .084 .11  5.6 wit - -
recursive-simple/fibo_10_true-unreach-call.c true 18     18     6.0 wit - -
recursive-simple/fibo_15_true-unreach-call.c true 20     20     9.3 wit - -
recursive-simple/fibo_20_true-unreach-call.c true 390     390     45   wit - -
recursive-simple/fibo_25_true-unreach-call.c timeout 900     900     51   wit - -
recursive-simple/fibo_2calls_10_true-unreach-call.c true 18     18     6.1 wit - -
recursive-simple/fibo_2calls_15_true-unreach-call.c true 21     21     9.2 wit - -
recursive-simple/fibo_2calls_20_true-unreach-call.c true 370     370     45   wit - -
recursive-simple/fibo_2calls_25_true-unreach-call.c timeout 900     900     51   wit - -
recursive-simple/fibo_2calls_2_true-unreach-call.c true 18     18     5.9 wit - -
recursive-simple/fibo_2calls_4_true-unreach-call.c true 18     18     5.8 wit - -
recursive-simple/fibo_2calls_5_true-unreach-call.c true 18     18     5.9 wit - -
recursive-simple/fibo_2calls_6_true-unreach-call.c true 18     18     5.7 wit - -
recursive-simple/fibo_2calls_8_true-unreach-call.c true 18     18     5.6 wit - -
recursive-simple/fibo_5_true-unreach-call.c true 18     18     5.9 wit - -
recursive-simple/fibo_7_true-unreach-call.c true 18     18     5.8 wit - -
recursive-simple/id2_b2_o3_true-unreach-call.c timeout 900     900     11   wit - -
recursive-simple/id2_b3_o5_true-unreach-call.c timeout 900     900     13   wit - -
recursive-simple/id2_b5_o10_true-unreach-call.c timeout 900     900     11   wit - -
recursive-simple/id2_i5_o5_true-unreach-call.c true 18     18     5.8 wit - -
recursive-simple/id_b2_o3_true-unreach-call.c timeout 900     900     11   wit - -
recursive-simple/id_b3_o5_true-unreach-call.c timeout 900     900     11   wit - -
recursive-simple/id_b5_o10_true-unreach-call.c timeout 900     900     10   wit - -
recursive-simple/id_i10_o10_true-unreach-call.c true 18     18     5.8 wit - -
recursive-simple/id_i15_o15_true-unreach-call.c true 18     18     5.9 wit - -
recursive-simple/id_i20_o20_true-unreach-call.c true 18     18     5.8 wit - -
recursive-simple/id_i25_o25_true-unreach-call.c true 18     18     5.8 wit - -
recursive-simple/id_i5_o5_true-unreach-call.c true 18     18     5.6 wit - -
recursive-simple/sum_10x0_true-unreach-call.c true 18     18     5.7 wit - -
recursive-simple/sum_15x0_true-unreach-call.c true 18     18     5.7 wit - -
recursive-simple/sum_20x0_true-unreach-call.c true 18     18     5.6 wit - -
recursive-simple/sum_25x0_true-unreach-call.c true 18     18     5.6 wit - -
recursive-simple/sum_2x3_true-unreach-call.c true 18     18     5.6 wit - -
recursive-simple/sum_non_eq_true-unreach-call.c timeout 900     910     1700   wit - -
recursive-simple/sum_non_true-unreach-call.c timeout 900     910     540   wit - -
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 98 26000 26000 4200 98 890   580   26000   98 410   250   14000  
    correct results 60 1800 1800 470 31 270   150   12000   0 290   180   9700  
        correct true 29 1300 1300 260 0 0   0   0   0 0   0   0  
        correct false 31 520 520 210 31 270   150   12000   0 290   180   9700  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (98 tasks, max score: 151) 89
Run set sv-comp16.Recursive