About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16246.420 | 3600000.00 | 2702612.00 | 496604.30 | 1 1 1 0 0 0 0 0 ? 1 0 0 1 0 0 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r292-tall-162124156800635.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C03, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124156800635
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 49K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 171K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 38K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 125K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.2K May 11 18:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 18:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 11 15:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 11 15:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 18M May 12 08:13 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME gen-UpperBounds-00
FORMULA_NAME gen-UpperBounds-01
FORMULA_NAME gen-UpperBounds-02
FORMULA_NAME gen-UpperBounds-03
FORMULA_NAME gen-UpperBounds-04
FORMULA_NAME gen-UpperBounds-05
FORMULA_NAME gen-UpperBounds-06
FORMULA_NAME gen-UpperBounds-07
FORMULA_NAME gen-UpperBounds-08
FORMULA_NAME gen-UpperBounds-09
FORMULA_NAME gen-UpperBounds-10
FORMULA_NAME gen-UpperBounds-11
FORMULA_NAME gen-UpperBounds-12
FORMULA_NAME gen-UpperBounds-13
FORMULA_NAME gen-UpperBounds-14
FORMULA_NAME gen-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1621343300381
Running Version 0
[2021-05-18 13:08:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-18 13:08:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 13:08:35] [INFO ] Load time of PNML (sax parser for PT used): 551 ms
[2021-05-18 13:08:35] [INFO ] Transformed 8390 places.
[2021-05-18 13:08:35] [INFO ] Transformed 12757 transitions.
[2021-05-18 13:08:35] [INFO ] Parsed PT model containing 8390 places and 12757 transitions in 668 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 7 ms.
Normalized transition count is 12157 out of 12757 initially.
// Phase 1: matrix 12157 rows 8390 cols
[2021-05-18 13:08:36] [INFO ] Computed 867 place invariants in 1044 ms
Incomplete random walk after 10000 steps, including 318 resets, run finished after 240 ms. (steps per millisecond=41 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10000 steps, including 57 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 57 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 57 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 55 ms. (steps per millisecond=181 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 58 resets, run finished after 76 ms. (steps per millisecond=131 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 10000 steps, including 58 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 16) seen :0
[2021-05-18 13:08:37] [INFO ] Flow matrix only has 12157 transitions (discarded 600 similar events)
// Phase 1: matrix 12157 rows 8390 cols
[2021-05-18 13:08:38] [INFO ] Computed 867 place invariants in 842 ms
[2021-05-18 13:09:23] [INFO ] [Real]Absence check using 60 positive place invariants in 143 ms returned sat
[2021-05-18 13:09:23] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 161 ms returned unsat
[2021-05-18 13:09:24] [INFO ] [Real]Absence check using 60 positive place invariants in 120 ms returned sat
[2021-05-18 13:09:24] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 340 ms returned sat
[2021-05-18 13:09:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:28] [INFO ] [Real]Absence check using state equation in 3633 ms returned unknown
[2021-05-18 13:09:29] [INFO ] [Real]Absence check using 60 positive place invariants in 118 ms returned sat
[2021-05-18 13:09:29] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 328 ms returned unsat
[2021-05-18 13:09:30] [INFO ] [Real]Absence check using 60 positive place invariants in 117 ms returned sat
[2021-05-18 13:09:31] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 338 ms returned sat
[2021-05-18 13:09:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:34] [INFO ] [Real]Absence check using state equation in 3620 ms returned unknown
[2021-05-18 13:09:35] [INFO ] [Real]Absence check using 60 positive place invariants in 113 ms returned sat
[2021-05-18 13:09:35] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 328 ms returned sat
[2021-05-18 13:09:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:39] [INFO ] [Real]Absence check using state equation in 3757 ms returned unknown
[2021-05-18 13:09:40] [INFO ] [Real]Absence check using 60 positive place invariants in 112 ms returned sat
[2021-05-18 13:09:41] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 325 ms returned sat
[2021-05-18 13:09:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:44] [INFO ] [Real]Absence check using state equation in 3716 ms returned unknown
[2021-05-18 13:09:45] [INFO ] [Real]Absence check using 60 positive place invariants in 114 ms returned sat
[2021-05-18 13:09:46] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 341 ms returned sat
[2021-05-18 13:09:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:49] [INFO ] [Real]Absence check using state equation in 3630 ms returned unknown
[2021-05-18 13:09:50] [INFO ] [Real]Absence check using 60 positive place invariants in 119 ms returned sat
[2021-05-18 13:09:50] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 346 ms returned sat
[2021-05-18 13:09:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:54] [INFO ] [Real]Absence check using state equation in 3753 ms returned unknown
[2021-05-18 13:09:55] [INFO ] [Real]Absence check using 60 positive place invariants in 114 ms returned sat
[2021-05-18 13:09:56] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 329 ms returned sat
[2021-05-18 13:09:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:09:59] [INFO ] [Real]Absence check using state equation in 3671 ms returned unknown
[2021-05-18 13:10:00] [INFO ] [Real]Absence check using 60 positive place invariants in 119 ms returned sat
[2021-05-18 13:10:00] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 157 ms returned unsat
[2021-05-18 13:10:01] [INFO ] [Real]Absence check using 60 positive place invariants in 120 ms returned sat
[2021-05-18 13:10:02] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 344 ms returned sat
[2021-05-18 13:10:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:10:05] [INFO ] [Real]Absence check using state equation in 3838 ms returned unknown
[2021-05-18 13:10:06] [INFO ] [Real]Absence check using 60 positive place invariants in 120 ms returned sat
[2021-05-18 13:10:07] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 354 ms returned sat
[2021-05-18 13:10:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:10:10] [INFO ] [Real]Absence check using state equation in 3731 ms returned unknown
[2021-05-18 13:10:11] [INFO ] [Real]Absence check using 60 positive place invariants in 114 ms returned sat
[2021-05-18 13:10:12] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 159 ms returned unsat
[2021-05-18 13:10:12] [INFO ] [Real]Absence check using 60 positive place invariants in 129 ms returned sat
[2021-05-18 13:10:13] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 344 ms returned sat
[2021-05-18 13:10:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:10:17] [INFO ] [Real]Absence check using state equation in 3753 ms returned unknown
[2021-05-18 13:10:17] [INFO ] [Real]Absence check using 60 positive place invariants in 116 ms returned sat
[2021-05-18 13:10:18] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 342 ms returned sat
[2021-05-18 13:10:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:10:22] [INFO ] [Real]Absence check using state equation in 3755 ms returned unknown
[2021-05-18 13:10:22] [INFO ] [Real]Absence check using 60 positive place invariants in 116 ms returned sat
[2021-05-18 13:10:23] [INFO ] [Real]Absence check using 60 positive and 807 generalized place invariants in 213 ms returned unsat
Current structural bounds on expressions (after SMT) : [1, 75, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max seen :[1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1]
FORMULA gen-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 11 out of 8390 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8390/8390 places, 12757/12757 transitions.
Graph (complete) has 30079 edges and 8390 vertex of which 8356 are kept as prefixes of interest. Removing 34 places using SCC suffix rule.4109 ms
Discarding 34 places :
Also discarding 0 output transitions
Drop transitions removed 1799 transitions
Trivial Post-agglo rules discarded 1799 transitions
Performed 1799 trivial Post agglomeration. Transition count delta: 1799
Iterating post reduction 0 with 1799 rules applied. Total rules applied 1800 place count 8356 transition count 10958
Reduce places removed 1799 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 1800 rules applied. Total rules applied 3600 place count 6557 transition count 10957
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 3601 place count 6556 transition count 10957
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 150 Pre rules applied. Total rules applied 3601 place count 6556 transition count 10807
Deduced a syphon composed of 150 places in 9 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 3 with 300 rules applied. Total rules applied 3901 place count 6406 transition count 10807
Discarding 1649 places :
Symmetric choice reduction at 3 with 1649 rule applications. Total rules 5550 place count 4757 transition count 9158
Iterating global reduction 3 with 1649 rules applied. Total rules applied 7199 place count 4757 transition count 9158
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 7199 place count 4757 transition count 9153
Deduced a syphon composed of 5 places in 6 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 7209 place count 4752 transition count 9153
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 7758 place count 4203 transition count 7506
Iterating global reduction 3 with 549 rules applied. Total rules applied 8307 place count 4203 transition count 7506
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 6 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 8355 place count 4179 transition count 7482
Free-agglomeration rule (complex) applied 319 times.
Iterating global reduction 3 with 319 rules applied. Total rules applied 8674 place count 4179 transition count 8261
Reduce places removed 319 places and 0 transitions.
Iterating post reduction 3 with 319 rules applied. Total rules applied 8993 place count 3860 transition count 8261
Partial Free-agglomeration rule applied 25 times.
Drop transitions removed 25 transitions
Iterating global reduction 4 with 25 rules applied. Total rules applied 9018 place count 3860 transition count 8261
Applied a total of 9018 rules in 8654 ms. Remains 3860 /8390 variables (removed 4530) and now considering 8261/12757 (removed 4496) transitions.
Finished structural reductions, in 1 iterations. Remains : 3860/8390 places, 8261/12757 transitions.
Normalized transition count is 7393 out of 8261 initially.
// Phase 1: matrix 7393 rows 3860 cols
[2021-05-18 13:10:32] [INFO ] Computed 833 place invariants in 219 ms
Incomplete random walk after 1000000 steps, including 52269 resets, run finished after 23327 ms. (steps per millisecond=42 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3697 ms. (steps per millisecond=270 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3668 ms. (steps per millisecond=272 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3684 ms. (steps per millisecond=271 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3703 ms. (steps per millisecond=270 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3698 ms. (steps per millisecond=270 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3685 ms. (steps per millisecond=271 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000000 steps, including 6244 resets, run finished after 3725 ms. (steps per millisecond=268 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6245 resets, run finished after 3805 ms. (steps per millisecond=262 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3694 ms. (steps per millisecond=270 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3711 ms. (steps per millisecond=269 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3700 ms. (steps per millisecond=270 ) properties (out of 11) seen :1
[2021-05-18 13:11:36] [INFO ] Flow matrix only has 7393 transitions (discarded 868 similar events)
// Phase 1: matrix 7393 rows 3860 cols
[2021-05-18 13:11:36] [INFO ] Computed 833 place invariants in 380 ms
[2021-05-18 13:11:37] [INFO ] [Real]Absence check using 49 positive place invariants in 86 ms returned sat
[2021-05-18 13:11:37] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 142 ms returned unsat
[2021-05-18 13:11:37] [INFO ] [Real]Absence check using 49 positive place invariants in 85 ms returned sat
[2021-05-18 13:11:37] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 181 ms returned sat
[2021-05-18 13:11:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:11:40] [INFO ] [Real]Absence check using state equation in 2601 ms returned sat
[2021-05-18 13:11:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:11:48] [INFO ] [Nat]Absence check using 49 positive place invariants in 80 ms returned sat
[2021-05-18 13:11:48] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 167 ms returned sat
[2021-05-18 13:11:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:11:51] [INFO ] [Nat]Absence check using state equation in 2850 ms returned sat
[2021-05-18 13:11:51] [INFO ] State equation strengthened by 3827 read => feed constraints.
[2021-05-18 13:11:54] [INFO ] [Nat]Added 3827 Read/Feed constraints in 3326 ms returned unsat
[2021-05-18 13:11:55] [INFO ] [Real]Absence check using 49 positive place invariants in 76 ms returned sat
[2021-05-18 13:11:55] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 164 ms returned sat
[2021-05-18 13:11:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:11:57] [INFO ] [Real]Absence check using state equation in 2443 ms returned sat
[2021-05-18 13:11:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:11:58] [INFO ] [Nat]Absence check using 49 positive place invariants in 75 ms returned sat
[2021-05-18 13:11:58] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 166 ms returned sat
[2021-05-18 13:11:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:01] [INFO ] [Nat]Absence check using state equation in 2603 ms returned sat
[2021-05-18 13:12:02] [INFO ] [Nat]Added 3827 Read/Feed constraints in 1194 ms returned unsat
[2021-05-18 13:12:03] [INFO ] [Real]Absence check using 49 positive place invariants in 75 ms returned sat
[2021-05-18 13:12:03] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 174 ms returned sat
[2021-05-18 13:12:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:05] [INFO ] [Real]Absence check using state equation in 2502 ms returned sat
[2021-05-18 13:12:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:12:06] [INFO ] [Nat]Absence check using 49 positive place invariants in 77 ms returned sat
[2021-05-18 13:12:06] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 174 ms returned sat
[2021-05-18 13:12:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:09] [INFO ] [Nat]Absence check using state equation in 2649 ms returned sat
[2021-05-18 13:12:12] [INFO ] [Nat]Added 3827 Read/Feed constraints in 2766 ms returned unsat
[2021-05-18 13:12:12] [INFO ] [Real]Absence check using 49 positive place invariants in 78 ms returned sat
[2021-05-18 13:12:12] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 168 ms returned sat
[2021-05-18 13:12:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:15] [INFO ] [Real]Absence check using state equation in 2474 ms returned sat
[2021-05-18 13:12:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:12:15] [INFO ] [Nat]Absence check using 49 positive place invariants in 76 ms returned sat
[2021-05-18 13:12:15] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 172 ms returned sat
[2021-05-18 13:12:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:18] [INFO ] [Nat]Absence check using state equation in 2518 ms returned sat
[2021-05-18 13:12:19] [INFO ] [Nat]Added 3827 Read/Feed constraints in 795 ms returned unsat
[2021-05-18 13:12:19] [INFO ] [Real]Absence check using 49 positive place invariants in 73 ms returned sat
[2021-05-18 13:12:22] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 2921 ms returned sat
[2021-05-18 13:12:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:25] [INFO ] [Real]Absence check using state equation in 2448 ms returned sat
[2021-05-18 13:12:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:12:25] [INFO ] [Nat]Absence check using 49 positive place invariants in 74 ms returned sat
[2021-05-18 13:12:25] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 171 ms returned sat
[2021-05-18 13:12:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:28] [INFO ] [Nat]Absence check using state equation in 2509 ms returned sat
[2021-05-18 13:12:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 13:12:33] [INFO ] [Nat]Added 3827 Read/Feed constraints in 5355 ms returned unsat
[2021-05-18 13:12:34] [INFO ] [Real]Absence check using 49 positive place invariants in 79 ms returned sat
[2021-05-18 13:12:34] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 177 ms returned sat
[2021-05-18 13:12:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:36] [INFO ] [Real]Absence check using state equation in 2655 ms returned sat
[2021-05-18 13:12:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:12:37] [INFO ] [Nat]Absence check using 49 positive place invariants in 74 ms returned sat
[2021-05-18 13:12:37] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 161 ms returned sat
[2021-05-18 13:12:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:40] [INFO ] [Nat]Absence check using state equation in 2589 ms returned sat
[2021-05-18 13:12:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 13:12:46] [INFO ] [Nat]Added 3827 Read/Feed constraints in 6391 ms returned unknown
[2021-05-18 13:12:47] [INFO ] [Real]Absence check using 49 positive place invariants in 74 ms returned sat
[2021-05-18 13:12:47] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 163 ms returned sat
[2021-05-18 13:12:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:49] [INFO ] [Real]Absence check using state equation in 2514 ms returned sat
[2021-05-18 13:12:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:12:50] [INFO ] [Nat]Absence check using 49 positive place invariants in 79 ms returned sat
[2021-05-18 13:12:50] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 167 ms returned sat
[2021-05-18 13:12:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:53] [INFO ] [Nat]Absence check using state equation in 2720 ms returned sat
[2021-05-18 13:12:54] [INFO ] [Nat]Added 3827 Read/Feed constraints in 1473 ms returned unsat
[2021-05-18 13:12:55] [INFO ] [Real]Absence check using 49 positive place invariants in 74 ms returned sat
[2021-05-18 13:12:55] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 161 ms returned sat
[2021-05-18 13:12:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:12:57] [INFO ] [Real]Absence check using state equation in 2453 ms returned sat
[2021-05-18 13:12:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:12:58] [INFO ] [Nat]Absence check using 49 positive place invariants in 81 ms returned sat
[2021-05-18 13:12:58] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 174 ms returned sat
[2021-05-18 13:12:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:01] [INFO ] [Nat]Absence check using state equation in 2640 ms returned sat
[2021-05-18 13:13:02] [INFO ] [Nat]Added 3827 Read/Feed constraints in 1325 ms returned unsat
[2021-05-18 13:13:03] [INFO ] [Real]Absence check using 49 positive place invariants in 73 ms returned sat
[2021-05-18 13:13:03] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 160 ms returned sat
[2021-05-18 13:13:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:05] [INFO ] [Real]Absence check using state equation in 2451 ms returned sat
[2021-05-18 13:13:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:13:06] [INFO ] [Nat]Absence check using 49 positive place invariants in 77 ms returned sat
[2021-05-18 13:13:06] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 162 ms returned sat
[2021-05-18 13:13:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:09] [INFO ] [Nat]Absence check using state equation in 2595 ms returned sat
[2021-05-18 13:13:10] [INFO ] [Nat]Added 3827 Read/Feed constraints in 995 ms returned unsat
[2021-05-18 13:13:10] [INFO ] [Real]Absence check using 49 positive place invariants in 73 ms returned sat
[2021-05-18 13:13:10] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 162 ms returned sat
[2021-05-18 13:13:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:13] [INFO ] [Real]Absence check using state equation in 2488 ms returned sat
[2021-05-18 13:13:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:13:13] [INFO ] [Nat]Absence check using 49 positive place invariants in 74 ms returned sat
[2021-05-18 13:13:14] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 158 ms returned sat
[2021-05-18 13:13:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:16] [INFO ] [Nat]Absence check using state equation in 2490 ms returned sat
[2021-05-18 13:13:18] [INFO ] [Nat]Added 3827 Read/Feed constraints in 1470 ms returned unsat
Current structural bounds on expressions (after SMT) : [1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0] Max seen :[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
FORMULA gen-UpperBounds-14 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-13 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-11 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-10 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-07 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-06 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-05 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-04 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-03 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA gen-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 1 out of 3860 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3860/3860 places, 8261/8261 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 3860 transition count 8258
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 3857 transition count 8258
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 7 place count 3856 transition count 8257
Iterating global reduction 1 with 1 rules applied. Total rules applied 8 place count 3856 transition count 8257
Applied a total of 8 rules in 1277 ms. Remains 3856 /3860 variables (removed 4) and now considering 8257/8261 (removed 4) transitions.
Finished structural reductions, in 1 iterations. Remains : 3856/3860 places, 8257/8261 transitions.
Normalized transition count is 7387 out of 8257 initially.
// Phase 1: matrix 7387 rows 3856 cols
[2021-05-18 13:13:19] [INFO ] Computed 833 place invariants in 267 ms
Incomplete random walk after 1000000 steps, including 52268 resets, run finished after 22220 ms. (steps per millisecond=45 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 6244 resets, run finished after 3635 ms. (steps per millisecond=275 ) properties (out of 1) seen :0
[2021-05-18 13:13:45] [INFO ] Flow matrix only has 7387 transitions (discarded 870 similar events)
// Phase 1: matrix 7387 rows 3856 cols
[2021-05-18 13:13:45] [INFO ] Computed 833 place invariants in 268 ms
[2021-05-18 13:13:46] [INFO ] [Real]Absence check using 49 positive place invariants in 73 ms returned sat
[2021-05-18 13:13:46] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 169 ms returned sat
[2021-05-18 13:13:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:48] [INFO ] [Real]Absence check using state equation in 2629 ms returned sat
[2021-05-18 13:13:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:13:49] [INFO ] [Nat]Absence check using 49 positive place invariants in 74 ms returned sat
[2021-05-18 13:13:49] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 173 ms returned sat
[2021-05-18 13:13:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:13:52] [INFO ] [Nat]Absence check using state equation in 2763 ms returned sat
[2021-05-18 13:13:52] [INFO ] State equation strengthened by 3827 read => feed constraints.
[2021-05-18 13:13:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 13:14:00] [INFO ] [Nat]Added 3827 Read/Feed constraints in 7508 ms returned unknown
Current structural bounds on expressions (after SMT) : [1] Max seen :[0]
Support contains 1 out of 3856 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3856/3856 places, 8257/8257 transitions.
Applied a total of 0 rules in 445 ms. Remains 3856 /3856 variables (removed 0) and now considering 8257/8257 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 3856/3856 places, 8257/8257 transitions.
Starting structural reductions, iteration 0 : 3856/3856 places, 8257/8257 transitions.
Applied a total of 0 rules in 438 ms. Remains 3856 /3856 variables (removed 0) and now considering 8257/8257 (removed 0) transitions.
[2021-05-18 13:14:01] [INFO ] Flow matrix only has 7387 transitions (discarded 870 similar events)
// Phase 1: matrix 7387 rows 3856 cols
[2021-05-18 13:14:01] [INFO ] Computed 833 place invariants in 223 ms
[2021-05-18 13:14:06] [INFO ] Implicit Places using invariants in 5738 ms returned [4, 7, 9, 10, 11, 12, 16, 22, 30, 40, 52, 66, 82, 100, 120, 142, 165, 187, 188, 189, 190, 210, 228, 245, 259, 271, 281, 289, 295, 299, 301, 310, 316, 318, 319, 320, 321, 323, 327, 333, 341, 351, 363, 377, 393, 411, 431, 452, 472, 473, 474, 475, 493, 509, 524, 536, 546, 554, 560, 564, 566, 568, 577, 583, 585, 586, 587, 588, 590, 592, 596, 602, 610, 620, 632, 646, 662, 680, 699, 717, 718, 719, 720, 736, 750, 763, 773, 781, 787, 791, 793, 795, 797, 806, 812, 814, 815, 816, 817, 819, 821, 823, 827, 833, 841, 851, 863, 877, 893, 910, 926, 927, 928, 929, 943, 955, 966, 974, 980, 984, 986, 988, 990, 992, 1001, 1007, 1009, 1010, 1011, 1012, 1014, 1016, 1018, 1020, 1024, 1030, 1038, 1048, 1060, 1074, 1089, 1103, 1104, 1105, 1106, 1118, 1128, 1137, 1143, 1147, 1149, 1151, 1153, 1155, 1157, 1166, 1172, 1174, 1175, 1176, 1177, 1179, 1181, 1183, 1185, 1187, 1191, 1197, 1205, 1215, 1227, 1240, 1252, 1253, 1254, 1255, 1265, 1273, 1280, 1284, 1286, 1288, 1290, 1292, 1294, 1296, 1305, 1311, 1313, 1314, 1315, 1316, 1318, 1320, 1322, 1324, 1326, 1328, 1332, 1338, 1346, 1356, 1367, 1377, 1378, 1379, 1380, 1388, 1394, 1399, 1401, 1403, 1405, 1407, 1409, 1411, 1413, 1422, 1428, 1430, 1431, 1432, 1433, 1435, 1437, 1439, 1441, 1443, 1445, 1447, 1451, 1457, 1465, 1474, 1482, 1483, 1484, 1485, 1491, 1495, 1498, 1500, 1502, 1504, 1506, 1508, 1510, 1512, 1521, 1527, 1529, 1530, 1531, 1532, 1534, 1536, 1538, 1540, 1542, 1544, 1546, 1548, 1552, 1558, 1565, 1571, 1572, 1573, 1574, 1578, 1580, 1582, 1584, 1586, 1588, 1590, 1592, 1594, 1596, 1605, 1611, 1613, 1614, 1615, 1616, 1618, 1620, 1622, 1624, 1626, 1628, 1630, 1632, 1634, 1638, 1643, 1647, 1648, 1649, 1650, 1652, 1654, 1656, 1658, 1660, 1662, 1664, 1666, 1668, 1670, 1679, 1685, 1687, 1688, 1689, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1706, 1708, 1710, 1715, 1716, 1717, 1718, 1720, 1722, 1724, 1726, 1728, 1730, 1732, 1734, 1736, 1738, 1747, 1753, 1755, 1756, 1757, 1758, 1760, 1762, 1764, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1780, 1782, 1783, 1784, 1785, 1787, 1789, 1791, 1793, 1795, 1797, 1799, 1801, 1803, 1805, 1814, 1816, 1819, 1821, 1822, 1823, 1824, 1826, 1828, 1830, 1832, 1834, 1836, 1838, 1840, 1842, 1844, 1846, 1848, 1849, 1850, 1851, 1853, 1855, 1857, 1859, 1861, 1863, 1865, 1867, 1869, 1871, 1880, 1886, 1888, 1889, 1890, 1891, 1893, 1895, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1911, 1913, 1915, 1916, 1917, 1918, 1920, 1922, 1924, 1926, 1928, 1930, 1932, 1934, 1936, 1938, 1953, 1955, 1956, 1957, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1978, 1980, 1983, 1984, 1985, 1986, 1988, 1990, 1992, 1994, 1996, 1998, 2000, 2002, 2004, 2006, 2015, 2021, 2023, 2024, 2025, 2026, 2028, 2030, 2032, 2034, 2036, 2038, 2040, 2042, 2044, 2046, 2050, 2055, 2056, 2057, 2058, 2062, 2064, 2066, 2068, 2070, 2072, 2074, 2076, 2078, 2080, 2089, 2096, 2098, 2099, 2100, 2101, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2123, 2129, 2136, 2137, 2138, 2139, 2145, 2149, 2151, 2153, 2155, 2157, 2159, 2161, 2163, 2165, 2174, 2180, 2182, 2183, 2184, 2185, 2187, 2189, 2191, 2193, 2195, 2197, 2199, 2201, 2205, 2211, 2219, 2228, 2229, 2230, 2231, 2239, 2245, 2249, 2252, 2254, 2256, 2258, 2260, 2262, 2264, 2273, 2279, 2281, 2282, 2283, 2284, 2286, 2288, 2290, 2292, 2294, 2296, 2298, 2302, 2308, 2316, 2326, 2337, 2338, 2339, 2340, 2350, 2358, 2364, 2369, 2371, 2373, 2375, 2377, 2379, 2381, 2390, 2396, 2398, 2399, 2400, 2401, 2403, 2405, 2407, 2409, 2411, 2413, 2417, 2423, 2431, 2441, 2453, 2466, 2467, 2468, 2469, 2481, 2491, 2499, 2506, 2510, 2512, 2514, 2516, 2518, 2520, 2529, 2535, 2537, 2538, 2539, 2540, 2542, 2544, 2546, 2548, 2550, 2554, 2560, 2568, 2578, 2590, 2604, 2619, 2620, 2621, 2622, 2636, 2648, 2658, 2667, 2673, 2677, 2679, 2681, 2683, 2685, 2694, 2700, 2702, 2703, 2704, 2705, 2707, 2709, 2711, 2713, 2717, 2723, 2731, 2741, 2753, 2767, 2783, 2800, 2801, 2802, 2803, 2819, 2833, 2845, 2856, 2864, 2870, 2874, 2876, 2878, 2880, 2889, 2895, 2897, 2898, 2899, 2900, 2902, 2904, 2906, 2910, 2916, 2924, 2934, 2946, 2960, 2976, 2994, 3013, 3014, 3015, 3016, 3034, 3050, 3064, 3077, 3087, 3095, 3101, 3105, 3107, 3109, 3118, 3124, 3126, 3127, 3128, 3129, 3131, 3133, 3137, 3143, 3151, 3161, 3173, 3187, 3203, 3221, 3241, 3262, 3263, 3264, 3265, 3285, 3303, 3319, 3334, 3346, 3356, 3364, 3370, 3374, 3376, 3385, 3387, 3390, 3392, 3393, 3394, 3395, 3397, 3401, 3407, 3415, 3425, 3437, 3451, 3467, 3485, 3505, 3527, 3550, 3551, 3552, 3553, 3575, 3595, 3613, 3630, 3644, 3656, 3666, 3674, 3680, 3684, 3693]
Discarding 776 places :
Implicit Place search using SMT only with invariants took 5753 ms to find 776 implicit places.
[2021-05-18 13:14:07] [INFO ] Redundant transitions in 1021 ms returned []
[2021-05-18 13:14:07] [INFO ] Flow matrix only has 7387 transitions (discarded 870 similar events)
// Phase 1: matrix 7387 rows 3080 cols
[2021-05-18 13:14:08] [INFO ] Computed 57 place invariants in 165 ms
[2021-05-18 13:14:19] [INFO ] Dead Transitions using invariants and state equation in 12109 ms returned []
Starting structural reductions, iteration 1 : 3080/3856 places, 8257/8257 transitions.
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 144 place count 2936 transition count 8113
Iterating global reduction 0 with 144 rules applied. Total rules applied 288 place count 2936 transition count 8113
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 432 place count 2792 transition count 7969
Iterating global reduction 0 with 144 rules applied. Total rules applied 576 place count 2792 transition count 7969
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 579 place count 2792 transition count 7966
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 582 place count 2789 transition count 7966
Applied a total of 582 rules in 2092 ms. Remains 2789 /3080 variables (removed 291) and now considering 7966/8257 (removed 291) transitions.
[2021-05-18 13:14:22] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2789 cols
[2021-05-18 13:14:22] [INFO ] Computed 57 place invariants in 163 ms
[2021-05-18 13:14:26] [INFO ] Implicit Places using invariants in 3948 ms returned [1332, 1433]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3959 ms to find 2 implicit places.
Starting structural reductions, iteration 2 : 2787/3856 places, 7966/8257 transitions.
Applied a total of 0 rules in 465 ms. Remains 2787 /2787 variables (removed 0) and now considering 7966/7966 (removed 0) transitions.
[2021-05-18 13:14:27] [INFO ] Redundant transitions in 937 ms returned []
[2021-05-18 13:14:27] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:14:27] [INFO ] Computed 55 place invariants in 146 ms
[2021-05-18 13:14:31] [INFO ] Dead Transitions using invariants and state equation in 4219 ms returned []
Finished structural reductions, in 3 iterations. Remains : 2787/3856 places, 7966/8257 transitions.
Normalized transition count is 7096 out of 7966 initially.
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:14:31] [INFO ] Computed 55 place invariants in 149 ms
Incomplete random walk after 1000000 steps, including 56661 resets, run finished after 21811 ms. (steps per millisecond=45 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3828 resets, run finished after 2358 ms. (steps per millisecond=424 ) properties (out of 1) seen :0
[2021-05-18 13:14:56] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:14:56] [INFO ] Computed 55 place invariants in 146 ms
[2021-05-18 13:14:56] [INFO ] [Real]Absence check using 47 positive place invariants in 46 ms returned sat
[2021-05-18 13:14:56] [INFO ] [Real]Absence check using 47 positive and 8 generalized place invariants in 2 ms returned sat
[2021-05-18 13:14:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:14:58] [INFO ] [Real]Absence check using state equation in 1826 ms returned sat
[2021-05-18 13:14:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:14:58] [INFO ] [Nat]Absence check using 47 positive place invariants in 47 ms returned sat
[2021-05-18 13:14:58] [INFO ] [Nat]Absence check using 47 positive and 8 generalized place invariants in 2 ms returned sat
[2021-05-18 13:14:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:15:00] [INFO ] [Nat]Absence check using state equation in 1822 ms returned sat
[2021-05-18 13:15:00] [INFO ] State equation strengthened by 3827 read => feed constraints.
[2021-05-18 13:15:03] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 13:15:05] [INFO ] [Nat]Added 3827 Read/Feed constraints in 4574 ms returned sat
[2021-05-18 13:15:06] [INFO ] Computed and/alt/rep : 4590/6680/4590 causal constraints (skipped 2412 transitions) in 724 ms.
[2021-05-18 13:15:10] [INFO ] Added : 63 causal constraints over 13 iterations in 5336 ms. Result :sat
Current structural bounds on expressions (after SMT) : [1] Max seen :[0]
Incomplete Parikh walk after 20600 steps, including 1546 resets, run finished after 491 ms. (steps per millisecond=41 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 1 out of 2787 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2787/2787 places, 7966/7966 transitions.
Applied a total of 0 rules in 449 ms. Remains 2787 /2787 variables (removed 0) and now considering 7966/7966 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2787/2787 places, 7966/7966 transitions.
Starting structural reductions, iteration 0 : 2787/2787 places, 7966/7966 transitions.
Applied a total of 0 rules in 469 ms. Remains 2787 /2787 variables (removed 0) and now considering 7966/7966 (removed 0) transitions.
[2021-05-18 13:15:12] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:12] [INFO ] Computed 55 place invariants in 129 ms
[2021-05-18 13:15:16] [INFO ] Implicit Places using invariants in 3846 ms returned []
[2021-05-18 13:15:16] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:16] [INFO ] Computed 55 place invariants in 129 ms
[2021-05-18 13:15:20] [INFO ] Implicit Places using invariants and state equation in 3720 ms returned []
Implicit Place search using SMT with State Equation took 7605 ms to find 0 implicit places.
[2021-05-18 13:15:20] [INFO ] Redundant transitions in 644 ms returned []
[2021-05-18 13:15:20] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:20] [INFO ] Computed 55 place invariants in 134 ms
[2021-05-18 13:15:25] [INFO ] Dead Transitions using invariants and state equation in 4612 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2787/2787 places, 7966/7966 transitions.
Starting property specific reduction for gen-UpperBounds-08
Normalized transition count is 7096 out of 7966 initially.
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:25] [INFO ] Computed 55 place invariants in 136 ms
Incomplete random walk after 10000 steps, including 566 resets, run finished after 245 ms. (steps per millisecond=40 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 1) seen :0
[2021-05-18 13:15:25] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:25] [INFO ] Computed 55 place invariants in 148 ms
[2021-05-18 13:15:26] [INFO ] [Real]Absence check using 47 positive place invariants in 47 ms returned sat
[2021-05-18 13:15:26] [INFO ] [Real]Absence check using 47 positive and 8 generalized place invariants in 2 ms returned sat
[2021-05-18 13:15:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:15:28] [INFO ] [Real]Absence check using state equation in 1966 ms returned sat
[2021-05-18 13:15:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:15:28] [INFO ] [Nat]Absence check using 47 positive place invariants in 48 ms returned sat
[2021-05-18 13:15:28] [INFO ] [Nat]Absence check using 47 positive and 8 generalized place invariants in 1 ms returned sat
[2021-05-18 13:15:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:15:30] [INFO ] [Nat]Absence check using state equation in 1969 ms returned sat
[2021-05-18 13:15:30] [INFO ] State equation strengthened by 3827 read => feed constraints.
[2021-05-18 13:15:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 13:15:33] [INFO ] [Nat]Added 3827 Read/Feed constraints in 2633 ms returned unknown
Current structural bounds on expressions (after SMT) : [1] Max seen :[0]
Support contains 1 out of 2787 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2787/2787 places, 7966/7966 transitions.
Applied a total of 0 rules in 483 ms. Remains 2787 /2787 variables (removed 0) and now considering 7966/7966 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2787/2787 places, 7966/7966 transitions.
Normalized transition count is 7096 out of 7966 initially.
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:34] [INFO ] Computed 55 place invariants in 135 ms
Incomplete random walk after 1000000 steps, including 56665 resets, run finished after 22373 ms. (steps per millisecond=44 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3814 resets, run finished after 2466 ms. (steps per millisecond=405 ) properties (out of 1) seen :0
[2021-05-18 13:15:58] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:15:59] [INFO ] Computed 55 place invariants in 129 ms
[2021-05-18 13:15:59] [INFO ] [Real]Absence check using 47 positive place invariants in 48 ms returned sat
[2021-05-18 13:15:59] [INFO ] [Real]Absence check using 47 positive and 8 generalized place invariants in 1 ms returned sat
[2021-05-18 13:15:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 13:16:01] [INFO ] [Real]Absence check using state equation in 1865 ms returned sat
[2021-05-18 13:16:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 13:16:01] [INFO ] [Nat]Absence check using 47 positive place invariants in 47 ms returned sat
[2021-05-18 13:16:01] [INFO ] [Nat]Absence check using 47 positive and 8 generalized place invariants in 1 ms returned sat
[2021-05-18 13:16:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 13:16:03] [INFO ] [Nat]Absence check using state equation in 1786 ms returned sat
[2021-05-18 13:16:03] [INFO ] State equation strengthened by 3827 read => feed constraints.
[2021-05-18 13:16:06] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 13:16:08] [INFO ] [Nat]Added 3827 Read/Feed constraints in 4748 ms returned sat
[2021-05-18 13:16:09] [INFO ] Computed and/alt/rep : 4590/6680/4590 causal constraints (skipped 2412 transitions) in 555 ms.
[2021-05-18 13:16:13] [INFO ] Added : 63 causal constraints over 13 iterations in 4832 ms. Result :sat
Current structural bounds on expressions (after SMT) : [1] Max seen :[0]
Incomplete Parikh walk after 20400 steps, including 1497 resets, run finished after 484 ms. (steps per millisecond=42 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 1 out of 2787 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2787/2787 places, 7966/7966 transitions.
Applied a total of 0 rules in 474 ms. Remains 2787 /2787 variables (removed 0) and now considering 7966/7966 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2787/2787 places, 7966/7966 transitions.
Starting structural reductions, iteration 0 : 2787/2787 places, 7966/7966 transitions.
Applied a total of 0 rules in 474 ms. Remains 2787 /2787 variables (removed 0) and now considering 7966/7966 (removed 0) transitions.
[2021-05-18 13:16:15] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:16:15] [INFO ] Computed 55 place invariants in 141 ms
[2021-05-18 13:16:19] [INFO ] Implicit Places using invariants in 4022 ms returned []
[2021-05-18 13:16:19] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:16:19] [INFO ] Computed 55 place invariants in 144 ms
[2021-05-18 13:16:24] [INFO ] Implicit Places using invariants and state equation in 5681 ms returned []
Implicit Place search using SMT with State Equation took 9717 ms to find 0 implicit places.
[2021-05-18 13:16:25] [INFO ] Redundant transitions in 848 ms returned []
[2021-05-18 13:16:25] [INFO ] Flow matrix only has 7096 transitions (discarded 870 similar events)
// Phase 1: matrix 7096 rows 2787 cols
[2021-05-18 13:16:25] [INFO ] Computed 55 place invariants in 148 ms
[2021-05-18 13:16:29] [INFO ] Dead Transitions using invariants and state equation in 4315 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2787/2787 places, 7966/7966 transitions.
Ending property specific reduction for gen-UpperBounds-08 in 64624 ms.
[2021-05-18 13:16:30] [INFO ] Flatten gal took : 483 ms
[2021-05-18 13:16:30] [INFO ] Applying decomposition
[2021-05-18 13:16:31] [INFO ] Flatten gal took : 355 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5067007490027947293.txt, -o, /tmp/graph5067007490027947293.bin, -w, /tmp/graph5067007490027947293.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5067007490027947293.bin, -l, -1, -v, -w, /tmp/graph5067007490027947293.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 13:16:31] [INFO ] Decomposing Gal with order
[2021-05-18 13:16:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 13:16:34] [INFO ] Removed a total of 10913 redundant transitions.
[2021-05-18 13:16:34] [INFO ] Flatten gal took : 2255 ms
[2021-05-18 13:16:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 7376 labels/synchronizations in 739 ms.
[2021-05-18 13:16:35] [INFO ] Time to serialize gal into /tmp/UpperBounds8419078258485351730.gal : 82 ms
[2021-05-18 13:16:35] [INFO ] Time to serialize properties into /tmp/UpperBounds7650789098627360628.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/UpperBounds8419078258485351730.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds7650789098627360628.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/UpperBounds8419078258485351730.gal -t CGAL -reachable-file /tmp/UpperBounds7650789098627360628.prop --nowitness
Loading property file /tmp/UpperBounds7650789098627360628.prop.
Detected timeout of ITS tools.
[2021-05-18 13:39:39] [INFO ] Flatten gal took : 15595 ms
[2021-05-18 13:39:39] [INFO ] Time to serialize gal into /tmp/UpperBounds17525421618103526322.gal : 263 ms
[2021-05-18 13:39:39] [INFO ] Time to serialize properties into /tmp/UpperBounds12164518750945291792.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/UpperBounds17525421618103526322.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds12164518750945291792.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/UpperBounds17525421618103526322.gal -t CGAL -reachable-file /tmp/UpperBounds12164518750945291792.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/UpperBounds12164518750945291792.prop.
Detected timeout of ITS tools.
[2021-05-18 14:02:27] [INFO ] Flatten gal took : 7577 ms
[2021-05-18 14:02:28] [INFO ] Input system was already deterministic with 7966 transitions.
[2021-05-18 14:02:28] [INFO ] Transformed 2787 places.
[2021-05-18 14:02:28] [INFO ] Transformed 7966 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-18 14:02:30] [INFO ] Time to serialize gal into /tmp/UpperBounds17603018729137110581.gal : 24 ms
[2021-05-18 14:02:30] [INFO ] Time to serialize properties into /tmp/UpperBounds10757354645606218319.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/UpperBounds17603018729137110581.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds10757354645606218319.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/UpperBounds17603018729137110581.gal -t CGAL -reachable-file /tmp/UpperBounds10757354645606218319.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/UpperBounds10757354645606218319.prop.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C03"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C03, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r292-tall-162124156800635"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C03.tgz
mv MultiCrashLeafsetExtension-PT-S24C03 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;