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.Systems_BusyBox_NoOverflows
Options --full-output
../../../../../svcomp/c/busybox-1.22.0/ status cputime (s) walltime (s) memUsage
chgrp-incomplete_false-no-overflow.i unknown 7.84 4.42 231550976
chroot-incomplete_false-no-overflow.i unknown 7.97 4.45 242724864
cut_false-no-overflow.i unknown 9.21 4.90 242601984
date_false-no-overflow.i unknown 9.17 4.91 240173056
du_false-no-overflow.i unknown 9.49 5.60 244854784
echo_false-no-overflow.i unknown 8.82 4.77 238444544
expand_false-no-overflow.i unknown 9.37 5.02 243007488
fold_false-no-overflow.i unknown 8.51 4.56 237494272
head_false-no-overflow.i unknown 10.5  6.04 241303552
logname_false-no-overflow.i unknown 8.24 4.49 234360832
ls-incomplete_false-no-overflow.i error (7) 10.5  6.20 263368704
mkdir_false-no-overflow.i unknown 12.2  6.61 250470400
mkfifo-incomplete_false-no-overflow.i unknown 7.70 4.18 231321600
od_false-no-overflow.i unknown 9.63 5.20 255664128
printf_false-no-overflow.i unknown 9.13 4.99 246468608
readlink_false-no-overflow.i unknown 11.3  6.47 239702016
realpath_false-no-overflow.i unknown 8.85 4.76 224169984
rm_false-no-overflow.i unknown 9.57 5.16 251899904
seq_false-no-overflow.i unknown 10.0  5.38 232792064
sleep_false-no-overflow.i unknown 8.72 4.74 238190592
stty_false-no-overflow.i unknown 9.69 5.60 305381376
sync_false-no-overflow.i unknown 7.46 4.07 229736448
tac_false-no-overflow.i unknown 10.0  6.03 244916224
tee_false-no-overflow.i unknown 8.72 4.71 233693184
test-incomplete_false-no-overflow.i unknown 9.37 5.04 249548800
touch_false-no-overflow.i unknown 11.0  6.22 234508288
uname_false-no-overflow.i unknown 8.79 4.65 243638272
uniq_false-no-overflow.i unknown 9.01 4.75 234618880
usleep_false-no-overflow.i unknown 8.83 4.73 232505344
uudecode_false-no-overflow.i unknown 11.6  6.74 255082496
wc_false-no-overflow.i unknown 8.41 4.53 248479744
who_false-no-overflow.i unknown 8.84 4.87 252485632
whoami-incomplete_false-no-overflow.i unknown 8.78 4.72 241664000
yes_false-no-overflow.i unknown 8.96 4.87 226029568
basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i timeout 901    863    2379640832
chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 8.55 4.54 236179456
chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.41 4.59 235376640
cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.92 4.80 244932608
date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.5  6.10 253222912
dirname_true-no-overflow_true-valid-memsafety.i error (7) 684    653    2228277248
du_true-no-overflow_true-valid-memsafety.i unknown 9.99 5.83 245760000
echo_true-no-overflow_true-valid-memsafety.i unknown 8.41 4.52 235278336
expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.92 5.72 256282624
fold_true-no-overflow_true-valid-memsafety.i unknown 9.28 4.92 234442752
head_true-no-overflow_true-valid-memsafety.i unknown 8.77 4.74 239013888
hostid_true-no-overflow_true-valid-memsafety.i true 22.7  12.3  535752704
logname_true-no-overflow_true-valid-memsafety.i unknown 8.74 4.73 242454528
ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 11.0  6.56 273752064
mkdir_true-no-overflow_true-valid-memsafety.i unknown 9.68 5.09 238542848
mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.30 222343168
od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.46 5.58 254541824
printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.38 5.48 244088832
readlink_true-no-overflow_true-valid-memsafety.i unknown 8.43 4.58 233000960
realpath_true-no-overflow_true-valid-memsafety.i unknown 8.04 4.44 231075840
rm_true-no-overflow_true-valid-memsafety.i unknown 8.73 4.74 249348096
seq_true-no-overflow_true-valid-memsafety.i unknown 9.34 4.97 240754688
sleep_true-no-overflow_true-valid-memsafety.i unknown 8.88 4.83 240750592
stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 11.4  6.74 325206016
sync_true-no-overflow_true-valid-memsafety.i unknown 7.98 4.35 223899648
tac_true-no-overflow_true-valid-memsafety.i unknown 8.58 4.63 236732416
tee_true-no-overflow_true-valid-memsafety.i unknown 8.79 5.20 240705536
test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.48 5.12 249397248
touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.70 5.66 249114624
uname_true-no-overflow_true-valid-memsafety.i unknown 8.06 4.40 234999808
uniq_true-no-overflow_true-valid-memsafety.i unknown 9.03 4.80 242970624
usleep_true-no-overflow_true-valid-memsafety.i unknown 8.33 4.53 228880384
uudecode_true-no-overflow_true-valid-memsafety.i unknown 9.69 5.19 259846144
wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.09 4.82 243978240
who_true-no-overflow_true-valid-memsafety.i unknown 9.04 4.90 247562240
whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.78 4.71 236658688
yes_true-no-overflow_true-valid-memsafety.i unknown 8.46 4.57 229781504
../../../../../svcomp/c/busybox-1.22.0/ status cputime (s) walltime (s) memUsage
total 71 2230   1870   21707399168
    correct results 1 22.7 12.3 535752704
        correct true 1 22.7 12.3 535752704
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (71 tasks, max score: 108) 2
Run set sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows