| 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-Loops | sv-comp19_prop-reachsafety.ReachSafety-Loops | ||||||
| Options | --full-output | --full-output | ||||||
| ../../../../../svcomp/c/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| loops/ludcmp_false-unreach-call.i | error (7) | 77.9 | 62.0 | 904351744 | true | 270 | 240 | 4316450816 |
| loops/s3_false-unreach-call.i | error (7) | 14.9 | 8.16 | 237932544 | true | 187 | 141 | 859729920 |
| loops/n.c40_true-unreach-call_true-termination.i | error (7) | 24.2 | 16.9 | 271675392 | true | 12.9 | 7.38 | 347947008 |
| loops/nec40_true-unreach-call_true-termination.i | error (7) | 24.3 | 16.8 | 278478848 | true | 11.4 | 6.64 | 311586816 |
| loops/heavy_true-unreach-call.c | true | 28.0 | 16.0 | 2540449792 | out of memory | 107 | 61.8 | 8000000000 |
| loops/heavy_false-unreach-call.c | timeout | 901 | 844 | 5476962304 | out of memory | 102 | 60.9 | 8000000000 |
| ../../../../../svcomp/c/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| total | 6 | 1070 | 964 | 9709850624 | 6 | 691 | 518 | 21835714560 |
| correct results | 1 | 28.0 | 16.0 | 2540449792 | 2 | 24.3 | 14.0 | 659533824 |
| correct true | 1 | 28.0 | 16.0 | 2540449792 | 2 | 24.3 | 14.0 | 659533824 |
| correct false | 0 | 0 | ||||||
| incorrect results | 0 | 2 | 457 | 381 | 5176180736 | |||
| incorrect true | 0 | 2 | 457 | 381 | 5176180736 | |||
| incorrect false | 0 | 0 | ||||||
| score (6 tasks, max score: 9) | 2 | -60 | ||||||
| Run set | sv-comp19_prop-reachsafety.ReachSafety-Loops | sv-comp19_prop-reachsafety.ReachSafety-Loops | ||||||