About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16213.539 | 2122164.00 | 3996561.00 | 12511.70 | TFTTTTTTT?FFTFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r132-tall-165271821500855.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C09, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821500855
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 16K Apr 29 16:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Apr 29 16:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 29 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Apr 29 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.4K May 9 08:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 9 08:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 9 08:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Apr 29 16:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Apr 29 16:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 29 16:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 29 16:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 9 08:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 30M May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1654255970812
Running Version 202205111006
[2022-06-03 11:32:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -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]
[2022-06-03 11:32:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-03 11:32:53] [INFO ] Load time of PNML (sax parser for PT used): 1204 ms
[2022-06-03 11:32:53] [INFO ] Transformed 29770 places.
[2022-06-03 11:32:53] [INFO ] Transformed 44921 transitions.
[2022-06-03 11:32:53] [INFO ] Parsed PT model containing 29770 places and 44921 transitions in 1455 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 50 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 108 resets, run finished after 879 ms. (steps per millisecond=11 ) properties (out of 16) seen :2
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 14) seen :1
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 166 ms. (steps per millisecond=60 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 118 ms. (steps per millisecond=84 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 115 ms. (steps per millisecond=86 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 16 resets, run finished after 132 ms. (steps per millisecond=75 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 135 ms. (steps per millisecond=74 ) properties (out of 13) seen :1
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 132 ms. (steps per millisecond=75 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 133 ms. (steps per millisecond=75 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 140 ms. (steps per millisecond=71 ) properties (out of 12) seen :0
Running SMT prover for 12 properties.
[2022-06-03 11:32:56] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29770 cols
[2022-06-03 11:33:04] [INFO ] Computed 1823 place invariants in 7925 ms
[2022-06-03 11:33:14] [INFO ] [Real]Absence check using 88 positive place invariants in 179 ms returned sat
[2022-06-03 11:33:17] [INFO ] [Real]Absence check using 88 positive and 1735 generalized place invariants in 3067 ms returned sat
[2022-06-03 11:33:29] [INFO ] After 9876ms SMT Verify possible using state equation in real domain returned unsat :4 sat :2 real:5
[2022-06-03 11:33:29] [INFO ] State equation strengthened by 14434 read => feed constraints.
[2022-06-03 11:33:29] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-03 11:33:29] [INFO ] After 25250ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-05 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 62 out of 29770 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 29770/29770 places, 44921/44921 transitions.
Graph (complete) has 99155 edges and 29770 vertex of which 29716 are kept as prefixes of interest. Removing 54 places using SCC suffix rule.79 ms
Discarding 54 places :
Also discarding 0 output transitions
Drop transitions removed 9350 transitions
Trivial Post-agglo rules discarded 9350 transitions
Performed 9350 trivial Post agglomeration. Transition count delta: 9350
Iterating post reduction 0 with 9350 rules applied. Total rules applied 9351 place count 29716 transition count 35571
Reduce places removed 9350 places and 0 transitions.
Performed 144 Post agglomeration using F-continuation condition.Transition count delta: 144
Iterating post reduction 1 with 9494 rules applied. Total rules applied 18845 place count 20366 transition count 35427
Reduce places removed 144 places and 0 transitions.
Iterating post reduction 2 with 144 rules applied. Total rules applied 18989 place count 20222 transition count 35427
Performed 583 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 583 Pre rules applied. Total rules applied 18989 place count 20222 transition count 34844
Deduced a syphon composed of 583 places in 53 ms
Reduce places removed 583 places and 0 transitions.
Iterating global reduction 3 with 1166 rules applied. Total rules applied 20155 place count 19639 transition count 34844
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 48 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 20219 place count 19607 transition count 34812
Free-agglomeration rule (complex) applied 1553 times.
Iterating global reduction 3 with 1553 rules applied. Total rules applied 21772 place count 19607 transition count 33259
Reduce places removed 1553 places and 0 transitions.
Iterating post reduction 3 with 1553 rules applied. Total rules applied 23325 place count 18054 transition count 33259
Partial Free-agglomeration rule applied 7238 times.
Drop transitions removed 7238 transitions
Iterating global reduction 4 with 7238 rules applied. Total rules applied 30563 place count 18054 transition count 33259
Applied a total of 30563 rules in 13716 ms. Remains 18054 /29770 variables (removed 11716) and now considering 33259/44921 (removed 11662) transitions.
Finished structural reductions, in 1 iterations. Remains : 18054/29770 places, 33259/44921 transitions.
Interrupted random walk after 233679 steps, including 4184 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 6
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 376012 steps, including 660 resets, run timeout after 5001 ms. (steps per millisecond=75 ) properties seen 0
Interrupted Best-First random walk after 374323 steps, including 657 resets, run timeout after 5001 ms. (steps per millisecond=74 ) properties seen 0
Running SMT prover for 2 properties.
[2022-06-03 11:34:23] [INFO ] Flow matrix only has 31700 transitions (discarded 1559 similar events)
// Phase 1: matrix 31700 rows 18054 cols
[2022-06-03 11:34:34] [INFO ] Computed 1769 place invariants in 10312 ms
[2022-06-03 11:34:36] [INFO ] [Real]Absence check using 65 positive place invariants in 207 ms returned sat
[2022-06-03 11:34:37] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1161 ms returned sat
[2022-06-03 11:35:37] [INFO ] After 59813ms SMT Verify possible using state equation in real domain returned unsat :1 sat :1
[2022-06-03 11:35:38] [INFO ] State equation strengthened by 14434 read => feed constraints.
[2022-06-03 11:35:53] [INFO ] After 14152ms SMT Verify possible using 14434 Read/Feed constraints in real domain returned unsat :1 sat :0 real:1
[2022-06-03 11:35:53] [INFO ] After 78888ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:1
[2022-06-03 11:35:55] [INFO ] [Nat]Absence check using 65 positive place invariants in 223 ms returned sat
[2022-06-03 11:35:56] [INFO ] [Nat]Absence check using 65 positive and 1704 generalized place invariants in 1272 ms returned sat
[2022-06-03 11:36:55] [INFO ] After 58741ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :1
[2022-06-03 11:37:11] [INFO ] After 15676ms SMT Verify possible using 14434 Read/Feed constraints in natural domain returned unsat :1 sat :1
[2022-06-03 11:37:12] [INFO ] After 17210ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :1
Attempting to minimize the solution found.
Minimization took 1152 ms.
[2022-06-03 11:37:14] [INFO ] After 81129ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :1
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 18054 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 18054/18054 places, 33259/33259 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 18054 transition count 33249
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 18044 transition count 33249
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 11 Pre rules applied. Total rules applied 20 place count 18044 transition count 33238
Deduced a syphon composed of 11 places in 23 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 2 with 22 rules applied. Total rules applied 42 place count 18033 transition count 33238
Free-agglomeration rule (complex) applied 24 times.
Iterating global reduction 2 with 24 rules applied. Total rules applied 66 place count 18033 transition count 33214
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 2 with 24 rules applied. Total rules applied 90 place count 18009 transition count 33214
Applied a total of 90 rules in 3189 ms. Remains 18009 /18054 variables (removed 45) and now considering 33214/33259 (removed 45) transitions.
Finished structural reductions, in 1 iterations. Remains : 18009/18054 places, 33214/33259 transitions.
Interrupted random walk after 282676 steps, including 5105 resets, run timeout after 30001 ms. (steps per millisecond=9 ) properties seen 0
Interrupted Best-First random walk after 427077 steps, including 751 resets, run timeout after 5001 ms. (steps per millisecond=85 ) properties seen 0
Interrupted probabilistic random walk after 241499 steps, run timeout after 105001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 241499 steps, saw 108457 distinct states, run finished after 105003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-03 11:39:37] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:39:48] [INFO ] Computed 1769 place invariants in 10562 ms
[2022-06-03 11:39:50] [INFO ] [Real]Absence check using 65 positive place invariants in 188 ms returned sat
[2022-06-03 11:39:51] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1210 ms returned sat
[2022-06-03 11:40:59] [INFO ] After 67540ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-03 11:40:59] [INFO ] State equation strengthened by 14434 read => feed constraints.
[2022-06-03 11:41:12] [INFO ] After 12395ms SMT Verify possible using 14434 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:41:12] [INFO ] After 84375ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:41:14] [INFO ] [Nat]Absence check using 65 positive place invariants in 180 ms returned sat
[2022-06-03 11:41:15] [INFO ] [Nat]Absence check using 65 positive and 1704 generalized place invariants in 1207 ms returned sat
[2022-06-03 11:42:22] [INFO ] After 65909ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-03 11:42:33] [INFO ] After 11321ms SMT Verify possible using 14434 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-03 11:42:34] [INFO ] After 12807ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1122 ms.
[2022-06-03 11:42:36] [INFO ] After 83687ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 18009 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 18009/18009 places, 33214/33214 transitions.
Applied a total of 0 rules in 1300 ms. Remains 18009 /18009 variables (removed 0) and now considering 33214/33214 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 18009/18009 places, 33214/33214 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 18009/18009 places, 33214/33214 transitions.
Applied a total of 0 rules in 1277 ms. Remains 18009 /18009 variables (removed 0) and now considering 33214/33214 (removed 0) transitions.
[2022-06-03 11:42:38] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:42:48] [INFO ] Computed 1769 place invariants in 9923 ms
[2022-06-03 11:42:50] [INFO ] Implicit Places using invariants in 11381 ms returned []
Implicit Place search using SMT only with invariants took 11382 ms to find 0 implicit places.
[2022-06-03 11:42:50] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:42:59] [INFO ] Computed 1769 place invariants in 9921 ms
[2022-06-03 11:43:01] [INFO ] Dead Transitions using invariants and state equation in 11468 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 18009/18009 places, 33214/33214 transitions.
Incomplete random walk after 100000 steps, including 1804 resets, run finished after 9688 ms. (steps per millisecond=10 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2022-06-03 11:43:11] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:43:21] [INFO ] Computed 1769 place invariants in 10025 ms
[2022-06-03 11:43:23] [INFO ] [Real]Absence check using 65 positive place invariants in 200 ms returned sat
[2022-06-03 11:43:24] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1218 ms returned sat
[2022-06-03 11:44:21] [INFO ] After 56230ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-03 11:44:22] [INFO ] State equation strengthened by 14434 read => feed constraints.
[2022-06-03 11:44:33] [INFO ] After 10651ms SMT Verify possible using 14434 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:44:33] [INFO ] After 71818ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:44:35] [INFO ] [Nat]Absence check using 65 positive place invariants in 183 ms returned sat
[2022-06-03 11:44:36] [INFO ] [Nat]Absence check using 65 positive and 1704 generalized place invariants in 1264 ms returned sat
[2022-06-03 11:45:34] [INFO ] After 57733ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-03 11:45:53] [INFO ] After 18314ms SMT Verify possible using 14434 Read/Feed constraints in natural domain returned unsat :0 sat :0
[2022-06-03 11:45:53] [INFO ] After 79896ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Interrupted random walk after 313654 steps, including 5663 resets, run timeout after 30001 ms. (steps per millisecond=10 ) properties seen 0
Interrupted Best-First random walk after 467232 steps, including 821 resets, run timeout after 5001 ms. (steps per millisecond=93 ) properties seen 0
Interrupted probabilistic random walk after 260918 steps, run timeout after 105001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 260918 steps, saw 117129 distinct states, run finished after 105001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-03 11:48:13] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:48:22] [INFO ] Computed 1769 place invariants in 9536 ms
[2022-06-03 11:48:24] [INFO ] [Real]Absence check using 65 positive place invariants in 168 ms returned sat
[2022-06-03 11:48:25] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1029 ms returned sat
[2022-06-03 11:49:25] [INFO ] After 59162ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-03 11:49:25] [INFO ] State equation strengthened by 14434 read => feed constraints.
[2022-06-03 11:49:36] [INFO ] After 10893ms SMT Verify possible using 14434 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:49:36] [INFO ] After 73852ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:49:38] [INFO ] [Nat]Absence check using 65 positive place invariants in 179 ms returned sat
[2022-06-03 11:49:39] [INFO ] [Nat]Absence check using 65 positive and 1704 generalized place invariants in 1045 ms returned sat
[2022-06-03 11:50:41] [INFO ] After 60970ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-03 11:50:52] [INFO ] After 11039ms SMT Verify possible using 14434 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-03 11:50:53] [INFO ] After 12499ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1041 ms.
[2022-06-03 11:50:54] [INFO ] After 78303ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 18009 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 18009/18009 places, 33214/33214 transitions.
Applied a total of 0 rules in 1263 ms. Remains 18009 /18009 variables (removed 0) and now considering 33214/33214 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 18009/18009 places, 33214/33214 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 18009/18009 places, 33214/33214 transitions.
Applied a total of 0 rules in 1257 ms. Remains 18009 /18009 variables (removed 0) and now considering 33214/33214 (removed 0) transitions.
[2022-06-03 11:50:57] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:51:07] [INFO ] Computed 1769 place invariants in 9766 ms
[2022-06-03 11:51:08] [INFO ] Implicit Places using invariants in 11258 ms returned []
Implicit Place search using SMT only with invariants took 11258 ms to find 0 implicit places.
[2022-06-03 11:51:08] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:51:19] [INFO ] Computed 1769 place invariants in 10648 ms
[2022-06-03 11:51:20] [INFO ] Dead Transitions using invariants and state equation in 12186 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 18009/18009 places, 33214/33214 transitions.
Incomplete random walk after 100000 steps, including 1805 resets, run finished after 9374 ms. (steps per millisecond=10 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2022-06-03 11:51:30] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:51:39] [INFO ] Computed 1769 place invariants in 9621 ms
[2022-06-03 11:51:42] [INFO ] [Real]Absence check using 65 positive place invariants in 169 ms returned sat
[2022-06-03 11:51:43] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1095 ms returned sat
[2022-06-03 11:52:31] [INFO ] After 48471ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-03 11:52:32] [INFO ] State equation strengthened by 14434 read => feed constraints.
[2022-06-03 11:52:42] [INFO ] After 10305ms SMT Verify possible using 14434 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:52:42] [INFO ] After 62650ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:52:44] [INFO ] [Nat]Absence check using 65 positive place invariants in 171 ms returned sat
[2022-06-03 11:52:45] [INFO ] [Nat]Absence check using 65 positive and 1704 generalized place invariants in 1091 ms returned sat
[2022-06-03 11:53:40] [INFO ] After 54144ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-03 11:53:58] [INFO ] After 18134ms SMT Verify possible using 14434 Read/Feed constraints in natural domain returned unsat :0 sat :0
[2022-06-03 11:53:58] [INFO ] After 75797ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Incomplete random walk after 10000 steps, including 180 resets, run finished after 959 ms. (steps per millisecond=10 ) properties (out of 1) seen :0
Finished Best-First random walk after 771 steps, including 1 resets, run visited all 1 properties in 10 ms. (steps per millisecond=77 )
Incomplete random walk after 10000 steps, including 180 resets, run finished after 954 ms. (steps per millisecond=10 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 17 resets, run finished after 107 ms. (steps per millisecond=93 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 7846 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 7846 steps, saw 3776 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-03 11:54:03] [INFO ] Flow matrix only has 31654 transitions (discarded 1560 similar events)
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:54:13] [INFO ] Computed 1769 place invariants in 10019 ms
[2022-06-03 11:54:15] [INFO ] [Real]Absence check using 65 positive place invariants in 174 ms returned sat
[2022-06-03 11:54:16] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1196 ms returned sat
[2022-06-03 11:54:38] [INFO ] After 25015ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 18009 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 18009/18009 places, 33214/33214 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 18009 transition count 33213
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 18008 transition count 33213
Applied a total of 2 rules in 2613 ms. Remains 18008 /18009 variables (removed 1) and now considering 33213/33214 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 18008/18009 places, 33213/33214 transitions.
Incomplete random walk after 10000 steps, including 180 resets, run finished after 968 ms. (steps per millisecond=10 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 17 resets, run finished after 107 ms. (steps per millisecond=93 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 7830 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 7830 steps, saw 3770 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-03 11:54:45] [INFO ] Flow matrix only has 31653 transitions (discarded 1560 similar events)
// Phase 1: matrix 31653 rows 18008 cols
[2022-06-03 11:54:54] [INFO ] Computed 1769 place invariants in 9553 ms
[2022-06-03 11:54:56] [INFO ] [Real]Absence check using 65 positive place invariants in 147 ms returned sat
[2022-06-03 11:54:58] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1044 ms returned sat
[2022-06-03 11:55:19] [INFO ] After 25017ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 18008 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 18008/18008 places, 33213/33213 transitions.
Applied a total of 0 rules in 1241 ms. Remains 18008 /18008 variables (removed 0) and now considering 33213/33213 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 18008/18008 places, 33213/33213 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 18008/18008 places, 33213/33213 transitions.
Applied a total of 0 rules in 1210 ms. Remains 18008 /18008 variables (removed 0) and now considering 33213/33213 (removed 0) transitions.
[2022-06-03 11:55:22] [INFO ] Flow matrix only has 31653 transitions (discarded 1560 similar events)
// Phase 1: matrix 31653 rows 18008 cols
[2022-06-03 11:55:31] [INFO ] Computed 1769 place invariants in 9524 ms
[2022-06-03 11:55:33] [INFO ] Implicit Places using invariants in 11018 ms returned []
Implicit Place search using SMT only with invariants took 11019 ms to find 0 implicit places.
[2022-06-03 11:55:33] [INFO ] Flow matrix only has 31653 transitions (discarded 1560 similar events)
// Phase 1: matrix 31653 rows 18008 cols
[2022-06-03 11:55:42] [INFO ] Computed 1769 place invariants in 9318 ms
[2022-06-03 11:55:44] [INFO ] Dead Transitions using invariants and state equation in 10755 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 18008/18008 places, 33213/33213 transitions.
Graph (trivial) has 7249 edges and 18009 vertex of which 32 / 18009 are part of one of the 1 SCC in 17 ms
Free SCC test removed 31 places
Drop transitions removed 1067 transitions
Ensure Unique test removed 1499 transitions
Reduce isomorphic transitions removed 2566 transitions.
Graph (complete) has 105713 edges and 17978 vertex of which 17948 are kept as prefixes of interest. Removing 30 places using SCC suffix rule.16 ms
Discarding 30 places :
Also discarding 0 output transitions
Ensure Unique test removed 639 places
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition Node14DetectsThatNode17CanReplaceNode16.Node17IsBecomingTheNewNodeMaster and 1 places that fell out of Prefix Of Interest.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 401 transitions
Trivial Post-agglo rules discarded 401 transitions
Performed 401 trivial Post agglomeration. Transition count delta: 401
Iterating post reduction 0 with 403 rules applied. Total rules applied 405 place count 17308 transition count 30245
Ensure Unique test removed 1 places
Reduce places removed 402 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 375 transitions
Reduce isomorphic transitions removed 376 transitions.
Drop transitions removed 375 transitions
Trivial Post-agglo rules discarded 375 transitions
Performed 375 trivial Post agglomeration. Transition count delta: 375
Iterating post reduction 1 with 1153 rules applied. Total rules applied 1558 place count 16906 transition count 29494
Ensure Unique test removed 1 places
Reduce places removed 376 places and 0 transitions.
Drop transitions removed 48 transitions
Ensure Unique test removed 302 transitions
Reduce isomorphic transitions removed 350 transitions.
Drop transitions removed 300 transitions
Trivial Post-agglo rules discarded 300 transitions
Performed 300 trivial Post agglomeration. Transition count delta: 300
Iterating post reduction 2 with 1026 rules applied. Total rules applied 2584 place count 16530 transition count 28844
Ensure Unique test removed 48 places
Reduce places removed 348 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 273 transitions
Reduce isomorphic transitions removed 275 transitions.
Drop transitions removed 273 transitions
Trivial Post-agglo rules discarded 273 transitions
Performed 273 trivial Post agglomeration. Transition count delta: 273
Iterating post reduction 3 with 896 rules applied. Total rules applied 3480 place count 16182 transition count 28296
Ensure Unique test removed 2 places
Reduce places removed 275 places and 0 transitions.
Drop transitions removed 40 transitions
Ensure Unique test removed 208 transitions
Reduce isomorphic transitions removed 248 transitions.
Drop transitions removed 206 transitions
Trivial Post-agglo rules discarded 206 transitions
Performed 206 trivial Post agglomeration. Transition count delta: 206
Iterating post reduction 4 with 729 rules applied. Total rules applied 4209 place count 15907 transition count 27842
Ensure Unique test removed 40 places
Reduce places removed 246 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 179 transitions
Reduce isomorphic transitions removed 181 transitions.
Drop transitions removed 179 transitions
Trivial Post-agglo rules discarded 179 transitions
Performed 179 trivial Post agglomeration. Transition count delta: 179
Iterating post reduction 5 with 606 rules applied. Total rules applied 4815 place count 15661 transition count 27482
Ensure Unique test removed 2 places
Reduce places removed 181 places and 0 transitions.
Drop transitions removed 34 transitions
Ensure Unique test removed 145 transitions
Reduce isomorphic transitions removed 179 transitions.
Drop transitions removed 145 transitions
Trivial Post-agglo rules discarded 145 transitions
Performed 145 trivial Post agglomeration. Transition count delta: 145
Iterating post reduction 6 with 505 rules applied. Total rules applied 5320 place count 15480 transition count 27158
Ensure Unique test removed 34 places
Reduce places removed 179 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 143 transitions
Reduce isomorphic transitions removed 145 transitions.
Drop transitions removed 143 transitions
Trivial Post-agglo rules discarded 143 transitions
Performed 143 trivial Post agglomeration. Transition count delta: 143
Iterating post reduction 7 with 467 rules applied. Total rules applied 5787 place count 15301 transition count 26870
Ensure Unique test removed 2 places
Reduce places removed 145 places and 0 transitions.
Drop transitions removed 30 transitions
Ensure Unique test removed 113 transitions
Reduce isomorphic transitions removed 143 transitions.
Drop transitions removed 113 transitions
Trivial Post-agglo rules discarded 113 transitions
Performed 113 trivial Post agglomeration. Transition count delta: 113
Iterating post reduction 8 with 401 rules applied. Total rules applied 6188 place count 15156 transition count 26614
Ensure Unique test removed 30 places
Reduce places removed 143 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 111 transitions
Reduce isomorphic transitions removed 113 transitions.
Drop transitions removed 111 transitions
Trivial Post-agglo rules discarded 111 transitions
Performed 111 trivial Post agglomeration. Transition count delta: 111
Iterating post reduction 9 with 367 rules applied. Total rules applied 6555 place count 15013 transition count 26390
Ensure Unique test removed 2 places
Reduce places removed 113 places and 0 transitions.
Drop transitions removed 26 transitions
Ensure Unique test removed 85 transitions
Reduce isomorphic transitions removed 111 transitions.
Drop transitions removed 85 transitions
Trivial Post-agglo rules discarded 85 transitions
Performed 85 trivial Post agglomeration. Transition count delta: 85
Iterating post reduction 10 with 309 rules applied. Total rules applied 6864 place count 14900 transition count 26194
Ensure Unique test removed 26 places
Reduce places removed 111 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 83 transitions
Reduce isomorphic transitions removed 85 transitions.
Drop transitions removed 83 transitions
Trivial Post-agglo rules discarded 83 transitions
Performed 83 trivial Post agglomeration. Transition count delta: 83
Iterating post reduction 11 with 279 rules applied. Total rules applied 7143 place count 14789 transition count 26026
Ensure Unique test removed 2 places
Reduce places removed 85 places and 0 transitions.
Drop transitions removed 22 transitions
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 83 transitions.
Drop transitions removed 61 transitions
Trivial Post-agglo rules discarded 61 transitions
Performed 61 trivial Post agglomeration. Transition count delta: 61
Iterating post reduction 12 with 229 rules applied. Total rules applied 7372 place count 14704 transition count 25882
Ensure Unique test removed 22 places
Reduce places removed 83 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 61 transitions.
Drop transitions removed 59 transitions
Trivial Post-agglo rules discarded 59 transitions
Performed 59 trivial Post agglomeration. Transition count delta: 59
Iterating post reduction 13 with 203 rules applied. Total rules applied 7575 place count 14621 transition count 25762
Ensure Unique test removed 2 places
Reduce places removed 61 places and 0 transitions.
Drop transitions removed 18 transitions
Ensure Unique test removed 41 transitions
Reduce isomorphic transitions removed 59 transitions.
Drop transitions removed 41 transitions
Trivial Post-agglo rules discarded 41 transitions
Performed 41 trivial Post agglomeration. Transition count delta: 41
Iterating post reduction 14 with 161 rules applied. Total rules applied 7736 place count 14560 transition count 25662
Ensure Unique test removed 18 places
Reduce places removed 59 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 41 transitions.
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 15 with 139 rules applied. Total rules applied 7875 place count 14501 transition count 25582
Ensure Unique test removed 2 places
Reduce places removed 41 places and 0 transitions.
Drop transitions removed 14 transitions
Ensure Unique test removed 25 transitions
Reduce isomorphic transitions removed 39 transitions.
Drop transitions removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 16 with 105 rules applied. Total rules applied 7980 place count 14460 transition count 25518
Ensure Unique test removed 14 places
Reduce places removed 39 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 25 transitions.
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 17 with 87 rules applied. Total rules applied 8067 place count 14421 transition count 25470
Ensure Unique test removed 2 places
Reduce places removed 25 places and 0 transitions.
Drop transitions removed 10 transitions
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 23 transitions.
Drop transitions removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 18 with 61 rules applied. Total rules applied 8128 place count 14396 transition count 25434
Ensure Unique test removed 10 places
Reduce places removed 23 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 19 with 47 rules applied. Total rules applied 8175 place count 14373 transition count 25410
Ensure Unique test removed 2 places
Reduce places removed 13 places and 0 transitions.
Drop transitions removed 6 transitions
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 20 with 29 rules applied. Total rules applied 8204 place count 14360 transition count 25394
Ensure Unique test removed 6 places
Reduce places removed 11 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 5 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 21 with 19 rules applied. Total rules applied 8223 place count 14349 transition count 25386
Ensure Unique test removed 2 places
Reduce places removed 5 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 22 with 9 rules applied. Total rules applied 8232 place count 14344 transition count 25382
Ensure Unique test removed 2 places
Reduce places removed 3 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 23 with 10 rules applied. Total rules applied 8242 place count 14341 transition count 25375
Ensure Unique test removed 1 places
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 24 with 7 rules applied. Total rules applied 8249 place count 14334 transition count 25375
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 25 with 594 Pre rules applied. Total rules applied 8249 place count 14334 transition count 24781
Deduced a syphon composed of 594 places in 16 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 25 with 1188 rules applied. Total rules applied 9437 place count 13740 transition count 24781
Discarding 8942 places :
Symmetric choice reduction at 25 with 8942 rule applications. Total rules 18379 place count 4798 transition count 15839
Ensure Unique test removed 594 places
Iterating global reduction 25 with 9536 rules applied. Total rules applied 27915 place count 4204 transition count 15839
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 25 with 1 Pre rules applied. Total rules applied 27915 place count 4204 transition count 15838
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 25 with 2 rules applied. Total rules applied 27917 place count 4203 transition count 15838
Discarding 576 places :
Symmetric choice reduction at 25 with 576 rule applications. Total rules 28493 place count 3627 transition count 15262
Iterating global reduction 25 with 576 rules applied. Total rules applied 29069 place count 3627 transition count 15262
Discarding 813 places :
Symmetric choice reduction at 25 with 813 rule applications. Total rules 29882 place count 2814 transition count 7945
Iterating global reduction 25 with 813 rules applied. Total rules applied 30695 place count 2814 transition count 7945
Ensure Unique test removed 813 transitions
Reduce isomorphic transitions removed 813 transitions.
Iterating post reduction 25 with 813 rules applied. Total rules applied 31508 place count 2814 transition count 7132
Performed 2267 Post agglomeration using F-continuation condition.Transition count delta: 2267
Deduced a syphon composed of 2267 places in 1 ms
Ensure Unique test removed 2 places
Reduce places removed 2269 places and 0 transitions.
Iterating global reduction 26 with 4536 rules applied. Total rules applied 36044 place count 545 transition count 4865
Drop transitions removed 2234 transitions
Reduce isomorphic transitions removed 2234 transitions.
Iterating post reduction 26 with 2234 rules applied. Total rules applied 38278 place count 545 transition count 2631
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 179 transitions
Redundant transition composition rules discarded 179 transitions
Iterating global reduction 27 with 179 rules applied. Total rules applied 38457 place count 545 transition count 2452
Ensure Unique test removed 179 places
Iterating post reduction 27 with 179 rules applied. Total rules applied 38636 place count 366 transition count 2452
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 28 with 1 Pre rules applied. Total rules applied 38636 place count 366 transition count 2451
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 28 with 2 rules applied. Total rules applied 38638 place count 365 transition count 2451
Discarding 178 places :
Symmetric choice reduction at 28 with 178 rule applications. Total rules 38816 place count 187 transition count 849
Iterating global reduction 28 with 178 rules applied. Total rules applied 38994 place count 187 transition count 849
Ensure Unique test removed 178 transitions
Reduce isomorphic transitions removed 178 transitions.
Iterating post reduction 28 with 178 rules applied. Total rules applied 39172 place count 187 transition count 671
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 29 with 9 rules applied. Total rules applied 39181 place count 187 transition count 662
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 29 with 9 rules applied. Total rules applied 39190 place count 178 transition count 662
Discarding 15 places :
Symmetric choice reduction at 30 with 15 rule applications. Total rules 39205 place count 163 transition count 527
Ensure Unique test removed 15 places
Iterating global reduction 30 with 30 rules applied. Total rules applied 39235 place count 148 transition count 527
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 30 with 15 rules applied. Total rules applied 39250 place count 148 transition count 512
Discarding 15 places :
Symmetric choice reduction at 31 with 15 rule applications. Total rules 39265 place count 133 transition count 377
Iterating global reduction 31 with 15 rules applied. Total rules applied 39280 place count 133 transition count 377
Discarding 15 places :
Symmetric choice reduction at 31 with 15 rule applications. Total rules 39295 place count 118 transition count 362
Iterating global reduction 31 with 15 rules applied. Total rules applied 39310 place count 118 transition count 362
Partial Free-agglomeration rule applied 288 times.
Drop transitions removed 288 transitions
Iterating global reduction 31 with 288 rules applied. Total rules applied 39598 place count 118 transition count 362
Discarding 15 places :
Symmetric choice reduction at 31 with 15 rule applications. Total rules 39613 place count 103 transition count 227
Ensure Unique test removed 14 places
Iterating global reduction 31 with 29 rules applied. Total rules applied 39642 place count 89 transition count 227
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 31 with 15 rules applied. Total rules applied 39657 place count 89 transition count 212
Discarding 14 places :
Symmetric choice reduction at 32 with 14 rule applications. Total rules 39671 place count 75 transition count 86
Iterating global reduction 32 with 14 rules applied. Total rules applied 39685 place count 75 transition count 86
Discarding 14 places :
Symmetric choice reduction at 32 with 14 rule applications. Total rules 39699 place count 61 transition count 72
Iterating global reduction 32 with 14 rules applied. Total rules applied 39713 place count 61 transition count 72
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 32 with 1 rules applied. Total rules applied 39714 place count 61 transition count 72
Applied a total of 39714 rules in 113342 ms. Remains 61 /18009 variables (removed 17948) and now considering 72/33214 (removed 33142) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 72 rows 61 cols
[2022-06-03 11:57:37] [INFO ] Computed 23 place invariants in 3 ms
[2022-06-03 11:57:37] [INFO ] [Real]Absence check using 4 positive place invariants in 1 ms returned sat
[2022-06-03 11:57:37] [INFO ] [Real]Absence check using 4 positive and 19 generalized place invariants in 7 ms returned sat
[2022-06-03 11:57:37] [INFO ] After 37ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-03 11:57:37] [INFO ] [Nat]Absence check using 4 positive place invariants in 1 ms returned sat
[2022-06-03 11:57:37] [INFO ] [Nat]Absence check using 4 positive and 19 generalized place invariants in 3 ms returned sat
[2022-06-03 11:57:37] [INFO ] After 22ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-03 11:57:37] [INFO ] After 28ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 6 ms.
[2022-06-03 11:57:37] [INFO ] After 60ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-03 11:57:37] [INFO ] Flatten gal took : 37 ms
[2022-06-03 11:57:37] [INFO ] Flatten gal took : 12 ms
[2022-06-03 11:57:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5061317177080891621.gal : 7 ms
[2022-06-03 11:57:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17954690551898843623.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5061317177080891621.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality17954690551898843623.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality17954690551898843623.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 6
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :14 after 23
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :23 after 47
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :47 after 121
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :121 after 838
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,4492,0.105078,7200,2,4015,11,10153,7,0,297,7866,0
Total reachable state count : 4492
Verifying 1 reachability properties.
Reachability property MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-09 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-09,2,0.105717,7200,2,71,11,10153,7,0,300,7866,0
[2022-06-03 11:57:40] [INFO ] Flatten gal took : 2121 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11537296912774900698
[2022-06-03 11:57:41] [INFO ] Too many transitions (33214) to apply POR reductions. Disabling POR matrices.
[2022-06-03 11:57:42] [INFO ] Built C files in 766ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11537296912774900698
Running compilation step : cd /tmp/ltsmin11537296912774900698;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2022-06-03 11:57:43] [INFO ] Applying decomposition
[2022-06-03 11:57:44] [INFO ] Flatten gal took : 2777 ms
[2022-06-03 11:57:45] [INFO ] Flatten gal took : 2619 ms
[2022-06-03 11:57:47] [INFO ] Input system was already deterministic with 33214 transitions.
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph18356402748805608527.txt' '-o' '/tmp/graph18356402748805608527.bin' '-w' '/tmp/graph18356402748805608527.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18356402748805608527.bin' '-l' '-1' '-v' '-w' '/tmp/graph18356402748805608527.weights' '-q' '0' '-e' '0.001'
[2022-06-03 11:57:50] [INFO ] Decomposing Gal with order
[2022-06-03 11:57:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-03 11:57:59] [INFO ] Ran tautology test, simplified 0 / 1 in 14514 ms.
[2022-06-03 11:57:59] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-09(UNSAT) depth K=0 took 240 ms
[2022-06-03 11:58:00] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-09(UNSAT) depth K=1 took 20 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 31654 out of 33214 initially.
// Phase 1: matrix 31654 rows 18009 cols
[2022-06-03 11:58:20] [INFO ] Computed 1769 place invariants in 9913 ms
[2022-06-03 11:58:20] [INFO ] Computed 1769 place invariants in 9920 ms
[2022-06-03 11:58:48] [INFO ] Removed a total of 48126 redundant transitions.
[2022-06-03 11:58:54] [INFO ] Flatten gal took : 57008 ms
[2022-06-03 11:59:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 39257 labels/synchronizations in 10075 ms.
[2022-06-03 11:59:18] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability716934233313969343.gal : 586 ms
[2022-06-03 11:59:18] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability8770487242427492766.prop : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability716934233313969343.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability8770487242427492766.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...297
Loading property file /tmp/ReachabilityFireability8770487242427492766.prop.
BK_STOP 1654258092976
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination ReachabilityFireability -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=@none -Xss128m -Xms40m -Xmx8192m
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-S32C09"
export BK_EXAMINATION="ReachabilityFireability"
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-S32C09, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-tall-165271821500855"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C09.tgz
mv MultiCrashLeafsetExtension-PT-S32C09 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;