About the Execution of 2025-gold for HypercubeGrid-PT-C5K3P3B15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16170.575 | 3600000.00 | 4163000.00 | 31737.30 | ? 1 ? 1 1 1 ? ? ? ? 1 1 ? 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r175-smll-177961111800003.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool gold2025
Input is HypercubeGrid-PT-C5K3P3B15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-smll-177961111800003
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 8.4K Mar 7 15:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Mar 7 15:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 7 15:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Mar 7 15:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.0K Mar 15 10:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 10:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 15 10:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 10:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 7 15:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Mar 7 15:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Mar 7 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Mar 7 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 10:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rwxr-xr-x 1 mcc users 14M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-00
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-01
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-02
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-03
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-04
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-05
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-06
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-07
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-08
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-09
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-10
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-11
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-12
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-13
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-14
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1779731582431
Invoking MCC driver with
GOLD_TOOL=
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C5K3P3B15
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202505121319
[2026-05-25 17:53:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 17:53:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 17:53:06] [INFO ] Load time of PNML (sax parser for PT used): 1189 ms
[2026-05-25 17:53:06] [INFO ] Transformed 9153 places.
[2026-05-25 17:53:06] [INFO ] Transformed 25110 transitions.
[2026-05-25 17:53:06] [INFO ] Parsed PT model containing 9153 places and 25110 transitions and 100440 arcs in 1644 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 19 ms.
Current structural bounds on expressions (Initially) : Max Seen:[3, 0, 3, 0, 1, 0, 3, 3, 3, 3, 1, 0, 3, 1, 0, 1] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
Current structural bounds on expressions (Before main loop) : Max Seen:[3, 0, 3, 0, 1, 0, 3, 3, 3, 3, 1, 0, 3, 1, 0, 1] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
// Phase 1: matrix 25110 rows 9153 cols
[2026-05-25 17:53:08] [INFO ] Computed 3484 invariants in 1742 ms
Current structural bounds on expressions (after invariants) : Max Seen:[3, 0, 3, 0, 1, 0, 3, 3, 3, 3, 1, 0, 3, 1, 0, 1] Max Struct:[45, 1, 45, 1, 1, 1, 45, 45, 45, 45, 1, 1, 45, 1, 1, 1]
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 10000 steps (2 resets) in 10976 ms. (0 steps per ms)
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 70007 steps (14 resets) in 8643 ms. (8 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[4, 3, 5, 3, 4, 4, 3] Max Struct:[45, 45, 45, 45, 45, 45, 45]
[2026-05-25 17:53:28] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:53:32] [INFO ] [Real]Absence check using 3483 positive place invariants in 1915 ms returned sat
[2026-05-25 17:53:33] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:53:33] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 743 ms returned unknown
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:53:36] [INFO ] [Real]Absence check using 3483 positive place invariants in 1528 ms returned sat
[2026-05-25 17:53:38] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:53:38] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1226 ms returned sat
[2026-05-25 17:53:38] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:53:42] [INFO ] [Real]Absence check using 3483 positive place invariants in 1817 ms returned sat
[2026-05-25 17:53:43] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:53:43] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1198 ms returned sat
[2026-05-25 17:53:43] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:53:46] [INFO ] [Real]Absence check using 3483 positive place invariants in 1690 ms returned sat
[2026-05-25 17:53:48] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:53:48] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1451 ms returned sat
[2026-05-25 17:53:48] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:53:51] [INFO ] [Real]Absence check using 3483 positive place invariants in 1424 ms returned sat
[2026-05-25 17:53:52] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:53:52] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1355 ms returned sat
[2026-05-25 17:53:53] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:53:56] [INFO ] [Real]Absence check using 3483 positive place invariants in 1686 ms returned sat
[2026-05-25 17:53:58] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:53:58] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1475 ms returned sat
[2026-05-25 17:53:58] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2026-05-25 17:54:01] [INFO ] [Real]Absence check using 3483 positive place invariants in 1476 ms returned sat
[2026-05-25 17:54:03] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 17:54:03] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1201 ms returned sat
[2026-05-25 17:54:03] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Current structural bounds on expressions (after SMT) : Max Seen:[4, 3, 5, 3, 4, 4, 3] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[4, 3, 5, 3, 4, 4, 3] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Support contains 7 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2817 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2840 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2026-05-25 17:54:06] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[4, 3, 5, 3, 4, 4, 3] Max Struct:[45, 45, 45, 45, 45, 45, 45]
RANDOM walk for 29436 steps (0 resets) in 30001 ms. (0 steps per ms)
BEST_FIRST walk for 347823 steps (0 resets) in 35507 ms. (9 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[5, 6, 6, 4, 6, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
[2026-05-25 17:55:12] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:55:15] [INFO ] [Real]Absence check using 3483 positive place invariants in 1505 ms returned sat
[2026-05-25 17:55:16] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1210 ms returned sat
[2026-05-25 17:55:33] [INFO ] [Real]Absence check using state equation in 16624 ms returned sat
[2026-05-25 17:55:37] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1576 ms.
[2026-05-25 17:55:37] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:55:40] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1440 ms returned sat
[2026-05-25 17:55:41] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1218 ms returned sat
[2026-05-25 17:56:05] [INFO ] [Nat]Absence check using state equation in 23251 ms returned sat
[2026-05-25 17:56:08] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1573 ms.
Minimization took 5947 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:56:17] [INFO ] [Real]Absence check using 3483 positive place invariants in 1560 ms returned sat
[2026-05-25 17:56:18] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1208 ms returned sat
[2026-05-25 17:56:36] [INFO ] [Real]Absence check using state equation in 17564 ms returned sat
[2026-05-25 17:56:39] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1547 ms.
[2026-05-25 17:56:39] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:56:42] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1600 ms returned sat
[2026-05-25 17:56:44] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1180 ms returned sat
[2026-05-25 17:57:03] [INFO ] [Nat]Absence check using state equation in 19322 ms returned sat
[2026-05-25 17:57:06] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1649 ms.
Minimization took 5717 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:57:15] [INFO ] [Real]Absence check using 3483 positive place invariants in 1459 ms returned sat
[2026-05-25 17:57:16] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1205 ms returned sat
[2026-05-25 17:57:33] [INFO ] [Real]Absence check using state equation in 17636 ms returned sat
[2026-05-25 17:57:37] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1519 ms.
[2026-05-25 17:57:37] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:57:40] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1844 ms returned sat
[2026-05-25 17:57:41] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1213 ms returned sat
[2026-05-25 17:58:01] [INFO ] [Nat]Absence check using state equation in 19332 ms returned sat
[2026-05-25 17:58:03] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1661 ms.
Minimization took 5931 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:58:12] [INFO ] [Real]Absence check using 3483 positive place invariants in 1425 ms returned sat
[2026-05-25 17:58:14] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1399 ms returned sat
[2026-05-25 17:58:31] [INFO ] [Real]Absence check using state equation in 17402 ms returned sat
[2026-05-25 17:58:35] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1480 ms.
[2026-05-25 17:58:35] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:58:38] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1722 ms returned sat
[2026-05-25 17:58:39] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1222 ms returned sat
[2026-05-25 17:59:01] [INFO ] [Nat]Absence check using state equation in 21366 ms returned sat
[2026-05-25 17:59:04] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1852 ms.
Minimization took 5921 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:59:13] [INFO ] [Real]Absence check using 3483 positive place invariants in 1438 ms returned sat
[2026-05-25 17:59:14] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1426 ms returned sat
[2026-05-25 17:59:31] [INFO ] [Real]Absence check using state equation in 17292 ms returned sat
[2026-05-25 17:59:35] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1513 ms.
[2026-05-25 17:59:35] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 17:59:38] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1477 ms returned sat
[2026-05-25 17:59:40] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1204 ms returned sat
[2026-05-25 18:00:03] [INFO ] [Nat]Absence check using state equation in 23118 ms returned sat
[2026-05-25 18:00:05] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1700 ms.
Minimization took 5800 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:00:14] [INFO ] [Real]Absence check using 3483 positive place invariants in 1627 ms returned sat
[2026-05-25 18:00:16] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1232 ms returned sat
[2026-05-25 18:00:33] [INFO ] [Real]Absence check using state equation in 17522 ms returned sat
[2026-05-25 18:00:37] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1538 ms.
[2026-05-25 18:00:37] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:00:40] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1631 ms returned sat
[2026-05-25 18:00:41] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1199 ms returned sat
[2026-05-25 18:01:04] [INFO ] [Nat]Absence check using state equation in 22435 ms returned sat
[2026-05-25 18:01:07] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1711 ms.
Minimization took 5981 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:01:16] [INFO ] [Real]Absence check using 3483 positive place invariants in 1603 ms returned sat
[2026-05-25 18:01:17] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1191 ms returned sat
[2026-05-25 18:01:36] [INFO ] [Real]Absence check using state equation in 19192 ms returned sat
[2026-05-25 18:01:40] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1668 ms.
[2026-05-25 18:01:40] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:01:43] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1560 ms returned sat
[2026-05-25 18:01:44] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1215 ms returned sat
[2026-05-25 18:02:06] [INFO ] [Nat]Absence check using state equation in 21882 ms returned sat
[2026-05-25 18:02:09] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1657 ms.
Minimization took 5944 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[5, 6, 6, 4, 6, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[5, 6, 6, 4, 6, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Support contains 7 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 3037 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3043 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2020 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 18:02:20] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2026-05-25 18:02:43] [INFO ] Implicit Places using invariants in 22699 ms returned []
Implicit Place search using SMT only with invariants took 22701 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2026-05-25 18:02:43] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 1.0)
(s2681 1.0)
(s2682 1.0)
(s2683 1.0)
(s2684 1.0)
(s2685 1.0)
(s2686 1.0)
(s2687 1.0)
(s2688 1.0)
(s2689 1.0)
(s2690 1.0)
(s2691 1.0)
(s2692 0.0)
(s2693 0.0)
(s2694 0.0)
(s2695 0.0)
(s2696 0.0)
(s2697 0.0)
(s2698 0.0)
(s2699 0.0)
(s2700 0.0)
(s2701 0.0)
(s2702 0.0)
(s2703 0.0)
(s2704 0.0)
(s2705 0.0)
(s2706 0.0)
(s2707 0.0)
(s2708 0.0)
(s2709 0.0)
(s2710 0.0)
(s2711 0.0)
(s2712 0.0)
(s2713 0.0)
(s2714 0.0)
(s2715 0.0)
(s2716 0.0)
(s2717 0.0)
(s2718 0.0)
(s2719 0.0)
(s2720 0.0)
(s2721 0.0)
(s2722 0.0)
(s2723 0.0)
(s2724 0.0)
(s2725 0.0)
(s2726 0.0)
(s2727 0.0)
(s2728 0.0)
(s2729 0.0)
(s2730 0.0)
(s2731 0.0)
(s2732 0.0)
(s2733 0.0)
(s2734 0.0)
(s2735 0.0)
(s2736 0.0)
(s2737 0.0)
(s2738 0.0)
(s2739 0.0)
(s2740 0.0)
(s2741 0.0)
(s2742 0.0)
(s2743 0.0)
(s2744 0.0)
(s2745 0.0)
(s2746 0.0)
(s2747 0.0)
(s2748 0.0)
(s2749 0.0)
(s2750 0.0)
(s2751 0.0)
(s2752 0.0)
(s2753 0.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3024 1.0)
(s3025 1.0)
(s3026 1.0)
(s3027 1.0)
(s3028 1.0)
(s3029 1.0)
(s3030 1.0)
(s3031 1.0)
(s3032 1.0)
(s3033 1.0)
(s3034 1.0)
(s3035 1.0)
(s3036 1.0)
(s3037 1.0)
(s3038 1.0)
(s3039 1.0)
(s3040 1.0)
(s3041 1.0)
(s3042 1.0)
(s3043 1.0)
(s3044 1.0)
(s3045 1.0)
(s3046 1.0)
(s3047 1.0)
(s3048 1.0)
(s3049 1.0)
(s3050 1.0)
(s3051 1.0)
(s3052 1.0)
(s3053 1.0)
(s3054 1.0)
(s3055 1.0)
(s3056 1.0)
(s3057 1.0)
(s3058 1.0)
(s3059 1.0)
(s3060 1.0)
(s3061 1.0)
(s3062 1.0)
(s3063 1.0)
(s3064 1.0)
(s3065 1.0)
(s3066 1.0)
(s3067 1.0)
(s3068 1.0)
(s3069 1.0)
(s3070 1.0)
(s3071 1.0)
(s3072 1.0)
(s3073 1.0)
(s3074 1.0)
(s3075 1.0)
(s3076 1.0)
(s3077 1.0)
(s3078 1.0)
(s3079 1.0)
(s3080 1.0)
(s3081 1.0)
(s3082 1.0)
(s3083 1.0)
(s3084 1.0)
(s3085 1.0)
(s3086 1.0)
(s3087 1.0)
(s3088 1.0)
(s3089 1.0)
(s3090 1.0)
(s3091 1.0)
(s3092 1.0)
(s3093 1.0)
(s3094 1.0)
(s3095 1.0)
(s3096 1.0)
(s3097 1.0)
(s3098 1.0)
(s3099 1.0)
(s3100 1.0)
(s3101 1.0)
(s3102 1.0)
(s3103 1.0)
(s3104 1.0)
(s3105 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3109 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30764 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30565 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 135219ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 135383ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 160209 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2026-05-25 18:04:58] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[5, 6, 6, 4, 6, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
RANDOM walk for 29752 steps (0 resets) in 30001 ms. (0 steps per ms)
BEST_FIRST walk for 344960 steps (0 resets) in 35551 ms. (9 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[5, 6, 6, 5, 7, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
[2026-05-25 18:06:04] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:06:07] [INFO ] [Real]Absence check using 3483 positive place invariants in 1687 ms returned sat
[2026-05-25 18:06:09] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1328 ms returned sat
[2026-05-25 18:06:27] [INFO ] [Real]Absence check using state equation in 18484 ms returned sat
[2026-05-25 18:06:31] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1687 ms.
[2026-05-25 18:06:31] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:06:34] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1456 ms returned sat
[2026-05-25 18:06:35] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1215 ms returned sat
[2026-05-25 18:06:55] [INFO ] [Nat]Absence check using state equation in 19639 ms returned sat
[2026-05-25 18:06:58] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1639 ms.
Minimization took 5858 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:07:07] [INFO ] [Real]Absence check using 3483 positive place invariants in 1840 ms returned sat
[2026-05-25 18:07:08] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1190 ms returned sat
[2026-05-25 18:07:27] [INFO ] [Real]Absence check using state equation in 19095 ms returned sat
[2026-05-25 18:07:30] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1567 ms.
[2026-05-25 18:07:30] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:07:33] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1524 ms returned sat
[2026-05-25 18:07:35] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1226 ms returned sat
[2026-05-25 18:07:55] [INFO ] [Nat]Absence check using state equation in 20379 ms returned sat
[2026-05-25 18:07:58] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1560 ms.
Minimization took 5833 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:08:06] [INFO ] [Real]Absence check using 3483 positive place invariants in 1451 ms returned sat
[2026-05-25 18:08:08] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1245 ms returned sat
[2026-05-25 18:08:27] [INFO ] [Real]Absence check using state equation in 19326 ms returned sat
[2026-05-25 18:08:30] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1555 ms.
[2026-05-25 18:08:30] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:08:33] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1475 ms returned sat
[2026-05-25 18:08:35] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1415 ms returned sat
[2026-05-25 18:08:55] [INFO ] [Nat]Absence check using state equation in 20990 ms returned sat
[2026-05-25 18:08:58] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1726 ms.
Minimization took 6080 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:09:08] [INFO ] [Real]Absence check using 3483 positive place invariants in 1457 ms returned sat
[2026-05-25 18:09:09] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1222 ms returned sat
[2026-05-25 18:09:31] [INFO ] [Real]Absence check using state equation in 22369 ms returned sat
[2026-05-25 18:09:35] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1606 ms.
[2026-05-25 18:09:35] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:09:38] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1551 ms returned sat
[2026-05-25 18:09:39] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1261 ms returned sat
[2026-05-25 18:10:02] [INFO ] [Nat]Absence check using state equation in 22668 ms returned sat
[2026-05-25 18:10:05] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1780 ms.
Minimization took 5968 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:10:14] [INFO ] [Real]Absence check using 3483 positive place invariants in 1636 ms returned sat
[2026-05-25 18:10:15] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1255 ms returned sat
[2026-05-25 18:10:36] [INFO ] [Real]Absence check using state equation in 20778 ms returned sat
[2026-05-25 18:10:40] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1729 ms.
[2026-05-25 18:10:40] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:10:43] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1674 ms returned sat
[2026-05-25 18:10:44] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1226 ms returned sat
[2026-05-25 18:11:07] [INFO ] [Nat]Absence check using state equation in 23168 ms returned sat
[2026-05-25 18:11:11] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1674 ms.
Minimization took 6551 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:11:20] [INFO ] [Real]Absence check using 3483 positive place invariants in 1665 ms returned sat
[2026-05-25 18:11:22] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1209 ms returned sat
[2026-05-25 18:11:39] [INFO ] [Real]Absence check using state equation in 17747 ms returned sat
[2026-05-25 18:11:43] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1565 ms.
[2026-05-25 18:11:43] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:11:46] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1471 ms returned sat
[2026-05-25 18:11:47] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1239 ms returned sat
[2026-05-25 18:12:09] [INFO ] [Nat]Absence check using state equation in 21843 ms returned sat
[2026-05-25 18:12:12] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1707 ms.
Minimization took 5970 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:12:22] [INFO ] [Real]Absence check using 3483 positive place invariants in 1747 ms returned sat
[2026-05-25 18:12:23] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1378 ms returned sat
[2026-05-25 18:12:45] [INFO ] [Real]Absence check using state equation in 22114 ms returned sat
[2026-05-25 18:12:49] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1604 ms.
[2026-05-25 18:12:49] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:12:52] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1633 ms returned sat
[2026-05-25 18:12:54] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1221 ms returned sat
[2026-05-25 18:13:17] [INFO ] [Nat]Absence check using state equation in 23323 ms returned sat
[2026-05-25 18:13:20] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1780 ms.
Minimization took 6263 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[5, 6, 6, 5, 7, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[5, 6, 6, 5, 7, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Support contains 7 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2093 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2093 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2032 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 18:13:30] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2026-05-25 18:13:53] [INFO ] Implicit Places using invariants in 22523 ms returned []
Implicit Place search using SMT only with invariants took 22524 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2026-05-25 18:13:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30327 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30512 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 141447ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 141508ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 166124 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2026-05-25 18:16:14] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[5, 6, 6, 5, 7, 4, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
RANDOM walk for 28593 steps (0 resets) in 30001 ms. (0 steps per ms)
BEST_FIRST walk for 340047 steps (0 resets) in 35289 ms. (9 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[7, 6, 6, 5, 7, 5, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
[2026-05-25 18:17:20] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:17:23] [INFO ] [Real]Absence check using 3483 positive place invariants in 1674 ms returned sat
[2026-05-25 18:17:24] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1304 ms returned sat
[2026-05-25 18:17:46] [INFO ] [Real]Absence check using state equation in 21665 ms returned sat
[2026-05-25 18:17:50] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1582 ms.
[2026-05-25 18:17:50] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:17:54] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1792 ms returned sat
[2026-05-25 18:17:55] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1220 ms returned sat
[2026-05-25 18:18:19] [INFO ] [Nat]Absence check using state equation in 24599 ms returned sat
[2026-05-25 18:18:23] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1911 ms.
Minimization took 6244 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:18:32] [INFO ] [Real]Absence check using 3483 positive place invariants in 1834 ms returned sat
[2026-05-25 18:18:33] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1241 ms returned sat
[2026-05-25 18:18:55] [INFO ] [Real]Absence check using state equation in 21818 ms returned sat
[2026-05-25 18:18:59] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1556 ms.
[2026-05-25 18:18:59] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:19:02] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1709 ms returned sat
[2026-05-25 18:19:03] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1276 ms returned sat
[2026-05-25 18:19:27] [INFO ] [Nat]Absence check using state equation in 23369 ms returned sat
[2026-05-25 18:19:30] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1589 ms.
Minimization took 6032 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:19:39] [INFO ] [Real]Absence check using 3483 positive place invariants in 1537 ms returned sat
[2026-05-25 18:19:40] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1231 ms returned sat
[2026-05-25 18:20:04] [INFO ] [Real]Absence check using state equation in 24262 ms returned sat
[2026-05-25 18:20:08] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1856 ms.
[2026-05-25 18:20:08] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:20:11] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1691 ms returned sat
[2026-05-25 18:20:13] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1211 ms returned sat
[2026-05-25 18:20:33] [INFO ] [Nat]Absence check using state equation in 20016 ms returned sat
[2026-05-25 18:20:36] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1809 ms.
Minimization took 6042 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:20:45] [INFO ] [Real]Absence check using 3483 positive place invariants in 1502 ms returned sat
[2026-05-25 18:20:46] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1241 ms returned sat
[2026-05-25 18:21:06] [INFO ] [Real]Absence check using state equation in 19892 ms returned sat
[2026-05-25 18:21:10] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1629 ms.
[2026-05-25 18:21:10] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:21:13] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1580 ms returned sat
[2026-05-25 18:21:14] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1295 ms returned sat
[2026-05-25 18:21:34] [INFO ] [Nat]Absence check using state equation in 19804 ms returned sat
[2026-05-25 18:21:37] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1525 ms.
Minimization took 5903 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:21:45] [INFO ] [Real]Absence check using 3483 positive place invariants in 1464 ms returned sat
[2026-05-25 18:21:47] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1205 ms returned sat
[2026-05-25 18:22:05] [INFO ] [Real]Absence check using state equation in 18413 ms returned sat
[2026-05-25 18:22:09] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1596 ms.
[2026-05-25 18:22:09] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:22:12] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1548 ms returned sat
[2026-05-25 18:22:13] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1240 ms returned sat
[2026-05-25 18:22:36] [INFO ] [Nat]Absence check using state equation in 23225 ms returned sat
[2026-05-25 18:22:39] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1657 ms.
Minimization took 6065 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:22:48] [INFO ] [Real]Absence check using 3483 positive place invariants in 1533 ms returned sat
[2026-05-25 18:22:49] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1272 ms returned sat
[2026-05-25 18:23:12] [INFO ] [Real]Absence check using state equation in 22615 ms returned sat
[2026-05-25 18:23:16] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1623 ms.
[2026-05-25 18:23:16] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:23:19] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1532 ms returned sat
[2026-05-25 18:23:20] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1238 ms returned sat
[2026-05-25 18:23:42] [INFO ] [Nat]Absence check using state equation in 22482 ms returned sat
[2026-05-25 18:23:45] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1785 ms.
Minimization took 6157 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:23:55] [INFO ] [Real]Absence check using 3483 positive place invariants in 1584 ms returned sat
[2026-05-25 18:23:56] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1201 ms returned sat
[2026-05-25 18:24:14] [INFO ] [Real]Absence check using state equation in 17996 ms returned sat
[2026-05-25 18:24:18] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1589 ms.
[2026-05-25 18:24:18] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:24:21] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1905 ms returned sat
[2026-05-25 18:24:22] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1268 ms returned sat
[2026-05-25 18:24:48] [INFO ] [Nat]Absence check using state equation in 25312 ms returned sat
[2026-05-25 18:24:51] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1791 ms.
Minimization took 6035 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[7, 6, 6, 5, 7, 5, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[7, 6, 6, 5, 7, 5, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Support contains 7 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2198 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2198 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1980 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 18:25:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2026-05-25 18:25:25] [INFO ] Implicit Places using invariants in 24038 ms returned []
Implicit Place search using SMT only with invariants took 24042 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2026-05-25 18:25:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 0.0)
(s2681 0.0)
(s2682 0.0)
(s2683 0.0)
(s2684 0.0)
(s2685 0.0)
(s2686 0.0)
(s2687 0.0)
(s2688 0.0)
(s2689 0.0)
(s2690 0.0)
(s2691 0.0)
(s2692 0.0)
(s2693 0.0)
(s2694 0.0)
(s2695 0.0)
(s2696 0.0)
(s2697 0.0)
(s2698 0.0)
(s2699 0.0)
(s2700 0.0)
(s2701 0.0)
(s2702 0.0)
(s2703 0.0)
(s2704 0.0)
(s2705 0.0)
(s2706 0.0)
(s2707 0.0)
(s2708 0.0)
(s2709 0.0)
(s2710 0.0)
(s2711 0.0)
(s2712 0.0)
(s2713 0.0)
(s2714 0.0)
(s2715 0.0)
(s2716 0.0)
(s2717 0.0)
(s2718 0.0)
(s2719 0.0)
(s2720 0.0)
(s2721 0.0)
(s2722 0.0)
(s2723 0.0)
(s2724 0.0)
(s2725 0.0)
(s2726 0.0)
(s2727 0.0)
(s2728 0.0)
(s2729 0.0)
(s2730 0.0)
(s2731 0.0)
(s2732 0.0)
(s2733 0.0)
(s2734 0.0)
(s2735 0.0)
(s2736 0.0)
(s2737 0.0)
(s2738 0.0)
(s2739 0.0)
(s2740 0.0)
(s2741 0.0)
(s2742 0.0)
(s2743 0.0)
(s2744 0.0)
(s2745 0.0)
(s2746 0.0)
(s2747 0.0)
(s2748 0.0)
(s2749 0.0)
(s2750 0.0)
(s2751 0.0)
(s2752 0.0)
(s2753 0.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3024 1.0)
(s3025 1.0)
(s3026 1.0)
(s3027 1.0)
(s3028 1.0)
(s3029 1.0)
(s3030 1.0)
(s3031 1.0)
(s3032 1.0)
(s3033 1.0)
(s3034 1.0)
(s3035 1.0)
(s3036 1.0)
(s3037 1.0)
(s3038 1.0)
(s3039 1.0)
(s3040 1.0)
(s3041 1.0)
(s3042 1.0)
(s3043 1.0)
(s3044 1.0)
(s3045 1.0)
(s3046 1.0)
(s3047 1.0)
(s3048 1.0)
(s3049 1.0)
(s3050 1.0)
(s3051 1.0)
(s3052 1.0)
(s3053 1.0)
(s3054 1.0)
(s3055 1.0)
(s3056 1.0)
(s3057 1.0)
(s3058 1.0)
(s3059 1.0)
(s3060 1.0)
(s3061 1.0)
(s3062 1.0)
(s3063 1.0)
(s3064 1.0)
(s3065 1.0)
(s3066 1.0)
(s3067 1.0)
(s3068 1.0)
(s3069 1.0)
(s3070 1.0)
(s3071 1.0)
(s3072 1.0)
(s3073 1.0)
(s3074 1.0)
(s3075 1.0)
(s3076 1.0)
(s3077 1.0)
(s3078 1.0)
(s3079 1.0)
(s3080 1.0)
(s3081 1.0)
(s3082 1.0)
(s3083 1.0)
(s3084 1.0)
(s3085 1.0)
(s3086 1.0)
(s3087 1.0)
(s3088 1.0)
(s3089 1.0)
(s3090 1.0)
(s3091 1.0)
(s3092 1.0)
(s3093 1.0)
(s3094 1.0)
(s3095 1.0)
(s3096 1.0)
(s3097 1.0)
(s3098 1.0)
(s3099 1.0)
(s3100 1.0)
(s3101 1.0)
(s3102 1.0)
(s3103 1.0)
(s3104 1.0)
(s3105 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3109 0.0)
(s3110 0.0)
(s3111 0.0)
(s3112 0.0)
(s3113 0.0)
(s3114 0.0)
(s3115 0.0)
(s3116 0.0)
(s3117 0.0)
(s3118 0.0)
(s3119 0.0)
(s3120 0.0)
(s3121 0.0)
(s3122 0.0)
(s3123 0.0)
(s3124 0.0)
(s3125 0.0)
(s3126 0.0)
(s3127 0.0)
(s3128 0.0)
(s3129 0.0)
(s3130 0.0)
(s3131 0.0)
(s3132 1.0)
(s3133 1.0)
(s3134 1.0)
(s3135 1.0)
(s3136 1.0)
(s3137 1.0)
(s3138 1.0)
(s3139 1.0)
(s3140 1.0)
(s3141 1.0)
(s3142 1.0)
(s3143 1.0)
(s3144 1.0)
(s3145 1.0)
(s3146 1.0)
(s3147 1.0)
(s3148 1.0)
(s3149 1.0)
(s3150 1.0)
(s3151 1.0)
(s3152 1.0)
(s3153 1.0)
(s3154 1.0)
(s3155 1.0)
(s3156 1.0)
(s3157 1.0)
(s3158 1.0)
(s3159 1.0)
(s3160 1.0)
(s3161 1.0)
(s3162 1.0)
(s3163 1.0)
(s3164 1.0)
(s3165 1.0)
(s3166 1.0)
(s3167 1.0)
(s3168 1.0)
(s3169 1.0)
(s3170 1.0)
(s3171 1.0)
(s3172 1.0)
(s3173 1.0)
(s3174 1.0)
(s3175 1.0)
(s3176 1.0)
(s3177 1.0)
(s3178 1.0)
(s3179 1.0)
(s3180 1.0)
(s3181 1.0)
(s3182 1.0)
(s3183 1.0)
(s3184 1.0)
(s3185 1.0)
(s3186 1.0)
(s3187 1.0)
(s3188 1.0)
(s3189 1.0)
(s3190 1.0)
(s3191 1.0)
(s3192 1.0)
(s3193 1.0)
(s3194 1.0)
(s3195 1.0)
(s3196 1.0)
(s3197 1.0)
(s3198 1.0)
(s3199 1.0)
(s3200 1.0)
(s3201 1.0)
(s3202 1.0)
(s3203 1.0)
(s3204 1.0)
(s3205 1.0)
(s3206 1.0)
(s3207 1.0)
(s3208 1.0)
(s3209 1.0)
(s3210 1.0)
(s3211 1.0)
(s3212 1.0)
(s3213 0.0)
(s3214 0.0)
(s3215 0.0)
(s3216 0.0)
(s3217 0.0)
(s3218 0.0)
(s3219 0.0)
(s3220 0.0)
(s3221 0.0)
(s3222 0.0)
(s3223 0.0)
(s3224 0.0)
(s3225 0.0)
(s3226 0.0)
(s3227 0.0)
(s3228 0.0)
(s3229 0.0)
(s3230 0.0)
(s3231 0.0)
(s3232 0.0)
(s3233 0.0)
(s3234 0.0)
(s3235 0.0)
(s3236 0.0)
(s3237 0.0)
(s3238 0.0)
(s3239 0.0)
(s3240 1.0)
(s3241 1.0)
(s3242 1.0)
(s3243 1.0)
(s3244 1.0)
(s3245 1.0)
(s3246 1.0)
(s3247 1.0)
(s3248 1.0)
(s3249 1.0)
(s3250 1.0)
(s3251 1.0)
(s3252 1.0)
(s3253 1.0)
(s3254 1.0)
(s3255 1.0)
(s3256 1.0)
(s3257 1.0)
(s3258 1.0)
(s3259 1.0)
(s3260 1.0)
(s3261 1.0)
(s3262 1.0)
(s3263 1.0)
(s3264 1.0)
(s3265 1.0)
(s3266 1.0)
(s3267 1.0)
(s3268 1.0)
(s3269 1.0)
(s3270 1.0)
(s3271 1.0)
(s3272 1.0)
(s3273 1.0)
(s3274 1.0)
(s3275 1.0)
(s3276 1.0)
(s3277 1.0)
(s3278 1.0)
(s3279 1.0)
(s3280 1.0)
(s3281 1.0)
(s3282 1.0)
(s3283 1.0)
(s3284 1.0)
(s3285 1.0)
(s3286 1.0)
(s3287 1.0)
(s3288 1.0)
(s3289 1.0)
(s3290 1.0)
(s3291 1.0)
(s3292 1.0)
(s3293 1.0)
(s3294 1.0)
(s3295 1.0)
(s3296 1.0)
(s3297 1.0)
(s3298 1.0)
(s3299 1.0)
(s3300 1.0)
(s3301 1.0)
(s3302 1.0)
(s3303 1.0)
(s3304 1.0)
(s3305 1.0)
(s3306 1.0)
(s3307 1.0)
(s3308 1.0)
(s3309 1.0)
(s3310 1.0)
(s3311 1.0)
(s3312 1.0)
(s3313 1.0)
(s3314 1.0)
(s3315 1.0)
(s3316 1.0)
(s3317 1.0)
(s3318 1.0)
(s3319 1.0)
(s3320 1.0)
(s3321 0.0)
(s3322 0.0)
(s3323 0.0)
(s3324 0.0)
(s3325 0.0)
(s3326 0.0)
(s3327 0.0)
(s3328 0.0)
(s3329 0.0)
(s3330 1.0)
(s3331 1.0)
(s3332 1.0)
(s3333 1.0)
(s3334 timeout
1.0 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30578 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30325 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 138181ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 138225ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 164283 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2026-05-25 18:27:43] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[7, 6, 6, 5, 7, 5, 5] Max Struct:[45, 45, 45, 45, 45, 45, 45]
RANDOM walk for 29627 steps (0 resets) in 30001 ms. (0 steps per ms)
BEST_FIRST walk for 365198 steps (0 resets) in 35393 ms. (10 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
[2026-05-25 18:28:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:28:52] [INFO ] [Real]Absence check using 3483 positive place invariants in 1568 ms returned sat
[2026-05-25 18:28:53] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1295 ms returned sat
[2026-05-25 18:29:16] [INFO ] [Real]Absence check using state equation in 22469 ms returned sat
[2026-05-25 18:29:20] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1877 ms.
[2026-05-25 18:29:20] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:29:23] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1498 ms returned sat
[2026-05-25 18:29:24] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1273 ms returned sat
[2026-05-25 18:29:46] [INFO ] [Nat]Absence check using state equation in 22164 ms returned sat
[2026-05-25 18:29:49] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1727 ms.
Minimization took 6461 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:29:59] [INFO ] [Real]Absence check using 3483 positive place invariants in 1496 ms returned sat
[2026-05-25 18:30:00] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1281 ms returned sat
[2026-05-25 18:30:21] [INFO ] [Real]Absence check using state equation in 20573 ms returned sat
[2026-05-25 18:30:25] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1603 ms.
[2026-05-25 18:30:25] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:30:28] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1593 ms returned sat
[2026-05-25 18:30:29] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1239 ms returned sat
[2026-05-25 18:30:53] [INFO ] [Nat]Absence check using state equation in 23792 ms returned sat
[2026-05-25 18:30:56] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1794 ms.
Minimization took 6106 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:31:05] [INFO ] [Real]Absence check using 3483 positive place invariants in 1566 ms returned sat
[2026-05-25 18:31:06] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1313 ms returned sat
[2026-05-25 18:31:27] [INFO ] [Real]Absence check using state equation in 20862 ms returned sat
[2026-05-25 18:31:31] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1738 ms.
[2026-05-25 18:31:31] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:31:34] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1553 ms returned sat
[2026-05-25 18:31:35] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1300 ms returned sat
[2026-05-25 18:31:55] [INFO ] [Nat]Absence check using state equation in 20028 ms returned sat
[2026-05-25 18:31:58] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1548 ms.
Minimization took 6032 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:32:07] [INFO ] [Real]Absence check using 3483 positive place invariants in 1556 ms returned sat
[2026-05-25 18:32:08] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1234 ms returned sat
[2026-05-25 18:32:27] [INFO ] [Real]Absence check using state equation in 18811 ms returned sat
[2026-05-25 18:32:31] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1758 ms.
[2026-05-25 18:32:31] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:32:34] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1608 ms returned sat
[2026-05-25 18:32:35] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1278 ms returned sat
[2026-05-25 18:32:56] [INFO ] [Nat]Absence check using state equation in 21178 ms returned sat
[2026-05-25 18:32:59] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1635 ms.
Minimization took 6082 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:33:08] [INFO ] [Real]Absence check using 3483 positive place invariants in 1700 ms returned sat
[2026-05-25 18:33:10] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1277 ms returned sat
[2026-05-25 18:33:30] [INFO ] [Real]Absence check using state equation in 20190 ms returned sat
[2026-05-25 18:33:33] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1556 ms.
[2026-05-25 18:33:33] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:33:37] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1757 ms returned sat
[2026-05-25 18:33:38] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1247 ms returned sat
[2026-05-25 18:34:00] [INFO ] [Nat]Absence check using state equation in 22399 ms returned sat
[2026-05-25 18:34:03] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1694 ms.
Minimization took 6146 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:34:12] [INFO ] [Real]Absence check using 3483 positive place invariants in 1615 ms returned sat
[2026-05-25 18:34:14] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1228 ms returned sat
[2026-05-25 18:34:31] [INFO ] [Real]Absence check using state equation in 17365 ms returned sat
[2026-05-25 18:34:34] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1590 ms.
[2026-05-25 18:34:34] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:34:38] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1524 ms returned sat
[2026-05-25 18:34:39] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1232 ms returned sat
[2026-05-25 18:35:01] [INFO ] [Nat]Absence check using state equation in 22629 ms returned sat
[2026-05-25 18:35:04] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1573 ms.
Minimization took 6166 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:35:14] [INFO ] [Real]Absence check using 3483 positive place invariants in 1688 ms returned sat
[2026-05-25 18:35:15] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1283 ms returned sat
[2026-05-25 18:35:36] [INFO ] [Real]Absence check using state equation in 21351 ms returned sat
[2026-05-25 18:35:40] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1647 ms.
[2026-05-25 18:35:40] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:35:43] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1529 ms returned sat
[2026-05-25 18:35:44] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1228 ms returned sat
[2026-05-25 18:36:08] [INFO ] [Nat]Absence check using state equation in 23983 ms returned sat
[2026-05-25 18:36:11] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1860 ms.
Minimization took 5995 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Support contains 7 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 3235 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3235 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1973 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 18:36:23] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2026-05-25 18:36:45] [INFO ] Implicit Places using invariants in 22350 ms returned []
Implicit Place search using SMT only with invariants took 22352 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2026-05-25 18:36:45] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 1.0)
(s2681 1.0)
(s2682 1.0)
(s2683 1.0)
(s2684 1.0)
(s2685 1.0)
(s2686 0.0)
(s2687 0.0)
(s2688 0.0)
(s2689 0.0)
(s2690 0.0)
(s2691 0.0)
(s2692 0.0)
(s2693 0.0)
(s2694 0.0)
(s2695 0.0)
(s2696 0.0)
(s2697 0.0)
(s2698 0.0)
(s2699 0.0)
(s2700 0.0)
(s2701 0.0)
(s2702 0.0)
(s2703 0.0)
(s2704 0.0)
(s2705 0.0)
(s2706 0.0)
(s2707 0.0)
(s2708 0.0)
(s2709 0.0)
(s2710 0.0)
(s2711 0.0)
(s2712 0.0)
(s2713 0.0)
(s2714 0.0)
(s2715 0.0)
(s2716 0.0)
(s2717 0.0)
(s2718 0.0)
(s2719 0.0)
(s2720 0.0)
(s2721 0.0)
(s2722 0.0)
(s2723 0.0)
(s2724 0.0)
(s2725 0.0)
(s2726 0.0)
(s2727 0.0)
(s2728 0.0)
(s2729 0.0)
(s2730 0.0)
(s2731 0.0)
(s2732 0.0)
(s2733 0.0)
(s2734 0.0)
(s2735 0.0)
(s2736 0.0)
(s2737 0.0)
(s2738 0.0)
(s2739 0.0)
(s2740 0.0)
(s2741 0.0)
(s2742 0.0)
(s2743 0.0)
(s2744 0.0)
(s2745 0.0)
(s2746 0.0)
(s2747 0.0)
(s2748 0.0)
(s2749 0.0)
(s2750 0.0)
(s2751 0.0)
(s2752 0.0)
(s2753 0.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3024 1.0)
(s3025 1.0)
(s3026 1.0)
(s3027 1.0)
(s3028 1.0)
(s3029 1.0)
(s3030 1.0)
(s3031 1.0)
(s3032 1.0)
(s3033 1.0)
(s3034 1.0)
(s3035 1.0)
(s3036 1.0)
(s3037 1.0)
(s3038 1.0)
(s3039 1.0)
(s3040 1.0)
(s3041 1.0)
(s3042 1.0)
(s3043 1.0)
(s3044 1.0)
(s3045 1.0)
(s3046 1.0)
(s3047 1.0)
(s3048 1.0)
(s3049 1.0)
(s3050 1.0)
(s3051 1.0)
(s3052 1.0)
(s3053 1.0)
(s3054 1.0)
(s3055 1.0)
(s3056 1.0)
(s3057 1.0)
(s3058 1.0)
(s3059 1.0)
(s3060 1.0)
(s3061 1.0)
(s3062 1.0)
(s3063 1.0)
(s3064 1.0)
(s3065 1.0)
(s3066 1.0)
(s3067 1.0)
(s3068 1.0)
(s3069 1.0)
(s3070 1.0)
(s3071 1.0)
(s3072 1.0)
(s3073 1.0)
(s3074 1.0)
(s3075 1.0)
(s3076 1.0)
(s3077 1.0)
(s3078 1.0)
(s3079 1.0)
(s3080 1.0)
(s3081 1.0)
(s3082 1.0)
(s3083 1.0)
(s3084 1.0)
(s3085 1.0)
(s3086 1.0)
(s3087 1.0)
(s3088 1.0)
(s3089 1.0)
(s3090 1.0)
(s3091 1.0)
(s3092 1.0)
(s3093 1.0)
(s3094 1.0)
(s3095 1.0)
(s3096 1.0)
(s3097 1.0)
(s3098 1.0)
(s3099 1.0)
(s3100 1.0)
(s3101 1.0)
(s3102 1.0)
(s3103 1.0)
(s3104 1.0)
(s3105 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3109 0.0)
(s3110 0.0)
(s3111 0.0)
(s3112 0.0)
(s3113 0.0)
(s3114 0.0)
(s3115 0.0)
(s3116 0.0)
(s3117 0.0)
(s3118 0.0)
(s3119 0.0)
(s3120 0.0)
(s3121 0.0)
(s3122 0.0)
(s3123 0.0)
(s3124 0.0)
(s3125 0.0)
(s3126 0.0)
(s3127 0.0)
(s3128 0.0)
(s3129 0.0)
(s3130 0.0)
(s3131 0.0)
(s3132 1.0)
(s3133 1.0)
(s3134 1.0)
(s3135 1.0)
(s3136 1.0)
(s3137 1.0)
(s3138 1.0)
(s3139 1.0)
(s3140 1.0)
(s3141 1.0)
(s3142 1.0)
(s3143 1.0)
(s3144 1.0)
(s3145 1.0)
(s3146 1.0)
(s3147 1.0)
(s3148 1.0)
(s3149 1.0)
(s3150 1.0)
(s3151 1.0)
(s3152 1.0)
(s3153 1.0)
(s3154 1.0)
(s3155 1.0)
(s3156 1.0)
(s3157 1.0)
(s3158 1.0)
(s3159 1.0)
(s3160 1.0)
(s3161 1.0)
(s3162 1.0)
(s3163 1.0)
(s3164 1.0)
(s3165 1.0)
(s3166 1.0)
(s3167 1.0)
(s3168 1.0)
(s3169 1.0)
(s3170 1.0)
(s3171 1.0)
(s3172 1.0)
(s3173 1.0)
(s3174 1.0)
(s3175 1.0)
(s3176 1.0)
(s3177 1.0)
(s3178 1.0)
(s3179 1.0)
(s3180 1.0)
(s3181 1.0)
(s3182 1.0)
(s3183 1.0)
(s3184 1.0)
(s3185 1.0)
(s3186 1.0)
(s3187 1.0)
(s3188 1.0)
(s3189 1.0)
(s3190 1.0)
(s3191 1.0)
(s3192 1.0)
(s3193 1.0)
(s3194 1.0)
(s3195 1.0)
(s3196 1.0)
(s3197 1.0)
(s3198 1.0)
(s3199 1.0)
(s3200 1.0)
(s3201 1.0)
(s3202 1.0)
(s3203 1.0)
(s3204 1.0)
(s3205 1.0)
(s3206 1.0)
(s3207 1.0)
(s3208 1.0)
(s3209 1.0)
(s3210 1.0)
(s3211 1.0)
(s3212 1.0)
(s3213 0.0)
(s3214 0.0)
(s3215 0.0)
(s3216 0.0)
(s3217 0.0)
(s3218 0.0)
(s3219 0.0)
(s3220 0.0)
(s3221 0.0)
(s3222 0.0)
(s3223 0.0)
(s3224 0.0)
(s3225 0.0)
(s3226 0.0)
(s3227 0.0)
(s3228 0.0)
(s3229 0.0)
(s3230 0.0)
(s3231 0.0)
(s3232 0.0)
(s3233 0.0)
(s3234 0.0)
(s3235 0.0)
(s3236 0.0)
(s3237 0.0)
(s3238 0.0)
(s3239 0.0)
(s3240 1.0)
(s3241 1.0)
(s3242 1.0)
(s3243 1.0)
(s3244 1.0)
(s3245 1.0)
(s3246 1.0)
(s3247 1.0)
(s3248 1.0)
(s3249 1.0)
(s3250 1.0)
(s3251 1.0)
(s3252 1.0)
(s3253 1.0)
(s3254 1.0)
(s3255 1.0)
(s3256 1.0)
(s3257 1.0)
(s3258 1.0)
(s3259 1.0)
(s3260 1.0)
(s3261 1.0)
(s3262 1.0)
(s3263 1.0)
(s3264 1.0)
(s3265 1.0)
(s3266 1.0)
(s3267 1.0)
(s3268 1.0)
(s3269 1.0)
(s3270 1.0)
(s3271 1.0)
(s3272 1.0)
(s3273 1.0)
(s3274 1.0)
(s3275 1.0)
(s3276 1.0)
(s3277 1.0)
(s3278 1.0)
(s3279 1.0)
(s3280 1.0)
(s3281 1.0)
(s3282 1.0)
(s3283 1.0)
(s3284 1.0)
(s3285 1.0)
(s3286 1.0)
(s3287 1.0)
(s3288 1.0)
(s3289 1.0)
(s3290 1.0)
(s3291 1.0)
(s3292 1.0)
(s3293 1.0)
(s3294 1.0)
(s3295 1.0)
(s3296 1.0)
(s3297 1.0)
(s3298 1.0)
(s3299 1.0)
(s3300 1.0)
(s3301 1.0)
(s3302 1.0)
(s3303 1.0)
(s3304 1.0)
(s3305 1.0)
(s3306 1.0)
(s3307 1.0)
(s3308 1.0)
(s3309 1.0)
(s3310 1.0)
(s3311 1.0)
(s3312 1.0)
(s3313 1.0)
(s3314 1.0)
(s3315 1.0)
(s3316 1.0)
(s3317 1.0)
(s3318 1.0)
(s3319 1.0)
(s3320 1.0)
(s3321 0.0)
(s3322 0.0)
(s3323 0.0)
(s3324 0.0)
(s3325 0.0)
(s3326 0.0)
(s3327 0.0)
(s3328 0.0)
(s3329 0.0)
(s3330 1.0)
(s3331 1.0)
(s3332 1.0)
(s3333 1.0)
(s3334 1.0)
(s3335 1.0)
(s3336 1.0)
(s3337 1.0)
(s3338 1.0)
(s3339 1.0)
(s3340 1.0)
(s3341 1.0)
(s3342 1.0)
(s3343 1.0)
(s3344 1.0)
(s3345 1.0)
(s3346 1.0)
(s3347 1.0)
(s3348 1.0)
(s3349 1.0)
(s3350 1.0)
(s3351 1.0)
(s3352 1.0)
(s3353 1.0)
(s3354 1.0)
(s3355 1.0)
(s3356 1.0)
(s3357 0.0)
(s3358 0.0)
(s3359 0.0)
(s3360 0.0)
(s3361 0.0)
(s3362 0.0)
(s3363 0.0)
(s3364 0.0)
(s3365 0.0)
(s3366 1.0)
(s3367 1.0)
(s3368 1.0)
(s3369 1.0)
(s3370 1.0)
(s3371 1.0)
(s3372 1.0)
(s3373 1.0)
(s3374 1.0)
(s3375 1.0)
(s3376 1.0)
(s3377 1.0)
(s3378 1.0)
(s3379 1.0)
(s3380 1.0)
(s3381 1.0)
(s3382 1.0)
(s3383 1.0)
(s3384 1.0)
(s3385 1.0)
(s3386 1.0)
(s3387 1.0)
(s3388 1.0)
(s3389 1.0)
(s3390 1.0)
(s3391 1.0)
(s3392 1.0)
(s3393 0.0)
(s3394 0.0)
(s3395 0.0)
(s3396 0.0)
(s3397 0.0)
(s3398 0.0)
(s3399 0.0)
(s3400 0.0)
(s3401 0.0)
(s3402 1.0)
(s3403 1.0)
(s3404 1.0)
(s3405 1.0)
(s3406 1.0)
(s3407 1.0)
(s3408 1.0)
(s3409 1.0)
(s3410 1.0)
(s3411 1.0)
(s3412 1.0)
(s3413 1.0)
(s3414 1.0)
(s3415 1.0)
(s3416 1.0)
(s3417 1.0)
(s3418 1.0)
(s3419 1.0)
(s3420 1.0)
(s3421 1.0)
(s3422 1.0)
(s3423 1.0)
(s3424 1.0)
(s3425 1.0)
(s3426 1.0)
(s3427 1.0)
(s3428 1.0)
(s3429 0.0)
(s3430 0.0)
(s3431 0.0)
(s3432 0.0)
(s3433 0.0)
(s3434 0.0)
(s3435 0.0)
(s3436 0.0)
(s3437 0.0)
(s3438 1.0)
(s3439 1.0)
(s3440 1.0)
(s3441 1.0)
(s3442 1.0)
(s3443 1.0)
(s3444 1.0)
(s3445 1.0)
(s3446 1.0)
(s3447 1.0)
(s3448 1.0)
(s3449 1.0)
(s3450 1.0)
(s3451 1.0)
(s3452 1.0)
(s3453 1.0)
(s3454 1.0)
(s3455 1.0)
(s3456 1.0)
(s3457 1.0)
(s3458 1.0)
(s3459 1.0)
(s3460 1.0)
(s3461 1.0)
(s3462 1.0)
(s3463 1.0)
(s3464 1.0)
(s3465 0.0)
(s3466 0.0)
(s3467 0.0)
(s3468 0.0)
(s3469 0.0)
(s3470 0.0)
(s3471 0.0)
(s3472 0.0)
(s3473 0.0)
(s3474 1.0)
(s3475 1.0)
(s3476 1.0)
(s3477 1.0)
(s3478 1.0)
(s3479 1.0)
(s3480 1.0)
(s3481 1.0)
(s3482 1.0)
(s3483 1.0)
(s3484 1.0)
(s3485 1.0)timeout
(s3486 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30566 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30565 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 143871ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 144013ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 168408 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2026-05-25 18:39:09] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
RANDOM walk for 29862 steps (0 resets) in 30001 ms. (0 steps per ms)
BEST_FIRST walk for 357690 steps (0 resets) in 35389 ms. (10 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
[2026-05-25 18:40:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:40:18] [INFO ] [Real]Absence check using 3483 positive place invariants in 1849 ms returned sat
[2026-05-25 18:40:20] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1335 ms returned sat
[2026-05-25 18:40:42] [INFO ] [Real]Absence check using state equation in 22181 ms returned sat
[2026-05-25 18:40:47] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1929 ms.
[2026-05-25 18:40:47] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:40:50] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1524 ms returned sat
[2026-05-25 18:40:51] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1217 ms returned sat
[2026-05-25 18:41:15] [INFO ] [Nat]Absence check using state equation in 24480 ms returned sat
[2026-05-25 18:41:18] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1603 ms.
Minimization took 6505 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:41:28] [INFO ] [Real]Absence check using 3483 positive place invariants in 1819 ms returned sat
[2026-05-25 18:41:30] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1369 ms returned sat
[2026-05-25 18:41:52] [INFO ] [Real]Absence check using state equation in 22293 ms returned sat
[2026-05-25 18:41:56] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1609 ms.
[2026-05-25 18:41:56] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:41:59] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1586 ms returned sat
[2026-05-25 18:42:00] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1241 ms returned sat
[2026-05-25 18:42:21] [INFO ] [Nat]Absence check using state equation in 20855 ms returned sat
[2026-05-25 18:42:24] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1572 ms.
Minimization took 5964 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:42:33] [INFO ] [Real]Absence check using 3483 positive place invariants in 1643 ms returned sat
[2026-05-25 18:42:34] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1269 ms returned sat
[2026-05-25 18:42:53] [INFO ] [Real]Absence check using state equation in 18504 ms returned sat
[2026-05-25 18:42:56] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1612 ms.
[2026-05-25 18:42:56] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:42:59] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1661 ms returned sat
[2026-05-25 18:43:00] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1269 ms returned sat
[2026-05-25 18:43:20] [INFO ] [Nat]Absence check using state equation in 19319 ms returned sat
[2026-05-25 18:43:22] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1654 ms.
Minimization took 6750 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:43:33] [INFO ] [Real]Absence check using 3483 positive place invariants in 1757 ms returned sat
[2026-05-25 18:43:34] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1239 ms returned sat
[2026-05-25 18:43:56] [INFO ] [Real]Absence check using state equation in 22008 ms returned sat
[2026-05-25 18:44:00] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1721 ms.
[2026-05-25 18:44:00] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:44:03] [INFO ] [Nat]Absence check using 3483 positive place invariants in 2131 ms returned sat
[2026-05-25 18:44:05] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1675 ms returned sat
[2026-05-25 18:44:27] [INFO ] [Nat]Absence check using state equation in 21561 ms returned sat
[2026-05-25 18:44:30] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1761 ms.
Minimization took 6176 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:44:40] [INFO ] [Real]Absence check using 3483 positive place invariants in 1934 ms returned sat
[2026-05-25 18:44:41] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1317 ms returned sat
[2026-05-25 18:45:01] [INFO ] [Real]Absence check using state equation in 20088 ms returned sat
[2026-05-25 18:45:05] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1855 ms.
[2026-05-25 18:45:05] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:45:08] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1539 ms returned sat
[2026-05-25 18:45:09] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1251 ms returned sat
[2026-05-25 18:45:30] [INFO ] [Nat]Absence check using state equation in 21117 ms returned sat
[2026-05-25 18:45:33] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1624 ms.
Minimization took 6236 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:45:43] [INFO ] [Real]Absence check using 3483 positive place invariants in 1491 ms returned sat
[2026-05-25 18:45:44] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1275 ms returned sat
[2026-05-25 18:46:04] [INFO ] [Real]Absence check using state equation in 19773 ms returned sat
[2026-05-25 18:46:07] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1546 ms.
[2026-05-25 18:46:07] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:46:10] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1557 ms returned sat
[2026-05-25 18:46:11] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1283 ms returned sat
[2026-05-25 18:46:32] [INFO ] [Nat]Absence check using state equation in 20707 ms returned sat
[2026-05-25 18:46:35] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1526 ms.
Minimization took 6031 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:46:44] [INFO ] [Real]Absence check using 3483 positive place invariants in 1695 ms returned sat
[2026-05-25 18:46:45] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1243 ms returned sat
[2026-05-25 18:47:06] [INFO ] [Real]Absence check using state equation in 21228 ms returned sat
[2026-05-25 18:47:10] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1903 ms.
[2026-05-25 18:47:10] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2026-05-25 18:47:14] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1773 ms returned sat
[2026-05-25 18:47:15] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1280 ms returned sat
[2026-05-25 18:47:37] [INFO ] [Nat]Absence check using state equation in 22128 ms returned sat
[2026-05-25 18:47:40] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1659 ms.
Minimization took 5959 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[7, 6, 6, 5, 7, 8, 6] Max Struct:[45, 45, 45, 45, 45, 45, 45]
Support contains 7 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2673 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2673 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1882 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 18:47:51] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2026-05-25 18:48:12] [INFO ] Implicit Places using invariants in 21667 ms returned []
Implicit Place search using SMT only with invariants took 21670 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2026-05-25 18:48:13] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30389 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30344 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 146302ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 146560ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 170269 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2026-05-25 18:50:43] [INFO ] Flatten gal took : 2895 ms
[2026-05-25 18:50:45] [INFO ] Flatten gal took : 1761 ms
[2026-05-25 18:50:45] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4024852479304847306.gal : 338 ms
[2026-05-25 18:50:45] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality791273617538643857.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4024852479304847306.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality791273617538643857.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.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...327
RANDOM walk for 40000 steps (8 resets) in 55034 ms. (0 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5283 ms. (7 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 7061 ms. (5 steps per ms) remains 14/14 properties
Loading property file /tmp/ReachabilityCardinality791273617538643857.prop.
BEST_FIRST walk for 40004 steps (8 resets) in 4906 ms. (8 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5459 ms. (7 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5074 ms. (7 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5216 ms. (7 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5229 ms. (7 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4936 ms. (8 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5064 ms. (7 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4996 ms. (8 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6359 ms. (6 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6738 ms. (5 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6864 ms. (5 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 7037 ms. (5 steps per ms) remains 14/14 properties
Detected timeout of ITS tools.
[2026-05-25 18:51:37] [INFO ] Flatten gal took : 1122 ms
[2026-05-25 18:51:37] [INFO ] Applying decomposition
[2026-05-25 18:51:38] [INFO ] Flatten gal took : 933 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph18088669346404574667.txt' '-o' '/tmp/graph18088669346404574667.bin' '-w' '/tmp/graph18088669346404574667.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18088669346404574667.bin' '-l' '-1' '-v' '-w' '/tmp/graph18088669346404574667.weights' '-q' '0' '-e' '0.001'
[2026-05-25 18:51:41] [INFO ] Decomposing Gal with order
[2026-05-25 18:51:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 18:52:05] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 18:52:06] [INFO ] Flatten gal took : 2381 ms
[2026-05-25 18:52:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 349 ms.
[2026-05-25 18:52:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality83334341120818555.gal : 213 ms
[2026-05-25 18:52:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17455512006896366880.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality83334341120818555.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality17455512006896366880.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...306
Loading property file /tmp/ReachabilityCardinality17455512006896366880.prop.
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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -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
++ 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.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -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="HypercubeGrid-PT-C5K3P3B15"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2025"
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-5973"
echo " Executing tool gold2025"
echo " Input is HypercubeGrid-PT-C5K3P3B15, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r175-smll-177961111800003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;