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-nooverflow.NoOverflows-Other
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 7.48 4.55 242167808
recursive/Addition03_false-no-overflow.c false(no-overflow) 7.35 4.45 244908032
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 8.37 5.03 247996416
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 901    751    7346651136
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    754    7516217344
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 901    760    6523711488
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 901    751    6889017344
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    766    2265128960
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    768    2398294016
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 901    806    1782640640
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 6.91 4.31 238186496
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 19.2  11.8  507555840
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c true 19.2  11.8  507125760
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout 902    826    5947895808
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 45.4  29.1  1106341888
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 901    831    5410820096
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 901    823    5490077696
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 901    832    5200433152
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 12.1  7.24 356741120
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 11.9  7.24 356737024
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 901    763    978640896
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 901    770    1019064320
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 9.64 5.78 267681792
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 20.2  12.7  513925120
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    776    4474171392
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 116    81.5  1017212928
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error (7) 340    313    2580742144
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 8.03 4.88 247472128
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 8.57 5.18 246272000
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 8.00 4.81 248352768
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 8.42 4.98 247689216
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 9.19 5.53 253394944
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 7.10 4.40 237559808
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 6.99 4.36 244289536
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 7.65 4.63 241385472
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 7.34 4.41 241807360
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 7.25 4.43 226922496
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 9.76 5.86 276209664
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 11.4  6.76 270888960
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 9.62 5.78 273506304
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 8.30 4.96 233877504
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 7.30 4.40 238481408
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 8.17 4.83 229220352
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 6.87 4.29 239673344
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 7.94 4.85 237346816
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 6.57 4.11 239181824
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 8.86 5.21 240373760
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 6.85 4.17 228442112
bitvector/byte_add_1_false-no-overflow.i error 33.9  21.1  587214848
bitvector/byte_add_2_false-no-overflow.i error 36.5  21.7  625332224
bitvector/byte_add_false-no-overflow.i error 59.8  40.4  713084928
bitvector/jain_1_false-no-overflow.i false(no-overflow) 6.79 4.22 232460288
bitvector/jain_2_false-no-overflow.i false(no-overflow) 6.82 4.30 243884032
bitvector/jain_4_false-no-overflow.i false(no-overflow) 7.54 4.60 242794496
bitvector/jain_5_false-no-overflow.i timeout 901    772    1803149312
bitvector/jain_6_false-no-overflow.i false(no-overflow) 9.06 5.36 243478528
bitvector/jain_7_false-no-overflow.i false(no-overflow) 7.40 4.51 240340992
bitvector/modulus_false-no-overflow.i error 7.56 4.69 243822592
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 8.87 5.25 263790592
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 10.2  6.03 263106560
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 8.92 5.35 254918656
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 9.95 5.89 252018688
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 7.95 4.92 246083584
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 8.38 5.04 248791040
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 18.4  11.3  496054272
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 7.07 4.34 231247872
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 6.65 4.12 226557952
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 7.24 4.39 226197504
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 6.64 4.15 227852288
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 7.04 4.37 226418688
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 6.81 4.24 230862848
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 7.03 4.25 227741696
bitvector/modulus_true-unreach-call_true-no-overflow.i error 7.62 4.59 242499584
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i error 7.27 4.35 240697344
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i error 7.02 4.32 240906240
bitvector/parity_true-unreach-call_true-no-overflow.i true 8.52 4.93 243699712
bitvector/sum02_false-unreach-call_true-no-overflow.i true 6.81 4.24 230682624
bitvector/sum02_true-unreach-call_true-no-overflow.i true 7.06 4.32 228671488
psyco/psyco_abp_1_false-no-overflow.c timeout 901    805    5290958848
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 79 15600 13400   92087754752
    correct results 55 635 398   16276582400
        correct true 42 532 336   13095370752
        correct false 13 103 62.4 3181211648
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (79 tasks, max score: 139) 97
Run set sv-comp19_prop-nooverflow.NoOverflows-Other