| 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-reachsafety.ReachSafety-Heap | sv-comp19_prop-reachsafety.ReachSafety-Heap | ||||||
| Options | --full-output | --full-output | ||||||
| ../../../../../svcomp/c/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| heap-manipulation/tree_false-unreach-call_false-valid-deref.i | timeout | 900 | 890 | 908374016 | false(unreach-call) | 38.5 | 29.1 | 703057920 |
| heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i | timeout | 900 | 852 | 2400526336 | true | 873 | 834 | 2381082624 |
| ldv-regression/test23_true-unreach-call.c | error (7) | 676 | 636 | 897187840 | true | 78.1 | 55.5 | 893390848 |
| list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i | true | 115 | 98.6 | 806866944 | error (7) | 266 | 248 | 653611008 |
| list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i | error (7) | 469 | 443 | 746446848 | timeout | 900 | 882 | 653377536 |
| list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i | timeout | 900 | 877 | 739094528 | true | 172 | 152 | 688726016 |
| list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i | true | 450 | 400 | 1953644544 | timeout | 901 | 853 | 844509184 |
| list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i | timeout | 901 | 859 | 2275540992 | error (7) | 733 | 697 | 2354429952 |
| ../../../../../svcomp/c/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| total | 8 | 5310 | 5060 | 10727682048 | 8 | 3960 | 3750 | 9172185088 |
| correct results | 2 | 565 | 499 | 2760511488 | 4 | 1160 | 1070 | 4666257408 |
| correct true | 2 | 565 | 499 | 2760511488 | 3 | 1120 | 1040 | 3963199488 |
| correct false | 0 | 1 | 38.5 | 29.1 | 703057920 | |||
| incorrect results | 0 | 0 | ||||||
| incorrect true | 0 | 0 | ||||||
| incorrect false | 0 | 0 | ||||||
| score (8 tasks, max score: 15) | 4 | 7 | ||||||
| Run set | sv-comp19_prop-reachsafety.ReachSafety-Heap | sv-comp19_prop-reachsafety.ReachSafety-Heap | ||||||