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-memsafety.Systems_BusyBox_MemSafety
Options --full-output
../../../../../svcomp/c/busybox-1.22.0/ status cputime (s) walltime (s) memUsage
basename_false-valid-deref.i timeout 901    838    2680139776
head_false-valid-deref.i unknown 8.89 4.77 245288960
sleep_false-valid-deref.i unknown 9.39 5.01 243499008
chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 8.88 4.79 238583808
basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 248    213    2930503680
chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.52 4.72 230408192
cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.65 5.08 245854208
date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.78 5.77 253227008
dirname_true-no-overflow_true-valid-memsafety.i timeout 901    832    3111165952
du_true-no-overflow_true-valid-memsafety.i unknown 9.46 5.10 241364992
echo_true-no-overflow_true-valid-memsafety.i unknown 8.06 4.52 241135616
expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.47 4.62 239480832
fold_true-no-overflow_true-valid-memsafety.i unknown 9.27 4.94 242601984
head_true-no-overflow_true-valid-memsafety.i unknown 8.53 4.59 233832448
hostid_true-no-overflow_true-valid-memsafety.i timeout 901    822    1530310656
logname_true-no-overflow_true-valid-memsafety.i unknown 8.28 4.59 229806080
ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 21.7  12.4  265920512
mkdir_true-no-overflow_true-valid-memsafety.i unknown 9.00 4.92 250105856
mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.62 4.63 222932992
od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.93 5.66 260567040
printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.62 5.20 251441152
readlink_true-no-overflow_true-valid-memsafety.i unknown 8.18 4.57 237166592
realpath_true-no-overflow_true-valid-memsafety.i unknown 8.48 4.63 227741696
rm_true-no-overflow_true-valid-memsafety.i unknown 9.83 5.77 257298432
seq_true-no-overflow_true-valid-memsafety.i unknown 8.43 4.62 237334528
sleep_true-no-overflow_true-valid-memsafety.i unknown 9.57 5.14 243347456
stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.1  5.89 306933760
sync_true-no-overflow_true-valid-memsafety.i unknown 8.23 4.49 227721216
tac_true-no-overflow_true-valid-memsafety.i unknown 9.41 5.05 232112128
tee_true-no-overflow_true-valid-memsafety.i unknown 9.25 4.99 250707968
test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.3  5.47 254582784
touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 10.1  5.84 255504384
uname_true-no-overflow_true-valid-memsafety.i unknown 8.44 4.55 245714944
uniq_true-no-overflow_true-valid-memsafety.i unknown 9.03 4.82 238452736
usleep_true-no-overflow_true-valid-memsafety.i unknown 9.22 4.95 235212800
uudecode_true-no-overflow_true-valid-memsafety.i unknown 9.98 5.78 252604416
wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.46 5.43 243621888
who_true-no-overflow_true-valid-memsafety.i unknown 9.12 4.89 244723712
whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.48 4.57 238075904
yes_true-no-overflow_true-valid-memsafety.i unknown 8.88 4.73 227393536
../../../../../svcomp/c/busybox-1.22.0/ status cputime (s) walltime (s) memUsage
total 40 3290 2890 19044421632
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (40 tasks, max score: 76) 0
Run set sv-comp19_prop-memsafety.Systems_BusyBox_MemSafety