Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET
Run set sv-comp19_prop-reachsafety.ReachSafety-Recursive
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 9.96 5.97 292081664
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 10.0  6.01 255250432
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 8.97 5.41 256610304
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 7.69 4.66 242864128
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 14.7  9.04 489656320
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 30.2  18.2  784429056
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c false(unreach-call) 6.96 4.29 234225664
recursive/Ackermann01_true-unreach-call_true-no-overflow.c true 20.1  12.6  505667584
recursive/Ackermann03_true-unreach-call_true-no-overflow.c true 59.6  38.4  1005649920
recursive/Ackermann04_true-unreach-call_true-no-overflow.c true 44.6  27.6  723963904
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c true 12.9  7.68 376877056
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c true 594    490    2214555648
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    774    973115392
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c true 14.9  9.19 508289024
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 49.9  31.9  1330085888
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c true 40.9  24.5  945135616
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 11.7  6.93 310255616
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 901    809    2291998720
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 901    780    991899648
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 13.3  8.03 389308416
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c timeout 901    770    887332864
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    827    6198788096
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 9.84 5.83 269955072
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 44.7  38.2  857546752
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c false(unreach-call) 7.83 4.73 247132160
recursive-simple/afterrec_false-unreach-call_true-termination.c false(unreach-call) 9.38 5.53 269656064
recursive-simple/fibo_10_false-unreach-call_true-termination.c false(unreach-call) 39.9  25.4  1815203840
recursive-simple/fibo_15_false-unreach-call.c false(unreach-call) 537    479    4809535488
recursive-simple/fibo_20_false-unreach-call.c timeout 901    847    4952494080
recursive-simple/fibo_25_false-unreach-call.c timeout 901    850    4740980736
recursive-simple/fibo_2calls_10_false-unreach-call.c false(unreach-call) 80.2  51.9  3048542208
recursive-simple/fibo_2calls_15_false-unreach-call.c timeout 901    840    4892209152
recursive-simple/fibo_2calls_20_false-unreach-call.c timeout 901    840    4900118528
recursive-simple/fibo_2calls_25_false-unreach-call.c timeout 901    830    4928733184
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c false(unreach-call) 9.78 5.91 265293824
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c false(unreach-call) 13.7  8.51 454340608
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c false(unreach-call) 26.0  15.9  590753792
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c false(unreach-call) 31.9  20.0  654823424
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c false(unreach-call) 45.9  28.7  958124032
recursive-simple/fibo_5_false-unreach-call_true-termination.c false(unreach-call) 19.2  12.0  577146880
recursive-simple/fibo_7_false-unreach-call_true-termination.c false(unreach-call) 22.0  13.4  608759808
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 11.5  6.85 293806080
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 12.6  7.60 391094272
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 11.3  6.67 274812928
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c false(unreach-call) 18.9  12.0  563458048
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c false(unreach-call) 32.4  21.2  672043008
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c false(unreach-call) 40.0  27.3  750198784
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c false(unreach-call) 50.6  34.3  819560448
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c false(unreach-call) 12.2  7.33 379740160
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c timeout 900    876    704016384
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c timeout 901    872    710434816
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 19.7  12.2  516947968
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c timeout 901    875    658829312
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 326    309    698204160
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 10.9  6.51 288718848
recursive-simple/sum_10x0_false-unreach-call_true-termination.c false(unreach-call) 18.8  11.1  496422912
recursive-simple/sum_15x0_false-unreach-call_true-termination.c false(unreach-call) 23.4  14.5  588148736
recursive-simple/sum_20x0_false-unreach-call_true-termination.c false(unreach-call) 34.1  21.4  687652864
recursive-simple/sum_25x0_false-unreach-call_true-termination.c false(unreach-call) 47.1  30.3  729886720
recursive-simple/sum_2x3_false-unreach-call_true-termination.c false(unreach-call) 9.11 5.44 257671168
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c false(unreach-call) 6.94 4.26 231088128
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 7.80 4.73 245645312
recursive-simple/afterrec_true-unreach-call_true-termination.c true 8.34 5.02 245805056
recursive-simple/fibo_10_true-unreach-call_true-termination.c true 73.7  47.0  2272608256
recursive-simple/fibo_15_true-unreach-call.c timeout 901    829    6335283200
recursive-simple/fibo_20_true-unreach-call.c timeout 901    850    4920266752
recursive-simple/fibo_25_true-unreach-call.c timeout 901    852    4946767872
recursive-simple/fibo_2calls_10_true-unreach-call.c true 176    118    4496973824
recursive-simple/fibo_2calls_15_true-unreach-call.c timeout 901    837    5113835520
recursive-simple/fibo_2calls_20_true-unreach-call.c timeout 901    835    5138321408
recursive-simple/fibo_2calls_25_true-unreach-call.c timeout 901    839    5222035456
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 14.8  8.86 415518720
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 24.4  14.9  630968320
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 32.9  20.5  678334464
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 46.7  28.6  727175168
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 75.8  47.3  1303478272
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 25.3  15.4  577769472
recursive-simple/fibo_7_true-unreach-call_true-termination.c true 38.2  23.5  782311424
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 16.5  9.69 449294336
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 17.6  10.8  510623744
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 17.9  10.9  515448832
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 17.7  11.0  504717312
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 13.9  8.47 380772352
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 9.54 5.78 266092544
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 10.3  6.13 267137024
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 21.2  12.9  502771712
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 28.4  17.9  673308672
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 40.6  25.6  728641536
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 49.9  32.8  831090688
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 14.1  8.47 429420544
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 24.0  15.0  597684224
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 35.4  22.5  663461888
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 51.5  33.0  768192512
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 65.7  44.5  899203072
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 12.5  7.63 380141568
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 11.9  7.10 313196544
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 96 20600 18400 126496423936
    correct results 77 3520 2590 56988962816
        correct true 41 1900 1330 31495077888
        correct false 36 1620 1260 25493884928
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (96 tasks, max score: 148) 118
Run set sv-comp19_prop-reachsafety.ReachSafety-Recursive