| Tool | ULTIMATE Automizer 0.1.23-d80e71f5 | |||||||||||
| Limits | timelimit: 1800 s, memlimit: 20000 MB, CPU core limit: 2 | |||||||||||
| Host | struebli | |||||||||||
| OS | Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 | |||||||||||
| System | CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB | |||||||||||
| Date of execution | 2018-10-13 12:09:15 CEST | |||||||||||
| Run set | Automizer | HeapSeparator | Automizer+HeapSeparator | |||||||||
| Options | --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf | --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/IcfgTransformer.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf | --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplTransformed.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf | |||||||||
| ../../../trunk/examples/programs/heapseparator/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| speedup-poc03-02.bpl | true | 9.92 | 5.47 | 297172992 | unknown | 9.75 | 5.16 | 666222592 | true | 11.9 | 6.32 | 687824896 |
| speedup-poc03-04.bpl | true | 27.1 | 16.9 | 779427840 | unknown | 38.5 | 19.9 | 1698512896 | true | 38.1 | 20.3 | 1675730944 |
| speedup-poc03-06.bpl | true | 107 | 76.0 | 1262043136 | unknown | 123 | 87.7 | 4583751680 | true | 107 | 81.1 | 4819599360 |
| speedup-poc03-08.bpl | true | 422 | 341 | 2971684864 | unknown | 565 | 529 | 7024029696 | true | 560 | 527 | 6992834560 |
| ../../../trunk/examples/programs/heapseparator/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| total | 4 | 565 | 440 | 5310328832 | 4 | 737 | 641 | 13972516864 | 4 | 718 | 635 | 14175989760 |
| correct results | 0 | 0 | 0 | |||||||||
| correct true | 0 | 0 | 0 | |||||||||
| correct false | 0 | 0 | 0 | |||||||||
| incorrect results | 0 | 0 | 0 | |||||||||
| incorrect true | 0 | 0 | 0 | |||||||||
| incorrect false | 0 | 0 | 0 | |||||||||
| Run set | Automizer | HeapSeparator | Automizer+HeapSeparator | |||||||||