About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C09
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
14477.352 | 3600000.00 | 7453028.00 | 7714.50 | TF?TFF?TFFT?TFFF | 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-171654350900118.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-S24C09, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r246-tall-171654350900118
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 12 07:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Apr 12 07:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 16M 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-S24C09-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716601759263
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-S24C09
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202405141337
[2024-05-25 01:49:20] [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 01:49:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 01:49:21] [INFO ] Load time of PNML (sax parser for PT used): 745 ms
[2024-05-25 01:49:21] [INFO ] Transformed 16538 places.
[2024-05-25 01:49:21] [INFO ] Transformed 24169 transitions.
[2024-05-25 01:49:21] [INFO ] Parsed PT model containing 16538 places and 24169 transitions and 90398 arcs in 930 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 23 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (431 resets) in 3949 ms. (10 steps per ms) remains 13/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (84 resets) in 888 ms. (44 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (84 resets) in 841 ms. (47 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (84 resets) in 610 ms. (65 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (84 resets) in 988 ms. (40 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (84 resets) in 514 ms. (77 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (84 resets) in 603 ms. (66 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (84 resets) in 653 ms. (61 steps per ms) remains 13/13 properties
[2024-05-25 01:49:24] [INFO ] Flatten gal took : 2056 ms
BEST_FIRST walk for 40003 steps (84 resets) in 642 ms. (62 steps per ms) remains 12/13 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-14 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40002 steps (84 resets) in 528 ms. (75 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40001 steps (84 resets) in 456 ms. (87 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40001 steps (84 resets) in 516 ms. (77 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40001 steps (84 resets) in 508 ms. (78 steps per ms) remains 12/12 properties
[2024-05-25 01:49:25] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
// Phase 1: matrix 23569 rows 16538 cols
[2024-05-25 01:49:25] [INFO ] Flatten gal took : 1030 ms
[2024-05-25 01:49:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14947764798420670922.gal : 356 ms
[2024-05-25 01:49:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16739328095049336972.prop : 2 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/ReachabilityCardinality14947764798420670922.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16739328095049336972.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
[2024-05-25 01:49:27] [INFO ] Computed 1191 invariants in 2592 ms
[2024-05-25 01:49:27] [INFO ] State equation strengthened by 7402 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/78 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-03 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-03 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-13 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-13 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-15 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-15 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 2320/2398 variables, 1/1 constraints. Problems are: Problem set: 3 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2398 variables, 0/1 constraints. Problems are: Problem set: 3 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 8597/10995 variables, 345/346 constraints. Problems are: Problem set: 3 solved, 9 unsolved
Loading property file /tmp/ReachabilityCardinality16739328095049336972.prop.
At refinement iteration 4 (INCLUDED_ONLY) 0/10995 variables, 0/346 constraints. Problems are: Problem set: 3 solved, 9 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-00 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-00 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 5 (OVERLAPS) 71/11066 variables, 71/417 constraints. Problems are: Problem set: 4 solved, 8 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 11066/40107 variables, and 417 constraints, problems are : Problem set: 4 solved, 8 unsolved in 5125 ms.
Refiners :[Positive P Invariants (semi-flows): 72/72 constraints, Generalized P Invariants (flows): 345/1119 constraints, State Equation: 0/16538 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 12/12 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 4 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/62 variables, 0/0 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 2324/2386 variables, 1/1 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2386 variables, 0/1 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 8561/10947 variables, 341/342 constraints. Problems are: Problem set: 4 solved, 8 unsolved
[2024-05-25 01:49:59] [INFO ] Deduced a trap composed of 85 places in 23430 ms of which 513 ms to minimize.
SMT process timed out in 34270ms, After SMT, problems are : Problem set: 4 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 62 out of 16538 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16538/16538 places, 24169/24169 transitions.
Graph (complete) has 52987 edges and 16538 vertex of which 16492 are kept as prefixes of interest. Removing 46 places using SCC suffix rule.43 ms
Discarding 46 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 5352 transitions
Trivial Post-agglo rules discarded 5352 transitions
Performed 5352 trivial Post agglomeration. Transition count delta: 5352
Iterating post reduction 0 with 5352 rules applied. Total rules applied 5353 place count 16492 transition count 18817
Reduce places removed 5352 places and 0 transitions.
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Iterating post reduction 1 with 5379 rules applied. Total rules applied 10732 place count 11140 transition count 18790
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 2 with 27 rules applied. Total rules applied 10759 place count 11113 transition count 18790
Performed 446 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 446 Pre rules applied. Total rules applied 10759 place count 11113 transition count 18344
Deduced a syphon composed of 446 places in 17 ms
Reduce places removed 446 places and 0 transitions.
Iterating global reduction 3 with 892 rules applied. Total rules applied 11651 place count 10667 transition count 18344
Discarding 4913 places :
Symmetric choice reduction at 3 with 4913 rule applications. Total rules 16564 place count 5754 transition count 13431
Iterating global reduction 3 with 4913 rules applied. Total rules applied 21477 place count 5754 transition count 13431
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 4 Pre rules applied. Total rules applied 21477 place count 5754 transition count 13427
Deduced a syphon composed of 4 places in 12 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 21485 place count 5750 transition count 13427
Discarding 513 places :
Symmetric choice reduction at 3 with 513 rule applications. Total rules 21998 place count 5237 transition count 8810
Iterating global reduction 3 with 513 rules applied. Total rules applied 22511 place count 5237 transition count 8810
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 22561 place count 5212 transition count 8785
Free-agglomeration rule (complex) applied 366 times.
Iterating global reduction 3 with 366 rules applied. Total rules applied 22927 place count 5212 transition count 12275
Reduce places removed 366 places and 0 transitions.
Iterating post reduction 3 with 366 rules applied. Total rules applied 23293 place count 4846 transition count 12275
Partial Free-agglomeration rule applied 349 times.
Drop transitions (Partial Free agglomeration) removed 349 transitions
Iterating global reduction 4 with 349 rules applied. Total rules applied 23642 place count 4846 transition count 12275
Applied a total of 23642 rules in 6284 ms. Remains 4846 /16538 variables (removed 11692) and now considering 12275/24169 (removed 11894) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6296 ms. Remains : 4846/16538 places, 12275/24169 transitions.
RANDOM walk for 40000 steps (708 resets) in 3047 ms. (13 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40002 steps (92 resets) in 502 ms. (79 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (92 resets) in 519 ms. (76 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (92 resets) in 560 ms. (71 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (92 resets) in 451 ms. (88 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (92 resets) in 468 ms. (85 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (92 resets) in 465 ms. (85 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (92 resets) in 444 ms. (89 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (92 resets) in 520 ms. (76 steps per ms) remains 8/8 properties
Interrupted probabilistic random walk after 37067 steps, run timeout after 6001 ms. (steps per millisecond=6 ) properties seen :1 out of 8
Probabilistic random walk after 37067 steps, saw 16973 distinct states, run finished after 6006 ms. (steps per millisecond=6 ) properties seen :1
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-09 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
[2024-05-25 01:50:13] [INFO ] Flow matrix only has 11392 transitions (discarded 883 similar events)
// Phase 1: matrix 11392 rows 4846 cols
[2024-05-25 01:50:14] [INFO ] Computed 1145 invariants in 313 ms
[2024-05-25 01:50:14] [INFO ] State equation strengthened by 7154 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/49 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-04 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-10 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 2991/3040 variables, 3/3 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3040 variables, 0/3 constraints. Problems are: Problem set: 2 solved, 5 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-05 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-05 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 1395/4435 variables, 731/734 constraints. Problems are: Problem set: 3 solved, 4 unsolved
[2024-05-25 01:50:21] [INFO ] Deduced a trap composed of 475 places in 6034 ms of which 63 ms to minimize.
[2024-05-25 01:50:27] [INFO ] Deduced a trap composed of 393 places in 6086 ms of which 35 ms to minimize.
[2024-05-25 01:50:33] [INFO ] Deduced a trap composed of 368 places in 6022 ms of which 36 ms to minimize.
[2024-05-25 01:50:39] [INFO ] Deduced a trap composed of 354 places in 5987 ms of which 32 ms to minimize.
[2024-05-25 01:50:45] [INFO ] Deduced a trap composed of 450 places in 6111 ms of which 30 ms to minimize.
[2024-05-25 01:50:52] [INFO ] Deduced a trap composed of 7 places in 6039 ms of which 31 ms to minimize.
[2024-05-25 01:50:58] [INFO ] Deduced a trap composed of 176 places in 6330 ms of which 32 ms to minimize.
[2024-05-25 01:51:04] [INFO ] Deduced a trap composed of 496 places in 6136 ms of which 30 ms to minimize.
SMT process timed out in 50811ms, After SMT, problems are : Problem set: 3 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 14 out of 4846 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4846/4846 places, 12275/12275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 16 rules applied. Total rules applied 16 place count 4846 transition count 12259
Reduce places removed 16 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 17 rules applied. Total rules applied 33 place count 4830 transition count 12258
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 34 place count 4829 transition count 12258
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 34 place count 4829 transition count 12255
Deduced a syphon composed of 3 places in 9 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 40 place count 4826 transition count 12255
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 42 place count 4824 transition count 12253
Iterating global reduction 3 with 2 rules applied. Total rules applied 44 place count 4824 transition count 12253
Free-agglomeration rule (complex) applied 13 times.
Iterating global reduction 3 with 13 rules applied. Total rules applied 57 place count 4824 transition count 12400
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 70 place count 4811 transition count 12400
Discarding 25 places :
Symmetric choice reduction at 4 with 25 rule applications. Total rules 95 place count 4786 transition count 12375
Iterating global reduction 4 with 25 rules applied. Total rules applied 120 place count 4786 transition count 12375
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 4 with 4 rules applied. Total rules applied 124 place count 4786 transition count 12375
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 128 place count 4782 transition count 12371
Iterating global reduction 4 with 4 rules applied. Total rules applied 132 place count 4782 transition count 12371
Applied a total of 132 rules in 3139 ms. Remains 4782 /4846 variables (removed 64) and now considering 12371/12275 (removed -96) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3139 ms. Remains : 4782/4846 places, 12371/12275 transitions.
RANDOM walk for 40000 steps (716 resets) in 2935 ms. (13 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (92 resets) in 471 ms. (84 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (92 resets) in 425 ms. (93 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40003 steps (92 resets) in 471 ms. (84 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (92 resets) in 463 ms. (86 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 20289 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 4
Probabilistic random walk after 20289 steps, saw 9453 distinct states, run finished after 3001 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-25 01:51:12] [INFO ] Flow matrix only has 11486 transitions (discarded 885 similar events)
// Phase 1: matrix 11486 rows 4782 cols
[2024-05-25 01:51:12] [INFO ] Computed 1145 invariants in 325 ms
[2024-05-25 01:51:12] [INFO ] State equation strengthened by 7314 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 3353/3367 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3367 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3367 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 1194/4561 variables, 918/924 constraints. Problems are: Problem set: 0 solved, 4 unsolved
[2024-05-25 01:51:20] [INFO ] Deduced a trap composed of 5 places in 6820 ms of which 31 ms to minimize.
[2024-05-25 01:51:27] [INFO ] Deduced a trap composed of 411 places in 6712 ms of which 30 ms to minimize.
[2024-05-25 01:51:34] [INFO ] Deduced a trap composed of 546 places in 6737 ms of which 28 ms to minimize.
[2024-05-25 01:51:40] [INFO ] Deduced a trap composed of 479 places in 6720 ms of which 31 ms to minimize.
[2024-05-25 01:51:47] [INFO ] Deduced a trap composed of 480 places in 6680 ms of which 30 ms to minimize.
[2024-05-25 01:51:54] [INFO ] Deduced a trap composed of 438 places in 6746 ms of which 31 ms to minimize.
[2024-05-25 01:52:01] [INFO ] Deduced a trap composed of 436 places in 6725 ms of which 36 ms to minimize.
[2024-05-25 01:52:08] [INFO ] Deduced a trap composed of 39 places in 6693 ms of which 30 ms to minimize.
[2024-05-25 01:52:14] [INFO ] Deduced a trap composed of 469 places in 6466 ms of which 33 ms to minimize.
[2024-05-25 01:52:21] [INFO ] Deduced a trap composed of 502 places in 6573 ms of which 32 ms to minimize.
[2024-05-25 01:52:27] [INFO ] Deduced a trap composed of 497 places in 6577 ms of which 31 ms to minimize.
SMT process timed out in 75610ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 14 out of 4782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4782/4782 places, 12371/12371 transitions.
Applied a total of 0 rules in 790 ms. Remains 4782 /4782 variables (removed 0) and now considering 12371/12371 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 791 ms. Remains : 4782/4782 places, 12371/12371 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4782/4782 places, 12371/12371 transitions.
Applied a total of 0 rules in 725 ms. Remains 4782 /4782 variables (removed 0) and now considering 12371/12371 (removed 0) transitions.
[2024-05-25 01:52:29] [INFO ] Flow matrix only has 11486 transitions (discarded 885 similar events)
[2024-05-25 01:52:29] [INFO ] Invariant cache hit.
[2024-05-25 01:52:48] [INFO ] Implicit Places using invariants in 19168 ms returned [4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 28, 36, 46, 58, 72, 88, 106, 126, 148, 171, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 222, 240, 256, 270, 282, 292, 300, 306, 310, 312, 333, 339, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 352, 356, 362, 370, 380, 392, 406, 422, 440, 460, 481, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 528, 544, 558, 570, 580, 588, 594, 598, 600, 602, 623, 629, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 642, 644, 648, 654, 662, 672, 684, 698, 714, 732, 751, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 794, 808, 820, 830, 838, 844, 848, 850, 852, 854, 875, 881, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 894, 896, 898, 902, 908, 916, 926, 938, 952, 968, 985, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1024, 1036, 1046, 1054, 1060, 1064, 1066, 1068, 1070, 1072, 1093, 1099, 1101, 1102, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1112, 1114, 1116, 1118, 1122, 1128, 1136, 1146, 1158, 1172, 1187, 1201, 1202, 1203, 1205, 1206, 1207, 1208, 1209, 1210, 1222, 1232, 1240, 1246, 1250, 1252, 1254, 1258, 1260, 1262, 1283, 1289, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1300, 1302, 1304, 1306, 1308, 1310, 1314, 1320, 1328, 1338, 1350, 1363, 1375, 1376, 1377, 1378, 1379, 1380, 1381, 1382, 1383, 1384, 1394, 1402, 1408, 1412, 1414, 1416, 1418, 1420, 1422, 1424, 1446, 1452, 1454, 1455, 1456, 1457, 1458, 1459, 1460, 1461, 1462, 1463, 1465, 1467, 1469, 1471, 1473, 1475, 1479, 1485, 1493, 1503, 1514, 1524, 1525, 1526, 1527, 1528, 1530, 1531, 1532, 1533, 1541, 1547, 1551, 1555, 1557, 1559, 1561, 1563, 1565, 1567, 1588, 1594, 1596, 1597, 1598, 1599, 1600, 1601, 1602, 1603, 1604, 1605, 1607, 1609, 1611, 1613, 1615, 1617, 1619, 1623, 1629, 1637, 1646, 1654, 1655, 1656, 1657, 1658, 1659, 1660, 1661, 1662, 1663, 1669, 1673, 1675, 1677, 1679, 1681, 1683, 1685, 1687, 1689, 1710, 1716, 1718, 1719, 1720, 1721, 1722, 1723, 1724, 1725, 1726, 1727, 1729, 1731, 1733, 1735, 1737, 1739, 1741, 1743, 1747, 1753, 1760, 1766, 1767, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1775, 1779, 1781, 1783, 1785, 1787, 1789, 1791, 1793, 1795, 1797, 1818, 1824, 1826, 1827, 1828, 1829, 1830, 1831, 1832, 1833, 1834, 1835, 1837, 1839, 1841, 1843, 1845, 1847, 1849, 1851, 1853, 1857, 1862, 1866, 1867, 1868, 1869, 1870, 1871, 1872, 1873, 1874, 1875, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1916, 1922, 1924, 1925, 1926, 1927, 1928, 1929, 1930, 1931, 1932, 1933, 1935, 1937, 1939, 1941, 1943, 1945, 1947, 1949, 1951, 1953, 1956, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1983, 1985, 1987, 2008, 2014, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2027, 2029, 2031, 2033, 2035, 2037, 2039, 2041, 2043, 2045, 2047, 2049, 2050, 2051, 2052, 2053, 2054, 2055, 2056, 2057, 2058, 2060, 2062, 2064, 2066, 2068, 2070, 2072, 2074, 2076, 2078, 2099, 2101, 2104, 2106, 2107, 2108, 2109, 2110, 2111, 2112, 2113, 2114, 2115, 2117, 2119, 2121, 2123, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2139, 2140, 2141, 2142, 2143, 2144, 2145, 2146, 2147, 2148, 2150, 2152, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2189, 2195, 2197, 2198, 2199, 2200, 2201, 2202, 2203, 2204, 2205, 2206, 2208, 2210, 2212, 2214, 2216, 2218, 2220, 2222, 2224, 2226, 2228, 2230, 2231, 2232, 2233, 2234, 2235, 2236, 2237, 2238, 2239, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2280, 2286, 2289, 2290, 2291, 2292, 2293, 2294, 2295, 2296, 2297, 2298, 2300, 2302, 2306, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2323, 2324, 2325, 2326, 2327, 2328, 2329, 2330, 2331, 2332, 2334, 2336, 2338, 2340, 2342, 2344, 2346, 2348, 2350, 2352, 2373, 2379, 2381, 2382, 2383, 2384, 2385, 2386, 2387, 2388, 2389, 2390, 2392, 2394, 2396, 2398, 2400, 2402, 2404, 2406, 2408, 2410, 2414, 2419, 2420, 2421, 2422, 2423, 2424, 2425, 2426, 2428, 2432, 2434, 2436, 2438, 2440, 2443, 2445, 2447, 2449, 2451, 2472, 2478, 2480, 2481, 2482, 2483, 2484, 2485, 2486, 2487, 2488, 2489, 2491, 2493, 2495, 2497, 2499, 2501, 2503, 2505, 2507, 2511, 2517, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531, 2532, 2533, 2539, 2543, 2545, 2547, 2549, 2551, 2553, 2555, 2557, 2559, 2580, 2586, 2588, 2589, 2590, 2591, 2592, 2593, 2594, 2595, 2596, 2597, 2599, 2601, 2603, 2605, 2607, 2609, 2611, 2613, 2617, 2624, 2632, 2641, 2642, 2643, 2644, 2645, 2646, 2647, 2648, 2649, 2650, 2658, 2664, 2668, 2670, 2672, 2674, 2676, 2678, 2680, 2682, 2703, 2709, 2711, 2712, 2713, 2714, 2715, 2716, 2717, 2718, 2719, 2720, 2722, 2724, 2726, 2728, 2730, 2732, 2734, 2738, 2744, 2752, 2762, 2773, 2775, 2776, 2777, 2778, 2779, 2780, 2781, 2782, 2792, 2800, 2806, 2810, 2812, 2814, 2816, 2819, 2821, 2823, 2844, 2850, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2859, 2860, 2861, 2863, 2865, 2867, 2869, 2871, 2873, 2877, 2883, 2891, 2901, 2913, 2927, 2928, 2930, 2931, 2932, 2933, 2934, 2935, 2947, 2957, 2965, 2971, 2975, 2979, 2983, 2985, 2987, 2989, 3010, 3016, 3018, 3019, 3020, 3021, 3022, 3023, 3024, 3025, 3026, 3027, 3029, 3031, 3033, 3035, 3037, 3041, 3047, 3055, 3065, 3077, 3091, 3106, 3107, 3108, 3109, 3110, 3111, 3112, 3113, 3114, 3115, 3129, 3141, 3151, 3159, 3165, 3169, 3171, 3173, 3175, 3177, 3198, 3204, 3206, 3207, 3208, 3209, 3210, 3211, 3212, 3213, 3214, 3215, 3217, 3219, 3221, 3223, 3227, 3233, 3241, 3251, 3263, 3277, 3293, 3310, 3311, 3312, 3313, 3314, 3315, 3316, 3317, 3318, 3319, 3335, 3349, 3361, 3371, 3379, 3385, 3389, 3391, 3393, 3395, 3416, 3422, 3424, 3425, 3426, 3427, 3428, 3429, 3430, 3431, 3432, 3433, 3435, 3437, 3439, 3443, 3449, 3457, 3467, 3479, 3493, 3509, 3527, 3546, 3547, 3548, 3549, 3550, 3551, 3552, 3553, 3554, 3555, 3573, 3589, 3603, 3615, 3625, 3633, 3639, 3643, 3645, 3647, 3668, 3674, 3676, 3677, 3678, 3679, 3680, 3681, 3682, 3683, 3684, 3685, 3687, 3689, 3693, 3699, 3707, 3717, 3729, 3743, 3760, 3778, 3798, 3819, 3820, 3821, 3822, 3823, 3824, 3825, 3826, 3827, 3828, 3848, 3866, 3882, 3896, 3908, 3918, 3926, 3932, 3936, 3938, 3959, 3961, 3964, 3966, 3967, 3968, 3969, 3970, 3971, 3972, 3973, 3974, 3975, 3977, 3981, 3987, 3995, 4005, 4017, 4031, 4047, 4065, 4085, 4107, 4130, 4131, 4132, 4133, 4134, 4135, 4136, 4137, 4138, 4139, 4161, 4181, 4199, 4215, 4229, 4241, 4251, 4259, 4265, 4269, 4290]
[2024-05-25 01:52:48] [INFO ] Actually due to overlaps returned [2189, 2280, 2373, 2472, 2580, 2703, 2844, 3010, 3198, 3416, 3668, 3959, 4290, 333, 623, 875, 1093, 1283, 1446, 1588, 1710, 1818, 1916, 2099, 2008, 4, 9, 10, 11, 12, 13, 14, 15, 16, 17, 193, 194, 195, 196, 197, 198, 199, 200, 201, 341, 342, 343, 344, 345, 346, 347, 348, 349, 501, 502, 503, 504, 505, 506, 507, 508, 509, 631, 632, 633, 634, 635, 636, 637, 638, 639, 769, 770, 771, 772, 773, 774, 775, 776, 777, 883, 884, 885, 886, 887, 888, 889, 890, 891, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1101, 1102, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1201, 1202, 1203, 1205, 1206, 1207, 1208, 1209, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1375, 1376, 1377, 1378, 1379, 1380, 1381, 1382, 1383, 1454, 1455, 1456, 1457, 1458, 1459, 1460, 1461, 1462, 1524, 1525, 1526, 1527, 1528, 1530, 1531, 1532, 1596, 1597, 1598, 1599, 1600, 1601, 1602, 1603, 1604, 1654, 1655, 1656, 1657, 1658, 1659, 1660, 1661, 1662, 1718, 1719, 1720, 1721, 1722, 1723, 1724, 1725, 1726, 1766, 1767, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1826, 1827, 1828, 1829, 1830, 1831, 1832, 1833, 1834, 1866, 1867, 1868, 1869, 1870, 1871, 1872, 1873, 1874, 1924, 1925, 1926, 1927, 1928, 1929, 1930, 1931, 1932, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2049, 2050, 2051, 2052, 2053, 2054, 2055, 2056, 2057, 2101, 2106, 2107, 2108, 2109, 2110, 2111, 2112, 2113, 2114, 2139, 2140, 2141, 2142, 2143, 2144, 2145, 2146, 2147, 2197, 2198, 2199, 2200, 2201, 2202, 2203, 2204, 2205, 2230, 2231, 2232, 2233, 2234, 2235, 2236, 2237, 2238, 2289, 2290, 2291, 2292, 2293, 2294, 2295, 2296, 2297, 2323, 2324, 2325, 2326, 2327, 2328, 2329, 2330, 2331, 2381, 2382, 2383, 2384, 2385, 2386, 2387, 2388, 2389, 2419, 2420, 2421, 2422, 2423, 2424, 2425, 2426, 2480, 2481, 2482, 2483, 2484, 2485, 2486, 2487, 2488, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531, 2532, 2588, 2589, 2590, 2591, 2592, 2593, 2594, 2595, 2596, 2641, 2642, 2643, 2644, 2645, 2646, 2647, 2648, 2649, 2711, 2712, 2713, 2714, 2715, 2716, 2717, 2718, 2719, 2773, 2775, 2776, 2777, 2778, 2779, 2780, 2781, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2859, 2860, 2927, 2928, 2930, 2931, 2932, 2933, 2934, 3018, 3019, 3020, 3021, 3022, 3023, 3024, 3025, 3026, 3106, 3107, 3108, 3109, 3110, 3111, 3112, 3113, 3114, 3206, 3207, 3208, 3209, 3210, 3211, 3212, 3213, 3214, 3310, 3311, 3312, 3313, 3314, 3315, 3316, 3317, 3318, 3424, 3425, 3426, 3427, 3428, 3429, 3430, 3431, 3432, 3546, 3547, 3548, 3549, 3550, 3551, 3552, 3553, 3554, 3676, 3677, 3678, 3679, 3680, 3681, 3682, 3683, 3684, 3819, 3820, 3821, 3822, 3823, 3824, 3825, 3826, 3827, 3961, 3966, 3967, 3968, 3969, 3970, 3971, 3972, 3973, 3974, 4130, 4131, 4132, 4133, 4134, 4135, 4136, 4137, 4138]
Discarding 472 places :
Implicit Place search using SMT only with invariants took 19202 ms to find 472 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 4310/4782 places, 12371/12371 transitions.
Discarding 425 places :
Symmetric choice reduction at 0 with 425 rule applications. Total rules 425 place count 3885 transition count 11946
Iterating global reduction 0 with 425 rules applied. Total rules applied 850 place count 3885 transition count 11946
Discarding 424 places :
Symmetric choice reduction at 0 with 424 rule applications. Total rules 1274 place count 3461 transition count 11522
Iterating global reduction 0 with 424 rules applied. Total rules applied 1698 place count 3461 transition count 11522
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 1701 place count 3461 transition count 11519
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 1704 place count 3458 transition count 11519
Applied a total of 1704 rules in 1698 ms. Remains 3458 /4310 variables (removed 852) and now considering 11519/12371 (removed 852) transitions.
[2024-05-25 01:52:50] [INFO ] Flow matrix only has 10634 transitions (discarded 885 similar events)
// Phase 1: matrix 10634 rows 3458 cols
[2024-05-25 01:52:50] [INFO ] Computed 673 invariants in 232 ms
[2024-05-25 01:53:02] [INFO ] Implicit Places using invariants in 11745 ms returned [6, 8, 12, 18, 26, 36, 48, 62, 78, 96, 116, 138, 161, 183, 203, 221, 237, 251, 263, 273, 281, 287, 291, 293, 318, 320, 322, 326, 332, 340, 350, 362, 376, 392, 410, 430, 451, 471, 489, 505, 519, 531, 541, 549, 555, 559, 561, 563, 571, 573, 575, 577, 581, 587, 595, 605, 617, 631, 647, 665, 684, 702, 718, 732, 744, 754, 762, 768, 772, 774, 776, 778, 786, 788, 790, 792, 794, 798, 804, 812, 822, 834, 848, 864, 881, 897, 911, 923, 933, 941, 947, 951, 953, 955, 957, 959, 967, 969, 971, 973, 975, 977, 981, 987, 995, 1005, 1017, 1031, 1046, 1061, 1073, 1083, 1091, 1097, 1101, 1103, 1105, 1109, 1111, 1113, 1122, 1124, 1126, 1128, 1130, 1132, 1134, 1138, 1144, 1152, 1162, 1174, 1187, 1199, 1209, 1217, 1223, 1227, 1229, 1231, 1233, 1235, 1237, 1239, 1249, 1251, 1253, 1255, 1257, 1259, 1261, 1263, 1267, 1273, 1281, 1291, 1302, 1313, 1321, 1327, 1331, 1335, 1337, 1339, 1341, 1343, 1345, 1347, 1356, 1358, 1360, 1362, 1364, 1366, 1368, 1370, 1372, 1376, 1382, 1390, 1399, 1407, 1413, 1417, 1419, 1421, 1423, 1425, 1427, 1429, 1431, 1433, 1441, 1443, 1445, 1447, 1449, 1451, 1453, 1455, 1457, 1459, 1463, 1469, 1476, 1482, 1486, 1488, 1490, 1492, 1494, 1496, 1498, 1500, 1502, 1504, 1512, 1514, 1516, 1518, 1520, 1522, 1524, 1526, 1528, 1530, 1532, 1536, 1541, 1545, 1547, 1549, 1551, 1553, 1555, 1557, 1559, 1561, 1563, 1565, 1573, 1575, 1577, 1579, 1581, 1583, 1585, 1587, 1589, 1591, 1593, 1595, 1598, 1600, 1602, 1604, 1606, 1608, 1610, 1612, 1614, 1616, 1618, 1620, 1629, 1631, 1633, 1635, 1637, 1639, 1641, 1643, 1645, 1647, 1649, 1651, 1653, 1655, 1657, 1659, 1661, 1663, 1665, 1667, 1669, 1671, 1673, 1675, 1681, 1683, 1685, 1687, 1689, 1691, 1693, 1695, 1697, 1699, 1701, 1703, 1705, 1707, 1709, 1711, 1713, 1715, 1717, 1719, 1721, 1723, 1725, 1727, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1748, 1750, 1752, 1754, 1756, 1758, 1760, 1762, 1764, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1780, 1788, 1791, 1793, 1795, 1799, 1801, 1803, 1805, 1807, 1809, 1811, 1813, 1816, 1818, 1820, 1822, 1824, 1826, 1828, 1830, 1832, 1834, 1836, 1844, 1846, 1848, 1850, 1852, 1854, 1856, 1858, 1860, 1862, 1864, 1866, 1870, 1876, 1880, 1882, 1884, 1886, 1888, 1891, 1893, 1895, 1897, 1899, 1908, 1910, 1912, 1914, 1916, 1918, 1920, 1922, 1924, 1926, 1928, 1932, 1938, 1945, 1951, 1955, 1957, 1959, 1961, 1963, 1965, 1967, 1969, 1971, 1979, 1981, 1983, 1985, 1987, 1989, 1991, 1993, 1995, 1997, 2001, 2008, 2016, 2025, 2033, 2039, 2043, 2045, 2047, 2049, 2051, 2053, 2055, 2057, 2065, 2067, 2069, 2071, 2073, 2075, 2077, 2079, 2081, 2085, 2091, 2099, 2109, 2121, 2131, 2139, 2145, 2149, 2151, 2153, 2155, 2158, 2160, 2162, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2185, 2189, 2195, 2203, 2213, 2225, 2240, 2252, 2262, 2270, 2276, 2280, 2284, 2288, 2290, 2292, 2294, 2304, 2306, 2308, 2310, 2312, 2314, 2316, 2320, 2326, 2334, 2344, 2356, 2370, 2385, 2399, 2411, 2421, 2429, 2435, 2439, 2441, 2443, 2445, 2447, 2455, 2457, 2459, 2461, 2463, 2465, 2469, 2475, 2483, 2493, 2505, 2519, 2535, 2552, 2568, 2582, 2594, 2604, 2612, 2618, 2622, 2624, 2626, 2628, 2636, 2638, 2640, 2642, 2644, 2648, 2654, 2662, 2672, 2684, 2698, 2714, 2732, 2751, 2769, 2785, 2799, 2811, 2821, 2829, 2835, 2839, 2841, 2843, 2851, 2853, 2855, 2857, 2861, 2867, 2875, 2885, 2897, 2911, 2928, 2946, 2966, 2987, 3007, 3025, 3041, 3055, 3067, 3077, 3085, 3091, 3095, 3097, 3103, 3105, 3107, 3111, 3117, 3125, 3135, 3147, 3161, 3177, 3195, 3215, 3237, 3260, 3282, 3302, 3320, 3336, 3350, 3362, 3372, 3380, 3386, 3390]
Discarding 599 places :
Implicit Place search using SMT only with invariants took 11779 ms to find 599 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2859/4782 places, 11519/12371 transitions.
Applied a total of 0 rules in 600 ms. Remains 2859 /2859 variables (removed 0) and now considering 11519/11519 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 34005 ms. Remains : 2859/4782 places, 11519/12371 transitions.
RANDOM walk for 40000 steps (743 resets) in 2577 ms. (15 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40003 steps (71 resets) in 328 ms. (121 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (70 resets) in 350 ms. (113 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (71 resets) in 345 ms. (115 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40003 steps (71 resets) in 325 ms. (122 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 23533 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :0 out of 4
Probabilistic random walk after 23533 steps, saw 10235 distinct states, run finished after 3001 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-25 01:53:06] [INFO ] Flow matrix only has 10634 transitions (discarded 885 similar events)
// Phase 1: matrix 10634 rows 2859 cols
[2024-05-25 01:53:07] [INFO ] Computed 74 invariants in 178 ms
[2024-05-25 01:53:07] [INFO ] State equation strengthened by 7314 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 2729/2743 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2743 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (OVERLAPS) 54/2797 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2797 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 44/2841 variables, 44/56 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2841 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 18/2859 variables, 18/74 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2859 variables, 0/74 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (OVERLAPS) 10634/13493 variables, 2859/2933 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/13493 variables, 7314/10247 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/13493 variables, 0/10247 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 12 (OVERLAPS) 0/13493 variables, 0/10247 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13493/13493 variables, and 10247 constraints, problems are : Problem set: 0 solved, 4 unsolved in 9919 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 26/26 constraints, State Equation: 2859/2859 constraints, ReadFeed: 7314/7314 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-07 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 2729/2743 variables, 4/4 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2743 variables, 0/4 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 54/2797 variables, 8/12 constraints. Problems are: Problem set: 1 solved, 3 unsolved
[2024-05-25 01:53:19] [INFO ] Deduced a trap composed of 5 places in 2169 ms of which 18 ms to minimize.
[2024-05-25 01:53:22] [INFO ] Deduced a trap composed of 39 places in 2273 ms of which 19 ms to minimize.
[2024-05-25 01:53:24] [INFO ] Deduced a trap composed of 262 places in 2214 ms of which 19 ms to minimize.
[2024-05-25 01:53:26] [INFO ] Deduced a trap composed of 215 places in 2286 ms of which 19 ms to minimize.
[2024-05-25 01:53:29] [INFO ] Deduced a trap composed of 245 places in 2253 ms of which 20 ms to minimize.
[2024-05-25 01:53:31] [INFO ] Deduced a trap composed of 216 places in 2272 ms of which 21 ms to minimize.
[2024-05-25 01:53:33] [INFO ] Deduced a trap composed of 141 places in 2484 ms of which 19 ms to minimize.
[2024-05-25 01:53:36] [INFO ] Deduced a trap composed of 137 places in 2468 ms of which 19 ms to minimize.
[2024-05-25 01:53:38] [INFO ] Deduced a trap composed of 145 places in 2445 ms of which 18 ms to minimize.
[2024-05-25 01:53:41] [INFO ] Deduced a trap composed of 71 places in 2466 ms of which 19 ms to minimize.
[2024-05-25 01:53:43] [INFO ] Deduced a trap composed of 234 places in 2281 ms of which 22 ms to minimize.
[2024-05-25 01:53:46] [INFO ] Deduced a trap composed of 99 places in 2317 ms of which 19 ms to minimize.
[2024-05-25 01:53:48] [INFO ] Deduced a trap composed of 71 places in 2171 ms of which 19 ms to minimize.
[2024-05-25 01:53:50] [INFO ] Deduced a trap composed of 248 places in 2250 ms of which 18 ms to minimize.
[2024-05-25 01:53:53] [INFO ] Deduced a trap composed of 127 places in 2447 ms of which 22 ms to minimize.
[2024-05-25 01:53:55] [INFO ] Deduced a trap composed of 133 places in 2435 ms of which 18 ms to minimize.
[2024-05-25 01:53:58] [INFO ] Deduced a trap composed of 116 places in 2445 ms of which 18 ms to minimize.
[2024-05-25 01:54:00] [INFO ] Deduced a trap composed of 131 places in 2373 ms of which 17 ms to minimize.
[2024-05-25 01:54:03] [INFO ] Deduced a trap composed of 130 places in 2546 ms of which 18 ms to minimize.
[2024-05-25 01:54:05] [INFO ] Deduced a trap composed of 141 places in 2499 ms of which 20 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2797 variables, 20/32 constraints. Problems are: Problem set: 1 solved, 3 unsolved
[2024-05-25 01:54:08] [INFO ] Deduced a trap composed of 153 places in 2706 ms of which 18 ms to minimize.
[2024-05-25 01:54:10] [INFO ] Deduced a trap composed of 130 places in 2388 ms of which 18 ms to minimize.
[2024-05-25 01:54:13] [INFO ] Deduced a trap composed of 135 places in 2430 ms of which 21 ms to minimize.
[2024-05-25 01:54:15] [INFO ] Deduced a trap composed of 99 places in 2347 ms of which 18 ms to minimize.
[2024-05-25 01:54:18] [INFO ] Deduced a trap composed of 39 places in 2354 ms of which 18 ms to minimize.
[2024-05-25 01:54:20] [INFO ] Deduced a trap composed of 134 places in 2393 ms of which 18 ms to minimize.
[2024-05-25 01:54:22] [INFO ] Deduced a trap composed of 129 places in 2440 ms of which 30 ms to minimize.
[2024-05-25 01:54:25] [INFO ] Deduced a trap composed of 153 places in 2422 ms of which 17 ms to minimize.
[2024-05-25 01:54:27] [INFO ] Deduced a trap composed of 186 places in 2477 ms of which 18 ms to minimize.
[2024-05-25 01:54:30] [INFO ] Deduced a trap composed of 89 places in 2423 ms of which 17 ms to minimize.
[2024-05-25 01:54:32] [INFO ] Deduced a trap composed of 147 places in 2430 ms of which 18 ms to minimize.
[2024-05-25 01:54:35] [INFO ] Deduced a trap composed of 135 places in 2409 ms of which 17 ms to minimize.
[2024-05-25 01:54:37] [INFO ] Deduced a trap composed of 130 places in 2422 ms of which 18 ms to minimize.
[2024-05-25 01:54:40] [INFO ] Deduced a trap composed of 141 places in 2393 ms of which 18 ms to minimize.
[2024-05-25 01:54:42] [INFO ] Deduced a trap composed of 138 places in 2439 ms of which 18 ms to minimize.
[2024-05-25 01:54:45] [INFO ] Deduced a trap composed of 135 places in 2360 ms of which 23 ms to minimize.
[2024-05-25 01:54:47] [INFO ] Deduced a trap composed of 145 places in 2455 ms of which 17 ms to minimize.
SMT process timed out in 100716ms, After SMT, problems are : Problem set: 1 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5 out of 2859 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2859/2859 places, 11519/11519 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 2859 transition count 11515
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 2855 transition count 11515
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 9 place count 2854 transition count 11506
Iterating global reduction 2 with 1 rules applied. Total rules applied 10 place count 2854 transition count 11506
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 2853 transition count 11505
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 17 place count 2853 transition count 11596
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 22 place count 2848 transition count 11596
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 25 place count 2845 transition count 11593
Iterating global reduction 3 with 3 rules applied. Total rules applied 28 place count 2845 transition count 11593
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 29 place count 2845 transition count 11593
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 30 place count 2844 transition count 11592
Iterating global reduction 3 with 1 rules applied. Total rules applied 31 place count 2844 transition count 11592
Applied a total of 31 rules in 2571 ms. Remains 2844 /2859 variables (removed 15) and now considering 11592/11519 (removed -73) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2571 ms. Remains : 2844/2859 places, 11592/11519 transitions.
RANDOM walk for 40000 steps (748 resets) in 3409 ms. (11 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (71 resets) in 442 ms. (90 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (70 resets) in 483 ms. (82 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (71 resets) in 423 ms. (94 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 23389 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :0 out of 3
Probabilistic random walk after 23389 steps, saw 10141 distinct states, run finished after 3001 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-25 01:54:54] [INFO ] Flow matrix only has 10706 transitions (discarded 886 similar events)
// Phase 1: matrix 10706 rows 2844 cols
[2024-05-25 01:54:54] [INFO ] Computed 74 invariants in 153 ms
[2024-05-25 01:54:54] [INFO ] State equation strengthened by 7402 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2726/2731 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2731 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 51/2782 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2782 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 44/2826 variables, 44/56 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2826 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (OVERLAPS) 18/2844 variables, 18/74 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2844 variables, 0/74 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (OVERLAPS) 10706/13550 variables, 2844/2918 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/13550 variables, 7402/10320 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/13550 variables, 0/10320 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (OVERLAPS) 0/13550 variables, 0/10320 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13550/13550 variables, and 10320 constraints, problems are : Problem set: 0 solved, 3 unsolved in 9076 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 26/26 constraints, State Equation: 2844/2844 constraints, ReadFeed: 7402/7402 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/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2726/2731 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 01:55:06] [INFO ] Deduced a trap composed of 126 places in 2243 ms of which 17 ms to minimize.
[2024-05-25 01:55:08] [INFO ] Deduced a trap composed of 132 places in 2268 ms of which 16 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/2731 variables, 2/6 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2731 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 51/2782 variables, 8/14 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 01:55:11] [INFO ] Deduced a trap composed of 5 places in 2157 ms of which 17 ms to minimize.
[2024-05-25 01:55:13] [INFO ] Deduced a trap composed of 39 places in 2096 ms of which 18 ms to minimize.
[2024-05-25 01:55:15] [INFO ] Deduced a trap composed of 70 places in 2040 ms of which 17 ms to minimize.
[2024-05-25 01:55:17] [INFO ] Deduced a trap composed of 237 places in 2085 ms of which 18 ms to minimize.
[2024-05-25 01:55:20] [INFO ] Deduced a trap composed of 229 places in 2147 ms of which 20 ms to minimize.
[2024-05-25 01:55:22] [INFO ] Deduced a trap composed of 242 places in 2135 ms of which 17 ms to minimize.
[2024-05-25 01:55:24] [INFO ] Deduced a trap composed of 238 places in 2119 ms of which 18 ms to minimize.
[2024-05-25 01:55:26] [INFO ] Deduced a trap composed of 98 places in 2207 ms of which 18 ms to minimize.
[2024-05-25 01:55:28] [INFO ] Deduced a trap composed of 123 places in 2125 ms of which 18 ms to minimize.
[2024-05-25 01:55:31] [INFO ] Deduced a trap composed of 258 places in 2177 ms of which 18 ms to minimize.
[2024-05-25 01:55:33] [INFO ] Deduced a trap composed of 260 places in 2168 ms of which 18 ms to minimize.
[2024-05-25 01:55:35] [INFO ] Deduced a trap composed of 123 places in 2139 ms of which 18 ms to minimize.
[2024-05-25 01:55:37] [INFO ] Deduced a trap composed of 158 places in 2218 ms of which 17 ms to minimize.
[2024-05-25 01:55:39] [INFO ] Deduced a trap composed of 241 places in 2187 ms of which 18 ms to minimize.
[2024-05-25 01:55:42] [INFO ] Deduced a trap composed of 98 places in 2120 ms of which 16 ms to minimize.
[2024-05-25 01:55:44] [INFO ] Deduced a trap composed of 138 places in 2158 ms of which 16 ms to minimize.
[2024-05-25 01:55:46] [INFO ] Deduced a trap composed of 70 places in 2136 ms of which 18 ms to minimize.
[2024-05-25 01:55:48] [INFO ] Deduced a trap composed of 274 places in 2152 ms of which 18 ms to minimize.
[2024-05-25 01:55:50] [INFO ] Deduced a trap composed of 259 places in 2140 ms of which 18 ms to minimize.
[2024-05-25 01:55:53] [INFO ] Deduced a trap composed of 115 places in 2384 ms of which 18 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/2782 variables, 20/34 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 01:55:55] [INFO ] Deduced a trap composed of 239 places in 2160 ms of which 18 ms to minimize.
[2024-05-25 01:55:57] [INFO ] Deduced a trap composed of 112 places in 2441 ms of which 18 ms to minimize.
[2024-05-25 01:56:00] [INFO ] Deduced a trap composed of 235 places in 2356 ms of which 18 ms to minimize.
[2024-05-25 01:56:02] [INFO ] Deduced a trap composed of 98 places in 2300 ms of which 19 ms to minimize.
[2024-05-25 01:56:04] [INFO ] Deduced a trap composed of 161 places in 2136 ms of which 18 ms to minimize.
[2024-05-25 01:56:06] [INFO ] Deduced a trap composed of 210 places in 2160 ms of which 18 ms to minimize.
[2024-05-25 01:56:09] [INFO ] Deduced a trap composed of 195 places in 2155 ms of which 18 ms to minimize.
[2024-05-25 01:56:11] [INFO ] Deduced a trap composed of 113 places in 2364 ms of which 17 ms to minimize.
[2024-05-25 01:56:13] [INFO ] Deduced a trap composed of 126 places in 2374 ms of which 21 ms to minimize.
[2024-05-25 01:56:16] [INFO ] Deduced a trap composed of 140 places in 2376 ms of which 18 ms to minimize.
[2024-05-25 01:56:18] [INFO ] Deduced a trap composed of 121 places in 2344 ms of which 18 ms to minimize.
[2024-05-25 01:56:21] [INFO ] Deduced a trap composed of 123 places in 2390 ms of which 16 ms to minimize.
[2024-05-25 01:56:23] [INFO ] Deduced a trap composed of 145 places in 2343 ms of which 17 ms to minimize.
[2024-05-25 01:56:25] [INFO ] Deduced a trap composed of 89 places in 2350 ms of which 17 ms to minimize.
[2024-05-25 01:56:28] [INFO ] Deduced a trap composed of 70 places in 2341 ms of which 17 ms to minimize.
[2024-05-25 01:56:30] [INFO ] Deduced a trap composed of 131 places in 2262 ms of which 16 ms to minimize.
[2024-05-25 01:56:33] [INFO ] Deduced a trap composed of 140 places in 2347 ms of which 17 ms to minimize.
[2024-05-25 01:56:35] [INFO ] Deduced a trap composed of 122 places in 2506 ms of which 17 ms to minimize.
[2024-05-25 01:56:37] [INFO ] Deduced a trap composed of 143 places in 2206 ms of which 16 ms to minimize.
[2024-05-25 01:56:40] [INFO ] Deduced a trap composed of 168 places in 2343 ms of which 17 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/2782 variables, 20/54 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 01:56:42] [INFO ] Deduced a trap composed of 119 places in 2412 ms of which 18 ms to minimize.
[2024-05-25 01:56:45] [INFO ] Deduced a trap composed of 112 places in 2298 ms of which 16 ms to minimize.
[2024-05-25 01:56:47] [INFO ] Deduced a trap composed of 164 places in 2358 ms of which 17 ms to minimize.
[2024-05-25 01:56:49] [INFO ] Deduced a trap composed of 119 places in 2372 ms of which 18 ms to minimize.
SMT process timed out in 115173ms, 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 5 out of 2844 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2844/2844 places, 11592/11592 transitions.
Applied a total of 0 rules in 607 ms. Remains 2844 /2844 variables (removed 0) and now considering 11592/11592 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 607 ms. Remains : 2844/2844 places, 11592/11592 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2844/2844 places, 11592/11592 transitions.
Applied a total of 0 rules in 584 ms. Remains 2844 /2844 variables (removed 0) and now considering 11592/11592 (removed 0) transitions.
[2024-05-25 01:56:51] [INFO ] Flow matrix only has 10706 transitions (discarded 886 similar events)
[2024-05-25 01:56:51] [INFO ] Invariant cache hit.
[2024-05-25 01:56:56] [INFO ] Implicit Places using invariants in 5926 ms returned [951, 1152, 1451, 1669, 1762]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 5932 ms to find 5 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 2839/2844 places, 11592/11592 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 2835 transition count 11588
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 2835 transition count 11588
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 12 place count 2831 transition count 11584
Iterating global reduction 0 with 4 rules applied. Total rules applied 16 place count 2831 transition count 11584
Applied a total of 16 rules in 987 ms. Remains 2831 /2839 variables (removed 8) and now considering 11584/11592 (removed 8) transitions.
[2024-05-25 01:56:57] [INFO ] Flow matrix only has 10698 transitions (discarded 886 similar events)
// Phase 1: matrix 10698 rows 2831 cols
[2024-05-25 01:56:58] [INFO ] Computed 69 invariants in 133 ms
[2024-05-25 01:57:03] [INFO ] Implicit Places using invariants in 5902 ms returned []
Implicit Place search using SMT only with invariants took 5903 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2831/2844 places, 11584/11592 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 13406 ms. Remains : 2831/2844 places, 11584/11592 transitions.
RANDOM walk for 40000 steps (748 resets) in 3487 ms. (11 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (71 resets) in 351 ms. (113 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40002 steps (72 resets) in 406 ms. (98 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (72 resets) in 483 ms. (82 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 23953 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :0 out of 3
Probabilistic random walk after 23953 steps, saw 10365 distinct states, run finished after 3001 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-25 01:57:08] [INFO ] Flow matrix only has 10698 transitions (discarded 886 similar events)
[2024-05-25 01:57:08] [INFO ] Invariant cache hit.
[2024-05-25 01:57:08] [INFO ] State equation strengthened by 7402 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2717/2722 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2722 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 47/2769 variables, 4/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2769 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 44/2813 variables, 44/51 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2813 variables, 0/51 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (OVERLAPS) 18/2831 variables, 18/69 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2831 variables, 0/69 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (OVERLAPS) 10698/13529 variables, 2831/2900 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/13529 variables, 7402/10302 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/13529 variables, 0/10302 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (OVERLAPS) 0/13529 variables, 0/10302 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13529/13529 variables, and 10302 constraints, problems are : Problem set: 0 solved, 3 unsolved in 8856 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 22/22 constraints, State Equation: 2831/2831 constraints, ReadFeed: 7402/7402 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/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 2717/2722 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2722 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 47/2769 variables, 4/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 01:57:20] [INFO ] Deduced a trap composed of 5 places in 2208 ms of which 18 ms to minimize.
[2024-05-25 01:57:22] [INFO ] Deduced a trap composed of 39 places in 2183 ms of which 20 ms to minimize.
[2024-05-25 01:57:24] [INFO ] Deduced a trap composed of 209 places in 2112 ms of which 16 ms to minimize.
[2024-05-25 01:57:26] [INFO ] Deduced a trap composed of 233 places in 2088 ms of which 18 ms to minimize.
[2024-05-25 01:57:28] [INFO ] Deduced a trap composed of 70 places in 2167 ms of which 17 ms to minimize.
[2024-05-25 01:57:30] [INFO ] Deduced a trap composed of 98 places in 2050 ms of which 18 ms to minimize.
[2024-05-25 01:57:33] [INFO ] Deduced a trap composed of 229 places in 2153 ms of which 17 ms to minimize.
[2024-05-25 01:57:35] [INFO ] Deduced a trap composed of 98 places in 2080 ms of which 17 ms to minimize.
[2024-05-25 01:57:37] [INFO ] Deduced a trap composed of 258 places in 2145 ms of which 17 ms to minimize.
[2024-05-25 01:57:39] [INFO ] Deduced a trap composed of 123 places in 2168 ms of which 18 ms to minimize.
[2024-05-25 01:57:41] [INFO ] Deduced a trap composed of 255 places in 2137 ms of which 18 ms to minimize.
[2024-05-25 01:57:43] [INFO ] Deduced a trap composed of 259 places in 2126 ms of which 18 ms to minimize.
[2024-05-25 01:57:46] [INFO ] Deduced a trap composed of 123 places in 2144 ms of which 17 ms to minimize.
[2024-05-25 01:57:48] [INFO ] Deduced a trap composed of 289 places in 2166 ms of which 17 ms to minimize.
[2024-05-25 01:57:50] [INFO ] Deduced a trap composed of 308 places in 2161 ms of which 18 ms to minimize.
[2024-05-25 01:57:52] [INFO ] Deduced a trap composed of 271 places in 2135 ms of which 18 ms to minimize.
[2024-05-25 01:57:54] [INFO ] Deduced a trap composed of 290 places in 2236 ms of which 17 ms to minimize.
[2024-05-25 01:57:57] [INFO ] Deduced a trap composed of 284 places in 2216 ms of which 18 ms to minimize.
[2024-05-25 01:57:59] [INFO ] Deduced a trap composed of 295 places in 2117 ms of which 18 ms to minimize.
[2024-05-25 01:58:01] [INFO ] Deduced a trap composed of 130 places in 2344 ms of which 19 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2769 variables, 20/27 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 01:58:04] [INFO ] Deduced a trap composed of 138 places in 2302 ms of which 18 ms to minimize.
[2024-05-25 01:58:06] [INFO ] Deduced a trap composed of 138 places in 2349 ms of which 18 ms to minimize.
[2024-05-25 01:58:08] [INFO ] Deduced a trap composed of 122 places in 2323 ms of which 17 ms to minimize.
[2024-05-25 01:58:11] [INFO ] Deduced a trap composed of 128 places in 2337 ms of which 18 ms to minimize.
[2024-05-25 01:58:13] [INFO ] Deduced a trap composed of 146 places in 2392 ms of which 18 ms to minimize.
[2024-05-25 01:58:16] [INFO ] Deduced a trap composed of 150 places in 2419 ms of which 18 ms to minimize.
[2024-05-25 01:58:18] [INFO ] Deduced a trap composed of 122 places in 2277 ms of which 18 ms to minimize.
[2024-05-25 01:58:20] [INFO ] Deduced a trap composed of 127 places in 2233 ms of which 17 ms to minimize.
[2024-05-25 01:58:22] [INFO ] Deduced a trap composed of 251 places in 2244 ms of which 17 ms to minimize.
[2024-05-25 01:58:25] [INFO ] Deduced a trap composed of 125 places in 2380 ms of which 18 ms to minimize.
[2024-05-25 01:58:27] [INFO ] Deduced a trap composed of 107 places in 2320 ms of which 17 ms to minimize.
[2024-05-25 01:58:30] [INFO ] Deduced a trap composed of 128 places in 2236 ms of which 17 ms to minimize.
[2024-05-25 01:58:32] [INFO ] Deduced a trap composed of 120 places in 2312 ms of which 17 ms to minimize.
[2024-05-25 01:58:34] [INFO ] Deduced a trap composed of 125 places in 2329 ms of which 17 ms to minimize.
[2024-05-25 01:58:37] [INFO ] Deduced a trap composed of 127 places in 2466 ms of which 17 ms to minimize.
[2024-05-25 01:58:39] [INFO ] Deduced a trap composed of 39 places in 2304 ms of which 16 ms to minimize.
[2024-05-25 01:58:41] [INFO ] Deduced a trap composed of 119 places in 2270 ms of which 17 ms to minimize.
[2024-05-25 01:58:44] [INFO ] Deduced a trap composed of 126 places in 2329 ms of which 17 ms to minimize.
[2024-05-25 01:58:46] [INFO ] Deduced a trap composed of 89 places in 2314 ms of which 16 ms to minimize.
[2024-05-25 01:58:49] [INFO ] Deduced a trap composed of 281 places in 2333 ms of which 22 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/2769 variables, 20/47 constraints. Problems are: Problem set: 0 solved, 3 unsolved
SDD proceeding with computation,12 properties remain. new max is 4
SDD size :1 after 2
[2024-05-25 01:58:51] [INFO ] Deduced a trap composed of 114 places in 2327 ms of which 17 ms to minimize.
SDD proceeding with computation,12 properties remain. new max is 8
SDD size :2 after 3
SDD proceeding with computation,12 properties remain. new max is 16
SDD size :3 after 4
[2024-05-25 01:58:53] [INFO ] Deduced a trap composed of 102 places in 2470 ms of which 18 ms to minimize.
SDD proceeding with computation,12 properties remain. new max is 32
SDD size :4 after 6
[2024-05-25 01:58:56] [INFO ] Deduced a trap composed of 138 places in 2453 ms of which 19 ms to minimize.
[2024-05-25 01:58:58] [INFO ] Deduced a trap composed of 122 places in 2471 ms of which 19 ms to minimize.
[2024-05-25 01:59:01] [INFO ] Deduced a trap composed of 127 places in 2465 ms of which 19 ms to minimize.
SDD proceeding with computation,12 properties remain. new max is 64
SDD size :6 after 16
[2024-05-25 01:59:04] [INFO ] Deduced a trap composed of 112 places in 2487 ms of which 18 ms to minimize.
[2024-05-25 01:59:06] [INFO ] Deduced a trap composed of 137 places in 2480 ms of which 18 ms to minimize.
[2024-05-25 01:59:09] [INFO ] Deduced a trap composed of 109 places in 2423 ms of which 17 ms to minimize.
SDD proceeding with computation,12 properties remain. new max is 128
SDD size :16 after 28
[2024-05-25 01:59:11] [INFO ] Deduced a trap composed of 112 places in 2381 ms of which 17 ms to minimize.
[2024-05-25 01:59:13] [INFO ] Deduced a trap composed of 136 places in 2318 ms of which 18 ms to minimize.
[2024-05-25 01:59:16] [INFO ] Deduced a trap composed of 208 places in 2329 ms of which 17 ms to minimize.
[2024-05-25 01:59:18] [INFO ] Deduced a trap composed of 179 places in 2433 ms of which 17 ms to minimize.
SMT process timed out in 130326ms, 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 5 out of 2831 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2831/2831 places, 11584/11584 transitions.
Applied a total of 0 rules in 599 ms. Remains 2831 /2831 variables (removed 0) and now considering 11584/11584 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 600 ms. Remains : 2831/2831 places, 11584/11584 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2831/2831 places, 11584/11584 transitions.
Applied a total of 0 rules in 585 ms. Remains 2831 /2831 variables (removed 0) and now considering 11584/11584 (removed 0) transitions.
[2024-05-25 01:59:19] [INFO ] Flow matrix only has 10698 transitions (discarded 886 similar events)
[2024-05-25 01:59:19] [INFO ] Invariant cache hit.
[2024-05-25 01:59:25] [INFO ] Implicit Places using invariants in 5865 ms returned []
Implicit Place search using SMT only with invariants took 5867 ms to find 0 implicit places.
Running 11490 sub problems to find dead transitions.
[2024-05-25 01:59:25] [INFO ] Flow matrix only has 10698 transitions (discarded 886 similar events)
[2024-05-25 01:59:25] [INFO ] Invariant cache hit.
[2024-05-25 01:59:25] [INFO ] State equation strengthened by 7402 read => feed constraints.
SDD proceeding with computation,12 properties remain. new max is 256
SDD size :28 after 49
At refinement iteration 0 (INCLUDED_ONLY) 0/2829 variables, 45/45 constraints. Problems are: Problem set: 0 solved, 11490 unsolved
SMT process timed out in 129232ms, After SMT, problems are : Problem set: 0 solved, 11490 unsolved
Search for dead transitions found 0 dead transitions in 129354ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 135848 ms. Remains : 2831/2831 places, 11584/11584 transitions.
Attempting over-approximation, by ignoring read arcs.
Graph (trivial) has 3046 edges and 2831 vertex of which 25 / 2831 are part of one of the 1 SCC in 6 ms
Free SCC test removed 24 places
Drop transitions (Empty/Sink Transition effects.) removed 644 transitions
Ensure Unique test removed 842 transitions
Reduce isomorphic transitions removed 1486 transitions.
Graph (complete) has 13431 edges and 2807 vertex of which 2785 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 24 places
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition Node10DetectsThatNode13CanReplaceNode12.Node13IsBecomingTheNewNodeMaster and 1 places that fell out of Prefix Of Interest.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 241 transitions
Trivial Post-agglo rules discarded 241 transitions
Performed 241 trivial Post agglomeration. Transition count delta: 241
Iterating post reduction 0 with 243 rules applied. Total rules applied 245 place count 2760 transition count 9855
Reduce places removed 241 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 240 transitions
Reduce isomorphic transitions removed 241 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 240 transitions
Trivial Post-agglo rules discarded 240 transitions
Performed 240 trivial Post agglomeration. Transition count delta: 240
Iterating post reduction 1 with 722 rules applied. Total rules applied 967 place count 2519 transition count 9374
Reduce places removed 240 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 40 transitions
Ensure Unique test removed 200 transitions
Reduce isomorphic transitions removed 240 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 199 transitions
Trivial Post-agglo rules discarded 199 transitions
Performed 199 trivial Post agglomeration. Transition count delta: 199
Iterating post reduction 2 with 679 rules applied. Total rules applied 1646 place count 2279 transition count 8935
Reduce places removed 199 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 197 transitions
Reduce isomorphic transitions removed 199 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 197 transitions
Trivial Post-agglo rules discarded 197 transitions
Performed 197 trivial Post agglomeration. Transition count delta: 197
Iterating post reduction 3 with 595 rules applied. Total rules applied 2241 place count 2080 transition count 8539
Reduce places removed 197 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 36 transitions
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 197 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 161 transitions
Trivial Post-agglo rules discarded 161 transitions
Performed 161 trivial Post agglomeration. Transition count delta: 161
Iterating post reduction 4 with 555 rules applied. Total rules applied 2796 place count 1883 transition count 8181
Reduce places removed 161 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 159 transitions
Reduce isomorphic transitions removed 161 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 5 with 481 rules applied. Total rules applied 3277 place count 1722 transition count 7861
Reduce places removed 159 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 32 transitions
Ensure Unique test removed 127 transitions
Reduce isomorphic transitions removed 159 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 127 transitions
Trivial Post-agglo rules discarded 127 transitions
Performed 127 trivial Post agglomeration. Transition count delta: 127
Iterating post reduction 6 with 445 rules applied. Total rules applied 3722 place count 1563 transition count 7575
Reduce places removed 127 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 125 transitions
Reduce isomorphic transitions removed 127 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 7 with 379 rules applied. Total rules applied 4101 place count 1436 transition count 7323
Reduce places removed 125 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 28 transitions
Ensure Unique test removed 97 transitions
Reduce isomorphic transitions removed 125 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 97 transitions
Trivial Post-agglo rules discarded 97 transitions
Performed 97 trivial Post agglomeration. Transition count delta: 97
Iterating post reduction 8 with 347 rules applied. Total rules applied 4448 place count 1311 transition count 7101
Reduce places removed 97 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 95 transitions
Reduce isomorphic transitions removed 97 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 9 with 289 rules applied. Total rules applied 4737 place count 1214 transition count 6909
Reduce places removed 95 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 24 transitions
Ensure Unique test removed 71 transitions
Reduce isomorphic transitions removed 95 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 261 rules applied. Total rules applied 4998 place count 1119 transition count 6743
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 5208 place count 1048 transition count 6604
Reduce places removed 68 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 20 transitions
Ensure Unique test removed 48 transitions
Reduce isomorphic transitions removed 68 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 12 with 184 rules applied. Total rules applied 5392 place count 980 transition count 6488
Reduce places removed 48 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 46 transitions
Reduce isomorphic transitions removed 48 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 46 transitions
Trivial Post-agglo rules discarded 46 transitions
Performed 46 trivial Post agglomeration. Transition count delta: 46
Iterating post reduction 13 with 142 rules applied. Total rules applied 5534 place count 932 transition count 6394
Reduce places removed 46 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 16 transitions
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 46 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 30 transitions
Trivial Post-agglo rules discarded 30 transitions
Performed 30 trivial Post agglomeration. Transition count delta: 30
Iterating post reduction 14 with 122 rules applied. Total rules applied 5656 place count 886 transition count 6318
Reduce places removed 30 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 30 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 28 transitions
Trivial Post-agglo rules discarded 28 transitions
Performed 28 trivial Post agglomeration. Transition count delta: 28
Iterating post reduction 15 with 88 rules applied. Total rules applied 5744 place count 856 transition count 6260
Reduce places removed 28 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 11 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 28 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 73 rules applied. Total rules applied 5817 place count 828 transition count 6215
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 5866 place count 811 transition count 6183
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 5904 place count 796 transition count 6160
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 5926 place count 788 transition count 6146
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 5940 place count 782 transition count 6138
Reduce places removed 2 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 21 with 6 rules applied. Total rules applied 5946 place count 780 transition count 6134
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 22 with 4 rules applied. Total rules applied 5950 place count 778 transition count 6132
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 19 Pre rules applied. Total rules applied 5950 place count 778 transition count 6113
Deduced a syphon composed of 19 places in 2 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 23 with 38 rules applied. Total rules applied 5988 place count 759 transition count 6113
Discarding 614 places :
Symmetric choice reduction at 23 with 614 rule applications. Total rules 6602 place count 145 transition count 779
Iterating global reduction 23 with 614 rules applied. Total rules applied 7216 place count 145 transition count 779
Ensure Unique test removed 524 transitions
Reduce isomorphic transitions removed 524 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 23 with 525 rules applied. Total rules applied 7741 place count 145 transition count 254
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 24 with 1 rules applied. Total rules applied 7742 place count 144 transition count 254
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 25 with 1 Pre rules applied. Total rules applied 7742 place count 144 transition count 253
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 25 with 2 rules applied. Total rules applied 7744 place count 143 transition count 253
Discarding 15 places :
Symmetric choice reduction at 25 with 15 rule applications. Total rules 7759 place count 128 transition count 209
Iterating global reduction 25 with 15 rules applied. Total rules applied 7774 place count 128 transition count 209
Discarding 15 places :
Symmetric choice reduction at 25 with 15 rule applications. Total rules 7789 place count 113 transition count 194
Iterating global reduction 25 with 15 rules applied. Total rules applied 7804 place count 113 transition count 194
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Deduced a syphon composed of 23 places in 0 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 25 with 46 rules applied. Total rules applied 7850 place count 90 transition count 171
Drop transitions (Empty/Sink Transition effects.) removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 25 with 15 rules applied. Total rules applied 7865 place count 90 transition count 156
Discarding 2 places :
Symmetric choice reduction at 26 with 2 rule applications. Total rules 7867 place count 88 transition count 150
Iterating global reduction 26 with 2 rules applied. Total rules applied 7869 place count 88 transition count 150
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 26 with 2 rules applied. Total rules applied 7871 place count 88 transition count 148
Free-agglomeration rule (complex) applied 19 times.
Iterating global reduction 26 with 19 rules applied. Total rules applied 7890 place count 88 transition count 129
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 26 with 19 rules applied. Total rules applied 7909 place count 69 transition count 129
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 27 with 4 rules applied. Total rules applied 7913 place count 69 transition count 129
Discarding 1 places :
Symmetric choice reduction at 27 with 1 rule applications. Total rules 7914 place count 68 transition count 120
Iterating global reduction 27 with 1 rules applied. Total rules applied 7915 place count 68 transition count 120
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 27 with 4 rules applied. Total rules applied 7919 place count 68 transition count 116
Applied a total of 7919 rules in 3330 ms. Remains 68 /2831 variables (removed 2763) and now considering 116/11584 (removed 11468) transitions.
Running SMT prover for 3 properties.
// Phase 1: matrix 116 rows 68 cols
[2024-05-25 02:01:38] [INFO ] Computed 23 invariants in 4 ms
[2024-05-25 02:01:38] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned sat
[2024-05-25 02:01:38] [INFO ] [Real]Absence check using 3 positive and 20 generalized place invariants in 3 ms returned sat
[2024-05-25 02:01:38] [INFO ] After 40ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-25 02:01:38] [INFO ] [Nat]Absence check using 3 positive place invariants in 1 ms returned sat
[2024-05-25 02:01:38] [INFO ] [Nat]Absence check using 3 positive and 20 generalized place invariants in 3 ms returned sat
[2024-05-25 02:01:38] [INFO ] After 35ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
TRAPS : Iteration 0
[2024-05-25 02:01:38] [INFO ] After 60ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
[2024-05-25 02:01:38] [INFO ] After 104ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
[2024-05-25 02:01:38] [INFO ] Flatten gal took : 8 ms
[2024-05-25 02:01:38] [INFO ] Flatten gal took : 5 ms
[2024-05-25 02:01:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10753192953407653625.gal : 3 ms
[2024-05-25 02:01:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9722684871366379724.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/ReachabilityCardinality10753192953407653625.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9722684871366379724.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/ReachabilityCardinality9722684871366379724.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 13
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :13 after 40
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :40 after 59
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :59 after 139
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :139 after 277
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :277 after 602
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :602 after 2082
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :2082 after 24156
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,37108,0.199919,9628,2,4866,13,16946,9,0,366,11290,0
Total reachable state count : 37108
Verifying 3 reachability properties.
Reachability property MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-02 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-02,1144,0.200587,9628,2,956,13,16946,9,0,368,11290,0
Reachability property MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-06 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-06,1144,0.201169,9892,2,954,13,16946,9,0,371,11290,0
Reachability property MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-11 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
MultiCrashLeafsetExtension-PT-S24C09-ReachabilityCardinality-2024-11,1144,0.202486,9892,2,896,13,16946,9,0,376,11290,0
Over-approximation ignoring read arcs solved 0 properties in 3731 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2024-05-25 02:01:39] [INFO ] Flatten gal took : 739 ms
[2024-05-25 02:01:39] [INFO ] Applying decomposition
[2024-05-25 02:01:40] [INFO ] Flatten gal took : 723 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/graph1967793831454290012.txt' '-o' '/tmp/graph1967793831454290012.bin' '-w' '/tmp/graph1967793831454290012.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph1967793831454290012.bin' '-l' '-1' '-v' '-w' '/tmp/graph1967793831454290012.weights' '-q' '0' '-e' '0.001'
[2024-05-25 02:01:42] [INFO ] Decomposing Gal with order
[2024-05-25 02:01:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 02:01:52] [INFO ] Removed a total of 15178 redundant transitions.
[2024-05-25 02:01:53] [INFO ] Flatten gal took : 5556 ms
[2024-05-25 02:01:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 312 labels/synchronizations in 317 ms.
[2024-05-25 02:01:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10522234291111103894.gal : 190 ms
[2024-05-25 02:01:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3914219372533475249.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/ReachabilityCardinality10522234291111103894.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3914219372533475249.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/ReachabilityCardinality3914219372533475249.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 9
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :9 after 13
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :13 after 15
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :15 after 16
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :16 after 45
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :45 after 47
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :47 after 50
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :50 after 51
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :51 after 55
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :55 after 59
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :59 after 67
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :67 after 79
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :79 after 244
SDD proceeding with computation,3 properties remain. new max is 65536
SDD size :244 after 304
SDD proceeding with computation,3 properties remain. new max is 131072
SDD size :304 after 406
SDD proceeding with computation,3 properties remain. new max is 262144
SDD size :406 after 944
SDD proceeding with computation,3 properties remain. new max is 524288
SDD size :944 after 1947
SDD proceeding with computation,3 properties remain. new max is 1048576
SDD size :1947 after 3756
Detected timeout of ITS tools.
[2024-05-25 02:31:57] [INFO ] Flatten gal took : 412 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin7196470615172059735
[2024-05-25 02:31:57] [INFO ] Too many transitions (11584) to apply POR reductions. Disabling POR matrices.
[2024-05-25 02:31:57] [INFO ] Built C files in 265ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7196470615172059735
[2024-05-25 02:31:57] [INFO ] Applying decomposition
Running compilation step : cd /tmp/ltsmin7196470615172059735;'/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 02:31:58] [INFO ] Flatten gal took : 374 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/graph8281353104842607354.txt' '-o' '/tmp/graph8281353104842607354.bin' '-w' '/tmp/graph8281353104842607354.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph8281353104842607354.bin' '-l' '-1' '-v' '-w' '/tmp/graph8281353104842607354.weights' '-q' '0' '-e' '0.001'
[2024-05-25 02:31:58] [INFO ] Decomposing Gal with order
[2024-05-25 02:31:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 02:32:01] [INFO ] Removed a total of 14244 redundant transitions.
[2024-05-25 02:32:02] [INFO ] Flatten gal took : 2758 ms
[2024-05-25 02:32:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 1295 labels/synchronizations in 304 ms.
[2024-05-25 02:32:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5971446820888557510.gal : 56 ms
[2024-05-25 02:32:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11198067039138412223.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/ReachabilityCardinality5971446820888557510.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11198067039138412223.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/ReachabilityCardinality11198067039138412223.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 29
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :29 after 35
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :35 after 50
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :50 after 58
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :58 after 66
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :66 after 74
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :74 after 88
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :88 after 97
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :97 after 114
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :114 after 138
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :138 after 204
Compilation finished in 87768 ms.
Running link step : cd /tmp/ltsmin7196470615172059735;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 106 ms.
Running LTSmin : cd /tmp/ltsmin7196470615172059735;'/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' 'MultiCrashLeafsetExtensionPTS24C09ReachabilityCardinality202402==true'
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :204 after 592
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :592 after 1024
WARNING : LTSmin timed out (>400 s) on command cd /tmp/ltsmin7196470615172059735;'/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' 'MultiCrashLeafsetExtensionPTS24C09ReachabilityCardinality202402==true'
Running LTSmin : cd /tmp/ltsmin7196470615172059735;'/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' 'MultiCrashLeafsetExtensionPTS24C09ReachabilityCardinality202406==true'
WARNING : LTSmin timed out (>400 s) on command cd /tmp/ltsmin7196470615172059735;'/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' 'MultiCrashLeafsetExtensionPTS24C09ReachabilityCardinality202406==true'
Running LTSmin : cd /tmp/ltsmin7196470615172059735;'/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' 'MultiCrashLeafsetExtensionPTS24C09ReachabilityCardinality202411==true'
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :1024 after 1393
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination 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-S24C09"
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-S24C09, 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-171654350900118"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C09.tgz
mv MultiCrashLeafsetExtension-PT-S24C09 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 ;