About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16243.716 | 2770775.00 | 8136573.00 | 89755.60 | FFFFFFFF??FFF?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r292-tall-162124156800677.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C08, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r292-tall-162124156800677
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 38K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 123K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.0K May 11 19:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 19:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 11 16:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 11 16:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 29M May 12 08:13 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-15
=== Now, execution of the tool begins
BK_START 1621361632185
Running Version 0
[2021-05-18 18:14:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-18 18:14:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 18:14:06] [INFO ] Load time of PNML (sax parser for PT used): 875 ms
[2021-05-18 18:14:06] [INFO ] Transformed 15180 places.
[2021-05-18 18:14:06] [INFO ] Transformed 22267 transitions.
[2021-05-18 18:14:06] [INFO ] Parsed PT model containing 15180 places and 22267 transitions in 1019 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 14 ms.
Working with output stream class java.io.PrintStream
Support contains 68 out of 15180 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15180/15180 places, 22267/22267 transitions.
Reduce places removed 44 places and 0 transitions.
Iterating post reduction 0 with 44 rules applied. Total rules applied 44 place count 15136 transition count 22267
Applied a total of 44 rules in 784 ms. Remains 15136 /15180 variables (removed 44) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:14:07] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:14:10] [INFO ] Computed 1093 place invariants in 2699 ms
[2021-05-18 18:14:22] [INFO ] Implicit Places using invariants in 14863 ms returned []
Implicit Place search using SMT only with invariants took 14897 ms to find 0 implicit places.
[2021-05-18 18:14:22] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:14:24] [INFO ] Computed 1093 place invariants in 2544 ms
[2021-05-18 18:14:25] [INFO ] Dead Transitions using invariants and state equation in 3735 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15180 places, 22267/22267 transitions.
[2021-05-18 18:14:38] [INFO ] Initial state reduction rules for LTL removed 1 formulas.
[2021-05-18 18:14:38] [INFO ] Flatten gal took : 1044 ms
FORMULA MultiCrashLeafsetExtension-PT-S24C08-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-18 18:14:39] [INFO ] Flatten gal took : 738 ms
[2021-05-18 18:14:41] [INFO ] Input system was already deterministic with 22267 transitions.
Incomplete random walk after 100000 steps, including 1217 resets, run finished after 2461 ms. (steps per millisecond=40 ) properties (out of 33) seen :13
Running SMT prover for 20 properties.
[2021-05-18 18:14:54] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:14:57] [INFO ] Computed 1093 place invariants in 2608 ms
[2021-05-18 18:15:02] [INFO ] [Real]Absence check using 47 positive place invariants in 179 ms returned sat
[2021-05-18 18:15:03] [INFO ] [Real]Absence check using 47 positive and 1046 generalized place invariants in 514 ms returned sat
[2021-05-18 18:15:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 18:16:22] [INFO ] SMT Verify possible in real domain returnedunsat :2 sat :0 real:18
[2021-05-18 18:16:27] [INFO ] [Nat]Absence check using 47 positive place invariants in 163 ms returned sat
[2021-05-18 18:16:31] [INFO ] [Nat]Absence check using 47 positive and 1046 generalized place invariants in 4223 ms returned sat
[2021-05-18 18:16:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 18:18:02] [INFO ] [Nat]Absence check using state equation in 87302 ms returned unsat :0 sat :19
[2021-05-18 18:18:02] [INFO ] State equation strengthened by 6827 read => feed constraints.
[2021-05-18 18:18:02] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Successfully simplified 2 atomic propositions for a total of 15 simplifications.
[2021-05-18 18:18:02] [INFO ] Initial state test concluded for 1 properties.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(p0)&&G((p1&&X(p2)))))], workingDir=/home/mcc/execution]
Support contains 7 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 456 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:18:04] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:07] [INFO ] Computed 1093 place invariants in 2601 ms
[2021-05-18 18:18:08] [INFO ] Implicit Places using invariants in 4282 ms returned []
Implicit Place search using SMT only with invariants took 4283 ms to find 0 implicit places.
[2021-05-18 18:18:08] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:11] [INFO ] Computed 1093 place invariants in 2575 ms
[2021-05-18 18:18:16] [INFO ] Dead Transitions using invariants and state equation in 7960 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 206 ms :[(OR (NOT p1) (NOT p2)), (OR (NOT p1) (NOT p2) (NOT p0)), (OR (NOT p1) (NOT p2) (NOT p0)), true]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-00 automaton TGBA [mat=[[{ cond=(AND p1 p2), acceptance={} source=0 dest: 0}, { cond=(OR (NOT p1) (NOT p2)), acceptance={} source=0 dest: 3}], [{ cond=(AND p0 p1), acceptance={} source=1 dest: 0}, { cond=(AND (NOT p0) p1), acceptance={} source=1 dest: 2}, { cond=(NOT p1), acceptance={} source=1 dest: 3}], [{ cond=(AND p0 p1 p2), acceptance={0} source=2 dest: 0}, { cond=(AND (NOT p0) p1 p2), acceptance={0} source=2 dest: 2}, { cond=(OR (NOT p1) (NOT p2)), acceptance={0} source=2 dest: 3}], [{ cond=true, acceptance={0} source=3 dest: 3}]], initial=1, aps=[p1:(OR (LT s2152 1) (LT s10709 1)), p2:(OR (GEQ s7552 1) (AND (GEQ s631 1) (GEQ s739 1))), p0:(AND (GEQ s2619 1) (GEQ s14957 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 6 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-00 finished in 14145 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((F(p0)&&F(G(p1)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Drop transitions removed 4788 transitions
Trivial Post-agglo rules discarded 4788 transitions
Performed 4788 trivial Post agglomeration. Transition count delta: 4788
Iterating post reduction 0 with 4788 rules applied. Total rules applied 4788 place count 15136 transition count 17479
Reduce places removed 4788 places and 0 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Iterating post reduction 1 with 4800 rules applied. Total rules applied 9588 place count 10348 transition count 17467
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 9600 place count 10336 transition count 17467
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 399 Pre rules applied. Total rules applied 9600 place count 10336 transition count 17068
Deduced a syphon composed of 399 places in 13 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 3 with 798 rules applied. Total rules applied 10398 place count 9937 transition count 17068
Discarding 4399 places :
Symmetric choice reduction at 3 with 4399 rule applications. Total rules 14797 place count 5538 transition count 12669
Iterating global reduction 3 with 4399 rules applied. Total rules applied 19196 place count 5538 transition count 12669
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 15 Pre rules applied. Total rules applied 19196 place count 5538 transition count 12654
Deduced a syphon composed of 15 places in 9 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 3 with 30 rules applied. Total rules applied 19226 place count 5523 transition count 12654
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 19775 place count 4974 transition count 8262
Iterating global reduction 3 with 549 rules applied. Total rules applied 20324 place count 4974 transition count 8262
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 7 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 20374 place count 4949 transition count 8237
Applied a total of 20374 rules in 3862 ms. Remains 4949 /15136 variables (removed 10187) and now considering 8237/22267 (removed 14030) transitions.
[2021-05-18 18:18:20] [INFO ] Flow matrix only has 7637 transitions (discarded 600 similar events)
// Phase 1: matrix 7637 rows 4949 cols
[2021-05-18 18:18:21] [INFO ] Computed 1093 place invariants in 253 ms
[2021-05-18 18:18:25] [INFO ] Implicit Places using invariants in 4941 ms returned []
[2021-05-18 18:18:25] [INFO ] Flow matrix only has 7637 transitions (discarded 600 similar events)
// Phase 1: matrix 7637 rows 4949 cols
[2021-05-18 18:18:26] [INFO ] Computed 1093 place invariants in 258 ms
[2021-05-18 18:18:30] [INFO ] Implicit Places using invariants and state equation in 4669 ms returned []
Implicit Place search using SMT with State Equation took 9612 ms to find 0 implicit places.
[2021-05-18 18:18:31] [INFO ] Redundant transitions in 1058 ms returned []
[2021-05-18 18:18:31] [INFO ] Flow matrix only has 7637 transitions (discarded 600 similar events)
// Phase 1: matrix 7637 rows 4949 cols
[2021-05-18 18:18:31] [INFO ] Computed 1093 place invariants in 252 ms
[2021-05-18 18:18:36] [INFO ] Dead Transitions using invariants and state equation in 4941 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4949/15136 places, 8237/22267 transitions.
Stuttering acceptance computed with spot in 89 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-01 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={0} source=2 dest: 2}, { cond=p1, acceptance={} source=2 dest: 2}]], initial=0, aps=[p0:(AND (GEQ s2577 1) (GEQ s4813 1)), p1:(OR (LT s1197 1) (LT s1364 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 56 steps with 0 reset in 4 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-01 finished in 19619 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((G(p0)&&F(p1))))], workingDir=/home/mcc/execution]
Support contains 2 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 364 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:18:37] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:39] [INFO ] Computed 1093 place invariants in 2578 ms
[2021-05-18 18:18:40] [INFO ] Implicit Places using invariants in 3911 ms returned []
Implicit Place search using SMT only with invariants took 3912 ms to find 0 implicit places.
[2021-05-18 18:18:40] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:43] [INFO ] Computed 1093 place invariants in 2570 ms
[2021-05-18 18:18:44] [INFO ] Dead Transitions using invariants and state equation in 3958 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 88 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), true, (OR (NOT p1) (NOT p0))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-02 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 2}], [{ cond=true, acceptance={} source=1 dest: 3}], [{ cond=true, acceptance={0} source=2 dest: 2}], [{ cond=(AND p0 p1), acceptance={0} source=3 dest: 0}, { cond=(NOT p0), acceptance={0} source=3 dest: 2}, { cond=(AND p0 (NOT p1)), acceptance={0} source=3 dest: 3}]], initial=1, aps=[p0:(GEQ s3502 1), p1:(GEQ s4768 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 3 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-02 finished in 8395 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((X((p0||G(p1))) U (p2 U X(p3)))))], workingDir=/home/mcc/execution]
Support contains 9 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 369 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:18:45] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:48] [INFO ] Computed 1093 place invariants in 2563 ms
[2021-05-18 18:18:49] [INFO ] Implicit Places using invariants in 3924 ms returned []
Implicit Place search using SMT only with invariants took 3925 ms to find 0 implicit places.
[2021-05-18 18:18:49] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:51] [INFO ] Computed 1093 place invariants in 2525 ms
[2021-05-18 18:18:53] [INFO ] Dead Transitions using invariants and state equation in 3874 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 279 ms :[(NOT p3), (AND p2 (NOT p3) (NOT p0) (NOT p1)), (NOT p3), (AND (NOT p1) (NOT p0) (NOT p3)), (OR (AND p1 (NOT p3)) (AND p0 (NOT p3))), (AND p0 (NOT p1) (NOT p3)), (AND (NOT p1) p0 (NOT p3)), (OR (AND p0 (NOT p3)) (AND p1 (NOT p3)) (AND p2 (NOT p3))), true, (NOT p1)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-03 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=p2, acceptance={} source=0 dest: 1}, { cond=true, acceptance={} source=0 dest: 2}, { cond=(NOT p2), acceptance={} source=0 dest: 3}], [{ cond=(AND (NOT p2) (NOT p0) (NOT p3) (NOT p1)), acceptance={} source=1 dest: 4}, { cond=(AND p2 (NOT p0) (NOT p3) p1), acceptance={} source=1 dest: 5}, { cond=(AND (NOT p2) (NOT p0) (NOT p3) p1), acceptance={} source=1 dest: 6}, { cond=(AND p2 (NOT p0) (NOT p3) (NOT p1)), acceptance={} source=1 dest: 7}], [{ cond=(AND p2 (NOT p3)), acceptance={0} source=2 dest: 1}, { cond=(NOT p3), acceptance={0} source=2 dest: 2}, { cond=(AND (NOT p2) (NOT p3)), acceptance={0} source=2 dest: 3}], [{ cond=(AND (NOT p0) (NOT p3) (NOT p1)), acceptance={} source=3 dest: 8}, { cond=(AND (NOT p0) (NOT p3) p1), acceptance={} source=3 dest: 9}], [{ cond=(OR (AND p0 (NOT p3)) (AND (NOT p3) p1)), acceptance={} source=4 dest: 8}], [{ cond=(AND (NOT p2) p0 (NOT p3) (NOT p1)), acceptance={} source=5 dest: 4}, { cond=(AND p2 p0 (NOT p3) p1), acceptance={} source=5 dest: 5}, { cond=(AND (NOT p2) p0 (NOT p3) p1), acceptance={} source=5 dest: 6}, { cond=(AND p2 p0 (NOT p3) (NOT p1)), acceptance={} source=5 dest: 7}], [{ cond=(AND p0 (NOT p3) (NOT p1)), acceptance={} source=6 dest: 8}, { cond=(AND p0 (NOT p3) p1), acceptance={} source=6 dest: 9}], [{ cond=(AND (NOT p2) (NOT p3)), acceptance={0} source=7 dest: 4}, { cond=(AND p2 (NOT p3)), acceptance={0} source=7 dest: 7}], [{ cond=true, acceptance={0} source=8 dest: 8}], [{ cond=(NOT p1), acceptance={} source=9 dest: 8}, { cond=p1, acceptance={} source=9 dest: 9}]], initial=0, aps=[p2:(AND (GEQ s2097 1) (GEQ s2147 1)), p0:(GEQ s11031 1), p3:(AND (GEQ s11768 1) (GEQ s15092 1)), p1:(OR (LT s2 1) (LT s1003 1) (LT s1005 1) (LT s6601 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null, null, null, null][false, false, false, false, false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 408 steps with 5 reset in 11 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-03 finished in 8539 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0&&X(((p1&&F(p2))||G(p1))))))], workingDir=/home/mcc/execution]
Support contains 5 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 354 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:18:53] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:18:56] [INFO ] Computed 1093 place invariants in 2494 ms
[2021-05-18 18:18:57] [INFO ] Implicit Places using invariants in 3849 ms returned []
Implicit Place search using SMT only with invariants took 3851 ms to find 0 implicit places.
[2021-05-18 18:18:57] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:19:00] [INFO ] Computed 1093 place invariants in 2499 ms
[2021-05-18 18:19:01] [INFO ] Dead Transitions using invariants and state equation in 3850 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 154 ms :[true, (NOT p2), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (NOT p1), (AND (NOT p2) (NOT p1))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-04 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p2), acceptance={0} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=(NOT p0), acceptance={} source=3 dest: 0}, { cond=p0, acceptance={} source=3 dest: 4}], [{ cond=(NOT p1), acceptance={} source=4 dest: 0}, { cond=(AND p1 (NOT p2)), acceptance={} source=4 dest: 5}], [{ cond=(AND (NOT p1) (NOT p2)), acceptance={} source=5 dest: 1}, { cond=(AND p1 (NOT p2)), acceptance={} source=5 dest: 5}]], initial=2, aps=[p2:(OR (LT s9779 1) (LT s10120 1)), p0:(OR (GEQ s8552 1) (AND (GEQ s4012 1) (GEQ s4509 1))), p1:(OR (LT s4012 1) (LT s4509 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null][false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 2 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-04 finished in 8266 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((F(p0)&&F(G(p1)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Drop transitions removed 4800 transitions
Trivial Post-agglo rules discarded 4800 transitions
Performed 4800 trivial Post agglomeration. Transition count delta: 4800
Iterating post reduction 0 with 4800 rules applied. Total rules applied 4800 place count 15136 transition count 17467
Reduce places removed 4800 places and 0 transitions.
Iterating post reduction 1 with 4800 rules applied. Total rules applied 9600 place count 10336 transition count 17467
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 400 Pre rules applied. Total rules applied 9600 place count 10336 transition count 17067
Deduced a syphon composed of 400 places in 13 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 2 with 800 rules applied. Total rules applied 10400 place count 9936 transition count 17067
Discarding 4400 places :
Symmetric choice reduction at 2 with 4400 rule applications. Total rules 14800 place count 5536 transition count 12667
Iterating global reduction 2 with 4400 rules applied. Total rules applied 19200 place count 5536 transition count 12667
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 16 Pre rules applied. Total rules applied 19200 place count 5536 transition count 12651
Deduced a syphon composed of 16 places in 8 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 2 with 32 rules applied. Total rules applied 19232 place count 5520 transition count 12651
Discarding 550 places :
Symmetric choice reduction at 2 with 550 rule applications. Total rules 19782 place count 4970 transition count 8251
Iterating global reduction 2 with 550 rules applied. Total rules applied 20332 place count 4970 transition count 8251
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 20382 place count 4945 transition count 8226
Applied a total of 20382 rules in 2413 ms. Remains 4945 /15136 variables (removed 10191) and now considering 8226/22267 (removed 14041) transitions.
[2021-05-18 18:19:04] [INFO ] Flow matrix only has 7626 transitions (discarded 600 similar events)
// Phase 1: matrix 7626 rows 4945 cols
[2021-05-18 18:19:04] [INFO ] Computed 1093 place invariants in 256 ms
[2021-05-18 18:19:08] [INFO ] Implicit Places using invariants in 3818 ms returned []
[2021-05-18 18:19:08] [INFO ] Flow matrix only has 7626 transitions (discarded 600 similar events)
// Phase 1: matrix 7626 rows 4945 cols
[2021-05-18 18:19:08] [INFO ] Computed 1093 place invariants in 261 ms
[2021-05-18 18:19:11] [INFO ] Implicit Places using invariants and state equation in 3785 ms returned []
Implicit Place search using SMT with State Equation took 7604 ms to find 0 implicit places.
[2021-05-18 18:19:12] [INFO ] Redundant transitions in 965 ms returned []
[2021-05-18 18:19:12] [INFO ] Flow matrix only has 7626 transitions (discarded 600 similar events)
// Phase 1: matrix 7626 rows 4945 cols
[2021-05-18 18:19:13] [INFO ] Computed 1093 place invariants in 274 ms
[2021-05-18 18:19:17] [INFO ] Dead Transitions using invariants and state equation in 4751 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4945/15136 places, 8226/22267 transitions.
Stuttering acceptance computed with spot in 79 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-05 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={0} source=2 dest: 2}, { cond=p1, acceptance={} source=2 dest: 2}]], initial=0, aps=[p0:(AND (GEQ s661 1) (GEQ s4918 1)), p1:(OR (LT s2700 1) (LT s3283 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 56 steps with 0 reset in 2 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-05 finished in 15846 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(G(p0))))], workingDir=/home/mcc/execution]
Support contains 1 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 365 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:19:18] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:19:20] [INFO ] Computed 1093 place invariants in 2595 ms
[2021-05-18 18:19:22] [INFO ] Implicit Places using invariants in 3966 ms returned []
Implicit Place search using SMT only with invariants took 3967 ms to find 0 implicit places.
[2021-05-18 18:19:22] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:19:24] [INFO ] Computed 1093 place invariants in 2597 ms
[2021-05-18 18:19:26] [INFO ] Dead Transitions using invariants and state equation in 3957 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 80 ms :[true, (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-06 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=true, acceptance={} source=3 dest: 2}]], initial=3, aps=[p0:(LT s7974 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Product exploration explored 100000 steps with 1216 reset in 1755 ms.
Product exploration explored 100000 steps with 1217 reset in 1726 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 76 ms :[true, (NOT p0), (NOT p0), (NOT p0)]
Entered a terminal (fully accepting) state of product in 93465 steps with 1137 reset in 1570 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-06 finished in 13634 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((G(p1)||X(G((F(p3)&&p2)))||p0)))], workingDir=/home/mcc/execution]
Support contains 6 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 357 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:19:31] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:19:34] [INFO ] Computed 1093 place invariants in 2487 ms
[2021-05-18 18:19:35] [INFO ] Implicit Places using invariants in 3857 ms returned []
Implicit Place search using SMT only with invariants took 3865 ms to find 0 implicit places.
[2021-05-18 18:19:35] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:19:38] [INFO ] Computed 1093 place invariants in 2591 ms
[2021-05-18 18:19:39] [INFO ] Dead Transitions using invariants and state equation in 3944 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 184 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (NOT p2) (NOT p3)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p1) (NOT p3))), true, (NOT p3), (NOT p1)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-08 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 2}, { cond=(AND (NOT p0) p1), acceptance={} source=1 dest: 3}], [{ cond=p2, acceptance={} source=2 dest: 2}, { cond=(NOT p2), acceptance={} source=2 dest: 4}, { cond=(AND p2 (NOT p3)), acceptance={} source=2 dest: 5}], [{ cond=(AND (NOT p1) p2), acceptance={} source=3 dest: 2}, { cond=(AND p1 p2), acceptance={} source=3 dest: 3}, { cond=(AND (NOT p1) (NOT p2)), acceptance={} source=3 dest: 4}, { cond=(AND (NOT p1) p2 (NOT p3)), acceptance={} source=3 dest: 5}, { cond=(AND p1 (NOT p2)), acceptance={} source=3 dest: 6}], [{ cond=true, acceptance={0} source=4 dest: 4}], [{ cond=(NOT p3), acceptance={0} source=5 dest: 5}], [{ cond=(NOT p1), acceptance={} source=6 dest: 4}, { cond=p1, acceptance={} source=6 dest: 6}]], initial=0, aps=[p0:(OR (LT s11290 1) (LT s12386 1)), p1:(OR (LT s4570 1) (LT s5049 1)), p2:(AND (GEQ s2157 1) (GEQ s2859 1)), p3:(AND (GEQ s2157 1) (GEQ s2859 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Product exploration timeout after 90760 steps with 45380 reset in 10001 ms.
Product exploration timeout after 91860 steps with 45930 reset in 10001 ms.
Knowledge obtained : [p0, p1, (NOT p2), (NOT p3)]
Stuttering acceptance computed with spot in 181 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (NOT p2) (NOT p3)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p1) (NOT p3))), true, (NOT p3), (NOT p1)]
Product exploration timeout after 93920 steps with 46960 reset in 10001 ms.
Product exploration timeout after 93580 steps with 46790 reset in 10001 ms.
Applying partial POR strategy [false, false, true, true, true, true, true]
Stuttering acceptance computed with spot in 193 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (AND (NOT p0) (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1) (NOT p3))), (OR (NOT p2) (NOT p3)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p1) (NOT p3))), true, (NOT p3), (NOT p1)]
Support contains 6 out of 15136 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Performed 4800 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 4800 rules applied. Total rules applied 4800 place count 15136 transition count 22267
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 399 Pre rules applied. Total rules applied 4800 place count 15136 transition count 26656
Deduced a syphon composed of 5199 places in 29 ms
Iterating global reduction 1 with 399 rules applied. Total rules applied 5199 place count 15136 transition count 26656
Discarding 9183 places :
Symmetric choice reduction at 1 with 9183 rule applications. Total rules 14382 place count 5953 transition count 13084
Deduced a syphon composed of 415 places in 9 ms
Iterating global reduction 1 with 9183 rules applied. Total rules applied 23565 place count 5953 transition count 13084
Discarding 549 places :
Symmetric choice reduction at 1 with 549 rule applications. Total rules 24114 place count 5404 transition count 8692
Deduced a syphon composed of 415 places in 5 ms
Iterating global reduction 1 with 549 rules applied. Total rules applied 24663 place count 5404 transition count 8692
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 439 places in 5 ms
Iterating global reduction 1 with 24 rules applied. Total rules applied 24687 place count 5404 transition count 8692
Deduced a syphon composed of 439 places in 5 ms
Applied a total of 24687 rules in 5283 ms. Remains 5404 /15136 variables (removed 9732) and now considering 8692/22267 (removed 13575) transitions.
[2021-05-18 18:20:26] [INFO ] Redundant transitions in 970 ms returned []
[2021-05-18 18:20:26] [INFO ] Flow matrix only has 8092 transitions (discarded 600 similar events)
// Phase 1: matrix 8092 rows 5404 cols
[2021-05-18 18:20:27] [INFO ] Computed 1093 place invariants in 315 ms
[2021-05-18 18:20:32] [INFO ] Dead Transitions using invariants and state equation in 5812 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5404/15136 places, 8692/22267 transitions.
Product exploration timeout after 91310 steps with 45655 reset in 10001 ms.
Product exploration timeout after 92860 steps with 46430 reset in 10001 ms.
[2021-05-18 18:20:53] [INFO ] Flatten gal took : 676 ms
[2021-05-18 18:20:54] [INFO ] Flatten gal took : 683 ms
[2021-05-18 18:20:54] [INFO ] Time to serialize gal into /tmp/LTL8550003219304241966.gal : 188 ms
[2021-05-18 18:20:54] [INFO ] Time to serialize properties into /tmp/LTL2732089556036765813.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL8550003219304241966.gal, -t, CGAL, -LTL, /tmp/LTL2732089556036765813.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL8550003219304241966.gal -t CGAL -LTL /tmp/LTL2732089556036765813.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X((("((Node20NotifyThatHeIsActive<1)||(Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))")||(G("((Node7HasAskedItsLeafSetToLx2ToReplaceNode1<1)||(LeafSetOfLx2IsSentToNode7<1))")))||(X(G(("((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))")&&(F("((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))"))))))))
Formula 0 simplified : !X("((Node20NotifyThatHeIsActive<1)||(Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))" | G"((Node7HasAskedItsLeafSetToLx2ToReplaceNode1<1)||(LeafSetOfLx2IsSentToNode7<1))" | XG("((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))" & F"((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))"))
Detected timeout of ITS tools.
[2021-05-18 18:21:10] [INFO ] Flatten gal took : 650 ms
[2021-05-18 18:21:10] [INFO ] Applying decomposition
[2021-05-18 18:21:11] [INFO ] Flatten gal took : 728 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1163225704481997936.txt, -o, /tmp/graph1163225704481997936.bin, -w, /tmp/graph1163225704481997936.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph1163225704481997936.bin, -l, -1, -v, -w, /tmp/graph1163225704481997936.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 18:21:12] [INFO ] Decomposing Gal with order
[2021-05-18 18:21:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 18:21:18] [INFO ] Removed a total of 14333 redundant transitions.
[2021-05-18 18:21:19] [INFO ] Flatten gal took : 3688 ms
[2021-05-18 18:21:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 1547 labels/synchronizations in 535 ms.
[2021-05-18 18:21:20] [INFO ] Time to serialize gal into /tmp/LTL13371926661224596635.gal : 150 ms
[2021-05-18 18:21:20] [INFO ] Time to serialize properties into /tmp/LTL16777426439442814389.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13371926661224596635.gal, -t, CGAL, -LTL, /tmp/LTL16777426439442814389.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13371926661224596635.gal -t CGAL -LTL /tmp/LTL16777426439442814389.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X((("((i2.u247.Node20NotifyThatHeIsActive<1)||(i2.u284.Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))")||(G("((i4.u383.Node7HasAskedItsLeafSetToLx2ToReplaceNode1<1)||(i4.u383.LeafSetOfLx2IsSentToNode7<1))")))||(X(G(("((i0.u0.Node3IsTheNodeMaster>=1)&&(i0.u0.Node4HasDetectedCrashOfNode3>=1))")&&(F("((i0.u0.Node3IsTheNodeMaster>=1)&&(i0.u0.Node4HasDetectedCrashOfNode3>=1))"))))))))
Formula 0 simplified : !X("((i2.u247.Node20NotifyThatHeIsActive<1)||(i2.u284.Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))" | G"((i4.u383.Node7HasAskedItsLeafSetToLx2ToReplaceNode1<1)||(i4.u383.LeafSetOfLx2IsSentToNode7<1))" | XG("((i0.u0.Node3IsTheNodeMaster>=1)&&(i0.u0.Node4HasDetectedCrashOfNode3>=1))" & F"((i0.u0.Node3IsTheNodeMaster>=1)&&(i0.u0.Node4HasDetectedCrashOfNode3>=1))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3578059298874383116
[2021-05-18 18:21:36] [INFO ] Built C files in 263ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3578059298874383116
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3578059298874383116]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3578059298874383116] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3578059298874383116] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-08 finished in 125699 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 368 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:21:37] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:21:39] [INFO ] Computed 1093 place invariants in 2518 ms
[2021-05-18 18:21:41] [INFO ] Implicit Places using invariants in 3826 ms returned []
Implicit Place search using SMT only with invariants took 3836 ms to find 0 implicit places.
[2021-05-18 18:21:41] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:21:43] [INFO ] Computed 1093 place invariants in 2707 ms
[2021-05-18 18:21:45] [INFO ] Dead Transitions using invariants and state equation in 4010 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 49 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-09 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(OR (LT s3400 1) (LT s10153 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null][false, false]]
Product exploration timeout after 92200 steps with 45219 reset in 10001 ms.
Product exploration timeout after 91700 steps with 44954 reset in 10001 ms.
Knowledge obtained : [p0]
Stuttering acceptance computed with spot in 45 ms :[(NOT p0), (NOT p0)]
Product exploration timeout after 94500 steps with 46306 reset in 10007 ms.
Product exploration timeout after 91120 steps with 44642 reset in 10001 ms.
Applying partial POR strategy [false, true]
Stuttering acceptance computed with spot in 56 ms :[(NOT p0), (NOT p0)]
Support contains 2 out of 15136 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Performed 4800 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 4800 rules applied. Total rules applied 4800 place count 15136 transition count 22267
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 400 Pre rules applied. Total rules applied 4800 place count 15136 transition count 26667
Deduced a syphon composed of 5200 places in 27 ms
Iterating global reduction 1 with 400 rules applied. Total rules applied 5200 place count 15136 transition count 26667
Discarding 9184 places :
Symmetric choice reduction at 1 with 9184 rule applications. Total rules 14384 place count 5952 transition count 13083
Deduced a syphon composed of 416 places in 10 ms
Iterating global reduction 1 with 9184 rules applied. Total rules applied 23568 place count 5952 transition count 13083
Discarding 550 places :
Symmetric choice reduction at 1 with 550 rule applications. Total rules 24118 place count 5402 transition count 8683
Deduced a syphon composed of 416 places in 7 ms
Iterating global reduction 1 with 550 rules applied. Total rules applied 24668 place count 5402 transition count 8683
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 441 places in 6 ms
Iterating global reduction 1 with 25 rules applied. Total rules applied 24693 place count 5402 transition count 8683
Deduced a syphon composed of 441 places in 6 ms
Applied a total of 24693 rules in 4731 ms. Remains 5402 /15136 variables (removed 9734) and now considering 8683/22267 (removed 13584) transitions.
[2021-05-18 18:22:31] [INFO ] Redundant transitions in 960 ms returned []
[2021-05-18 18:22:31] [INFO ] Flow matrix only has 8083 transitions (discarded 600 similar events)
// Phase 1: matrix 8083 rows 5402 cols
[2021-05-18 18:22:31] [INFO ] Computed 1093 place invariants in 325 ms
[2021-05-18 18:22:36] [INFO ] Dead Transitions using invariants and state equation in 5319 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5402/15136 places, 8683/22267 transitions.
Product exploration timeout after 20790 steps with 10179 reset in 10004 ms.
Product exploration timeout after 20870 steps with 10234 reset in 10001 ms.
[2021-05-18 18:22:57] [INFO ] Flatten gal took : 653 ms
[2021-05-18 18:22:58] [INFO ] Flatten gal took : 677 ms
[2021-05-18 18:22:58] [INFO ] Time to serialize gal into /tmp/LTL13443260261352287155.gal : 67 ms
[2021-05-18 18:22:58] [INFO ] Time to serialize properties into /tmp/LTL10619248180953453132.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13443260261352287155.gal, -t, CGAL, -LTL, /tmp/LTL10619248180953453132.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13443260261352287155.gal -t CGAL -LTL /tmp/LTL10619248180953453132.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(F("((Node4DontAnswerToAnyNode<1)||(Node18IsActive<1))"))))
Formula 0 simplified : !XF"((Node4DontAnswerToAnyNode<1)||(Node18IsActive<1))"
Detected timeout of ITS tools.
[2021-05-18 18:23:14] [INFO ] Flatten gal took : 646 ms
[2021-05-18 18:23:14] [INFO ] Applying decomposition
[2021-05-18 18:23:14] [INFO ] Flatten gal took : 669 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12467477289986127012.txt, -o, /tmp/graph12467477289986127012.bin, -w, /tmp/graph12467477289986127012.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12467477289986127012.bin, -l, -1, -v, -w, /tmp/graph12467477289986127012.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 18:23:16] [INFO ] Decomposing Gal with order
[2021-05-18 18:23:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 18:23:21] [INFO ] Removed a total of 14293 redundant transitions.
[2021-05-18 18:23:22] [INFO ] Flatten gal took : 2943 ms
[2021-05-18 18:23:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 1479 labels/synchronizations in 342 ms.
[2021-05-18 18:23:22] [INFO ] Time to serialize gal into /tmp/LTL8645782260990406283.gal : 86 ms
[2021-05-18 18:23:22] [INFO ] Time to serialize properties into /tmp/LTL12796619741127099287.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL8645782260990406283.gal, -t, CGAL, -LTL, /tmp/LTL12796619741127099287.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL8645782260990406283.gal -t CGAL -LTL /tmp/LTL12796619741127099287.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(F("((i2.u0.Node4DontAnswerToAnyNode<1)||(i2.u0.Node18IsActive<1))"))))
Formula 0 simplified : !XF"((i2.u0.Node4DontAnswerToAnyNode<1)||(i2.u0.Node18IsActive<1))"
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16731526269023949941
[2021-05-18 18:23:38] [INFO ] Built C files in 190ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16731526269023949941
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16731526269023949941]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16731526269023949941] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16731526269023949941] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-09 finished in 122084 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Drop transitions removed 4800 transitions
Trivial Post-agglo rules discarded 4800 transitions
Performed 4800 trivial Post agglomeration. Transition count delta: 4800
Iterating post reduction 0 with 4800 rules applied. Total rules applied 4800 place count 15136 transition count 17467
Reduce places removed 4800 places and 0 transitions.
Iterating post reduction 1 with 4800 rules applied. Total rules applied 9600 place count 10336 transition count 17467
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 400 Pre rules applied. Total rules applied 9600 place count 10336 transition count 17067
Deduced a syphon composed of 400 places in 14 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 2 with 800 rules applied. Total rules applied 10400 place count 9936 transition count 17067
Discarding 4400 places :
Symmetric choice reduction at 2 with 4400 rule applications. Total rules 14800 place count 5536 transition count 12667
Iterating global reduction 2 with 4400 rules applied. Total rules applied 19200 place count 5536 transition count 12667
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 16 Pre rules applied. Total rules applied 19200 place count 5536 transition count 12651
Deduced a syphon composed of 16 places in 9 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 2 with 32 rules applied. Total rules applied 19232 place count 5520 transition count 12651
Discarding 550 places :
Symmetric choice reduction at 2 with 550 rule applications. Total rules 19782 place count 4970 transition count 8251
Iterating global reduction 2 with 550 rules applied. Total rules applied 20332 place count 4970 transition count 8251
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 5 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 20380 place count 4946 transition count 8227
Applied a total of 20380 rules in 2699 ms. Remains 4946 /15136 variables (removed 10190) and now considering 8227/22267 (removed 14040) transitions.
[2021-05-18 18:23:41] [INFO ] Flow matrix only has 7627 transitions (discarded 600 similar events)
// Phase 1: matrix 7627 rows 4946 cols
[2021-05-18 18:23:42] [INFO ] Computed 1093 place invariants in 261 ms
[2021-05-18 18:23:45] [INFO ] Implicit Places using invariants in 3834 ms returned []
[2021-05-18 18:23:45] [INFO ] Flow matrix only has 7627 transitions (discarded 600 similar events)
// Phase 1: matrix 7627 rows 4946 cols
[2021-05-18 18:23:45] [INFO ] Computed 1093 place invariants in 256 ms
[2021-05-18 18:23:49] [INFO ] Implicit Places using invariants and state equation in 3785 ms returned []
Implicit Place search using SMT with State Equation took 7622 ms to find 0 implicit places.
[2021-05-18 18:23:50] [INFO ] Redundant transitions in 730 ms returned []
[2021-05-18 18:23:50] [INFO ] Flow matrix only has 7627 transitions (discarded 600 similar events)
// Phase 1: matrix 7627 rows 4946 cols
[2021-05-18 18:23:50] [INFO ] Computed 1093 place invariants in 256 ms
[2021-05-18 18:23:54] [INFO ] Dead Transitions using invariants and state equation in 4737 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4946/15136 places, 8227/22267 transitions.
Stuttering acceptance computed with spot in 24 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-10 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(AND (GEQ s1782 1) (GEQ s2588 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 58 steps with 0 reset in 2 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-10 finished in 15864 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((p0||X((X(p1) U (X(p1)&&p2))))))], workingDir=/home/mcc/execution]
Support contains 3 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 384 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:23:55] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:23:57] [INFO ] Computed 1093 place invariants in 2572 ms
[2021-05-18 18:23:59] [INFO ] Implicit Places using invariants in 3956 ms returned []
Implicit Place search using SMT only with invariants took 3957 ms to find 0 implicit places.
[2021-05-18 18:23:59] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:24:01] [INFO ] Computed 1093 place invariants in 2596 ms
[2021-05-18 18:24:03] [INFO ] Dead Transitions using invariants and state equation in 3910 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 157 ms :[(AND (NOT p0) (NOT p1)), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1)))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-11 automaton TGBA [mat=[[{ cond=(AND (NOT p0) p2 (NOT p1)), acceptance={0} source=0 dest: 0}, { cond=(AND (NOT p0) (NOT p2) (NOT p1)), acceptance={0} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p0) p2), acceptance={0} source=2 dest: 0}, { cond=(AND (NOT p0) (NOT p2)), acceptance={0} source=2 dest: 2}]], initial=1, aps=[p0:(AND (GEQ s1705 1) (GEQ s14822 1)), p2:(AND (GEQ s1705 1) (GEQ s14822 1)), p1:(GEQ s8628 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 80 steps with 0 reset in 3 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-11 finished in 8476 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(X(G((p0&&X(G((X(G(p2))||p1)))))))))], workingDir=/home/mcc/execution]
Support contains 5 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Applied a total of 0 rules in 394 ms. Remains 15136 /15136 variables (removed 0) and now considering 22267/22267 (removed 0) transitions.
[2021-05-18 18:24:03] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:24:06] [INFO ] Computed 1093 place invariants in 2504 ms
[2021-05-18 18:24:07] [INFO ] Implicit Places using invariants in 3862 ms returned []
Implicit Place search using SMT only with invariants took 3863 ms to find 0 implicit places.
[2021-05-18 18:24:07] [INFO ] Flow matrix only has 21667 transitions (discarded 600 similar events)
// Phase 1: matrix 21667 rows 15136 cols
[2021-05-18 18:24:10] [INFO ] Computed 1093 place invariants in 2561 ms
[2021-05-18 18:24:11] [INFO ] Dead Transitions using invariants and state equation in 3940 ms returned []
Finished structural reductions, in 1 iterations. Remains : 15136/15136 places, 22267/22267 transitions.
Stuttering acceptance computed with spot in 210 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), true]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-13 automaton TGBA [mat=[[{ cond=(AND p0 p2), acceptance={} source=0 dest: 0}, { cond=(OR (NOT p0) (NOT p2)), acceptance={} source=0 dest: 6}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=p0, acceptance={} source=2 dest: 3}, { cond=(NOT p0), acceptance={} source=2 dest: 6}], [{ cond=(AND p0 (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND p0 p1), acceptance={} source=3 dest: 3}, { cond=(NOT p0), acceptance={} source=3 dest: 6}], [{ cond=true, acceptance={} source=4 dest: 1}], [{ cond=true, acceptance={} source=5 dest: 4}], [{ cond=true, acceptance={0} source=6 dest: 6}]], initial=5, aps=[p0:(OR (LT s766 1) (LT s11289 1) (LT s11292 1)), p2:(OR (LT s4352 1) (LT s15092 1)), p1:(OR (LT s766 1) (LT s11289 1) (LT s11292 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Product exploration explored 100000 steps with 1216 reset in 1929 ms.
Product exploration explored 100000 steps with 1217 reset in 1846 ms.
Knowledge obtained : [p0, p2, p1]
Stuttering acceptance computed with spot in 170 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), true]
Product exploration explored 100000 steps with 1216 reset in 2104 ms.
Product exploration explored 100000 steps with 1217 reset in 2306 ms.
Applying partial POR strategy [true, false, false, false, false, false, true]
Stuttering acceptance computed with spot in 186 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), true]
Support contains 5 out of 15136 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Performed 4800 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 4800 rules applied. Total rules applied 4800 place count 15136 transition count 22267
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 400 Pre rules applied. Total rules applied 4800 place count 15136 transition count 26667
Deduced a syphon composed of 5200 places in 28 ms
Iterating global reduction 1 with 400 rules applied. Total rules applied 5200 place count 15136 transition count 26667
Discarding 9184 places :
Symmetric choice reduction at 1 with 9184 rule applications. Total rules 14384 place count 5952 transition count 13083
Deduced a syphon composed of 416 places in 9 ms
Iterating global reduction 1 with 9184 rules applied. Total rules applied 23568 place count 5952 transition count 13083
Discarding 549 places :
Symmetric choice reduction at 1 with 549 rule applications. Total rules 24117 place count 5403 transition count 8691
Deduced a syphon composed of 416 places in 6 ms
Iterating global reduction 1 with 549 rules applied. Total rules applied 24666 place count 5403 transition count 8691
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 440 places in 7 ms
Iterating global reduction 1 with 24 rules applied. Total rules applied 24690 place count 5403 transition count 8691
Deduced a syphon composed of 440 places in 7 ms
Applied a total of 24690 rules in 4837 ms. Remains 5403 /15136 variables (removed 9733) and now considering 8691/22267 (removed 13576) transitions.
[2021-05-18 18:24:26] [INFO ] Redundant transitions in 1019 ms returned []
[2021-05-18 18:24:26] [INFO ] Flow matrix only has 8091 transitions (discarded 600 similar events)
// Phase 1: matrix 8091 rows 5403 cols
[2021-05-18 18:24:26] [INFO ] Computed 1093 place invariants in 322 ms
[2021-05-18 18:24:31] [INFO ] Dead Transitions using invariants and state equation in 5346 ms returned []
Finished structural reductions, in 1 iterations. Remains : 5403/15136 places, 8691/22267 transitions.
Product exploration explored 100000 steps with 1215 reset in 1853 ms.
Product exploration explored 100000 steps with 1217 reset in 1852 ms.
[2021-05-18 18:24:36] [INFO ] Flatten gal took : 714 ms
[2021-05-18 18:24:37] [INFO ] Flatten gal took : 706 ms
[2021-05-18 18:24:37] [INFO ] Time to serialize gal into /tmp/LTL4551282006801182980.gal : 65 ms
[2021-05-18 18:24:37] [INFO ] Time to serialize properties into /tmp/LTL3634834888001864154.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL4551282006801182980.gal, -t, CGAL, -LTL, /tmp/LTL3634834888001864154.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL4551282006801182980.gal -t CGAL -LTL /tmp/LTL3634834888001864154.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(X(X(G((X(G(("(((Node1AsksIsThereANodeMaster<1)||(Node20IsActive<1))||(Node20IsTheNodeMaster<1))")||(X(G("((Node6ManageTheCrashOfNode17<1)||(Rx6IsAtTheRightExtremityOfTheLeafSet<1))"))))))&&("(((Node1AsksIsThereANodeMaster<1)||(Node20IsActive<1))||(Node20IsTheNodeMaster<1))")))))))
Formula 0 simplified : !XXXG("(((Node1AsksIsThereANodeMaster<1)||(Node20IsActive<1))||(Node20IsTheNodeMaster<1))" & XG("(((Node1AsksIsThereANodeMaster<1)||(Node20IsActive<1))||(Node20IsTheNodeMaster<1))" | XG"((Node6ManageTheCrashOfNode17<1)||(Rx6IsAtTheRightExtremityOfTheLeafSet<1))"))
Detected timeout of ITS tools.
[2021-05-18 18:24:53] [INFO ] Flatten gal took : 643 ms
[2021-05-18 18:24:53] [INFO ] Applying decomposition
[2021-05-18 18:24:53] [INFO ] Flatten gal took : 671 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9745602389696844402.txt, -o, /tmp/graph9745602389696844402.bin, -w, /tmp/graph9745602389696844402.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9745602389696844402.bin, -l, -1, -v, -w, /tmp/graph9745602389696844402.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 18:24:55] [INFO ] Decomposing Gal with order
[2021-05-18 18:24:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 18:25:00] [INFO ] Removed a total of 14389 redundant transitions.
[2021-05-18 18:25:00] [INFO ] Flatten gal took : 2704 ms
[2021-05-18 18:25:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 1475 labels/synchronizations in 421 ms.
[2021-05-18 18:25:01] [INFO ] Time to serialize gal into /tmp/LTL6877196122018510007.gal : 111 ms
[2021-05-18 18:25:01] [INFO ] Time to serialize properties into /tmp/LTL11841372350845800740.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL6877196122018510007.gal, -t, CGAL, -LTL, /tmp/LTL11841372350845800740.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL6877196122018510007.gal -t CGAL -LTL /tmp/LTL11841372350845800740.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(X(X(G((X(G(("(((i1.u0.Node1AsksIsThereANodeMaster<1)||(i1.u0.Node20IsActive<1))||(i1.u0.Node20IsTheNodeMaster<1))")||(X(G("((i1.u164.Node6ManageTheCrashOfNode17<1)||(i12.u395.Rx6IsAtTheRightExtremityOfTheLeafSet<1))"))))))&&("(((i1.u0.Node1AsksIsThereANodeMaster<1)||(i1.u0.Node20IsActive<1))||(i1.u0.Node20IsTheNodeMaster<1))")))))))
Formula 0 simplified : !XXXG("(((i1.u0.Node1AsksIsThereANodeMaster<1)||(i1.u0.Node20IsActive<1))||(i1.u0.Node20IsTheNodeMaster<1))" & XG("(((i1.u0.Node1AsksIsThereANodeMaster<1)||(i1.u0.Node20IsActive<1))||(i1.u0.Node20IsTheNodeMaster<1))" | XG"((i1.u164.Node6ManageTheCrashOfNode17<1)||(i12.u395.Rx6IsAtTheRightExtremityOfTheLeafSet<1))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4735128105842394895
[2021-05-18 18:25:17] [INFO ] Built C files in 165ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4735128105842394895
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4735128105842394895]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4735128105842394895] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4735128105842394895] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-13 finished in 74591 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 1 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Drop transitions removed 4800 transitions
Trivial Post-agglo rules discarded 4800 transitions
Performed 4800 trivial Post agglomeration. Transition count delta: 4800
Iterating post reduction 0 with 4800 rules applied. Total rules applied 4800 place count 15136 transition count 17467
Reduce places removed 4800 places and 0 transitions.
Iterating post reduction 1 with 4800 rules applied. Total rules applied 9600 place count 10336 transition count 17467
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 399 Pre rules applied. Total rules applied 9600 place count 10336 transition count 17068
Deduced a syphon composed of 399 places in 15 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 2 with 798 rules applied. Total rules applied 10398 place count 9937 transition count 17068
Discarding 4400 places :
Symmetric choice reduction at 2 with 4400 rule applications. Total rules 14798 place count 5537 transition count 12668
Iterating global reduction 2 with 4400 rules applied. Total rules applied 19198 place count 5537 transition count 12668
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 16 Pre rules applied. Total rules applied 19198 place count 5537 transition count 12652
Deduced a syphon composed of 16 places in 9 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 2 with 32 rules applied. Total rules applied 19230 place count 5521 transition count 12652
Discarding 550 places :
Symmetric choice reduction at 2 with 550 rule applications. Total rules 19780 place count 4971 transition count 8252
Iterating global reduction 2 with 550 rules applied. Total rules applied 20330 place count 4971 transition count 8252
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 20380 place count 4946 transition count 8227
Applied a total of 20380 rules in 3022 ms. Remains 4946 /15136 variables (removed 10190) and now considering 8227/22267 (removed 14040) transitions.
[2021-05-18 18:25:21] [INFO ] Flow matrix only has 7627 transitions (discarded 600 similar events)
// Phase 1: matrix 7627 rows 4946 cols
[2021-05-18 18:25:21] [INFO ] Computed 1093 place invariants in 263 ms
[2021-05-18 18:25:24] [INFO ] Implicit Places using invariants in 3736 ms returned []
[2021-05-18 18:25:24] [INFO ] Flow matrix only has 7627 transitions (discarded 600 similar events)
// Phase 1: matrix 7627 rows 4946 cols
[2021-05-18 18:25:25] [INFO ] Computed 1093 place invariants in 269 ms
[2021-05-18 18:25:28] [INFO ] Implicit Places using invariants and state equation in 3678 ms returned []
Implicit Place search using SMT with State Equation took 7415 ms to find 0 implicit places.
[2021-05-18 18:25:29] [INFO ] Redundant transitions in 720 ms returned []
[2021-05-18 18:25:29] [INFO ] Flow matrix only has 7627 transitions (discarded 600 similar events)
// Phase 1: matrix 7627 rows 4946 cols
[2021-05-18 18:25:29] [INFO ] Computed 1093 place invariants in 274 ms
[2021-05-18 18:25:33] [INFO ] Dead Transitions using invariants and state equation in 4466 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4946/15136 places, 8227/22267 transitions.
Stuttering acceptance computed with spot in 26 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-14 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(GEQ s4889 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 56 steps with 0 reset in 1 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-14 finished in 15686 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 15136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 15136/15136 places, 22267/22267 transitions.
Drop transitions removed 4788 transitions
Trivial Post-agglo rules discarded 4788 transitions
Performed 4788 trivial Post agglomeration. Transition count delta: 4788
Iterating post reduction 0 with 4788 rules applied. Total rules applied 4788 place count 15136 transition count 17479
Reduce places removed 4788 places and 0 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Iterating post reduction 1 with 4800 rules applied. Total rules applied 9588 place count 10348 transition count 17467
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 9600 place count 10336 transition count 17467
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 399 Pre rules applied. Total rules applied 9600 place count 10336 transition count 17068
Deduced a syphon composed of 399 places in 35 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 3 with 798 rules applied. Total rules applied 10398 place count 9937 transition count 17068
Discarding 4399 places :
Symmetric choice reduction at 3 with 4399 rule applications. Total rules 14797 place count 5538 transition count 12669
Iterating global reduction 3 with 4399 rules applied. Total rules applied 19196 place count 5538 transition count 12669
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 15 Pre rules applied. Total rules applied 19196 place count 5538 transition count 12654
Deduced a syphon composed of 15 places in 8 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 3 with 30 rules applied. Total rules applied 19226 place count 5523 transition count 12654
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 19775 place count 4974 transition count 8262
Iterating global reduction 3 with 549 rules applied. Total rules applied 20324 place count 4974 transition count 8262
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 6 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 20374 place count 4949 transition count 8237
Applied a total of 20374 rules in 3630 ms. Remains 4949 /15136 variables (removed 10187) and now considering 8237/22267 (removed 14030) transitions.
[2021-05-18 18:25:37] [INFO ] Flow matrix only has 7637 transitions (discarded 600 similar events)
// Phase 1: matrix 7637 rows 4949 cols
[2021-05-18 18:25:37] [INFO ] Computed 1093 place invariants in 259 ms
[2021-05-18 18:25:42] [INFO ] Implicit Places using invariants in 4662 ms returned []
[2021-05-18 18:25:42] [INFO ] Flow matrix only has 7637 transitions (discarded 600 similar events)
// Phase 1: matrix 7637 rows 4949 cols
[2021-05-18 18:25:42] [INFO ] Computed 1093 place invariants in 259 ms
[2021-05-18 18:25:46] [INFO ] Implicit Places using invariants and state equation in 4654 ms returned []
Implicit Place search using SMT with State Equation took 9317 ms to find 0 implicit places.
[2021-05-18 18:25:47] [INFO ] Redundant transitions in 720 ms returned []
[2021-05-18 18:25:47] [INFO ] Flow matrix only has 7637 transitions (discarded 600 similar events)
// Phase 1: matrix 7637 rows 4949 cols
[2021-05-18 18:25:47] [INFO ] Computed 1093 place invariants in 277 ms
[2021-05-18 18:25:52] [INFO ] Dead Transitions using invariants and state equation in 4683 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4949/15136 places, 8237/22267 transitions.
Stuttering acceptance computed with spot in 215 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S24C08-15 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(OR (AND (GEQ s802 1) (GEQ s930 1)) (AND (GEQ s3588 1) (GEQ s4127 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 58 steps with 0 reset in 1 ms.
FORMULA MultiCrashLeafsetExtension-PT-S24C08-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S24C08-15 finished in 18604 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin8222242929760364781
[2021-05-18 18:25:52] [INFO ] Too many transitions (22267) to apply POR reductions. Disabling POR matrices.
[2021-05-18 18:25:53] [INFO ] Built C files in 274ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8222242929760364781
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8222242929760364781]
[2021-05-18 18:25:53] [INFO ] Applying decomposition
[2021-05-18 18:25:54] [INFO ] Flatten gal took : 1252 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4075344398822412859.txt, -o, /tmp/graph4075344398822412859.bin, -w, /tmp/graph4075344398822412859.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4075344398822412859.bin, -l, -1, -v, -w, /tmp/graph4075344398822412859.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 18:25:56] [INFO ] Decomposing Gal with order
[2021-05-18 18:25:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 18:26:04] [INFO ] Removed a total of 14316 redundant transitions.
[2021-05-18 18:26:05] [INFO ] Flatten gal took : 4215 ms
[2021-05-18 18:26:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 1452 labels/synchronizations in 699 ms.
[2021-05-18 18:26:08] [INFO ] Time to serialize gal into /tmp/LTLFireability15507632703374526353.gal : 2258 ms
[2021-05-18 18:26:08] [INFO ] Time to serialize properties into /tmp/LTLFireability18285753483253729085.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability15507632703374526353.gal, -t, CGAL, -LTL, /tmp/LTLFireability18285753483253729085.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability15507632703374526353.gal -t CGAL -LTL /tmp/LTLFireability18285753483253729085.ltl -c -stutter-deadlock
Read 3 LTL properties
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8222242929760364781] killed by timeout after 24 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8222242929760364781] killed by timeout after 24 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Checking formula 0 : !((X((("((i1.u254.Node20NotifyThatHeIsActive<1)||(i1.u287.Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))")||(G(!("((i4.u383.Node7HasAskedItsLeafSetToLx2ToReplaceNode1>=1)&&(i4.u383.LeafSetOfLx2IsSentToNode7>=1))"))))||(X(G(("((i0.u0.Node3IsTheNodeMaster>=1)&&(i1.u118.Node4HasDetectedCrashOfNode3>=1))")&&(F("((i0.u0.Node3IsTheNodeMaster>=1)&&(i1.u118.Node4HasDetectedCrashOfNode3>=1))"))))))))
Formula 0 simplified : !X("((i1.u254.Node20NotifyThatHeIsActive<1)||(i1.u287.Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))" | G!"((i4.u383.Node7HasAskedItsLeafSetToLx2ToReplaceNode1>=1)&&(i4.u383.LeafSetOfLx2IsSentToNode7>=1))" | XG("((i0.u0.Node3IsTheNodeMaster>=1)&&(i1.u118.Node4HasDetectedCrashOfNode3>=1))" & F"((i0.u0.Node3IsTheNodeMaster>=1)&&(i1.u118.Node4HasDetectedCrashOfNode3>=1))"))
ITS-tools command line returned an error code 137
[2021-05-18 18:40:15] [INFO ] Flatten gal took : 1285 ms
[2021-05-18 18:40:16] [INFO ] Time to serialize gal into /tmp/LTLFireability13595491132614431280.gal : 562 ms
[2021-05-18 18:40:16] [INFO ] Time to serialize properties into /tmp/LTLFireability11430028871829449975.ltl : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability13595491132614431280.gal, -t, CGAL, -LTL, /tmp/LTLFireability11430028871829449975.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability13595491132614431280.gal -t CGAL -LTL /tmp/LTLFireability11430028871829449975.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 3 LTL properties
Checking formula 0 : !((X((("((Node20NotifyThatHeIsActive<1)||(Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))")||(G(!("((Node7HasAskedItsLeafSetToLx2ToReplaceNode1>=1)&&(LeafSetOfLx2IsSentToNode7>=1))"))))||(X(G(("((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))")&&(F("((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))"))))))))
Formula 0 simplified : !X("((Node20NotifyThatHeIsActive<1)||(Node21ThinksNode20ShouldBeNodeMasterToReplaceNode18<1))" | G!"((Node7HasAskedItsLeafSetToLx2ToReplaceNode1>=1)&&(LeafSetOfLx2IsSentToNode7>=1))" | XG("((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))" & F"((Node3IsTheNodeMaster>=1)&&(Node4HasDetectedCrashOfNode3>=1))"))
ITS-tools command line returned an error code 137
[2021-05-18 18:59:00] [INFO ] Flatten gal took : 13245 ms
[2021-05-18 18:59:01] [INFO ] Input system was already deterministic with 22267 transitions.
[2021-05-18 18:59:02] [INFO ] Transformed 15136 places.
[2021-05-18 18:59:02] [INFO ] Transformed 22267 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
java.lang.NullPointerException
at fr.lip6.move.gal.application.Application.computeOrderWithGreatSPN(Application.java:889)
at fr.lip6.move.gal.application.Application.runMultiITS(Application.java:835)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:515)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-18 18:59:44] [INFO ] Time to serialize gal into /tmp/LTLFireability17833649121469570112.gal : 66 ms
[2021-05-18 18:59:44] [INFO ] Time to serialize properties into /tmp/LTLFireability11958626490952691708.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability17833649121469570112.gal, -t, CGAL, -LTL, /tmp/LTLFireability11958626490952691708.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability17833649121469570112.gal -t CGAL -LTL /tmp/LTLFireability11958626490952691708.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 3 LTL properties
ITS-tools command line returned an error code 137
BK_STOP 1621364402960
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C08"
export BK_EXAMINATION="LTLFireability"
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-S24C08, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r292-tall-162124156800677"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C08.tgz
mv MultiCrashLeafsetExtension-PT-S24C08 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;