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 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-nooverflow.NoOverflows-Other sv-comp19_prop-nooverflow.NoOverflows-Other
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
recursive/Addition02WithOverflowBug_false-no-overflow.c false(no-overflow) 7.48 4.55 242167808 false(no-overflow) 7.40 4.53 244441088
recursive/Addition03_false-no-overflow.c false(no-overflow) 7.35 4.45 244908032 false(no-overflow) 7.16 4.38 245317632
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c false(no-overflow) 8.37 5.03 247996416 false(no-overflow) 8.33 4.97 247336960
recursive/Ackermann01_true-unreach-call_true-no-overflow.c timeout 901    751    7346651136 timeout 901    756    6587441152
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    754    7516217344 timeout 901    759    6629683200
recursive/Ackermann03_true-unreach-call_true-no-overflow.c timeout 901    760    6523711488 timeout 901    752    7262760960
recursive/Ackermann04_true-unreach-call_true-no-overflow.c timeout 901    751    6889017344 timeout 900    749    7377227776
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    766    2265128960 timeout 901    765    2433576960
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c timeout 901    768    2398294016 timeout 901    766    2387599360
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c timeout 901    806    1782640640 timeout 900    804    1907818496
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 6.91 4.31 238186496 true 7.10 4.35 240181248
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c true 19.2  11.8  507555840 true 18.2  11.3  492331008
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c true 19.2  11.8  507125760 true 18.7  11.2  498900992
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c timeout 902    826    5947895808 timeout 901    830    5708328960
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 45.4  29.1  1106341888 true 53.8  33.3  1119141888
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c timeout 901    831    5410820096 timeout 901    830    5866876928
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c timeout 901    823    5490077696 timeout 901    824    5582217216
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c timeout 901    832    5200433152 timeout 901    835    5102530560
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c true 12.1  7.24 356741120 true 11.7  6.94 348487680
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c true 11.9  7.24 356737024 true 11.8  7.12 353607680
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c timeout 901    763    978640896 timeout 901    767    900608000
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c timeout 901    770    1019064320 timeout 901    777    1054380032
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c true 9.64 5.78 267681792 true 9.85 5.82 267300864
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c true 20.2  12.7  513925120 true 20.2  12.8  496046080
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c timeout 901    776    4474171392 timeout 901    782    4656513024
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 116    81.5  1017212928 true 115    80.3  1077968896
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error (7) 340    313    2580742144 error (7) 327    298    2578210816
recursive-simple/id_b3_o2_false-no-overflow.c false(no-overflow) 8.03 4.88 247472128 false(no-overflow) 8.16 4.92 248684544
recursive-simple/id_b3_o5_false-no-overflow.c false(no-overflow) 8.57 5.18 246272000 false(no-overflow) 8.91 5.28 252866560
recursive-simple/id_b5_o10_false-no-overflow.c false(no-overflow) 8.00 4.81 248352768 false(no-overflow) 8.49 5.03 248119296
recursive-simple/sum_non_eq_false-no-overflow.c false(no-overflow) 8.42 4.98 247689216 false(no-overflow) 8.48 5.04 247635968
recursive-simple/sum_non_false-no-overflow.c false(no-overflow) 9.19 5.53 253394944 false(no-overflow) 9.83 5.91 253952000
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 7.10 4.40 237559808 true 7.48 4.51 241119232
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 6.99 4.36 244289536 true 7.76 4.63 239955968
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 7.65 4.63 241385472 true 7.59 4.68 240197632
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 7.34 4.41 241807360 true 8.16 4.93 242208768
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c true 7.25 4.43 226922496 true 7.09 4.35 237510656
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c true 9.76 5.86 276209664 true 10.2  6.10 277127168
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c true 11.4  6.76 270888960 true 10.5  6.23 281747456
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c true 9.62 5.78 273506304 true 10.6  6.27 279527424
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c true 8.30 4.96 233877504 true 7.69 4.60 228474880
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c true 7.30 4.40 238481408 true 8.33 4.85 241266688
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c true 8.17 4.83 229220352 true 7.58 4.47 235286528
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c true 6.87 4.29 239673344 true 7.15 4.54 238776320
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c true 7.94 4.85 237346816 true 7.43 4.52 240271360
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c true 6.57 4.11 239181824 true 6.74 4.20 230465536
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c true 8.86 5.21 240373760 true 7.48 4.42 239751168
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c true 6.85 4.17 228442112 true 7.50 4.56 239394816
bitvector/byte_add_1_false-no-overflow.i error 33.9  21.1  587214848 error 37.5  22.9  594886656
bitvector/byte_add_2_false-no-overflow.i error 36.5  21.7  625332224 error 33.8  20.2  633405440
bitvector/byte_add_false-no-overflow.i error 59.8  40.4  713084928 error 59.8  40.4  698658816
bitvector/jain_1_false-no-overflow.i false(no-overflow) 6.79 4.22 232460288 false(no-overflow) 7.51 4.52 232271872
bitvector/jain_2_false-no-overflow.i false(no-overflow) 6.82 4.30 243884032 false(no-overflow) 7.71 4.63 241979392
bitvector/jain_4_false-no-overflow.i false(no-overflow) 7.54 4.60 242794496 false(no-overflow) 7.43 4.61 246403072
bitvector/jain_5_false-no-overflow.i timeout 901    772    1803149312 timeout 901    771    2019037184
bitvector/jain_6_false-no-overflow.i false(no-overflow) 9.06 5.36 243478528 false(no-overflow) 7.55 4.59 243548160
bitvector/jain_7_false-no-overflow.i false(no-overflow) 7.40 4.51 240340992 false(no-overflow) 7.64 4.63 246022144
bitvector/modulus_false-no-overflow.i error 7.56 4.69 243822592 error 7.59 4.53 241733632
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 8.87 5.25 263790592 true 9.36 5.53 257306624
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 10.2  6.03 263106560 true 9.10 5.37 262455296
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 8.92 5.35 254918656 true 9.47 5.54 255217664
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true 9.95 5.89 252018688 true 8.48 5.13 252231680
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 7.95 4.92 246083584 true 9.08 5.43 259989504
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true 8.38 5.04 248791040 true 8.42 5.05 250048512
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 18.4  11.3  496054272 true 16.8  10.3  489177088
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 7.07 4.34 231247872 true 7.12 4.38 229302272
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 6.65 4.12 226557952 true 7.13 4.29 226705408
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 7.24 4.39 226197504 true 7.42 4.50 231890944
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 6.64 4.15 227852288 true 7.50 4.59 226156544
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 7.04 4.37 226418688 true 7.14 4.36 226820096
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 6.81 4.24 230862848 true 6.93 4.24 226963456
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 7.03 4.25 227741696 true 7.40 4.48 230363136
bitvector/modulus_true-unreach-call_true-no-overflow.i error 7.62 4.59 242499584 error 7.24 4.44 241549312
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i error 7.27 4.35 240697344 error 7.24 4.41 242864128
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i error 7.02 4.32 240906240 error 7.46 4.56 241639424
bitvector/parity_true-unreach-call_true-no-overflow.i true 8.52 4.93 243699712 true 7.15 4.34 239747072
bitvector/sum02_false-unreach-call_true-no-overflow.i true 6.81 4.24 230682624 true 7.42 4.48 231923712
bitvector/sum02_true-unreach-call_true-no-overflow.i true 7.06 4.32 228671488 true 6.90 4.33 233508864
psyco/psyco_abp_1_false-no-overflow.c timeout 901    805    5290958848 timeout 901    816    4924219392
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 79 15600 13400   92087754752 79 15500 13400   92229201920
    correct results 55 635 398   16276582400 55 643 400   16355434496
        correct true 42 532 336   13095370752 42 538 337   13156855808
        correct false 13 103 62.4 3181211648 13 105 63.1 3198578688
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (79 tasks, max score: 139) 97 97
Run set sv-comp19_prop-nooverflow.NoOverflows-Other sv-comp19_prop-nooverflow.NoOverflows-Other