About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13802.867 | 3600000.00 | 7782461.00 | 5659.90 | ?FFFTTTTTTTTT?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-171654350900126.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-S24C10, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r246-tall-171654350900126
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 19 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 12 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 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 18M 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-S24C10-ReachabilityCardinality-2023-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716605376268
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C10
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202405141337
[2024-05-25 02:49:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-25 02:49:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 02:49:38] [INFO ] Load time of PNML (sax parser for PT used): 784 ms
[2024-05-25 02:49:38] [INFO ] Transformed 17896 places.
[2024-05-25 02:49:38] [INFO ] Transformed 26071 transitions.
[2024-05-25 02:49:38] [INFO ] Parsed PT model containing 17896 places and 26071 transitions and 96710 arcs in 1029 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 28 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (386 resets) in 5198 ms. (7 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 88 ms. (44 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 16/16 properties
[2024-05-25 02:49:41] [INFO ] Flatten gal took : 1337 ms
[2024-05-25 02:49:42] [INFO ] Flatten gal took : 695 ms
[2024-05-25 02:49:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15724970818382261566.gal : 200 ms
[2024-05-25 02:49:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality649633290161384106.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/ReachabilityCardinality15724970818382261566.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality649633290161384106.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
Interrupted probabilistic random walk after 17847 steps, run timeout after 6001 ms. (steps per millisecond=2 ) properties seen :0 out of 16
Probabilistic random walk after 17847 steps, saw 8777 distinct states, run finished after 6007 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 02:49:46] [INFO ] Flow matrix only has 25471 transitions (discarded 600 similar events)
// Phase 1: matrix 25471 rows 17896 cols
Loading property file /tmp/ReachabilityCardinality649633290161384106.prop.
[2024-05-25 02:49:49] [INFO ] Computed 1245 invariants in 2365 ms
[2024-05-25 02:49:49] [INFO ] State equation strengthened by 8002 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/372 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-05 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-05 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-14 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-14 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 2314/2686 variables, 6/6 constraints. Problems are: Problem set: 2 solved, 14 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2686 variables, 0/6 constraints. Problems are: Problem set: 2 solved, 14 unsolved
At refinement iteration 3 (OVERLAPS) 61/2747 variables, 57/63 constraints. Problems are: Problem set: 2 solved, 14 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2747 variables, 0/63 constraints. Problems are: Problem set: 2 solved, 14 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-01 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-01 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-02 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-02 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-03 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-03 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-06 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-06 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-07 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-08 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-08 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-09 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-09 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-11 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-11 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-12 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 5 (OVERLAPS) 10371/13118 variables, 496/559 constraints. Problems are: Problem set: 11 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/13118 variables, 0/559 constraints. Problems are: Problem set: 11 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 11/13129 variables, 11/570 constraints. Problems are: Problem set: 11 solved, 5 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 13129/43367 variables, and 570 constraints, problems are : Problem set: 11 solved, 5 unsolved in 5043 ms.
Refiners :[Positive P Invariants (semi-flows): 74/74 constraints, Generalized P Invariants (flows): 496/1171 constraints, State Equation: 0/17896 constraints, ReadFeed: 0/8002 constraints, PredecessorRefiner: 16/16 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 11 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/132 variables, 0/0 constraints. Problems are: Problem set: 11 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 2318/2450 variables, 1/1 constraints. Problems are: Problem set: 11 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2450 variables, 0/1 constraints. Problems are: Problem set: 11 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 9613/12063 variables, 373/374 constraints. Problems are: Problem set: 11 solved, 5 unsolved
[2024-05-25 02:50:23] [INFO ] Deduced a trap composed of 186 places in 25900 ms of which 583 ms to minimize.
SMT process timed out in 36541ms, After SMT, problems are : Problem set: 11 solved, 5 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 132 out of 17896 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17896/17896 places, 26071/26071 transitions.
Graph (complete) has 56805 edges and 17896 vertex of which 17848 are kept as prefixes of interest. Removing 48 places using SCC suffix rule.44 ms
Discarding 48 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 5878 transitions
Trivial Post-agglo rules discarded 5878 transitions
Performed 5878 trivial Post agglomeration. Transition count delta: 5878
Iterating post reduction 0 with 5878 rules applied. Total rules applied 5879 place count 17848 transition count 20193
Reduce places removed 5878 places and 0 transitions.
Performed 79 Post agglomeration using F-continuation condition.Transition count delta: 79
Iterating post reduction 1 with 5957 rules applied. Total rules applied 11836 place count 11970 transition count 20114
Reduce places removed 79 places and 0 transitions.
Iterating post reduction 2 with 79 rules applied. Total rules applied 11915 place count 11891 transition count 20114
Performed 495 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 495 Pre rules applied. Total rules applied 11915 place count 11891 transition count 19619
Deduced a syphon composed of 495 places in 24 ms
Reduce places removed 495 places and 0 transitions.
Iterating global reduction 3 with 990 rules applied. Total rules applied 12905 place count 11396 transition count 19619
Discarding 5414 places :
Symmetric choice reduction at 3 with 5414 rule applications. Total rules 18319 place count 5982 transition count 14205
Iterating global reduction 3 with 5414 rules applied. Total rules applied 23733 place count 5982 transition count 14205
Discarding 465 places :
Symmetric choice reduction at 3 with 465 rule applications. Total rules 24198 place count 5517 transition count 9555
Iterating global reduction 3 with 465 rules applied. Total rules applied 24663 place count 5517 transition count 9555
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 10 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 24713 place count 5492 transition count 9530
Free-agglomeration rule (complex) applied 382 times.
Iterating global reduction 3 with 382 rules applied. Total rules applied 25095 place count 5492 transition count 11335
Reduce places removed 382 places and 0 transitions.
Iterating post reduction 3 with 382 rules applied. Total rules applied 25477 place count 5110 transition count 11335
Partial Free-agglomeration rule applied 497 times.
Drop transitions (Partial Free agglomeration) removed 497 transitions
Iterating global reduction 4 with 497 rules applied. Total rules applied 25974 place count 5110 transition count 11335
Applied a total of 25974 rules in 6286 ms. Remains 5110 /17896 variables (removed 12786) and now considering 11335/26071 (removed 14736) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6299 ms. Remains : 5110/17896 places, 11335/26071 transitions.
RANDOM walk for 40000 steps (600 resets) in 2525 ms. (15 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (84 resets) in 710 ms. (56 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (84 resets) in 518 ms. (77 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (84 resets) in 792 ms. (50 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40003 steps (84 resets) in 360 ms. (110 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (84 resets) in 364 ms. (109 steps per ms) remains 5/5 properties
Interrupted probabilistic random walk after 21244 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :0 out of 5
Probabilistic random walk after 21244 steps, saw 10030 distinct states, run finished after 3001 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-25 02:50:34] [INFO ] Flow matrix only has 10453 transitions (discarded 882 similar events)
// Phase 1: matrix 10453 rows 5110 cols
[2024-05-25 02:50:34] [INFO ] Computed 1197 invariants in 358 ms
[2024-05-25 02:50:34] [INFO ] State equation strengthened by 6004 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/132 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 3477/3609 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3609 variables, 5/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3609 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (OVERLAPS) 1315/4924 variables, 1001/1011 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/4924 variables, 0/1011 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 44/4968 variables, 44/1055 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/4968 variables, 0/1055 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 142/5110 variables, 142/1197 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5110 variables, 0/1197 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 10453/15563 variables, 5110/6307 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/15563 variables, 6004/12311 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/15563 variables, 0/12311 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 13 (OVERLAPS) 0/15563 variables, 0/12311 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Real declared 15563/15563 variables, and 12311 constraints, problems are : Problem set: 0 solved, 5 unsolved in 12664 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 1148/1148 constraints, State Equation: 5110/5110 constraints, ReadFeed: 6004/6004 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/132 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 3477/3609 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3609 variables, 5/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3609 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-04 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-ReachabilityCardinality-2024-10 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 4 (OVERLAPS) 1315/4924 variables, 1001/1011 constraints. Problems are: Problem set: 2 solved, 3 unsolved
[2024-05-25 02:50:56] [INFO ] Deduced a trap composed of 6 places in 6958 ms of which 49 ms to minimize.
[2024-05-25 02:51:02] [INFO ] Deduced a trap composed of 40 places in 6592 ms of which 34 ms to minimize.
[2024-05-25 02:51:09] [INFO ] Deduced a trap composed of 468 places in 7103 ms of which 39 ms to minimize.
[2024-05-25 02:51:16] [INFO ] Deduced a trap composed of 673 places in 7055 ms of which 35 ms to minimize.
[2024-05-25 02:51:24] [INFO ] Deduced a trap composed of 706 places in 7052 ms of which 37 ms to minimize.
[2024-05-25 02:51:31] [INFO ] Deduced a trap composed of 71 places in 7029 ms of which 35 ms to minimize.
[2024-05-25 02:51:38] [INFO ] Deduced a trap composed of 655 places in 6893 ms of which 35 ms to minimize.
SMT process timed out in 63765ms, After SMT, problems are : Problem set: 2 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 43 out of 5110 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5110/5110 places, 11335/11335 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 26 transitions
Trivial Post-agglo rules discarded 26 transitions
Performed 26 trivial Post agglomeration. Transition count delta: 26
Iterating post reduction 0 with 26 rules applied. Total rules applied 26 place count 5110 transition count 11309
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 1 with 26 rules applied. Total rules applied 52 place count 5084 transition count 11309
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 52 place count 5084 transition count 11305
Deduced a syphon composed of 4 places in 5 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 60 place count 5080 transition count 11305
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 65 place count 5075 transition count 11291
Iterating global reduction 2 with 5 rules applied. Total rules applied 70 place count 5075 transition count 11291
Free-agglomeration rule (complex) applied 37 times.
Iterating global reduction 2 with 37 rules applied. Total rules applied 107 place count 5075 transition count 13180
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 2 with 37 rules applied. Total rules applied 144 place count 5038 transition count 13180
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 154 place count 5028 transition count 13170
Iterating global reduction 3 with 10 rules applied. Total rules applied 164 place count 5028 transition count 13170
Partial Free-agglomeration rule applied 41 times.
Drop transitions (Partial Free agglomeration) removed 41 transitions
Iterating global reduction 3 with 41 rules applied. Total rules applied 205 place count 5028 transition count 13170
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 245 place count 4988 transition count 13130
Iterating global reduction 3 with 40 rules applied. Total rules applied 285 place count 4988 transition count 13130
Applied a total of 285 rules in 3446 ms. Remains 4988 /5110 variables (removed 122) and now considering 13130/11335 (removed -1795) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3446 ms. Remains : 4988/5110 places, 13130/11335 transitions.
RANDOM walk for 40000 steps (643 resets) in 3211 ms. (12 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40001 steps (84 resets) in 518 ms. (77 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (84 resets) in 501 ms. (79 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40000 steps (84 resets) in 495 ms. (80 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 20964 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 3
Probabilistic random walk after 20964 steps, saw 9781 distinct states, run finished after 3001 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-25 02:51:46] [INFO ] Flow matrix only has 12246 transitions (discarded 884 similar events)
// Phase 1: matrix 12246 rows 4988 cols
[2024-05-25 02:51:46] [INFO ] Computed 1197 invariants in 364 ms
[2024-05-25 02:51:46] [INFO ] State equation strengthened by 7921 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3464/3507 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3507 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3507 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 1280/4787 variables, 990/996 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/4787 variables, 0/996 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 44/4831 variables, 44/1040 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/4831 variables, 0/1040 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 157/4988 variables, 157/1197 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/4988 variables, 0/1197 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 12246/17234 variables, 4988/6185 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/17234 variables, 7921/14106 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/17234 variables, 0/14106 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 13 (OVERLAPS) 0/17234 variables, 0/14106 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 17234/17234 variables, and 14106 constraints, problems are : Problem set: 0 solved, 3 unsolved in 9898 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 1148/1148 constraints, State Equation: 4988/4988 constraints, ReadFeed: 7921/7921 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3464/3507 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3507 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3507 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 1280/4787 variables, 990/996 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 02:52:05] [INFO ] Deduced a trap composed of 5 places in 7410 ms of which 33 ms to minimize.
[2024-05-25 02:52:12] [INFO ] Deduced a trap composed of 433 places in 7218 ms of which 33 ms to minimize.
[2024-05-25 02:52:19] [INFO ] Deduced a trap composed of 39 places in 7292 ms of which 32 ms to minimize.
[2024-05-25 02:52:27] [INFO ] Deduced a trap composed of 530 places in 7285 ms of which 34 ms to minimize.
[2024-05-25 02:52:34] [INFO ] Deduced a trap composed of 486 places in 7327 ms of which 36 ms to minimize.
[2024-05-25 02:52:41] [INFO ] Deduced a trap composed of 491 places in 7322 ms of which 34 ms to minimize.
[2024-05-25 02:52:49] [INFO ] Deduced a trap composed of 497 places in 7285 ms of which 31 ms to minimize.
[2024-05-25 02:52:56] [INFO ] Deduced a trap composed of 561 places in 7313 ms of which 34 ms to minimize.
[2024-05-25 02:53:03] [INFO ] Deduced a trap composed of 39 places in 6958 ms of which 32 ms to minimize.
[2024-05-25 02:53:10] [INFO ] Deduced a trap composed of 562 places in 7054 ms of which 33 ms to minimize.
[2024-05-25 02:53:18] [INFO ] Deduced a trap composed of 89 places in 7306 ms of which 41 ms to minimize.
SMT process timed out in 92135ms, After SMT, problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 43 out of 4988 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4988/4988 places, 13130/13130 transitions.
Applied a total of 0 rules in 834 ms. Remains 4988 /4988 variables (removed 0) and now considering 13130/13130 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 835 ms. Remains : 4988/4988 places, 13130/13130 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4988/4988 places, 13130/13130 transitions.
Applied a total of 0 rules in 794 ms. Remains 4988 /4988 variables (removed 0) and now considering 13130/13130 (removed 0) transitions.
[2024-05-25 02:53:19] [INFO ] Flow matrix only has 12246 transitions (discarded 884 similar events)
[2024-05-25 02:53:19] [INFO ] Invariant cache hit.
[2024-05-25 02:53:39] [INFO ] Implicit Places using invariants in 19819 ms returned [4, 7, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 25, 31, 39, 49, 61, 75, 91, 109, 129, 151, 174, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 226, 244, 260, 274, 286, 296, 304, 310, 314, 316, 339, 345, 347, 348, 349, 350, 351, 352, 353, 355, 356, 357, 359, 363, 369, 377, 387, 399, 413, 429, 447, 469, 490, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 538, 554, 568, 580, 590, 598, 604, 608, 610, 612, 635, 641, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 655, 657, 661, 667, 675, 685, 697, 711, 727, 745, 764, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 808, 822, 834, 844, 852, 858, 862, 864, 866, 868, 891, 897, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 911, 913, 915, 919, 925, 933, 943, 955, 969, 985, 1002, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1026, 1027, 1028, 1042, 1054, 1066, 1074, 1080, 1085, 1087, 1089, 1091, 1093, 1116, 1122, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1133, 1134, 1135, 1138, 1140, 1142, 1144, 1148, 1154, 1162, 1172, 1184, 1198, 1213, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1249, 1259, 1267, 1273, 1277, 1279, 1281, 1283, 1285, 1287, 1310, 1316, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1328, 1330, 1332, 1334, 1336, 1338, 1342, 1348, 1356, 1366, 1378, 1391, 1403, 1406, 1408, 1409, 1411, 1412, 1413, 1423, 1431, 1439, 1443, 1446, 1448, 1452, 1454, 1458, 1460, 1483, 1489, 1491, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1503, 1505, 1507, 1509, 1511, 1513, 1517, 1523, 1531, 1541, 1552, 1562, 1563, 1565, 1567, 1568, 1569, 1570, 1572, 1580, 1586, 1590, 1592, 1595, 1597, 1599, 1608, 1610, 1633, 1639, 1641, 1642, 1643, 1644, 1645, 1646, 1647, 1648, 1649, 1650, 1651, 1653, 1655, 1657, 1659, 1661, 1663, 1665, 1669, 1675, 1683, 1692, 1700, 1701, 1702, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1716, 1720, 1722, 1724, 1726, 1728, 1730, 1732, 1734, 1736, 1759, 1765, 1767, 1768, 1769, 1771, 1772, 1773, 1774, 1775, 1776, 1777, 1779, 1781, 1783, 1785, 1788, 1790, 1792, 1794, 1798, 1804, 1811, 1817, 1818, 1819, 1820, 1821, 1822, 1823, 1825, 1826, 1827, 1831, 1833, 1835, 1837, 1839, 1841, 1843, 1845, 1847, 1851, 1874, 1880, 1882, 1883, 1884, 1885, 1886, 1887, 1888, 1890, 1891, 1892, 1895, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1911, 1915, 1920, 1924, 1925, 1926, 1927, 1928, 1929, 1930, 1932, 1933, 1934, 1936, 1938, 1940, 1942, 1944, 1947, 1949, 1951, 1953, 1955, 1978, 1984, 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2014, 2016, 2019, 2021, 2022, 2023, 2024, 2025, 2026, 2027, 2028, 2029, 2030, 2031, 2033, 2035, 2037, 2039, 2041, 2043, 2045, 2047, 2049, 2051, 2074, 2080, 2082, 2083, 2084, 2085, 2086, 2087, 2088, 2089, 2090, 2091, 2092, 2094, 2096, 2098, 2100, 2102, 2104, 2106, 2108, 2110, 2112, 2114, 2116, 2117, 2118, 2119, 2120, 2121, 2122, 2123, 2124, 2125, 2126, 2128, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2144, 2146, 2169, 2171, 2174, 2176, 2177, 2178, 2179, 2180, 2181, 2182, 2183, 2184, 2185, 2186, 2188, 2190, 2192, 2194, 2196, 2198, 2200, 2202, 2204, 2206, 2208, 2210, 2211, 2212, 2213, 2214, 2215, 2216, 2218, 2219, 2220, 2222, 2224, 2226, 2228, 2230, 2234, 2236, 2238, 2240, 2242, 2265, 2271, 2273, 2274, 2275, 2276, 2277, 2278, 2279, 2280, 2281, 2282, 2283, 2285, 2287, 2289, 2291, 2293, 2295, 2297, 2299, 2301, 2303, 2305, 2307, 2308, 2309, 2310, 2311, 2312, 2313, 2314, 2315, 2316, 2317, 2319, 2321, 2323, 2325, 2327, 2329, 2331, 2333, 2335, 2337, 2360, 2366, 2370, 2371, 2372, 2373, 2374, 2375, 2376, 2377, 2378, 2379, 2381, 2383, 2385, 2387, 2389, 2391, 2393, 2395, 2399, 2402, 2405, 2406, 2407, 2408, 2409, 2410, 2411, 2412, 2413, 2414, 2415, 2417, 2419, 2421, 2423, 2425, 2427, 2429, 2431, 2433, 2435, 2458, 2464, 2466, 2467, 2468, 2469, 2470, 2471, 2472, 2473, 2475, 2476, 2478, 2480, 2482, 2484, 2486, 2488, 2490, 2492, 2494, 2496, 2501, 2506, 2507, 2508, 2509, 2510, 2512, 2513, 2514, 2515, 2516, 2520, 2522, 2524, 2526, 2530, 2532, 2534, 2536, 2538, 2540, 2563, 2569, 2571, 2572, 2573, 2574, 2575, 2576, 2577, 2578, 2579, 2580, 2581, 2583, 2585, 2587, 2589, 2591, 2593, 2595, 2597, 2599, 2603, 2609, 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2623, 2624, 2625, 2626, 2632, 2636, 2638, 2640, 2642, 2644, 2646, 2648, 2650, 2652, 2676, 2682, 2684, 2685, 2686, 2687, 2688, 2689, 2690, 2691, 2692, 2693, 2694, 2696, 2698, 2700, 2702, 2704, 2706, 2708, 2710, 2714, 2720, 2728, 2737, 2738, 2739, 2740, 2741, 2742, 2743, 2744, 2745, 2747, 2757, 2763, 2767, 2769, 2771, 2773, 2775, 2777, 2779, 2781, 2804, 2810, 2812, 2813, 2814, 2815, 2816, 2817, 2818, 2819, 2820, 2821, 2822, 2824, 2826, 2828, 2830, 2832, 2834, 2836, 2840, 2846, 2854, 2864, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882, 2883, 2884, 2885, 2895, 2903, 2909, 2913, 2915, 2917, 2920, 2922, 2924, 2926, 2949, 2955, 2957, 2959, 2960, 2961, 2962, 2963, 2964, 2965, 2966, 2967, 2969, 2971, 2973, 2975, 2977, 2979, 2983, 2989, 2997, 3007, 3020, 3033, 3034, 3036, 3037, 3038, 3039, 3040, 3041, 3042, 3043, 3055, 3065, 3073, 3079, 3085, 3089, 3091, 3093, 3095, 3097, 3120, 3126, 3128, 3129, 3130, 3131, 3132, 3133, 3134, 3135, 3138, 3141, 3144, 3146, 3149, 3151, 3155, 3161, 3169, 3179, 3191, 3205, 3220, 3221, 3223, 3224, 3225, 3226, 3227, 3228, 3230, 3244, 3256, 3266, 3274, 3282, 3287, 3289, 3291, 3293, 3295, 3318, 3324, 3326, 3327, 3328, 3329, 3330, 3332, 3333, 3334, 3335, 3336, 3338, 3340, 3342, 3344, 3348, 3355, 3363, 3373, 3385, 3399, 3415, 3432, 3433, 3434, 3435, 3436, 3437, 3438, 3439, 3440, 3442, 3458, 3472, 3484, 3494, 3502, 3508, 3512, 3514, 3518, 3520, 3543, 3549, 3551, 3552, 3553, 3554, 3555, 3556, 3557, 3558, 3559, 3560, 3561, 3563, 3565, 3567, 3571, 3577, 3585, 3595, 3607, 3621, 3637, 3655, 3674, 3675, 3676, 3677, 3678, 3679, 3680, 3681, 3682, 3683, 3684, 3702, 3718, 3732, 3744, 3754, 3762, 3768, 3772, 3774, 3776, 3799, 3805, 3807, 3808, 3809, 3810, 3812, 3813, 3814, 3815, 3816, 3817, 3819, 3821, 3825, 3831, 3840, 3850, 3862, 3876, 3892, 3910, 3930, 3951, 3952, 3954, 3955, 3956, 3957, 3958, 3959, 3960, 3961, 3981, 3999, 4015, 4029, 4041, 4051, 4061, 4067, 4071, 4073, 4096, 4098, 4101, 4103, 4104, 4105, 4106, 4107, 4108, 4109, 4111, 4112, 4113, 4115, 4119, 4125, 4133, 4143, 4155, 4169, 4185, 4203, 4224, 4246, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276, 4277, 4278, 4279, 4301, 4321, 4339, 4355, 4369, 4381, 4391, 4399, 4405, 4409, 4432]
[2024-05-25 02:53:39] [INFO ] Actually due to overlaps returned [1310, 2169, 2265, 2360, 2458, 2563, 2676, 2949, 3120, 3543, 4096, 4432, 339, 635, 891, 1116, 1483, 1633, 1759, 1874, 1978, 2074, 2804, 3318, 3799, 4, 9, 10, 12, 13, 14, 15, 16, 17, 18, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 347, 348, 349, 350, 351, 352, 353, 355, 356, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1026, 1027, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1133, 1134, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1403, 1406, 1408, 1409, 1411, 1412, 1491, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499, 1500, 1562, 1563, 1565, 1567, 1568, 1569, 1570, 1641, 1642, 1643, 1644, 1645, 1646, 1647, 1648, 1649, 1650, 1700, 1701, 1702, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1767, 1768, 1769, 1771, 1772, 1773, 1774, 1775, 1776, 1817, 1818, 1819, 1820, 1821, 1822, 1823, 1825, 1826, 1882, 1883, 1884, 1885, 1886, 1887, 1888, 1890, 1891, 1924, 1925, 1926, 1927, 1928, 1929, 1930, 1932, 1933, 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 2021, 2022, 2023, 2024, 2025, 2026, 2027, 2028, 2029, 2030, 2082, 2083, 2084, 2085, 2086, 2087, 2088, 2089, 2090, 2091, 2116, 2117, 2118, 2119, 2120, 2121, 2122, 2123, 2124, 2125, 2171, 2176, 2177, 2178, 2179, 2180, 2181, 2182, 2183, 2184, 2185, 2210, 2211, 2212, 2213, 2214, 2215, 2216, 2218, 2219, 2273, 2274, 2275, 2276, 2277, 2278, 2279, 2280, 2281, 2282, 2307, 2308, 2309, 2310, 2311, 2312, 2313, 2314, 2315, 2316, 2370, 2371, 2372, 2373, 2374, 2375, 2376, 2377, 2378, 2405, 2406, 2407, 2408, 2409, 2410, 2411, 2412, 2413, 2414, 2466, 2467, 2468, 2469, 2470, 2471, 2472, 2473, 2475, 2506, 2507, 2508, 2509, 2510, 2512, 2513, 2514, 2515, 2571, 2572, 2573, 2574, 2575, 2576, 2577, 2578, 2579, 2580, 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2623, 2624, 2625, 2684, 2685, 2686, 2687, 2688, 2689, 2690, 2691, 2692, 2693, 2737, 2738, 2739, 2740, 2741, 2742, 2743, 2744, 2745, 2812, 2813, 2814, 2815, 2816, 2817, 2818, 2819, 2820, 2821, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882, 2883, 2884, 2957, 2959, 2960, 2961, 2962, 2963, 2964, 2965, 2966, 3033, 3034, 3036, 3037, 3038, 3039, 3040, 3041, 3042, 3128, 3129, 3130, 3131, 3132, 3133, 3134, 3135, 3220, 3221, 3223, 3224, 3225, 3226, 3227, 3228, 3326, 3327, 3328, 3329, 3330, 3332, 3333, 3334, 3335, 3432, 3433, 3434, 3435, 3436, 3437, 3438, 3439, 3440, 3551, 3552, 3553, 3554, 3555, 3556, 3557, 3558, 3559, 3560, 3674, 3675, 3676, 3677, 3678, 3679, 3680, 3681, 3682, 3683, 3807, 3808, 3809, 3810, 3812, 3813, 3814, 3815, 3816, 3951, 3952, 3954, 3955, 3956, 3957, 3958, 3959, 3960, 4098, 4103, 4104, 4105, 4106, 4107, 4108, 4109, 4111, 4112, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276, 4277, 4278]
Discarding 497 places :
Implicit Place search using SMT only with invariants took 19853 ms to find 497 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 4491/4988 places, 13130/13130 transitions.
Discarding 449 places :
Symmetric choice reduction at 0 with 449 rule applications. Total rules 449 place count 4042 transition count 12681
Iterating global reduction 0 with 449 rules applied. Total rules applied 898 place count 4042 transition count 12681
Discarding 447 places :
Symmetric choice reduction at 0 with 447 rule applications. Total rules 1345 place count 3595 transition count 12234
Iterating global reduction 0 with 447 rules applied. Total rules applied 1792 place count 3595 transition count 12234
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 1795 place count 3595 transition count 12231
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 1798 place count 3592 transition count 12231
Applied a total of 1798 rules in 1888 ms. Remains 3592 /4491 variables (removed 899) and now considering 12231/13130 (removed 899) transitions.
[2024-05-25 02:53:41] [INFO ] Flow matrix only has 11347 transitions (discarded 884 similar events)
// Phase 1: matrix 11347 rows 3592 cols
[2024-05-25 02:53:41] [INFO ] Computed 700 invariants in 207 ms
[2024-05-25 02:53:54] [INFO ] Implicit Places using invariants in 12887 ms returned [6, 9, 15, 21, 29, 39, 51, 65, 81, 99, 119, 141, 164, 186, 206, 224, 240, 254, 266, 276, 284, 290, 294, 296, 323, 326, 328, 332, 338, 346, 356, 368, 382, 398, 416, 438, 459, 479, 497, 513, 527, 539, 549, 557, 563, 567, 569, 571, 581, 583, 585, 587, 591, 597, 605, 615, 627, 641, 657, 675, 694, 712, 728, 742, 754, 764, 772, 778, 782, 784, 786, 788, 796, 798, 800, 802, 804, 808, 814, 822, 832, 844, 858, 874, 891, 908, 922, 934, 946, 954, 960, 965, 967, 969, 971, 973, 982, 986, 989, 991, 993, 995, 999, 1005, 1013, 1023, 1035, 1049, 1064, 1078, 1090, 1100, 1108, 1114, 1118, 1120, 1122, 1124, 1126, 1128, 1137, 1139, 1141, 1143, 1145, 1147, 1149, 1153, 1159, 1167, 1177, 1189, 1202, 1218, 1228, 1236, 1244, 1248, 1251, 1253, 1257, 1259, 1263, 1265, 1278, 1280, 1282, 1284, 1286, 1288, 1290, 1292, 1296, 1302, 1310, 1320, 1331, 1344, 1352, 1358, 1362, 1364, 1367, 1369, 1371, 1380, 1382, 1393, 1395, 1397, 1399, 1401, 1403, 1405, 1407, 1409, 1413, 1419, 1427, 1436, 1444, 1450, 1454, 1456, 1458, 1460, 1462, 1464, 1466, 1468, 1470, 1478, 1481, 1483, 1485, 1487, 1489, 1492, 1494, 1496, 1498, 1502, 1508, 1515, 1522, 1526, 1528, 1530, 1532, 1534, 1536, 1538, 1540, 1542, 1546, 1556, 1559, 1562, 1564, 1566, 1568, 1570, 1572, 1574, 1576, 1578, 1582, 1587, 1592, 1594, 1596, 1598, 1600, 1602, 1605, 1607, 1609, 1611, 1613, 1623, 1625, 1627, 1629, 1631, 1633, 1635, 1637, 1639, 1641, 1643, 1645, 1648, 1650, 1652, 1654, 1656, 1658, 1660, 1662, 1664, 1666, 1668, 1670, 1678, 1680, 1682, 1684, 1686, 1688, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1706, 1708, 1710, 1712, 1714, 1716, 1718, 1720, 1722, 1724, 1730, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1748, 1750, 1752, 1754, 1757, 1759, 1761, 1763, 1765, 1767, 1771, 1773, 1775, 1777, 1779, 1787, 1789, 1791, 1793, 1795, 1797, 1799, 1801, 1803, 1805, 1807, 1809, 1811, 1813, 1815, 1817, 1819, 1821, 1823, 1825, 1827, 1829, 1831, 1833, 1841, 1845, 1847, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1865, 1868, 1871, 1873, 1875, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1900, 1903, 1905, 1907, 1909, 1911, 1913, 1915, 1917, 1919, 1921, 1923, 1928, 1934, 1938, 1940, 1942, 1944, 1948, 1950, 1952, 1954, 1956, 1958, 1968, 1970, 1972, 1974, 1976, 1978, 1980, 1982, 1984, 1986, 1988, 1992, 1998, 2005, 2011, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2029, 2031, 2041, 2043, 2045, 2047, 2049, 2051, 2053, 2055, 2057, 2059, 2063, 2069, 2077, 2087, 2097, 2103, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2144, 2146, 2150, 2156, 2164, 2174, 2185, 2195, 2203, 2209, 2213, 2215, 2217, 2220, 2222, 2224, 2226, 2234, 2237, 2239, 2241, 2243, 2245, 2247, 2249, 2253, 2259, 2267, 2277, 2290, 2304, 2316, 2326, 2334, 2340, 2346, 2350, 2352, 2354, 2356, 2358, 2368, 2372, 2375, 2378, 2380, 2383, 2385, 2389, 2395, 2403, 2413, 2425, 2439, 2456, 2470, 2482, 2492, 2500, 2508, 2513, 2515, 2517, 2519, 2521, 2533, 2536, 2538, 2540, 2542, 2544, 2548, 2555, 2563, 2573, 2585, 2599, 2615, 2633, 2649, 2663, 2675, 2685, 2693, 2699, 2703, 2705, 2709, 2711, 2721, 2723, 2725, 2727, 2729, 2733, 2739, 2747, 2757, 2769, 2783, 2799, 2817, 2836, 2854, 2870, 2884, 2896, 2906, 2914, 2920, 2924, 2926, 2928, 2936, 2939, 2941, 2943, 2947, 2953, 2962, 2972, 2984, 2998, 3014, 3032, 3052, 3074, 3094, 3112, 3128, 3142, 3154, 3164, 3174, 3180, 3184, 3186, 3194, 3197, 3199, 3203, 3209, 3217, 3227, 3239, 3253, 3269, 3287, 3308, 3330, 3353, 3375, 3395, 3413, 3429, 3443, 3455, 3465, 3473, 3479, 3483]
Discarding 598 places :
Implicit Place search using SMT only with invariants took 12921 ms to find 598 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2994/4988 places, 12231/13130 transitions.
Applied a total of 0 rules in 665 ms. Remains 2994 /2994 variables (removed 0) and now considering 12231/12231 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 36123 ms. Remains : 2994/4988 places, 12231/13130 transitions.
RANDOM walk for 40000 steps (667 resets) in 2956 ms. (13 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (67 resets) in 458 ms. (87 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (67 resets) in 453 ms. (88 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (67 resets) in 454 ms. (87 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 23427 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :0 out of 3
Probabilistic random walk after 23427 steps, saw 10307 distinct states, run finished after 3001 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-25 02:53:59] [INFO ] Flow matrix only has 11347 transitions (discarded 884 similar events)
// Phase 1: matrix 11347 rows 2994 cols
[2024-05-25 02:53:59] [INFO ] Computed 102 invariants in 162 ms
[2024-05-25 02:53:59] [INFO ] State equation strengthened by 7921 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2793/2836 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2836 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2836 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 94/2930 variables, 33/38 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2930 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 44/2974 variables, 44/82 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2974 variables, 0/82 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 20/2994 variables, 20/102 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2994 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 11347/14341 variables, 2994/3096 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/14341 variables, 7921/11017 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/14341 variables, 0/11017 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 13 (OVERLAPS) 0/14341 variables, 0/11017 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 14341/14341 variables, and 11017 constraints, problems are : Problem set: 0 solved, 3 unsolved in 7937 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 54/54 constraints, State Equation: 2994/2994 constraints, ReadFeed: 7921/7921 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2793/2836 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2836 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 02:54:10] [INFO ] Deduced a trap composed of 465 places in 2583 ms of which 20 ms to minimize.
[2024-05-25 02:54:13] [INFO ] Deduced a trap composed of 262 places in 2566 ms of which 19 ms to minimize.
[2024-05-25 02:54:15] [INFO ] Deduced a trap composed of 328 places in 2543 ms of which 20 ms to minimize.
[2024-05-25 02:54:18] [INFO ] Deduced a trap composed of 254 places in 2584 ms of which 23 ms to minimize.
[2024-05-25 02:54:21] [INFO ] Deduced a trap composed of 442 places in 2588 ms of which 20 ms to minimize.
[2024-05-25 02:54:23] [INFO ] Deduced a trap composed of 238 places in 2578 ms of which 20 ms to minimize.
[2024-05-25 02:54:26] [INFO ] Deduced a trap composed of 363 places in 2528 ms of which 21 ms to minimize.
[2024-05-25 02:54:28] [INFO ] Deduced a trap composed of 357 places in 2581 ms of which 20 ms to minimize.
[2024-05-25 02:54:31] [INFO ] Deduced a trap composed of 376 places in 2566 ms of which 19 ms to minimize.
[2024-05-25 02:54:33] [INFO ] Deduced a trap composed of 375 places in 2413 ms of which 18 ms to minimize.
[2024-05-25 02:54:36] [INFO ] Deduced a trap composed of 362 places in 2396 ms of which 18 ms to minimize.
[2024-05-25 02:54:38] [INFO ] Deduced a trap composed of 412 places in 2421 ms of which 19 ms to minimize.
[2024-05-25 02:54:41] [INFO ] Deduced a trap composed of 235 places in 2550 ms of which 22 ms to minimize.
[2024-05-25 02:54:43] [INFO ] Deduced a trap composed of 376 places in 2478 ms of which 18 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2836 variables, 14/19 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2836 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 94/2930 variables, 33/52 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 02:54:47] [INFO ] Deduced a trap composed of 5 places in 2697 ms of which 20 ms to minimize.
[2024-05-25 02:54:49] [INFO ] Deduced a trap composed of 182 places in 2751 ms of which 34 ms to minimize.
[2024-05-25 02:54:52] [INFO ] Deduced a trap composed of 201 places in 2735 ms of which 22 ms to minimize.
[2024-05-25 02:54:55] [INFO ] Deduced a trap composed of 195 places in 2736 ms of which 20 ms to minimize.
[2024-05-25 02:54:58] [INFO ] Deduced a trap composed of 187 places in 2740 ms of which 20 ms to minimize.
[2024-05-25 02:55:01] [INFO ] Deduced a trap composed of 205 places in 2684 ms of which 21 ms to minimize.
[2024-05-25 02:55:03] [INFO ] Deduced a trap composed of 39 places in 2805 ms of which 21 ms to minimize.
[2024-05-25 02:55:06] [INFO ] Deduced a trap composed of 70 places in 2790 ms of which 22 ms to minimize.
[2024-05-25 02:55:09] [INFO ] Deduced a trap composed of 186 places in 2665 ms of which 19 ms to minimize.
[2024-05-25 02:55:12] [INFO ] Deduced a trap composed of 181 places in 2605 ms of which 19 ms to minimize.
[2024-05-25 02:55:14] [INFO ] Deduced a trap composed of 196 places in 2631 ms of which 18 ms to minimize.
[2024-05-25 02:55:17] [INFO ] Deduced a trap composed of 186 places in 2635 ms of which 19 ms to minimize.
[2024-05-25 02:55:20] [INFO ] Deduced a trap composed of 209 places in 2687 ms of which 19 ms to minimize.
[2024-05-25 02:55:22] [INFO ] Deduced a trap composed of 290 places in 2635 ms of which 20 ms to minimize.
[2024-05-25 02:55:25] [INFO ] Deduced a trap composed of 140 places in 2587 ms of which 19 ms to minimize.
[2024-05-25 02:55:28] [INFO ] Deduced a trap composed of 39 places in 2654 ms of which 19 ms to minimize.
[2024-05-25 02:55:30] [INFO ] Deduced a trap composed of 70 places in 2626 ms of which 18 ms to minimize.
[2024-05-25 02:55:33] [INFO ] Deduced a trap composed of 223 places in 2690 ms of which 21 ms to minimize.
[2024-05-25 02:55:36] [INFO ] Deduced a trap composed of 140 places in 2737 ms of which 20 ms to minimize.
[2024-05-25 02:55:39] [INFO ] Deduced a trap composed of 89 places in 2885 ms of which 20 ms to minimize.
SMT process timed out in 99930ms, After SMT, problems are : Problem set: 0 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 43 out of 2994 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2994/2994 places, 12231/12231 transitions.
Applied a total of 0 rules in 715 ms. Remains 2994 /2994 variables (removed 0) and now considering 12231/12231 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 715 ms. Remains : 2994/2994 places, 12231/12231 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2994/2994 places, 12231/12231 transitions.
Applied a total of 0 rules in 695 ms. Remains 2994 /2994 variables (removed 0) and now considering 12231/12231 (removed 0) transitions.
[2024-05-25 02:55:40] [INFO ] Flow matrix only has 11347 transitions (discarded 884 similar events)
[2024-05-25 02:55:40] [INFO ] Invariant cache hit.
[2024-05-25 02:55:48] [INFO ] Implicit Places using invariants in 7497 ms returned []
Implicit Place search using SMT only with invariants took 7498 ms to find 0 implicit places.
Running 12137 sub problems to find dead transitions.
[2024-05-25 02:55:48] [INFO ] Flow matrix only has 11347 transitions (discarded 884 similar events)
[2024-05-25 02:55:48] [INFO ] Invariant cache hit.
[2024-05-25 02:55:48] [INFO ] State equation strengthened by 7921 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2992 variables, 45/45 constraints. Problems are: Problem set: 0 solved, 12137 unsolved
SMT process timed out in 127884ms, After SMT, problems are : Problem set: 0 solved, 12137 unsolved
Search for dead transitions found 0 dead transitions in 128006ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 136249 ms. Remains : 2994/2994 places, 12231/12231 transitions.
Attempting over-approximation, by ignoring read arcs.
Graph (trivial) has 3098 edges and 2994 vertex of which 25 / 2994 are part of one of the 1 SCC in 18 ms
Free SCC test removed 24 places
Drop transitions (Empty/Sink Transition effects.) removed 642 transitions
Ensure Unique test removed 842 transitions
Reduce isomorphic transitions removed 1484 transitions.
Graph (complete) has 14648 edges and 2970 vertex of which 2948 are kept as prefixes of interest. Removing 22 places using SCC suffix rule.2 ms
Discarding 22 places :
Also discarding 0 output transitions
Ensure Unique test removed 26 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 238 transitions
Trivial Post-agglo rules discarded 238 transitions
Performed 238 trivial Post agglomeration. Transition count delta: 238
Iterating post reduction 0 with 240 rules applied. Total rules applied 242 place count 2921 transition count 10507
Reduce places removed 238 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 237 transitions
Reduce isomorphic transitions removed 238 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 236 transitions
Trivial Post-agglo rules discarded 236 transitions
Performed 236 trivial Post agglomeration. Transition count delta: 236
Iterating post reduction 1 with 712 rules applied. Total rules applied 954 place count 2683 transition count 10033
Reduce places removed 236 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 38 transitions
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 236 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 198 transitions
Trivial Post-agglo rules discarded 198 transitions
Performed 198 trivial Post agglomeration. Transition count delta: 198
Iterating post reduction 2 with 670 rules applied. Total rules applied 1624 place count 2447 transition count 9599
Reduce places removed 198 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 196 transitions
Reduce isomorphic transitions removed 198 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 195 transitions
Trivial Post-agglo rules discarded 195 transitions
Performed 195 trivial Post agglomeration. Transition count delta: 195
Iterating post reduction 3 with 591 rules applied. Total rules applied 2215 place count 2249 transition count 9206
Reduce places removed 195 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 36 transitions
Ensure Unique test removed 159 transitions
Reduce isomorphic transitions removed 195 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 159 transitions
Trivial Post-agglo rules discarded 159 transitions
Performed 159 trivial Post agglomeration. Transition count delta: 159
Iterating post reduction 4 with 549 rules applied. Total rules applied 2764 place count 2054 transition count 8852
Reduce places removed 159 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 157 transitions
Reduce isomorphic transitions removed 159 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 157 transitions
Trivial Post-agglo rules discarded 157 transitions
Performed 157 trivial Post agglomeration. Transition count delta: 157
Iterating post reduction 5 with 475 rules applied. Total rules applied 3239 place count 1895 transition count 8536
Reduce places removed 157 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 32 transitions
Ensure Unique test removed 125 transitions
Reduce isomorphic transitions removed 157 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 125 transitions
Trivial Post-agglo rules discarded 125 transitions
Performed 125 trivial Post agglomeration. Transition count delta: 125
Iterating post reduction 6 with 439 rules applied. Total rules applied 3678 place count 1738 transition count 8254
Reduce places removed 125 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 125 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 7 with 373 rules applied. Total rules applied 4051 place count 1613 transition count 8006
Reduce places removed 123 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 28 transitions
Ensure Unique test removed 95 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 95 transitions
Trivial Post-agglo rules discarded 95 transitions
Performed 95 trivial Post agglomeration. Transition count delta: 95
Iterating post reduction 8 with 341 rules applied. Total rules applied 4392 place count 1490 transition count 7788
Reduce places removed 95 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 93 transitions
Reduce isomorphic transitions removed 95 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 93 transitions
Trivial Post-agglo rules discarded 93 transitions
Performed 93 trivial Post agglomeration. Transition count delta: 93
Iterating post reduction 9 with 283 rules applied. Total rules applied 4675 place count 1395 transition count 7600
Reduce places removed 93 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 22 transitions
Ensure Unique test removed 71 transitions
Reduce isomorphic transitions removed 93 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 71 transitions
Trivial Post-agglo rules discarded 71 transitions
Performed 71 trivial Post agglomeration. Transition count delta: 71
Iterating post reduction 10 with 257 rules applied. Total rules applied 4932 place count 1302 transition count 7436
Reduce places removed 71 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 69 transitions
Reduce isomorphic transitions removed 71 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 68 transitions
Trivial Post-agglo rules discarded 68 transitions
Performed 68 trivial Post agglomeration. Transition count delta: 68
Iterating post reduction 11 with 210 rules applied. Total rules applied 5142 place count 1231 transition count 7297
Reduce places removed 68 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 19 transitions
Ensure Unique test removed 49 transitions
Reduce isomorphic transitions removed 68 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 49 transitions
Trivial Post-agglo rules discarded 49 transitions
Performed 49 trivial Post agglomeration. Transition count delta: 49
Iterating post reduction 12 with 185 rules applied. Total rules applied 5327 place count 1163 transition count 7180
Reduce places removed 49 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 47 transitions
Reduce isomorphic transitions removed 49 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 47 transitions
Trivial Post-agglo rules discarded 47 transitions
Performed 47 trivial Post agglomeration. Transition count delta: 47
Iterating post reduction 13 with 145 rules applied. Total rules applied 5472 place count 1114 transition count 7084
Reduce places removed 47 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 16 transitions
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 47 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 31 transitions
Trivial Post-agglo rules discarded 31 transitions
Performed 31 trivial Post agglomeration. Transition count delta: 31
Iterating post reduction 14 with 125 rules applied. Total rules applied 5597 place count 1067 transition count 7006
Reduce places removed 31 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 31 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 15 with 91 rules applied. Total rules applied 5688 place count 1036 transition count 6946
Reduce places removed 29 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 12 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 29 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 16 with 75 rules applied. Total rules applied 5763 place count 1007 transition count 6900
Reduce places removed 17 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 17 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 17 with 49 rules applied. Total rules applied 5812 place count 990 transition count 6868
Reduce places removed 15 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 15 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 18 with 38 rules applied. Total rules applied 5850 place count 975 transition count 6845
Reduce places removed 8 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 8 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 19 with 22 rules applied. Total rules applied 5872 place count 967 transition count 6831
Reduce places removed 6 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 6 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 20 with 14 rules applied. Total rules applied 5886 place count 961 transition count 6823
Reduce places removed 2 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 21 with 7 rules applied. Total rules applied 5893 place count 959 transition count 6818
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 5899 place count 956 transition count 6815
Performed 49 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 49 Pre rules applied. Total rules applied 5899 place count 956 transition count 6766
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 23 with 98 rules applied. Total rules applied 5997 place count 907 transition count 6766
Discarding 556 places :
Symmetric choice reduction at 23 with 556 rule applications. Total rules 6553 place count 351 transition count 1494
Iterating global reduction 23 with 556 rules applied. Total rules applied 7109 place count 351 transition count 1494
Ensure Unique test removed 258 transitions
Reduce isomorphic transitions removed 258 transitions.
Iterating post reduction 23 with 258 rules applied. Total rules applied 7367 place count 351 transition count 1236
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 24 with 1 Pre rules applied. Total rules applied 7367 place count 351 transition count 1235
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 24 with 2 rules applied. Total rules applied 7369 place count 350 transition count 1235
Discarding 1 places :
Symmetric choice reduction at 24 with 1 rule applications. Total rules 7370 place count 349 transition count 1220
Iterating global reduction 24 with 1 rules applied. Total rules applied 7371 place count 349 transition count 1220
Discarding 1 places :
Symmetric choice reduction at 24 with 1 rule applications. Total rules 7372 place count 348 transition count 1219
Iterating global reduction 24 with 1 rules applied. Total rules applied 7373 place count 348 transition count 1219
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Deduced a syphon composed of 48 places in 1 ms
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 24 with 96 rules applied. Total rules applied 7469 place count 300 transition count 1171
Drop transitions (Empty/Sink Transition effects.) removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 24 with 26 rules applied. Total rules applied 7495 place count 300 transition count 1145
Discarding 1 places :
Symmetric choice reduction at 25 with 1 rule applications. Total rules 7496 place count 299 transition count 1132
Iterating global reduction 25 with 1 rules applied. Total rules applied 7497 place count 299 transition count 1132
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 25 with 2 rules applied. Total rules applied 7499 place count 298 transition count 1140
Discarding 1 places :
Symmetric choice reduction at 25 with 1 rule applications. Total rules 7500 place count 297 transition count 1130
Iterating global reduction 25 with 1 rules applied. Total rules applied 7501 place count 297 transition count 1130
Drop transitions (Redundant composition of simpler transitions.) removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 25 with 6 rules applied. Total rules applied 7507 place count 297 transition count 1124
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 25 with 1 rules applied. Total rules applied 7508 place count 297 transition count 1123
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 26 with 2 rules applied. Total rules applied 7510 place count 296 transition count 1122
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 27 with 1 rules applied. Total rules applied 7511 place count 295 transition count 1122
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 28 with 9 rules applied. Total rules applied 7520 place count 295 transition count 1113
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 28 with 9 rules applied. Total rules applied 7529 place count 286 transition count 1113
Partial Free-agglomeration rule applied 516 times.
Drop transitions (Partial Free agglomeration) removed 516 transitions
Iterating global reduction 29 with 516 rules applied. Total rules applied 8045 place count 286 transition count 1113
Applied a total of 8045 rules in 3815 ms. Remains 286 /2994 variables (removed 2708) and now considering 1113/12231 (removed 11118) transitions.
Running SMT prover for 3 properties.
// Phase 1: matrix 1113 rows 286 cols
[2024-05-25 02:58:00] [INFO ] Computed 54 invariants in 21 ms
[2024-05-25 02:58:00] [INFO ] After 55ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-25 02:58:00] [INFO ] [Nat]Absence check using 3 positive place invariants in 2 ms returned sat
[2024-05-25 02:58:00] [INFO ] [Nat]Absence check using 3 positive and 51 generalized place invariants in 9 ms returned sat
[2024-05-25 02:58:00] [INFO ] After 310ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
TRAPS : Iteration 0
[2024-05-25 02:58:00] [INFO ] After 492ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
[2024-05-25 02:58:00] [INFO ] After 676ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
[2024-05-25 02:58:00] [INFO ] Flatten gal took : 41 ms
[2024-05-25 02:58:00] [INFO ] Flatten gal took : 39 ms
[2024-05-25 02:58:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17283141426674137240.gal : 11 ms
[2024-05-25 02:58:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11294048937208521507.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/ReachabilityCardinality17283141426674137240.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11294048937208521507.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
Loading property file /tmp/ReachabilityCardinality11294048937208521507.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 356
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :356 after 362
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :362 after 365
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :365 after 373
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :373 after 384
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :384 after 3041
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :3041 after 3101
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :3101 after 13250
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :13250 after 39410
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :39410 after 90404
Detected timeout of ITS tools.
[2024-05-25 02:58:16] [INFO ] Flatten gal took : 37 ms
[2024-05-25 02:58:16] [INFO ] Applying decomposition
[2024-05-25 02:58:16] [INFO ] Flatten gal took : 36 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/graph220297125382812939.txt' '-o' '/tmp/graph220297125382812939.bin' '-w' '/tmp/graph220297125382812939.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph220297125382812939.bin' '-l' '-1' '-v' '-w' '/tmp/graph220297125382812939.weights' '-q' '0' '-e' '0.001'
[2024-05-25 02:58:16] [INFO ] Decomposing Gal with order
[2024-05-25 02:58:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 02:58:16] [INFO ] Removed a total of 37 redundant transitions.
[2024-05-25 02:58:16] [INFO ] Flatten gal took : 101 ms
[2024-05-25 02:58:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 31 labels/synchronizations in 7 ms.
[2024-05-25 02:58:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2855749442927650958.gal : 12 ms
[2024-05-25 02:58:16] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality282771322551125605.prop : 13 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/ReachabilityCardinality2855749442927650958.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality282771322551125605.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 ...327
Loading property file /tmp/ReachabilityCardinality282771322551125605.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 305
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :305 after 308
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :308 after 319
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :319 after 1490
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :1490 after 2572
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :2572 after 11159
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :11159 after 33532
Detected timeout of ITS tools.
Over-approximation ignoring read arcs solved 0 properties in 35560 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2024-05-25 02:58:32] [INFO ] Flatten gal took : 813 ms
[2024-05-25 02:58:32] [INFO ] Applying decomposition
[2024-05-25 02:58:33] [INFO ] Flatten gal took : 730 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/graph5035891628777202883.txt' '-o' '/tmp/graph5035891628777202883.bin' '-w' '/tmp/graph5035891628777202883.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph5035891628777202883.bin' '-l' '-1' '-v' '-w' '/tmp/graph5035891628777202883.weights' '-q' '0' '-e' '0.001'
[2024-05-25 02:58:35] [INFO ] Decomposing Gal with order
[2024-05-25 02:58:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 02:58:49] [INFO ] Removed a total of 17316 redundant transitions.
[2024-05-25 02:58:50] [INFO ] Flatten gal took : 5709 ms
[2024-05-25 02:58:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 296 labels/synchronizations in 408 ms.
[2024-05-25 02:58:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15805291109418359439.gal : 184 ms
[2024-05-25 02:58:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4502367416497769486.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/ReachabilityCardinality15805291109418359439.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4502367416497769486.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/ReachabilityCardinality4502367416497769486.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :8 after 11
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :11 after 13
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :13 after 16
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :16 after 20
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :20 after 23
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :23 after 61
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :61 after 63
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :63 after 67
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :67 after 71
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :71 after 75
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :75 after 83
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :83 after 95
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :95 after 119
SDD proceeding with computation,3 properties remain. new max is 65536
SDD size :119 after 208
SDD proceeding with computation,3 properties remain. new max is 131072
SDD size :208 after 474
SDD proceeding with computation,3 properties remain. new max is 262144
SDD size :474 after 666
Detected timeout of ITS tools.
[2024-05-25 03:28:55] [INFO ] Flatten gal took : 348 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin16205107235404193688
[2024-05-25 03:28:55] [INFO ] Too many transitions (12231) to apply POR reductions. Disabling POR matrices.
[2024-05-25 03:28:55] [INFO ] Built C files in 312ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16205107235404193688
Running compilation step : cd /tmp/ltsmin16205107235404193688;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/limit_time.pl' '240' '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-25 03:28:55] [INFO ] Applying decomposition
[2024-05-25 03:28:56] [INFO ] Flatten gal took : 327 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/graph1738634229596197250.txt' '-o' '/tmp/graph1738634229596197250.bin' '-w' '/tmp/graph1738634229596197250.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph1738634229596197250.bin' '-l' '-1' '-v' '-w' '/tmp/graph1738634229596197250.weights' '-q' '0' '-e' '0.001'
[2024-05-25 03:28:57] [INFO ] Decomposing Gal with order
[2024-05-25 03:28:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 03:28:59] [INFO ] Removed a total of 5304 redundant transitions.
[2024-05-25 03:29:00] [INFO ] Flatten gal took : 2624 ms
[2024-05-25 03:29:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 1380 labels/synchronizations in 225 ms.
[2024-05-25 03:29:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13752704737354937990.gal : 88 ms
[2024-05-25 03:29:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1635126400382940831.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/ReachabilityCardinality13752704737354937990.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1635126400382940831.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/ReachabilityCardinality1635126400382940831.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 107
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :107 after 108
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :108 after 110
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :110 after 113
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :113 after 114
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :114 after 226
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :226 after 229
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :229 after 248
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :248 after 254
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :254 after 447
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :447 after 659
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :659 after 1311
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :1311 after 2618
Compilation finished in 99543 ms.
Running link step : cd /tmp/ltsmin16205107235404193688;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 127 ms.
Running LTSmin : cd /tmp/ltsmin16205107235404193688;'/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' 'MultiCrashLeafsetExtensionPTS24C10ReachabilityCardinality202300==true'
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :2618 after 5648
WARNING : LTSmin timed out (>400 s) on command cd /tmp/ltsmin16205107235404193688;'/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' 'MultiCrashLeafsetExtensionPTS24C10ReachabilityCardinality202300==true'
Running LTSmin : cd /tmp/ltsmin16205107235404193688;'/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' 'MultiCrashLeafsetExtensionPTS24C10ReachabilityCardinality202313==true'
SDD proceeding with computation,3 properties remain. new max is 65536
SDD size :5648 after 14192
WARNING : LTSmin timed out (>400 s) on command cd /tmp/ltsmin16205107235404193688;'/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' 'MultiCrashLeafsetExtensionPTS24C10ReachabilityCardinality202313==true'
Running LTSmin : cd /tmp/ltsmin16205107235404193688;'/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' 'MultiCrashLeafsetExtensionPTS24C10ReachabilityCardinality202315==true'
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
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -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//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -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-S24C10"
export BK_EXAMINATION="ReachabilityCardinality"
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-S24C10, examination is ReachabilityCardinality"
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-171654350900126"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C10.tgz
mv MultiCrashLeafsetExtension-PT-S24C10 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;