About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16206.256 | 3600000.00 | 11196291.00 | 3943.10 | TFTF?TTFFTFFTT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r246-tall-171654350800079.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C04, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r246-tall-171654350800079
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 12 06:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 12 06:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 12 06:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 12 06:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 10M May 18 16:43 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-S24C04-ReachabilityFireability-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716586806263
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202405141337
[2024-05-24 21:40:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-24 21:40:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-24 21:40:08] [INFO ] Load time of PNML (sax parser for PT used): 599 ms
[2024-05-24 21:40:08] [INFO ] Transformed 9748 places.
[2024-05-24 21:40:08] [INFO ] Transformed 14659 transitions.
[2024-05-24 21:40:08] [INFO ] Parsed PT model containing 9748 places and 14659 transitions and 58838 arcs in 780 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 18 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (961 resets) in 4107 ms. (9 steps per ms) remains 11/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (176 resets) in 811 ms. (49 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (176 resets) in 1328 ms. (30 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 475 ms. (84 steps per ms) remains 11/11 properties
[2024-05-24 21:40:10] [INFO ] Flatten gal took : 1170 ms
BEST_FIRST walk for 40004 steps (176 resets) in 413 ms. (96 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 605 ms. (66 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 374 ms. (106 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 353 ms. (113 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 550 ms. (72 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 456 ms. (87 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (176 resets) in 376 ms. (106 steps per ms) remains 11/11 properties
[2024-05-24 21:40:11] [INFO ] Flatten gal took : 925 ms
BEST_FIRST walk for 40003 steps (176 resets) in 350 ms. (113 steps per ms) remains 11/11 properties
[2024-05-24 21:40:11] [INFO ] Flow matrix only has 14059 transitions (discarded 600 similar events)
// Phase 1: matrix 14059 rows 9748 cols
[2024-05-24 21:40:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16456857237800776160.gal : 166 ms
[2024-05-24 21:40:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16701268683509626987.prop : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality16456857237800776160.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16701268683509626987.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
[2024-05-24 21:40:12] [INFO ] Computed 921 invariants in 1034 ms
[2024-05-24 21:40:12] [INFO ] State equation strengthened by 4402 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/249 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/249 variables, 1/17 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/249 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 11 unsolved
Loading property file /tmp/ReachabilityCardinality16701268683509626987.prop.
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-01 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-01 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 2305/2554 variables, 30/47 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2554 variables, 5/52 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2554 variables, 0/52 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 16/2570 variables, 16/68 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2570 variables, 0/68 constraints. Problems are: Problem set: 1 solved, 10 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-02 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-02 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-06 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-06 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-09 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-09 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 8 (OVERLAPS) 4767/7337 variables, 378/446 constraints. Problems are: Problem set: 4 solved, 7 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/7337 variables, 0/446 constraints. Problems are: Problem set: 4 solved, 7 unsolved
At refinement iteration 10 (OVERLAPS) 2411/9748 variables, 475/921 constraints. Problems are: Problem set: 4 solved, 7 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/9748 variables, 0/921 constraints. Problems are: Problem set: 4 solved, 7 unsolved
SMT process timed out in 6649ms, After SMT, problems are : Problem set: 4 solved, 7 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 47 out of 9748 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9748/9748 places, 14659/14659 transitions.
Graph (complete) has 33897 edges and 9748 vertex of which 9712 are kept as prefixes of interest. Removing 36 places using SCC suffix rule.33 ms
Discarding 36 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 2348 transitions
Trivial Post-agglo rules discarded 2348 transitions
Performed 2348 trivial Post agglomeration. Transition count delta: 2348
Iterating post reduction 0 with 2348 rules applied. Total rules applied 2349 place count 9712 transition count 12311
Reduce places removed 2348 places and 0 transitions.
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Iterating post reduction 1 with 2396 rules applied. Total rules applied 4745 place count 7364 transition count 12263
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 2 with 48 rules applied. Total rules applied 4793 place count 7316 transition count 12263
Performed 196 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 196 Pre rules applied. Total rules applied 4793 place count 7316 transition count 12067
Deduced a syphon composed of 196 places in 11 ms
Reduce places removed 196 places and 0 transitions.
Iterating global reduction 3 with 392 rules applied. Total rules applied 5185 place count 7120 transition count 12067
Discarding 2192 places :
Symmetric choice reduction at 3 with 2192 rule applications. Total rules 7377 place count 4928 transition count 9875
Iterating global reduction 3 with 2192 rules applied. Total rules applied 9569 place count 4928 transition count 9875
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 9569 place count 4928 transition count 9872
Deduced a syphon composed of 3 places in 7 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 9575 place count 4925 transition count 9872
Discarding 538 places :
Symmetric choice reduction at 3 with 538 rule applications. Total rules 10113 place count 4387 transition count 7720
Iterating global reduction 3 with 538 rules applied. Total rules applied 10651 place count 4387 transition count 7720
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 13 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 3 with 44 rules applied. Total rules applied 10695 place count 4365 transition count 7698
Free-agglomeration rule (complex) applied 332 times.
Iterating global reduction 3 with 332 rules applied. Total rules applied 11027 place count 4365 transition count 8884
Reduce places removed 332 places and 0 transitions.
Iterating post reduction 3 with 332 rules applied. Total rules applied 11359 place count 4033 transition count 8884
Partial Free-agglomeration rule applied 121 times.
Drop transitions (Partial Free agglomeration) removed 121 transitions
Iterating global reduction 4 with 121 rules applied. Total rules applied 11480 place count 4033 transition count 8884
Applied a total of 11480 rules in 4735 ms. Remains 4033 /9748 variables (removed 5715) and now considering 8884/14659 (removed 5775) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4747 ms. Remains : 4033/9748 places, 8884/14659 transitions.
RANDOM walk for 40000 steps (1555 resets) in 1959 ms. (20 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (188 resets) in 332 ms. (120 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (188 resets) in 340 ms. (117 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (188 resets) in 327 ms. (121 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (188 resets) in 270 ms. (147 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (188 resets) in 304 ms. (131 steps per ms) remains 6/7 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-08 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (188 resets) in 259 ms. (153 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (188 resets) in 257 ms. (155 steps per ms) remains 6/6 properties
[2024-05-24 21:40:24] [INFO ] Flow matrix only has 8007 transitions (discarded 877 similar events)
// Phase 1: matrix 8007 rows 4033 cols
[2024-05-24 21:40:24] [INFO ] Computed 885 invariants in 196 ms
[2024-05-24 21:40:24] [INFO ] State equation strengthened by 4306 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/42 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/42 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (OVERLAPS) 2892/2934 variables, 15/17 constraints. Problems are: Problem set: 0 solved, 6 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/2934 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 4/2938 variables, 4/21 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2938 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (OVERLAPS) 952/3890 variables, 721/742 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3890 variables, 0/742 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (OVERLAPS) 28/3918 variables, 28/770 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3918 variables, 0/770 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (OVERLAPS) 115/4033 variables, 115/885 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/4033 variables, 0/885 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 12 (OVERLAPS) 8007/12040 variables, 4033/4918 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-03 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-03 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-07 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-13 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-13 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 13 (INCLUDED_ONLY) 0/12040 variables, 4306/9224 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/12040 variables, 0/9224 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 15 (OVERLAPS) 0/12040 variables, 0/9224 constraints. Problems are: Problem set: 3 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 12040/12040 variables, and 9224 constraints, problems are : Problem set: 3 solved, 3 unsolved in 11609 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 836/836 constraints, State Equation: 4033/4033 constraints, ReadFeed: 4306/4306 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 3 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/36 variables, 0/0 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2896/2932 variables, 16/16 constraints. Problems are: Problem set: 3 solved, 3 unsolved
[2024-05-24 21:40:38] [INFO ] Deduced a trap composed of 453 places in 1992 ms of which 125 ms to minimize.
[2024-05-24 21:40:40] [INFO ] Deduced a trap composed of 507 places in 1928 ms of which 16 ms to minimize.
[2024-05-24 21:40:42] [INFO ] Deduced a trap composed of 485 places in 1791 ms of which 18 ms to minimize.
[2024-05-24 21:40:44] [INFO ] Deduced a trap composed of 499 places in 1804 ms of which 16 ms to minimize.
[2024-05-24 21:40:44] [INFO ] Deduced a trap composed of 90 places in 144 ms of which 1 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2932 variables, 5/21 constraints. Problems are: Problem set: 3 solved, 3 unsolved
[2024-05-24 21:40:45] [INFO ] Deduced a trap composed of 449 places in 713 ms of which 9 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2932 variables, 1/22 constraints. Problems are: Problem set: 3 solved, 3 unsolved
[2024-05-24 21:40:46] [INFO ] Deduced a trap composed of 495 places in 712 ms of which 11 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2932 variables, 1/23 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2932 variables, 0/23 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 3/2935 variables, 3/26 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2935 variables, 0/26 constraints. Problems are: Problem set: 3 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 953/3888 variables, 721/747 constraints. Problems are: Problem set: 3 solved, 3 unsolved
[2024-05-24 21:40:51] [INFO ] Deduced a trap composed of 381 places in 4320 ms of which 26 ms to minimize.
[2024-05-24 21:40:56] [INFO ] Deduced a trap composed of 5 places in 4503 ms of which 25 ms to minimize.
[2024-05-24 21:41:00] [INFO ] Deduced a trap composed of 354 places in 4267 ms of which 28 ms to minimize.
[2024-05-24 21:41:05] [INFO ] Deduced a trap composed of 295 places in 4426 ms of which 27 ms to minimize.
[2024-05-24 21:41:09] [INFO ] Deduced a trap composed of 264 places in 4451 ms of which 25 ms to minimize.
[2024-05-24 21:41:14] [INFO ] Deduced a trap composed of 304 places in 4390 ms of which 25 ms to minimize.
[2024-05-24 21:41:18] [INFO ] Deduced a trap composed of 352 places in 4306 ms of which 25 ms to minimize.
[2024-05-24 21:41:22] [INFO ] Deduced a trap composed of 393 places in 4300 ms of which 32 ms to minimize.
SMT process timed out in 58677ms, After SMT, problems are : Problem set: 3 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 36 out of 4033 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4033/4033 places, 8884/8884 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4033 transition count 8883
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4032 transition count 8883
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 4031 transition count 8882
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 2 with 7 rules applied. Total rules applied 11 place count 4031 transition count 8908
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 18 place count 4024 transition count 8908
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 19 place count 4024 transition count 8908
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 20 place count 4023 transition count 8907
Iterating global reduction 3 with 1 rules applied. Total rules applied 21 place count 4023 transition count 8907
Applied a total of 21 rules in 2039 ms. Remains 4023 /4033 variables (removed 10) and now considering 8907/8884 (removed -23) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2039 ms. Remains : 4023/4033 places, 8907/8884 transitions.
RANDOM walk for 40000 steps (1563 resets) in 1644 ms. (24 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (188 resets) in 242 ms. (164 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40002 steps (188 resets) in 323 ms. (123 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (188 resets) in 260 ms. (153 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 24146 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :1 out of 3
Probabilistic random walk after 24146 steps, saw 10966 distinct states, run finished after 3006 ms. (steps per millisecond=8 ) properties seen :1
FORMULA MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-10 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
[2024-05-24 21:41:28] [INFO ] Flow matrix only has 8024 transitions (discarded 883 similar events)
// Phase 1: matrix 8024 rows 4023 cols
[2024-05-24 21:41:28] [INFO ] Computed 885 invariants in 209 ms
[2024-05-24 21:41:28] [INFO ] State equation strengthened by 4339 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2779/2786 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:41:30] [INFO ] Deduced a trap composed of 881 places in 1112 ms of which 12 ms to minimize.
[2024-05-24 21:41:31] [INFO ] Deduced a trap composed of 800 places in 1131 ms of which 11 ms to minimize.
[2024-05-24 21:41:32] [INFO ] Deduced a trap composed of 738 places in 1121 ms of which 13 ms to minimize.
[2024-05-24 21:41:33] [INFO ] Deduced a trap composed of 872 places in 1080 ms of which 11 ms to minimize.
[2024-05-24 21:41:35] [INFO ] Deduced a trap composed of 826 places in 1076 ms of which 11 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2786 variables, 5/11 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2786 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 1/2787 variables, 1/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2787 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 986/3773 variables, 628/640 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:41:39] [INFO ] Deduced a trap composed of 5 places in 4058 ms of which 25 ms to minimize.
[2024-05-24 21:41:44] [INFO ] Deduced a trap composed of 277 places in 4029 ms of which 25 ms to minimize.
[2024-05-24 21:41:48] [INFO ] Deduced a trap composed of 294 places in 4089 ms of which 26 ms to minimize.
[2024-05-24 21:41:52] [INFO ] Deduced a trap composed of 40 places in 4403 ms of which 25 ms to minimize.
[2024-05-24 21:41:56] [INFO ] Deduced a trap composed of 322 places in 4116 ms of which 25 ms to minimize.
[2024-05-24 21:42:01] [INFO ] Deduced a trap composed of 40 places in 4022 ms of which 22 ms to minimize.
[2024-05-24 21:42:05] [INFO ] Deduced a trap composed of 315 places in 4056 ms of which 27 ms to minimize.
[2024-05-24 21:42:09] [INFO ] Deduced a trap composed of 90 places in 4131 ms of which 28 ms to minimize.
[2024-05-24 21:42:13] [INFO ] Deduced a trap composed of 326 places in 4022 ms of which 24 ms to minimize.
[2024-05-24 21:42:17] [INFO ] Deduced a trap composed of 288 places in 3973 ms of which 27 ms to minimize.
[2024-05-24 21:42:21] [INFO ] Deduced a trap composed of 211 places in 4016 ms of which 24 ms to minimize.
[2024-05-24 21:42:25] [INFO ] Deduced a trap composed of 261 places in 4094 ms of which 26 ms to minimize.
[2024-05-24 21:42:29] [INFO ] Deduced a trap composed of 269 places in 4100 ms of which 24 ms to minimize.
[2024-05-24 21:42:34] [INFO ] Deduced a trap composed of 286 places in 4013 ms of which 27 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/3773 variables, 14/654 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:42:38] [INFO ] Deduced a trap composed of 270 places in 4080 ms of which 34 ms to minimize.
[2024-05-24 21:42:42] [INFO ] Deduced a trap composed of 319 places in 3950 ms of which 25 ms to minimize.
[2024-05-24 21:42:46] [INFO ] Deduced a trap composed of 246 places in 3924 ms of which 26 ms to minimize.
SMT process timed out in 77700ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 7 out of 4023 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4023/4023 places, 8907/8907 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 4023 transition count 8905
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 4021 transition count 8905
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 4 place count 4021 transition count 8901
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 12 place count 4017 transition count 8901
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 16 place count 4013 transition count 8897
Iterating global reduction 2 with 4 rules applied. Total rules applied 20 place count 4013 transition count 8897
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 20 place count 4013 transition count 8895
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 24 place count 4011 transition count 8895
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 26 place count 4010 transition count 8894
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 34 place count 4010 transition count 8919
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 42 place count 4002 transition count 8919
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 44 place count 4000 transition count 8917
Iterating global reduction 3 with 2 rules applied. Total rules applied 46 place count 4000 transition count 8917
Applied a total of 46 rules in 1909 ms. Remains 4000 /4023 variables (removed 23) and now considering 8917/8907 (removed -10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1909 ms. Remains : 4000/4023 places, 8917/8907 transitions.
RANDOM walk for 40000 steps (1579 resets) in 1498 ms. (26 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (188 resets) in 278 ms. (143 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40001 steps (188 resets) in 256 ms. (155 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 24433 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 2
Probabilistic random walk after 24433 steps, saw 11081 distinct states, run finished after 3001 ms. (steps per millisecond=8 ) properties seen :0
[2024-05-24 21:42:51] [INFO ] Flow matrix only has 8032 transitions (discarded 885 similar events)
// Phase 1: matrix 8032 rows 4000 cols
[2024-05-24 21:42:52] [INFO ] Computed 885 invariants in 246 ms
[2024-05-24 21:42:52] [INFO ] State equation strengthened by 4372 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2831/2838 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:42:54] [INFO ] Deduced a trap composed of 554 places in 1598 ms of which 20 ms to minimize.
[2024-05-24 21:42:56] [INFO ] Deduced a trap composed of 523 places in 2227 ms of which 15 ms to minimize.
[2024-05-24 21:42:58] [INFO ] Deduced a trap composed of 483 places in 1603 ms of which 14 ms to minimize.
SDD proceeding with computation,11 properties remain. new max is 4
SDD size :1 after 7
[2024-05-24 21:42:59] [INFO ] Deduced a trap composed of 525 places in 1661 ms of which 15 ms to minimize.
SDD proceeding with computation,11 properties remain. new max is 8
SDD size :7 after 9
[2024-05-24 21:43:02] [INFO ] Deduced a trap composed of 642 places in 2447 ms of which 14 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2838 variables, 5/11 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2838 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 1/2839 variables, 1/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2839 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 941/3780 variables, 658/670 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3780 variables, 0/670 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 42/3822 variables, 42/712 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3822 variables, 0/712 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 178/4000 variables, 178/890 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/4000 variables, 0/890 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SDD proceeding with computation,11 properties remain. new max is 16
SDD size :9 after 14
At refinement iteration 12 (OVERLAPS) 8032/12032 variables, 4000/4890 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SDD proceeding with computation,11 properties remain. new max is 32
SDD size :14 after 19
At refinement iteration 13 (INCLUDED_ONLY) 0/12032 variables, 4372/9262 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/12032 variables, 0/9262 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (OVERLAPS) 0/12032 variables, 0/9262 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 12032/12032 variables, and 9262 constraints, problems are : Problem set: 0 solved, 2 unsolved in 16754 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 836/836 constraints, State Equation: 4000/4000 constraints, ReadFeed: 4372/4372 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 5/5 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2831/2838 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2838 variables, 5/11 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:43:10] [INFO ] Deduced a trap composed of 605 places in 1600 ms of which 15 ms to minimize.
[2024-05-24 21:43:12] [INFO ] Deduced a trap composed of 472 places in 1599 ms of which 14 ms to minimize.
SDD proceeding with computation,11 properties remain. new max is 64
SDD size :19 after 29
[2024-05-24 21:43:14] [INFO ] Deduced a trap composed of 480 places in 1579 ms of which 14 ms to minimize.
[2024-05-24 21:43:15] [INFO ] Deduced a trap composed of 623 places in 1580 ms of which 14 ms to minimize.
[2024-05-24 21:43:17] [INFO ] Deduced a trap composed of 530 places in 1555 ms of which 13 ms to minimize.
[2024-05-24 21:43:19] [INFO ] Deduced a trap composed of 608 places in 1586 ms of which 13 ms to minimize.
[2024-05-24 21:43:20] [INFO ] Deduced a trap composed of 528 places in 1554 ms of which 14 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2838 variables, 7/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SDD proceeding with computation,11 properties remain. new max is 128
SDD size :29 after 44
At refinement iteration 4 (INCLUDED_ONLY) 0/2838 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1/2839 variables, 1/19 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2839 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 941/3780 variables, 658/677 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:43:25] [INFO ] Deduced a trap composed of 5 places in 4075 ms of which 24 ms to minimize.
[2024-05-24 21:43:29] [INFO ] Deduced a trap composed of 322 places in 4161 ms of which 23 ms to minimize.
[2024-05-24 21:43:33] [INFO ] Deduced a trap composed of 282 places in 4108 ms of which 24 ms to minimize.
[2024-05-24 21:43:38] [INFO ] Deduced a trap composed of 197 places in 4138 ms of which 26 ms to minimize.
SDD proceeding with computation,11 properties remain. new max is 256
SDD size :44 after 83
[2024-05-24 21:43:42] [INFO ] Deduced a trap composed of 245 places in 4160 ms of which 27 ms to minimize.
[2024-05-24 21:43:46] [INFO ] Deduced a trap composed of 269 places in 4166 ms of which 25 ms to minimize.
[2024-05-24 21:43:50] [INFO ] Deduced a trap composed of 255 places in 4130 ms of which 27 ms to minimize.
[2024-05-24 21:43:55] [INFO ] Deduced a trap composed of 226 places in 4187 ms of which 26 ms to minimize.
[2024-05-24 21:43:59] [INFO ] Deduced a trap composed of 280 places in 4012 ms of which 24 ms to minimize.
[2024-05-24 21:44:03] [INFO ] Deduced a trap composed of 206 places in 4160 ms of which 26 ms to minimize.
[2024-05-24 21:44:07] [INFO ] Deduced a trap composed of 259 places in 4174 ms of which 25 ms to minimize.
[2024-05-24 21:44:11] [INFO ] Deduced a trap composed of 323 places in 4176 ms of which 27 ms to minimize.
[2024-05-24 21:44:15] [INFO ] Deduced a trap composed of 238 places in 3780 ms of which 25 ms to minimize.
[2024-05-24 21:44:19] [INFO ] Deduced a trap composed of 327 places in 3973 ms of which 26 ms to minimize.
[2024-05-24 21:44:23] [INFO ] Deduced a trap composed of 299 places in 4117 ms of which 25 ms to minimize.
[2024-05-24 21:44:29] [INFO ] Deduced a trap composed of 302 places in 5354 ms of which 33 ms to minimize.
SDD proceeding with computation,11 properties remain. new max is 512
SDD size :83 after 208
[2024-05-24 21:44:36] [INFO ] Deduced a trap composed of 291 places in 7120 ms of which 26 ms to minimize.
[2024-05-24 21:44:40] [INFO ] Deduced a trap composed of 329 places in 3993 ms of which 25 ms to minimize.
SMT process timed out in 108617ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 7 out of 4000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4000/4000 places, 8917/8917 transitions.
Applied a total of 0 rules in 485 ms. Remains 4000 /4000 variables (removed 0) and now considering 8917/8917 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 485 ms. Remains : 4000/4000 places, 8917/8917 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4000/4000 places, 8917/8917 transitions.
Applied a total of 0 rules in 473 ms. Remains 4000 /4000 variables (removed 0) and now considering 8917/8917 (removed 0) transitions.
[2024-05-24 21:44:41] [INFO ] Flow matrix only has 8032 transitions (discarded 885 similar events)
[2024-05-24 21:44:41] [INFO ] Invariant cache hit.
[2024-05-24 21:44:52] [INFO ] Implicit Places using invariants in 10723 ms returned [4, 7, 9, 10, 11, 12, 13, 17, 23, 31, 41, 53, 67, 83, 101, 121, 143, 166, 188, 189, 190, 191, 192, 213, 231, 247, 261, 273, 283, 291, 297, 301, 303, 314, 320, 322, 323, 324, 325, 326, 328, 332, 338, 346, 356, 368, 382, 398, 416, 436, 457, 477, 478, 479, 480, 481, 499, 515, 529, 541, 551, 559, 565, 569, 571, 573, 584, 590, 592, 593, 594, 595, 596, 598, 600, 604, 610, 618, 628, 640, 654, 670, 688, 707, 725, 726, 727, 728, 729, 745, 759, 771, 781, 789, 795, 799, 801, 803, 805, 816, 822, 824, 825, 826, 827, 828, 830, 832, 834, 838, 844, 852, 862, 874, 888, 904, 921, 937, 938, 939, 940, 941, 955, 967, 977, 985, 991, 995, 997, 999, 1001, 1003, 1014, 1020, 1022, 1023, 1024, 1025, 1026, 1028, 1030, 1032, 1034, 1038, 1044, 1052, 1062, 1074, 1088, 1103, 1117, 1118, 1119, 1120, 1121, 1133, 1143, 1151, 1157, 1161, 1163, 1165, 1167, 1169, 1171, 1182, 1188, 1190, 1191, 1192, 1193, 1194, 1196, 1198, 1200, 1202, 1204, 1208, 1214, 1222, 1232, 1244, 1257, 1269, 1270, 1271, 1272, 1273, 1283, 1291, 1297, 1301, 1303, 1305, 1307, 1309, 1311, 1313, 1324, 1330, 1332, 1333, 1334, 1335, 1336, 1338, 1340, 1342, 1344, 1346, 1348, 1352, 1358, 1366, 1376, 1387, 1397, 1398, 1399, 1400, 1401, 1409, 1415, 1419, 1421, 1423, 1425, 1427, 1429, 1431, 1433, 1444, 1450, 1452, 1453, 1454, 1455, 1456, 1458, 1460, 1462, 1464, 1466, 1468, 1470, 1474, 1480, 1488, 1497, 1506, 1507, 1508, 1509, 1510, 1517, 1521, 1523, 1525, 1527, 1529, 1531, 1533, 1535, 1537, 1548, 1554, 1556, 1557, 1558, 1559, 1560, 1562, 1564, 1566, 1568, 1570, 1572, 1574, 1576, 1580, 1586, 1593, 1599, 1600, 1601, 1602, 1603, 1607, 1609, 1611, 1613, 1615, 1617, 1619, 1621, 1623, 1625, 1636, 1642, 1644, 1645, 1646, 1647, 1648, 1650, 1652, 1654, 1656, 1658, 1660, 1662, 1664, 1666, 1670, 1675, 1679, 1680, 1681, 1682, 1683, 1685, 1687, 1689, 1691, 1693, 1695, 1697, 1699, 1701, 1703, 1714, 1720, 1722, 1723, 1724, 1725, 1726, 1728, 1730, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1749, 1751, 1752, 1753, 1754, 1755, 1757, 1759, 1761, 1763, 1765, 1767, 1769, 1771, 1773, 1775, 1786, 1792, 1794, 1795, 1796, 1797, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1814, 1816, 1818, 1820, 1822, 1823, 1824, 1825, 1826, 1828, 1830, 1832, 1834, 1836, 1838, 1840, 1842, 1844, 1846, 1857, 1859, 1862, 1864, 1865, 1866, 1867, 1868, 1870, 1872, 1874, 1876, 1878, 1880, 1882, 1884, 1886, 1888, 1890, 1892, 1893, 1894, 1895, 1896, 1898, 1900, 1902, 1904, 1906, 1908, 1910, 1912, 1914, 1916, 1927, 1933, 1935, 1937, 1938, 1939, 1941, 1943, 1945, 1947, 1949, 1951, 1953, 1955, 1957, 1959, 1963, 1965, 1966, 1967, 1968, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1983, 1985, 1987, 1989, 2000, 2006, 2008, 2009, 2010, 2011, 2012, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028, 2030, 2032, 2034, 2037, 2038, 2039, 2040, 2041, 2043, 2045, 2047, 2049, 2051, 2053, 2055, 2057, 2059, 2061, 2072, 2078, 2080, 2081, 2082, 2083, 2084, 2086, 2088, 2090, 2092, 2094, 2096, 2098, 2100, 2102, 2104, 2108, 2113, 2114, 2115, 2116, 2117, 2121, 2123, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2139, 2150, 2156, 2158, 2159, 2160, 2161, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2178, 2180, 2184, 2190, 2197, 2198, 2199, 2200, 2201, 2207, 2211, 2213, 2215, 2217, 2219, 2221, 2223, 2225, 2227, 2238, 2244, 2246, 2247, 2248, 2249, 2250, 2252, 2254, 2256, 2258, 2260, 2262, 2264, 2266, 2270, 2276, 2284, 2293, 2294, 2295, 2296, 2297, 2305, 2311, 2315, 2317, 2319, 2321, 2323, 2325, 2327, 2329, 2340, 2346, 2348, 2349, 2350, 2351, 2352, 2354, 2356, 2358, 2360, 2362, 2364, 2366, 2370, 2376, 2384, 2394, 2405, 2406, 2407, 2408, 2409, 2419, 2427, 2433, 2437, 2439, 2441, 2443, 2445, 2447, 2449, 2460, 2466, 2468, 2469, 2470, 2471, 2472, 2474, 2476, 2478, 2480, 2482, 2484, 2488, 2494, 2502, 2512, 2524, 2537, 2538, 2539, 2540, 2541, 2553, 2563, 2571, 2577, 2581, 2583, 2585, 2587, 2589, 2591, 2602, 2608, 2610, 2611, 2612, 2613, 2614, 2616, 2618, 2620, 2622, 2624, 2628, 2634, 2642, 2652, 2664, 2678, 2693, 2694, 2695, 2696, 2697, 2711, 2723, 2733, 2741, 2747, 2751, 2753, 2755, 2757, 2759, 2770, 2776, 2778, 2779, 2780, 2781, 2782, 2784, 2786, 2788, 2790, 2794, 2800, 2808, 2818, 2830, 2844, 2860, 2877, 2878, 2879, 2880, 2881, 2897, 2911, 2923, 2933, 2941, 2947, 2951, 2953, 2955, 2957, 2968, 2974, 2976, 2977, 2978, 2979, 2980, 2982, 2984, 2986, 2990, 2996, 3004, 3014, 3026, 3040, 3056, 3074, 3093, 3094, 3095, 3096, 3097, 3115, 3131, 3145, 3157, 3167, 3175, 3181, 3185, 3187, 3189, 3200, 3206, 3208, 3209, 3210, 3211, 3212, 3214, 3216, 3220, 3226, 3234, 3244, 3256, 3270, 3286, 3304, 3324, 3345, 3346, 3347, 3348, 3349, 3369, 3387, 3403, 3417, 3429, 3439, 3447, 3453, 3457, 3459, 3470, 3472, 3476, 3478, 3479, 3480, 3481, 3482, 3484, 3488, 3494, 3502, 3512, 3524, 3538, 3554, 3572, 3592, 3614, 3637, 3638, 3639, 3640, 3641, 3663, 3683, 3701, 3717, 3731, 3743, 3753, 3761, 3767, 3771, 3782]
[2024-05-24 21:44:52] [INFO ] Actually due to overlaps returned [314, 584, 816, 1014, 1182, 1324, 1444, 1548, 1636, 1714, 1786, 1857, 1927, 2000, 2072, 2150, 2238, 2340, 2460, 2602, 2770, 2968, 3200, 3470, 3782, 4, 9, 10, 11, 12, 188, 189, 190, 191, 322, 323, 324, 325, 477, 478, 479, 480, 592, 593, 594, 595, 725, 726, 727, 728, 824, 825, 826, 827, 937, 938, 939, 940, 1022, 1023, 1024, 1025, 1117, 1118, 1119, 1120, 1190, 1191, 1192, 1193, 1269, 1270, 1271, 1272, 1332, 1333, 1334, 1335, 1397, 1398, 1399, 1400, 1452, 1453, 1454, 1455, 1506, 1507, 1508, 1509, 1556, 1557, 1558, 1559, 1599, 1600, 1601, 1602, 1644, 1645, 1646, 1647, 1679, 1680, 1681, 1682, 1722, 1723, 1724, 1725, 1751, 1752, 1753, 1754, 1794, 1795, 1796, 1797, 1822, 1823, 1824, 1825, 1859, 1864, 1865, 1866, 1867, 1892, 1893, 1894, 1895, 1935, 1937, 1938, 1965, 1966, 1967, 1968, 2008, 2009, 2010, 2011, 2037, 2038, 2039, 2040, 2080, 2081, 2082, 2083, 2113, 2114, 2115, 2116, 2158, 2159, 2160, 2161, 2197, 2198, 2199, 2200, 2246, 2247, 2248, 2249, 2293, 2294, 2295, 2296, 2348, 2349, 2350, 2351, 2405, 2406, 2407, 2408, 2468, 2469, 2470, 2471, 2537, 2538, 2539, 2540, 2610, 2611, 2612, 2613, 2693, 2694, 2695, 2696, 2778, 2779, 2780, 2781, 2877, 2878, 2879, 2880, 2976, 2977, 2978, 2979, 3093, 3094, 3095, 3096, 3208, 3209, 3210, 3211, 3345, 3346, 3347, 3348, 3472, 3478, 3479, 3480, 3481, 3637, 3638, 3639, 3640]
Discarding 227 places :
Implicit Place search using SMT only with invariants took 10754 ms to find 227 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 3773/4000 places, 8917/8917 transitions.
Discarding 191 places :
Symmetric choice reduction at 0 with 191 rule applications. Total rules 191 place count 3582 transition count 8726
Iterating global reduction 0 with 191 rules applied. Total rules applied 382 place count 3582 transition count 8726
Discarding 191 places :
Symmetric choice reduction at 0 with 191 rule applications. Total rules 573 place count 3391 transition count 8535
Iterating global reduction 0 with 191 rules applied. Total rules applied 764 place count 3391 transition count 8535
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 767 place count 3391 transition count 8532
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 770 place count 3388 transition count 8532
Applied a total of 770 rules in 1456 ms. Remains 3388 /3773 variables (removed 385) and now considering 8532/8917 (removed 385) transitions.
[2024-05-24 21:44:53] [INFO ] Flow matrix only has 7647 transitions (discarded 885 similar events)
// Phase 1: matrix 7647 rows 3388 cols
[2024-05-24 21:44:53] [INFO ] Computed 658 invariants in 161 ms
[2024-05-24 21:45:01] [INFO ] Implicit Places using invariants in 7765 ms returned [6, 8, 12, 18, 26, 36, 48, 62, 78, 96, 116, 138, 161, 183, 204, 222, 238, 252, 264, 274, 282, 288, 292, 294, 309, 311, 313, 317, 323, 331, 341, 353, 367, 383, 401, 421, 442, 462, 480, 496, 510, 522, 532, 540, 546, 550, 552, 554, 562, 564, 566, 568, 572, 578, 586, 596, 608, 622, 638, 656, 675, 693, 709, 723, 735, 745, 753, 759, 763, 765, 767, 769, 777, 779, 781, 783, 785, 789, 795, 803, 813, 825, 839, 855, 872, 888, 902, 914, 924, 932, 938, 942, 944, 946, 948, 950, 958, 960, 962, 964, 966, 968, 972, 978, 986, 996, 1008, 1022, 1037, 1051, 1063, 1073, 1081, 1087, 1091, 1093, 1095, 1097, 1099, 1101, 1109, 1111, 1113, 1115, 1117, 1119, 1121, 1125, 1131, 1139, 1149, 1161, 1174, 1186, 1196, 1204, 1210, 1214, 1216, 1218, 1220, 1222, 1224, 1226, 1234, 1236, 1238, 1240, 1242, 1244, 1246, 1248, 1252, 1258, 1266, 1276, 1287, 1297, 1305, 1311, 1315, 1317, 1319, 1321, 1323, 1325, 1327, 1329, 1337, 1339, 1341, 1343, 1345, 1347, 1349, 1351, 1353, 1357, 1363, 1371, 1380, 1389, 1396, 1400, 1402, 1404, 1406, 1408, 1410, 1412, 1414, 1416, 1424, 1426, 1428, 1430, 1432, 1434, 1436, 1438, 1440, 1442, 1446, 1452, 1459, 1465, 1469, 1471, 1473, 1475, 1477, 1479, 1481, 1483, 1485, 1487, 1495, 1497, 1499, 1501, 1503, 1505, 1507, 1509, 1511, 1513, 1515, 1519, 1524, 1528, 1530, 1532, 1534, 1536, 1538, 1540, 1542, 1544, 1546, 1548, 1556, 1558, 1560, 1562, 1564, 1566, 1568, 1570, 1572, 1574, 1576, 1578, 1581, 1583, 1585, 1587, 1589, 1591, 1593, 1595, 1597, 1599, 1601, 1603, 1611, 1613, 1615, 1617, 1619, 1621, 1623, 1625, 1627, 1629, 1631, 1633, 1635, 1637, 1639, 1641, 1643, 1645, 1647, 1649, 1651, 1653, 1655, 1657, 1663, 1665, 1667, 1669, 1671, 1673, 1675, 1677, 1679, 1681, 1683, 1685, 1687, 1689, 1691, 1693, 1695, 1697, 1699, 1701, 1703, 1705, 1707, 1709, 1716, 1719, 1721, 1723, 1725, 1727, 1729, 1731, 1733, 1735, 1737, 1739, 1743, 1745, 1747, 1749, 1751, 1753, 1755, 1757, 1759, 1761, 1763, 1765, 1774, 1776, 1778, 1780, 1782, 1784, 1786, 1788, 1790, 1792, 1794, 1796, 1798, 1801, 1803, 1805, 1807, 1809, 1811, 1813, 1815, 1817, 1819, 1821, 1829, 1831, 1833, 1835, 1837, 1839, 1841, 1843, 1845, 1847, 1849, 1851, 1855, 1860, 1864, 1866, 1868, 1870, 1872, 1874, 1876, 1878, 1880, 1882, 1890, 1892, 1894, 1896, 1898, 1900, 1902, 1904, 1906, 1908, 1910, 1914, 1920, 1927, 1933, 1937, 1939, 1941, 1943, 1945, 1947, 1949, 1951, 1953, 1961, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1983, 1989, 1997, 2006, 2014, 2020, 2024, 2026, 2028, 2030, 2032, 2034, 2036, 2038, 2046, 2048, 2050, 2052, 2054, 2056, 2058, 2060, 2062, 2066, 2072, 2080, 2090, 2101, 2111, 2119, 2125, 2129, 2131, 2133, 2135, 2137, 2139, 2141, 2149, 2151, 2153, 2155, 2157, 2159, 2161, 2163, 2167, 2173, 2181, 2191, 2203, 2216, 2228, 2238, 2246, 2252, 2256, 2258, 2260, 2262, 2264, 2266, 2274, 2276, 2278, 2280, 2282, 2284, 2286, 2290, 2296, 2304, 2314, 2326, 2340, 2355, 2369, 2381, 2391, 2399, 2405, 2409, 2411, 2413, 2415, 2417, 2425, 2427, 2429, 2431, 2433, 2435, 2439, 2445, 2453, 2463, 2475, 2489, 2505, 2522, 2538, 2552, 2564, 2574, 2582, 2588, 2592, 2594, 2596, 2598, 2606, 2608, 2610, 2612, 2614, 2618, 2624, 2632, 2642, 2654, 2668, 2684, 2702, 2721, 2739, 2755, 2769, 2781, 2791, 2799, 2805, 2809, 2811, 2813, 2821, 2823, 2825, 2827, 2831, 2837, 2845, 2855, 2867, 2881, 2897, 2915, 2935, 2956, 2976, 2994, 3010, 3024, 3036, 3046, 3054, 3060, 3064, 3066, 3073, 3075, 3077, 3081, 3087, 3095, 3105, 3117, 3131, 3147, 3165, 3185, 3207, 3230, 3252, 3272, 3290, 3306, 3320, 3332, 3342, 3350, 3356, 3360]
Discarding 600 places :
Implicit Place search using SMT only with invariants took 7790 ms to find 600 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2788/4000 places, 8532/8917 transitions.
Applied a total of 0 rules in 435 ms. Remains 2788 /2788 variables (removed 0) and now considering 8532/8532 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 20914 ms. Remains : 2788/4000 places, 8532/8917 transitions.
RANDOM walk for 40000 steps (1703 resets) in 1894 ms. (21 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (125 resets) in 174 ms. (228 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (130 resets) in 232 ms. (171 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 28038 steps, run timeout after 3001 ms. (steps per millisecond=9 ) properties seen :0 out of 2
Probabilistic random walk after 28038 steps, saw 11818 distinct states, run finished after 3004 ms. (steps per millisecond=9 ) properties seen :0
[2024-05-24 21:45:05] [INFO ] Flow matrix only has 7647 transitions (discarded 885 similar events)
// Phase 1: matrix 7647 rows 2788 cols
[2024-05-24 21:45:05] [INFO ] Computed 58 invariants in 126 ms
[2024-05-24 21:45:05] [INFO ] State equation strengthened by 4372 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2696/2703 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:45:08] [INFO ] Deduced a trap composed of 417 places in 1999 ms of which 18 ms to minimize.
[2024-05-24 21:45:10] [INFO ] Deduced a trap composed of 134 places in 1980 ms of which 19 ms to minimize.
[2024-05-24 21:45:12] [INFO ] Deduced a trap composed of 113 places in 1945 ms of which 19 ms to minimize.
[2024-05-24 21:45:14] [INFO ] Deduced a trap composed of 114 places in 1959 ms of which 17 ms to minimize.
[2024-05-24 21:45:16] [INFO ] Deduced a trap composed of 417 places in 1974 ms of which 17 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2703 variables, 5/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2703 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 1/2704 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2704 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 36/2740 variables, 5/15 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:45:18] [INFO ] Deduced a trap composed of 5 places in 1915 ms of which 17 ms to minimize.
[2024-05-24 21:45:20] [INFO ] Deduced a trap composed of 146 places in 1925 ms of which 17 ms to minimize.
[2024-05-24 21:45:22] [INFO ] Deduced a trap composed of 168 places in 1905 ms of which 18 ms to minimize.
[2024-05-24 21:45:24] [INFO ] Deduced a trap composed of 40 places in 1925 ms of which 17 ms to minimize.
[2024-05-24 21:45:26] [INFO ] Deduced a trap composed of 40 places in 1939 ms of which 17 ms to minimize.
[2024-05-24 21:45:27] [INFO ] Deduced a trap composed of 90 places in 1037 ms of which 12 ms to minimize.
[2024-05-24 21:45:29] [INFO ] Deduced a trap composed of 71 places in 1064 ms of which 12 ms to minimize.
[2024-05-24 21:45:30] [INFO ] Deduced a trap composed of 99 places in 1091 ms of which 14 ms to minimize.
[2024-05-24 21:45:31] [INFO ] Deduced a trap composed of 99 places in 1055 ms of which 12 ms to minimize.
[2024-05-24 21:45:32] [INFO ] Deduced a trap composed of 139 places in 1050 ms of which 13 ms to minimize.
[2024-05-24 21:45:33] [INFO ] Deduced a trap composed of 146 places in 1150 ms of which 14 ms to minimize.
[2024-05-24 21:45:34] [INFO ] Deduced a trap composed of 124 places in 1121 ms of which 12 ms to minimize.
[2024-05-24 21:45:35] [INFO ] Deduced a trap composed of 146 places in 1143 ms of which 13 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/2740 variables, 13/28 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:45:37] [INFO ] Deduced a trap composed of 167 places in 1950 ms of which 16 ms to minimize.
[2024-05-24 21:45:39] [INFO ] Deduced a trap composed of 194 places in 1911 ms of which 18 ms to minimize.
[2024-05-24 21:45:41] [INFO ] Deduced a trap composed of 192 places in 2056 ms of which 18 ms to minimize.
[2024-05-24 21:45:44] [INFO ] Deduced a trap composed of 190 places in 2019 ms of which 18 ms to minimize.
[2024-05-24 21:45:46] [INFO ] Deduced a trap composed of 169 places in 1936 ms of which 17 ms to minimize.
[2024-05-24 21:45:47] [INFO ] Deduced a trap composed of 168 places in 1946 ms of which 17 ms to minimize.
[2024-05-24 21:45:50] [INFO ] Deduced a trap composed of 167 places in 2005 ms of which 18 ms to minimize.
[2024-05-24 21:45:52] [INFO ] Deduced a trap composed of 167 places in 1932 ms of which 18 ms to minimize.
[2024-05-24 21:45:54] [INFO ] Deduced a trap composed of 172 places in 1985 ms of which 18 ms to minimize.
[2024-05-24 21:45:56] [INFO ] Deduced a trap composed of 167 places in 1977 ms of which 17 ms to minimize.
[2024-05-24 21:45:58] [INFO ] Deduced a trap composed of 190 places in 1922 ms of which 17 ms to minimize.
[2024-05-24 21:46:00] [INFO ] Deduced a trap composed of 173 places in 1958 ms of which 16 ms to minimize.
[2024-05-24 21:46:01] [INFO ] Deduced a trap composed of 170 places in 1934 ms of which 18 ms to minimize.
[2024-05-24 21:46:03] [INFO ] Deduced a trap composed of 191 places in 1907 ms of which 16 ms to minimize.
[2024-05-24 21:46:05] [INFO ] Deduced a trap composed of 169 places in 1944 ms of which 19 ms to minimize.
[2024-05-24 21:46:07] [INFO ] Deduced a trap composed of 168 places in 1830 ms of which 17 ms to minimize.
[2024-05-24 21:46:09] [INFO ] Deduced a trap composed of 237 places in 1977 ms of which 18 ms to minimize.
[2024-05-24 21:46:11] [INFO ] Deduced a trap composed of 169 places in 2082 ms of which 18 ms to minimize.
[2024-05-24 21:46:14] [INFO ] Deduced a trap composed of 97 places in 2258 ms of which 19 ms to minimize.
[2024-05-24 21:46:15] [INFO ] Deduced a trap composed of 71 places in 1126 ms of which 13 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/2740 variables, 20/48 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 9 (INCLUDED_ONLY) 0/2740 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 42/2782 variables, 42/90 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2782 variables, 0/90 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 6/2788 variables, 6/96 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2788 variables, 0/96 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 7647/10435 variables, 2788/2884 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/10435 variables, 4372/7256 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/10435 variables, 0/7256 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (OVERLAPS) 0/10435 variables, 0/7256 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 10435/10435 variables, and 7256 constraints, problems are : Problem set: 0 solved, 2 unsolved in 85145 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 2788/2788 constraints, ReadFeed: 4372/4372 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 38/38 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2696/2703 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2703 variables, 5/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:46:33] [INFO ] Deduced a trap composed of 263 places in 2113 ms of which 17 ms to minimize.
[2024-05-24 21:46:35] [INFO ] Deduced a trap composed of 314 places in 2056 ms of which 19 ms to minimize.
[2024-05-24 21:46:37] [INFO ] Deduced a trap composed of 408 places in 2072 ms of which 18 ms to minimize.
[2024-05-24 21:46:39] [INFO ] Deduced a trap composed of 208 places in 2051 ms of which 18 ms to minimize.
[2024-05-24 21:46:42] [INFO ] Deduced a trap composed of 126 places in 2173 ms of which 18 ms to minimize.
[2024-05-24 21:46:44] [INFO ] Deduced a trap composed of 111 places in 2046 ms of which 17 ms to minimize.
[2024-05-24 21:46:46] [INFO ] Deduced a trap composed of 147 places in 2077 ms of which 19 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2703 variables, 7/16 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2703 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1/2704 variables, 1/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2704 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 36/2740 variables, 5/22 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2740 variables, 33/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:46:49] [INFO ] Deduced a trap composed of 96 places in 2246 ms of which 19 ms to minimize.
[2024-05-24 21:46:51] [INFO ] Deduced a trap composed of 107 places in 2106 ms of which 21 ms to minimize.
[2024-05-24 21:46:53] [INFO ] Deduced a trap composed of 150 places in 2084 ms of which 19 ms to minimize.
[2024-05-24 21:46:55] [INFO ] Deduced a trap composed of 99 places in 2199 ms of which 18 ms to minimize.
[2024-05-24 21:46:57] [INFO ] Deduced a trap composed of 105 places in 2177 ms of which 19 ms to minimize.
[2024-05-24 21:46:59] [INFO ] Deduced a trap composed of 104 places in 2102 ms of which 18 ms to minimize.
[2024-05-24 21:47:01] [INFO ] Deduced a trap composed of 172 places in 1970 ms of which 18 ms to minimize.
[2024-05-24 21:47:04] [INFO ] Deduced a trap composed of 89 places in 2174 ms of which 18 ms to minimize.
[2024-05-24 21:47:06] [INFO ] Deduced a trap composed of 99 places in 2147 ms of which 18 ms to minimize.
[2024-05-24 21:47:08] [INFO ] Deduced a trap composed of 168 places in 2047 ms of which 18 ms to minimize.
[2024-05-24 21:47:10] [INFO ] Deduced a trap composed of 168 places in 2040 ms of which 17 ms to minimize.
[2024-05-24 21:47:12] [INFO ] Deduced a trap composed of 91 places in 2163 ms of which 19 ms to minimize.
[2024-05-24 21:47:14] [INFO ] Deduced a trap composed of 168 places in 1981 ms of which 20 ms to minimize.
[2024-05-24 21:47:16] [INFO ] Deduced a trap composed of 98 places in 2119 ms of which 20 ms to minimize.
[2024-05-24 21:47:19] [INFO ] Deduced a trap composed of 172 places in 2063 ms of which 18 ms to minimize.
[2024-05-24 21:47:21] [INFO ] Deduced a trap composed of 99 places in 2091 ms of which 18 ms to minimize.
[2024-05-24 21:47:23] [INFO ] Deduced a trap composed of 93 places in 2168 ms of which 18 ms to minimize.
[2024-05-24 21:47:25] [INFO ] Deduced a trap composed of 107 places in 2209 ms of which 19 ms to minimize.
[2024-05-24 21:47:27] [INFO ] Deduced a trap composed of 94 places in 2153 ms of which 20 ms to minimize.
[2024-05-24 21:47:29] [INFO ] Deduced a trap composed of 92 places in 2110 ms of which 18 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/2740 variables, 20/75 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:47:32] [INFO ] Deduced a trap composed of 153 places in 2141 ms of which 18 ms to minimize.
[2024-05-24 21:47:34] [INFO ] Deduced a trap composed of 109 places in 2109 ms of which 18 ms to minimize.
[2024-05-24 21:47:36] [INFO ] Deduced a trap composed of 96 places in 2148 ms of which 18 ms to minimize.
[2024-05-24 21:47:38] [INFO ] Deduced a trap composed of 144 places in 2118 ms of which 18 ms to minimize.
[2024-05-24 21:47:40] [INFO ] Deduced a trap composed of 94 places in 2092 ms of which 18 ms to minimize.
[2024-05-24 21:47:43] [INFO ] Deduced a trap composed of 92 places in 2100 ms of which 18 ms to minimize.
[2024-05-24 21:47:45] [INFO ] Deduced a trap composed of 94 places in 2223 ms of which 19 ms to minimize.
[2024-05-24 21:47:47] [INFO ] Deduced a trap composed of 90 places in 2225 ms of which 19 ms to minimize.
[2024-05-24 21:47:49] [INFO ] Deduced a trap composed of 113 places in 2194 ms of which 18 ms to minimize.
[2024-05-24 21:47:52] [INFO ] Deduced a trap composed of 96 places in 2147 ms of which 18 ms to minimize.
[2024-05-24 21:47:54] [INFO ] Deduced a trap composed of 105 places in 2231 ms of which 23 ms to minimize.
[2024-05-24 21:47:55] [INFO ] Deduced a trap composed of 71 places in 1113 ms of which 13 ms to minimize.
[2024-05-24 21:47:57] [INFO ] Deduced a trap composed of 104 places in 2208 ms of which 19 ms to minimize.
[2024-05-24 21:48:00] [INFO ] Deduced a trap composed of 86 places in 2206 ms of which 19 ms to minimize.
[2024-05-24 21:48:02] [INFO ] Deduced a trap composed of 93 places in 2220 ms of which 18 ms to minimize.
[2024-05-24 21:48:04] [INFO ] Deduced a trap composed of 97 places in 2202 ms of which 18 ms to minimize.
[2024-05-24 21:48:06] [INFO ] Deduced a trap composed of 94 places in 2193 ms of which 18 ms to minimize.
[2024-05-24 21:48:09] [INFO ] Deduced a trap composed of 91 places in 2237 ms of which 18 ms to minimize.
[2024-05-24 21:48:10] [INFO ] Deduced a trap composed of 99 places in 1129 ms of which 13 ms to minimize.
[2024-05-24 21:48:12] [INFO ] Deduced a trap composed of 91 places in 2164 ms of which 18 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/2740 variables, 20/95 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-24 21:48:14] [INFO ] Deduced a trap composed of 96 places in 2093 ms of which 18 ms to minimize.
[2024-05-24 21:48:16] [INFO ] Deduced a trap composed of 96 places in 2126 ms of which 18 ms to minimize.
SMT process timed out in 191175ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 7 out of 2788 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2788/2788 places, 8532/8532 transitions.
Applied a total of 0 rules in 441 ms. Remains 2788 /2788 variables (removed 0) and now considering 8532/8532 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 443 ms. Remains : 2788/2788 places, 8532/8532 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2788/2788 places, 8532/8532 transitions.
Applied a total of 0 rules in 455 ms. Remains 2788 /2788 variables (removed 0) and now considering 8532/8532 (removed 0) transitions.
[2024-05-24 21:48:17] [INFO ] Flow matrix only has 7647 transitions (discarded 885 similar events)
[2024-05-24 21:48:17] [INFO ] Invariant cache hit.
SDD proceeding with computation,11 properties remain. new max is 1024
SDD size :208 after 274
[2024-05-24 21:48:22] [INFO ] Implicit Places using invariants in 4731 ms returned []
[2024-05-24 21:48:22] [INFO ] Flow matrix only has 7647 transitions (discarded 885 similar events)
[2024-05-24 21:48:22] [INFO ] Invariant cache hit.
[2024-05-24 21:48:25] [INFO ] State equation strengthened by 4372 read => feed constraints.
[2024-05-24 21:48:57] [INFO ] Performed 512/2788 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-24 21:49:27] [INFO ] Performed 980/2788 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-24 21:49:57] [INFO ] Performed 1205/2788 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-05-24 21:50:28] [INFO ] Performed 1388/2788 implicitness test of which 0 returned IMPLICIT in 121 seconds.
[2024-05-24 21:50:28] [INFO ] Timeout of Implicit test with SMT after 121 seconds.
[2024-05-24 21:50:28] [INFO ] Implicit Places using invariants and state equation in 125759 ms returned []
Implicit Place search using SMT with State Equation took 130492 ms to find 0 implicit places.
[2024-05-24 21:50:29] [INFO ] Redundant transitions in 1011 ms returned []
Running 8438 sub problems to find dead transitions.
[2024-05-24 21:50:29] [INFO ] Flow matrix only has 7647 transitions (discarded 885 similar events)
[2024-05-24 21:50:29] [INFO ] Invariant cache hit.
[2024-05-24 21:50:29] [INFO ] State equation strengthened by 4372 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2786 variables, 45/45 constraints. Problems are: Problem set: 0 solved, 8438 unsolved
SMT process timed out in 74362ms, After SMT, problems are : Problem set: 0 solved, 8438 unsolved
Search for dead transitions found 0 dead transitions in 74466ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 206470 ms. Remains : 2788/2788 places, 8532/8532 transitions.
Attempting over-approximation, by ignoring read arcs.
Graph (trivial) has 3017 edges and 2788 vertex of which 24 / 2788 are part of one of the 1 SCC in 6 ms
Free SCC test removed 23 places
Drop transitions (Empty/Sink Transition effects.) removed 616 transitions
Ensure Unique test removed 846 transitions
Reduce isomorphic transitions removed 1462 transitions.
Graph (complete) has 10327 edges and 2765 vertex of which 2743 are kept as prefixes of interest. Removing 22 places using SCC suffix rule.1 ms
Discarding 22 places :
Also discarding 0 output transitions
Ensure Unique test removed 24 places
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition Node10DetectsThatNode13CanReplaceNode12.Node13IsBecomingTheNewNodeMaster and 1 places that fell out of Prefix Of Interest.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 220 transitions
Trivial Post-agglo rules discarded 220 transitions
Performed 220 trivial Post agglomeration. Transition count delta: 220
Iterating post reduction 0 with 222 rules applied. Total rules applied 224 place count 2718 transition count 6848
Reduce places removed 220 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 219 transitions
Reduce isomorphic transitions removed 220 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 219 transitions
Trivial Post-agglo rules discarded 219 transitions
Performed 219 trivial Post agglomeration. Transition count delta: 219
Iterating post reduction 1 with 659 rules applied. Total rules applied 883 place count 2498 transition count 6409
Reduce places removed 219 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 38 transitions
Ensure Unique test removed 181 transitions
Reduce isomorphic transitions removed 219 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 181 transitions
Trivial Post-agglo rules discarded 181 transitions
Performed 181 trivial Post agglomeration. Transition count delta: 181
Iterating post reduction 2 with 619 rules applied. Total rules applied 1502 place count 2279 transition count 6009
Reduce places removed 181 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 179 transitions
Reduce isomorphic transitions removed 181 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 179 transitions
Trivial Post-agglo rules discarded 179 transitions
Performed 179 trivial Post agglomeration. Transition count delta: 179
Iterating post reduction 3 with 541 rules applied. Total rules applied 2043 place count 2098 transition count 5649
Reduce places removed 179 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 34 transitions
Ensure Unique test removed 145 transitions
Reduce isomorphic transitions removed 179 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 145 transitions
Trivial Post-agglo rules discarded 145 transitions
Performed 145 trivial Post agglomeration. Transition count delta: 145
Iterating post reduction 4 with 503 rules applied. Total rules applied 2546 place count 1919 transition count 5325
Reduce places removed 145 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 143 transitions
Reduce isomorphic transitions removed 145 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 143 transitions
Trivial Post-agglo rules discarded 143 transitions
Performed 143 trivial Post agglomeration. Transition count delta: 143
Iterating post reduction 5 with 433 rules applied. Total rules applied 2979 place count 1774 transition count 5037
Reduce places removed 143 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 30 transitions
Ensure Unique test removed 113 transitions
Reduce isomorphic transitions removed 143 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 113 transitions
Trivial Post-agglo rules discarded 113 transitions
Performed 113 trivial Post agglomeration. Transition count delta: 113
Iterating post reduction 6 with 399 rules applied. Total rules applied 3378 place count 1631 transition count 4781
Reduce places removed 113 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 111 transitions
Reduce isomorphic transitions removed 113 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 111 transitions
Trivial Post-agglo rules discarded 111 transitions
Performed 111 trivial Post agglomeration. Transition count delta: 111
Iterating post reduction 7 with 337 rules applied. Total rules applied 3715 place count 1518 transition count 4557
Reduce places removed 111 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 26 transitions
Ensure Unique test removed 85 transitions
Reduce isomorphic transitions removed 111 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 85 transitions
Trivial Post-agglo rules discarded 85 transitions
Performed 85 trivial Post agglomeration. Transition count delta: 85
Iterating post reduction 8 with 307 rules applied. Total rules applied 4022 place count 1407 transition count 4361
Reduce places removed 85 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 83 transitions
Reduce isomorphic transitions removed 85 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 83 transitions
Trivial Post-agglo rules discarded 83 transitions
Performed 83 trivial Post agglomeration. Transition count delta: 83
Iterating post reduction 9 with 253 rules applied. Total rules applied 4275 place count 1322 transition count 4193
Reduce places removed 83 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 22 transitions
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 83 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 61 transitions
Trivial Post-agglo rules discarded 61 transitions
Performed 61 trivial Post agglomeration. Transition count delta: 61
Iterating post reduction 10 with 227 rules applied. Total rules applied 4502 place count 1239 transition count 4049
Reduce places removed 61 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 61 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 59 transitions
Trivial Post-agglo rules discarded 59 transitions
Performed 59 trivial Post agglomeration. Transition count delta: 59
Iterating post reduction 11 with 181 rules applied. Total rules applied 4683 place count 1178 transition count 3929
Reduce places removed 59 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 18 transitions
Ensure Unique test removed 41 transitions
Reduce isomorphic transitions removed 59 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 41 transitions
Trivial Post-agglo rules discarded 41 transitions
Performed 41 trivial Post agglomeration. Transition count delta: 41
Iterating post reduction 12 with 159 rules applied. Total rules applied 4842 place count 1119 transition count 3829
Reduce places removed 41 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 41 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 13 with 121 rules applied. Total rules applied 4963 place count 1078 transition count 3749
Reduce places removed 39 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 14 transitions
Ensure Unique test removed 25 transitions
Reduce isomorphic transitions removed 39 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 14 with 103 rules applied. Total rules applied 5066 place count 1039 transition count 3685
Reduce places removed 25 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 25 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 15 with 73 rules applied. Total rules applied 5139 place count 1014 transition count 3637
Reduce places removed 23 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 10 transitions
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 23 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 16 with 59 rules applied. Total rules applied 5198 place count 991 transition count 3601
Reduce places removed 13 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 17 with 36 rules applied. Total rules applied 5234 place count 978 transition count 3578
Reduce places removed 10 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 18 with 25 rules applied. Total rules applied 5259 place count 968 transition count 3563
Reduce places removed 5 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 5 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 19 with 13 rules applied. Total rules applied 5272 place count 963 transition count 3555
Reduce places removed 3 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 20 with 7 rules applied. Total rules applied 5279 place count 960 transition count 3551
Reduce places removed 1 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 21 with 3 rules applied. Total rules applied 5282 place count 959 transition count 3549
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 22 with 2 rules applied. Total rules applied 5284 place count 958 transition count 3548
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 9 Pre rules applied. Total rules applied 5284 place count 958 transition count 3539
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 23 with 18 rules applied. Total rules applied 5302 place count 949 transition count 3539
Discarding 595 places :
Symmetric choice reduction at 23 with 595 rule applications. Total rules 5897 place count 354 transition count 1258
Iterating global reduction 23 with 595 rules applied. Total rules applied 6492 place count 354 transition count 1258
Ensure Unique test removed 528 transitions
Reduce isomorphic transitions removed 528 transitions.
Iterating post reduction 23 with 528 rules applied. Total rules applied 7020 place count 354 transition count 730
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 24 with 1 Pre rules applied. Total rules applied 7020 place count 354 transition count 729
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 24 with 2 rules applied. Total rules applied 7022 place count 353 transition count 729
Performed 263 Post agglomeration using F-continuation condition.Transition count delta: 263
Deduced a syphon composed of 263 places in 0 ms
Reduce places removed 263 places and 0 transitions.
Iterating global reduction 24 with 526 rules applied. Total rules applied 7548 place count 90 transition count 466
Drop transitions (Empty/Sink Transition effects.) removed 241 transitions
Reduce isomorphic transitions removed 241 transitions.
Iterating post reduction 24 with 241 rules applied. Total rules applied 7789 place count 90 transition count 225
Discarding 20 places :
Symmetric choice reduction at 25 with 20 rule applications. Total rules 7809 place count 70 transition count 128
Iterating global reduction 25 with 20 rules applied. Total rules applied 7829 place count 70 transition count 128
Discarding 14 places :
Symmetric choice reduction at 25 with 14 rule applications. Total rules 7843 place count 56 transition count 86
Iterating global reduction 25 with 14 rules applied. Total rules applied 7857 place count 56 transition count 86
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 25 with 2 rules applied. Total rules applied 7859 place count 55 transition count 88
Discarding 1 places :
Symmetric choice reduction at 25 with 1 rule applications. Total rules 7860 place count 54 transition count 84
Iterating global reduction 25 with 1 rules applied. Total rules applied 7861 place count 54 transition count 84
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 25 with 3 rules applied. Total rules applied 7864 place count 54 transition count 81
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 26 with 2 rules applied. Total rules applied 7866 place count 54 transition count 79
Discarding 2 places :
Symmetric choice reduction at 26 with 2 rule applications. Total rules 7868 place count 52 transition count 71
Iterating global reduction 26 with 2 rules applied. Total rules applied 7870 place count 52 transition count 71
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 26 with 7 rules applied. Total rules applied 7877 place count 52 transition count 64
Discarding 2 places :
Symmetric choice reduction at 27 with 2 rule applications. Total rules 7879 place count 50 transition count 61
Iterating global reduction 27 with 2 rules applied. Total rules applied 7881 place count 50 transition count 61
Free-agglomeration rule applied 1 times.
Iterating global reduction 27 with 1 rules applied. Total rules applied 7882 place count 50 transition count 60
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 27 with 1 rules applied. Total rules applied 7883 place count 49 transition count 60
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 28 with 4 rules applied. Total rules applied 7887 place count 49 transition count 56
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 28 with 4 rules applied. Total rules applied 7891 place count 45 transition count 56
Partial Free-agglomeration rule applied 8 times.
Drop transitions (Partial Free agglomeration) removed 8 transitions
Iterating global reduction 29 with 8 rules applied. Total rules applied 7899 place count 45 transition count 56
Applied a total of 7899 rules in 2665 ms. Remains 45 /2788 variables (removed 2743) and now considering 56/8532 (removed 8476) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 56 rows 45 cols
[2024-05-24 21:51:46] [INFO ] Computed 12 invariants in 1 ms
[2024-05-24 21:51:46] [INFO ] [Real]Absence check using 3 positive place invariants in 0 ms returned sat
[2024-05-24 21:51:46] [INFO ] [Real]Absence check using 3 positive and 9 generalized place invariants in 6 ms returned sat
[2024-05-24 21:51:46] [INFO ] After 53ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-24 21:51:46] [INFO ] [Nat]Absence check using 3 positive place invariants in 0 ms returned sat
[2024-05-24 21:51:46] [INFO ] [Nat]Absence check using 3 positive and 9 generalized place invariants in 1 ms returned sat
[2024-05-24 21:51:46] [INFO ] After 29ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
TRAPS : Iteration 0
[2024-05-24 21:51:46] [INFO ] After 41ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
[2024-05-24 21:51:46] [INFO ] After 88ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
[2024-05-24 21:51:46] [INFO ] Flatten gal took : 13 ms
[2024-05-24 21:51:46] [INFO ] Flatten gal took : 2 ms
[2024-05-24 21:51:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3564169831967169097.gal : 1 ms
[2024-05-24 21:51:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1388366709129775628.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3564169831967169097.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1388366709129775628.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality1388366709129775628.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 17
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :17 after 51
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :51 after 151
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :151 after 962
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :962 after 2004
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,5792,0.027267,4512,2,704,10,3020,8,0,228,1982,0
Total reachable state count : 5792
Verifying 2 reachability properties.
Reachability property MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-04 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-04,1,0.027742,4512,2,46,10,3020,8,0,231,1982,0
Invariant property MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-14 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
MultiCrashLeafsetExtension-PT-S24C04-ReachabilityFireability-2024-14,1,0.028191,4512,2,46,10,3020,8,0,235,1982,0
ITS tools runner thread asked to quit. Dying gracefully.
Over-approximation ignoring read arcs solved 0 properties in 2895 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2024-05-24 21:51:47] [INFO ] Flatten gal took : 475 ms
[2024-05-24 21:51:47] [INFO ] Applying decomposition
[2024-05-24 21:51:47] [INFO ] Flatten gal took : 440 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph12059315625122806269.txt' '-o' '/tmp/graph12059315625122806269.bin' '-w' '/tmp/graph12059315625122806269.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph12059315625122806269.bin' '-l' '-1' '-v' '-w' '/tmp/graph12059315625122806269.weights' '-q' '0' '-e' '0.001'
[2024-05-24 21:51:49] [INFO ] Decomposing Gal with order
[2024-05-24 21:51:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-24 21:51:52] [INFO ] Removed a total of 9689 redundant transitions.
[2024-05-24 21:51:53] [INFO ] Flatten gal took : 2313 ms
[2024-05-24 21:51:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 2310 labels/synchronizations in 459 ms.
[2024-05-24 21:51:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18169188011619224687.gal : 134 ms
[2024-05-24 21:51:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6687843962975326420.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality18169188011619224687.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6687843962975326420.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality6687843962975326420.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 16384
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 32768
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 65536
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 131072
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 262144
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 524288
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 1048576
SDD size :1 after 150
SDD proceeding with computation,2 properties remain. new max is 2097152
SDD size :150 after 150
ITS-tools command line returned an error code 137
[2024-05-24 22:01:55] [INFO ] Flatten gal took : 226 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin15854889440354596059
[2024-05-24 22:01:55] [INFO ] Too many transitions (8532) to apply POR reductions. Disabling POR matrices.
[2024-05-24 22:01:56] [INFO ] Applying decomposition
[2024-05-24 22:01:56] [INFO ] Built C files in 246ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15854889440354596059
Running compilation step : cd /tmp/ltsmin15854889440354596059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/limit_time.pl' '360' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2024-05-24 22:01:56] [INFO ] Flatten gal took : 242 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph3399347280434285402.txt' '-o' '/tmp/graph3399347280434285402.bin' '-w' '/tmp/graph3399347280434285402.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph3399347280434285402.bin' '-l' '-1' '-v' '-w' '/tmp/graph3399347280434285402.weights' '-q' '0' '-e' '0.001'
[2024-05-24 22:01:56] [INFO ] Decomposing Gal with order
[2024-05-24 22:01:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-24 22:01:58] [INFO ] Removed a total of 12641 redundant transitions.
[2024-05-24 22:01:58] [INFO ] Flatten gal took : 1209 ms
[2024-05-24 22:01:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 7438 labels/synchronizations in 497 ms.
[2024-05-24 22:01:59] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability10132379511235335271.gal : 55 ms
[2024-05-24 22:01:59] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability18036086374683797340.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability10132379511235335271.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability18036086374683797340.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Loading property file /tmp/ReachabilityFireability18036086374683797340.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 10
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :10 after 30
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :30 after 168
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :168 after 175
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :175 after 198
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :198 after 276
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :276 after 363
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :363 after 1256
Compilation finished in 50645 ms.
Running link step : cd /tmp/ltsmin15854889440354596059;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 92 ms.
Running LTSmin : cd /tmp/ltsmin15854889440354596059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C04ReachabilityFireability202404==true'
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1256 after 1735
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1735 after 2563
ITS-tools command line returned an error code 137
[2024-05-24 22:14:04] [INFO ] Flatten gal took : 531 ms
[2024-05-24 22:14:04] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability4849297402875697555.gal : 80 ms
[2024-05-24 22:14:04] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability16569603432435270640.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability4849297402875697555.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability16569603432435270640.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityFireability16569603432435270640.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 18
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :18 after 22
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :22 after 23
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :23 after 35
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :35 after 69
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :69 after 71
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :71 after 145
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :145 after 190
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :190 after 295
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :295 after 586
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :586 after 1008
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :1008 after 2449
WARNING : LTSmin timed out (>900 s) on command cd /tmp/ltsmin15854889440354596059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C04ReachabilityFireability202404==true'
Running LTSmin : cd /tmp/ltsmin15854889440354596059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C04ReachabilityFireability202414==true'
SDD proceeding with computation,2 properties remain. new max is 16384
SDD size :2449 after 4715
SDD proceeding with computation,2 properties remain. new max is 32768
SDD size :4715 after 8565
WARNING : LTSmin timed out (>900 s) on command cd /tmp/ltsmin15854889440354596059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C04ReachabilityFireability202414==true'
Retrying LTSmin with larger timeout 14400 s
Running LTSmin : cd /tmp/ltsmin15854889440354596059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C04ReachabilityFireability202404==true'
SDD proceeding with computation,2 properties remain. new max is 65536
SDD size :8565 after 16739
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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-S24C04"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C04, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r246-tall-171654350800079"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C04.tgz
mv MultiCrashLeafsetExtension-PT-S24C04 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;