About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ? 1 ? ? ? 0 0 ? ? 1 1 1 1 ? ? 0 | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524600477.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524600477
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 12K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 28M May 29 14:32 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 MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1749223997911
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202505121319
[2025-06-06 15:33:20] [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]
[2025-06-06 15:33:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 15:33:22] [INFO ] Load time of PNML (sax parser for PT used): 1642 ms
[2025-06-06 15:33:22] [INFO ] Transformed 27452 places.
[2025-06-06 15:33:22] [INFO ] Transformed 41619 transitions.
[2025-06-06 15:33:22] [INFO ] Parsed PT model containing 27452 places and 41619 transitions and 159406 arcs in 2056 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 19 ms.
Current structural bounds on expressions (Initially) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] 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:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
[2025-06-06 15:33:23] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
// Phase 1: matrix 40563 rows 27452 cols
[2025-06-06 15:33:37] [INFO ] Computed 1753 invariants in 14014 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 33, 33, 33, 1, 1, 1, 99, 33, 99, 99, 33, 99, 33, 33, 1]
RANDOM walk for 10000 steps (122 resets) in 760 ms. (13 steps per ms)
BEST_FIRST walk for 160016 steps (288 resets) in 1534 ms. (104 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0] Max Struct:[1, 33, 33, 33, 1, 1, 1, 99, 33, 99, 99, 33, 99, 33, 33, 1]
[2025-06-06 15:33:39] [INFO ] Flow matrix only has 40563 transitions (discarded 1056 similar events)
[2025-06-06 15:33:39] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0] Max Struct:[1, 33, 33, 33, 1, 1, 1, 99, 33, 99, 99, 33, 99, 33, 33, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0] Max Struct:[1, 33, 33, 33, 1, 1, 1, 99, 33, 99, 99, 33, 99, 33, 33, 1]
Support contains 16 out of 27452 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27452/27452 places, 41619/41619 transitions.
Graph (complete) has 92537 edges and 27452 vertex of which 27400 are kept as prefixes of interest. Removing 52 places using SCC suffix rule.132 ms
Discarding 52 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8437 transitions
Trivial Post-agglo rules discarded 8437 transitions
Performed 8437 trivial Post agglomeration. Transition count delta: 8437
Iterating post reduction 0 with 8437 rules applied. Total rules applied 8438 place count 27400 transition count 33182
Reduce places removed 8437 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 8441 rules applied. Total rules applied 16879 place count 18963 transition count 33178
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 16883 place count 18959 transition count 33178
Performed 528 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 528 Pre rules applied. Total rules applied 16883 place count 18959 transition count 32650
Deduced a syphon composed of 528 places in 81 ms
Reduce places removed 528 places and 0 transitions.
Iterating global reduction 3 with 1056 rules applied. Total rules applied 17939 place count 18431 transition count 32650
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 67 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 18005 place count 18398 transition count 32617
Free-agglomeration rule (complex) applied 1577 times.
Iterating global reduction 3 with 1577 rules applied. Total rules applied 19582 place count 18398 transition count 31040
Reduce places removed 1577 places and 0 transitions.
Iterating post reduction 3 with 1577 rules applied. Total rules applied 21159 place count 16821 transition count 31040
Discarding 7909 places :
Symmetric choice reduction at 4 with 7909 rule applications. Total rules 29068 place count 8912 transition count 23131
Iterating global reduction 4 with 7909 rules applied. Total rules applied 36977 place count 8912 transition count 23131
Partial Free-agglomeration rule applied 165 times.
Drop transitions (Partial Free agglomeration) removed 165 transitions
Iterating global reduction 4 with 165 rules applied. Total rules applied 37142 place count 8912 transition count 23131
Applied a total of 37142 rules in 19519 ms. Remains 8912 /27452 variables (removed 18540) and now considering 23131/41619 (removed 18488) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 19548 ms. Remains : 8912/27452 places, 23131/41619 transitions.
[2025-06-06 15:35:19] [INFO ] Flow matrix only has 21565 transitions (discarded 1566 similar events)
// Phase 1: matrix 21565 rows 8912 cols
[2025-06-06 15:35:21] [INFO ] Computed 1701 invariants in 1838 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 294771 steps (5976 resets) in 30001 ms. (9 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 6031651 steps (11743 resets) in 70014 ms. (86 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 1, 1, 1]
[2025-06-06 15:37:01] [INFO ] Flow matrix only has 21565 transitions (discarded 1566 similar events)
[2025-06-06 15:37:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:37:03] [INFO ] [Real]Absence check using 65 positive place invariants in 559 ms returned sat
[2025-06-06 15:37:05] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 1243 ms returned sat
[2025-06-06 15:37:24] [INFO ] [Real]Absence check using state equation in 18933 ms returned sat
[2025-06-06 15:37:25] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:37:27] [INFO ] [Nat]Absence check using 65 positive place invariants in 563 ms returned sat
[2025-06-06 15:37:28] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 1046 ms returned sat
[2025-06-06 15:37:50] [INFO ] [Nat]Absence check using state equation in 22142 ms returned sat
[2025-06-06 15:37:51] [INFO ] State equation strengthened by 13378 read => feed constraints.
[2025-06-06 15:37:57] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:38:02] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10983 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:38:04] [INFO ] [Real]Absence check using 65 positive place invariants in 480 ms returned sat
[2025-06-06 15:38:05] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 1060 ms returned sat
[2025-06-06 15:38:22] [INFO ] [Real]Absence check using state equation in 16788 ms returned sat
[2025-06-06 15:38:23] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:38:25] [INFO ] [Nat]Absence check using 65 positive place invariants in 571 ms returned sat
[2025-06-06 15:38:26] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 827 ms returned sat
[2025-06-06 15:38:44] [INFO ] [Nat]Absence check using state equation in 18362 ms returned sat
[2025-06-06 15:38:51] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:38:56] [INFO ] [Nat]Added 13378 Read/Feed constraints in 11893 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:38:58] [INFO ] [Real]Absence check using 65 positive place invariants in 406 ms returned sat
[2025-06-06 15:38:59] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 953 ms returned sat
[2025-06-06 15:39:17] [INFO ] [Real]Absence check using state equation in 18400 ms returned sat
[2025-06-06 15:39:23] [INFO ] [Real]Added 13378 Read/Feed constraints in 4560 ms returned sat
[2025-06-06 15:39:24] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:39:26] [INFO ] [Nat]Absence check using 65 positive place invariants in 367 ms returned sat
[2025-06-06 15:39:27] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 728 ms returned sat
[2025-06-06 15:39:48] [INFO ] [Nat]Absence check using state equation in 21719 ms returned sat
[2025-06-06 15:39:55] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:39:59] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10638 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:40:01] [INFO ] [Real]Absence check using 65 positive place invariants in 406 ms returned sat
[2025-06-06 15:40:02] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 907 ms returned sat
[2025-06-06 15:40:26] [INFO ] [Real]Absence check using state equation in 24077 ms returned sat
[2025-06-06 15:40:32] [INFO ] [Real]Added 13378 Read/Feed constraints in 4753 ms returned sat
[2025-06-06 15:40:33] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:40:35] [INFO ] [Nat]Absence check using 65 positive place invariants in 368 ms returned sat
[2025-06-06 15:40:36] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 894 ms returned sat
[2025-06-06 15:40:59] [INFO ] [Nat]Absence check using state equation in 23195 ms returned sat
[2025-06-06 15:41:05] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:41:09] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10691 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:41:12] [INFO ] [Real]Absence check using 65 positive place invariants in 511 ms returned sat
[2025-06-06 15:41:13] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 962 ms returned sat
[2025-06-06 15:41:33] [INFO ] [Real]Absence check using state equation in 20366 ms returned sat
[2025-06-06 15:41:34] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:41:36] [INFO ] [Nat]Absence check using 65 positive place invariants in 369 ms returned sat
[2025-06-06 15:41:37] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 757 ms returned sat
[2025-06-06 15:42:02] [INFO ] [Nat]Absence check using state equation in 25519 ms returned sat
[2025-06-06 15:42:08] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:42:13] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10687 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:42:15] [INFO ] [Real]Absence check using 65 positive place invariants in 374 ms returned sat
[2025-06-06 15:42:16] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 950 ms returned sat
[2025-06-06 15:42:37] [INFO ] [Real]Absence check using state equation in 20966 ms returned sat
[2025-06-06 15:42:38] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:42:40] [INFO ] [Nat]Absence check using 65 positive place invariants in 420 ms returned sat
[2025-06-06 15:42:41] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 1017 ms returned sat
[2025-06-06 15:43:05] [INFO ] [Nat]Absence check using state equation in 23861 ms returned sat
[2025-06-06 15:43:11] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:43:16] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10659 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:43:18] [INFO ] [Real]Absence check using 65 positive place invariants in 370 ms returned sat
[2025-06-06 15:43:19] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 885 ms returned sat
[2025-06-06 15:43:40] [INFO ] [Real]Absence check using state equation in 21042 ms returned sat
[2025-06-06 15:43:41] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:43:43] [INFO ] [Nat]Absence check using 65 positive place invariants in 376 ms returned sat
[2025-06-06 15:43:44] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 948 ms returned sat
[2025-06-06 15:44:04] [INFO ] [Nat]Absence check using state equation in 20609 ms returned sat
[2025-06-06 15:44:10] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:44:15] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10778 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:44:17] [INFO ] [Real]Absence check using 65 positive place invariants in 370 ms returned sat
[2025-06-06 15:44:18] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 768 ms returned sat
[2025-06-06 15:44:35] [INFO ] [Real]Absence check using state equation in 17836 ms returned sat
[2025-06-06 15:44:37] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:44:39] [INFO ] [Nat]Absence check using 65 positive place invariants in 458 ms returned sat
[2025-06-06 15:44:40] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 928 ms returned sat
[2025-06-06 15:45:01] [INFO ] [Nat]Absence check using state equation in 21355 ms returned sat
[2025-06-06 15:45:07] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:45:12] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10985 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:45:14] [INFO ] [Real]Absence check using 65 positive place invariants in 361 ms returned sat
[2025-06-06 15:45:14] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 228 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:45:16] [INFO ] [Real]Absence check using 65 positive place invariants in 361 ms returned sat
[2025-06-06 15:45:17] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 697 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:45:19] [INFO ] [Real]Absence check using 65 positive place invariants in 376 ms returned sat
[2025-06-06 15:45:19] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 461 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:45:22] [INFO ] [Real]Absence check using 65 positive place invariants in 489 ms returned sat
[2025-06-06 15:45:23] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 891 ms returned sat
[2025-06-06 15:45:41] [INFO ] [Real]Absence check using state equation in 18791 ms returned sat
[2025-06-06 15:45:42] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:45:44] [INFO ] [Nat]Absence check using 65 positive place invariants in 359 ms returned sat
[2025-06-06 15:45:45] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 1067 ms returned sat
[2025-06-06 15:46:06] [INFO ] [Nat]Absence check using state equation in 20890 ms returned sat
[2025-06-06 15:46:13] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:46:17] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10945 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:46:19] [INFO ] [Real]Absence check using 65 positive place invariants in 373 ms returned sat
[2025-06-06 15:46:20] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 704 ms returned sat
[2025-06-06 15:46:37] [INFO ] [Real]Absence check using state equation in 16875 ms returned sat
[2025-06-06 15:46:38] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:46:40] [INFO ] [Nat]Absence check using 65 positive place invariants in 365 ms returned sat
[2025-06-06 15:46:41] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 877 ms returned sat
[2025-06-06 15:47:00] [INFO ] [Nat]Absence check using state equation in 19083 ms returned sat
[2025-06-06 15:47:06] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:47:10] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10600 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:47:12] [INFO ] [Real]Absence check using 65 positive place invariants in 377 ms returned sat
[2025-06-06 15:47:13] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 751 ms returned sat
[2025-06-06 15:47:48] [INFO ] [Real]Absence check using state equation in 34948 ms returned sat
[2025-06-06 15:47:53] [INFO ] [Real]Added 13378 Read/Feed constraints in 3865 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 0]
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-15 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 2, 1, 1, 1]
Support contains 10 out of 8912 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8912/8912 places, 23131/23131 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8912 transition count 23129
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8910 transition count 23129
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 5 place count 8909 transition count 23128
Iterating global reduction 2 with 1 rules applied. Total rules applied 6 place count 8909 transition count 23128
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 9 place count 8909 transition count 23125
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 12 place count 8906 transition count 23125
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 16 place count 8902 transition count 23121
Iterating global reduction 3 with 4 rules applied. Total rules applied 20 place count 8902 transition count 23121
Applied a total of 20 rules in 9923 ms. Remains 8902 /8912 variables (removed 10) and now considering 23121/23131 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9923 ms. Remains : 8902/8912 places, 23121/23131 transitions.
[2025-06-06 15:48:03] [INFO ] Flow matrix only has 21555 transitions (discarded 1566 similar events)
// Phase 1: matrix 21555 rows 8902 cols
[2025-06-06 15:48:04] [INFO ] Computed 1701 invariants in 1533 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 2, 1, 1, 1]
RANDOM walk for 286688 steps (5813 resets) in 30001 ms. (9 steps per ms)
BEST_FIRST walk for 4353593 steps (8476 resets) in 50010 ms. (87 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 2, 1, 1, 1]
[2025-06-06 15:49:24] [INFO ] Flow matrix only has 21555 transitions (discarded 1566 similar events)
[2025-06-06 15:49:24] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:49:26] [INFO ] [Real]Absence check using 65 positive place invariants in 358 ms returned sat
[2025-06-06 15:49:27] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 828 ms returned sat
[2025-06-06 15:49:50] [INFO ] [Real]Absence check using state equation in 22694 ms returned sat
[2025-06-06 15:49:51] [INFO ] State equation strengthened by 13378 read => feed constraints.
[2025-06-06 15:49:57] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:50:02] [INFO ] [Real]Added 13378 Read/Feed constraints in 11005 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:50:04] [INFO ] [Real]Absence check using 65 positive place invariants in 348 ms returned sat
[2025-06-06 15:50:05] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 907 ms returned sat
[2025-06-06 15:50:28] [INFO ] [Real]Absence check using state equation in 23642 ms returned sat
[2025-06-06 15:50:29] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:50:31] [INFO ] [Nat]Absence check using 65 positive place invariants in 358 ms returned sat
[2025-06-06 15:50:32] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 715 ms returned sat
[2025-06-06 15:51:02] [INFO ] [Nat]Absence check using state equation in 30864 ms returned sat
[2025-06-06 15:51:09] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:51:14] [INFO ] [Nat]Added 13378 Read/Feed constraints in 11681 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:51:16] [INFO ] [Real]Absence check using 65 positive place invariants in 345 ms returned sat
[2025-06-06 15:51:17] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 882 ms returned sat
[2025-06-06 15:51:45] [INFO ] [Real]Absence check using state equation in 27955 ms returned sat
[2025-06-06 15:51:52] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:51:57] [INFO ] [Real]Added 13378 Read/Feed constraints in 11056 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:51:59] [INFO ] [Real]Absence check using 65 positive place invariants in 434 ms returned sat
[2025-06-06 15:51:59] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 742 ms returned sat
[2025-06-06 15:52:20] [INFO ] [Real]Absence check using state equation in 20858 ms returned sat
[2025-06-06 15:52:21] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:52:23] [INFO ] [Nat]Absence check using 65 positive place invariants in 384 ms returned sat
[2025-06-06 15:52:24] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 1037 ms returned sat
[2025-06-06 15:52:46] [INFO ] [Nat]Absence check using state equation in 22190 ms returned sat
[2025-06-06 15:52:52] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:52:57] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10794 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:52:59] [INFO ] [Real]Absence check using 65 positive place invariants in 499 ms returned sat
[2025-06-06 15:53:00] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 837 ms returned sat
[2025-06-06 15:53:26] [INFO ] [Real]Absence check using state equation in 26472 ms returned sat
[2025-06-06 15:53:34] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:53:35] [INFO ] [Real]Added 13378 Read/Feed constraints in 7059 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:53:37] [INFO ] [Real]Absence check using 65 positive place invariants in 503 ms returned sat
[2025-06-06 15:53:38] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 861 ms returned sat
[2025-06-06 15:54:00] [INFO ] [Real]Absence check using state equation in 22841 ms returned sat
[2025-06-06 15:54:02] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:54:04] [INFO ] [Nat]Absence check using 65 positive place invariants in 358 ms returned sat
[2025-06-06 15:54:04] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 731 ms returned sat
[2025-06-06 15:54:28] [INFO ] [Nat]Absence check using state equation in 23818 ms returned sat
[2025-06-06 15:54:34] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:54:39] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10538 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:54:41] [INFO ] [Real]Absence check using 65 positive place invariants in 497 ms returned sat
[2025-06-06 15:54:42] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 994 ms returned sat
[2025-06-06 15:55:08] [INFO ] [Real]Absence check using state equation in 26579 ms returned sat
[2025-06-06 15:55:09] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:55:11] [INFO ] [Nat]Absence check using 65 positive place invariants in 400 ms returned sat
[2025-06-06 15:55:12] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 861 ms returned sat
[2025-06-06 15:55:39] [INFO ] [Nat]Absence check using state equation in 27409 ms returned sat
[2025-06-06 15:55:46] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:55:50] [INFO ] [Nat]Added 13378 Read/Feed constraints in 11098 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:55:52] [INFO ] [Real]Absence check using 65 positive place invariants in 491 ms returned sat
[2025-06-06 15:55:53] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 866 ms returned sat
[2025-06-06 15:56:14] [INFO ] [Real]Absence check using state equation in 20580 ms returned sat
[2025-06-06 15:56:19] [INFO ] [Real]Added 13378 Read/Feed constraints in 4379 ms returned sat
[2025-06-06 15:56:20] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:56:22] [INFO ] [Nat]Absence check using 65 positive place invariants in 488 ms returned sat
[2025-06-06 15:56:23] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 1063 ms returned sat
[2025-06-06 15:56:51] [INFO ] [Nat]Absence check using state equation in 27772 ms returned sat
[2025-06-06 15:56:56] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:57:01] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10393 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:57:03] [INFO ] [Real]Absence check using 65 positive place invariants in 426 ms returned sat
[2025-06-06 15:57:04] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 1056 ms returned sat
[2025-06-06 15:57:26] [INFO ] [Real]Absence check using state equation in 22130 ms returned sat
[2025-06-06 15:57:33] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:57:34] [INFO ] [Real]Added 13378 Read/Feed constraints in 7066 ms returned sat
[2025-06-06 15:57:35] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:57:37] [INFO ] [Nat]Absence check using 65 positive place invariants in 379 ms returned sat
[2025-06-06 15:57:38] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 847 ms returned sat
[2025-06-06 15:58:10] [INFO ] [Nat]Absence check using state equation in 32282 ms returned sat
[2025-06-06 15:58:17] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:58:20] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10013 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:58:22] [INFO ] [Real]Absence check using 65 positive place invariants in 360 ms returned sat
[2025-06-06 15:58:23] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 732 ms returned sat
[2025-06-06 15:58:44] [INFO ] [Real]Absence check using state equation in 21571 ms returned sat
[2025-06-06 15:58:52] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:58:53] [INFO ] [Real]Added 13378 Read/Feed constraints in 7688 ms returned sat
[2025-06-06 15:58:54] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 15:58:56] [INFO ] [Nat]Absence check using 65 positive place invariants in 355 ms returned sat
[2025-06-06 15:58:57] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 879 ms returned sat
[2025-06-06 15:59:36] [INFO ] [Nat]Absence check using state equation in 39358 ms returned sat
[2025-06-06 15:59:39] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 15:59:39] [INFO ] [Nat]Added 13378 Read/Feed constraints in 2950 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 0, 1, 2, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-05 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
Support contains 9 out of 8902 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8902/8902 places, 23121/23121 transitions.
Applied a total of 0 rules in 1804 ms. Remains 8902 /8902 variables (removed 0) and now considering 23121/23121 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1804 ms. Remains : 8902/8902 places, 23121/23121 transitions.
[2025-06-06 15:59:43] [INFO ] Flow matrix only has 21555 transitions (discarded 1566 similar events)
[2025-06-06 15:59:43] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
RANDOM walk for 296021 steps (6003 resets) in 30001 ms. (9 steps per ms)
BEST_FIRST walk for 3934344 steps (7659 resets) in 45009 ms. (87 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
[2025-06-06 16:00:58] [INFO ] Flow matrix only has 21555 transitions (discarded 1566 similar events)
[2025-06-06 16:00:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:01:00] [INFO ] [Real]Absence check using 65 positive place invariants in 455 ms returned sat
[2025-06-06 16:01:01] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 1061 ms returned sat
[2025-06-06 16:01:24] [INFO ] [Real]Absence check using state equation in 22808 ms returned sat
[2025-06-06 16:01:25] [INFO ] State equation strengthened by 13378 read => feed constraints.
[2025-06-06 16:01:31] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:01:36] [INFO ] [Real]Added 13378 Read/Feed constraints in 11385 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:01:38] [INFO ] [Real]Absence check using 65 positive place invariants in 345 ms returned sat
[2025-06-06 16:01:39] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 931 ms returned sat
[2025-06-06 16:02:03] [INFO ] [Real]Absence check using state equation in 24234 ms returned sat
[2025-06-06 16:02:04] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:02:07] [INFO ] [Nat]Absence check using 65 positive place invariants in 514 ms returned sat
[2025-06-06 16:02:08] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 869 ms returned sat
[2025-06-06 16:02:41] [INFO ] [Nat]Absence check using state equation in 33698 ms returned sat
[2025-06-06 16:02:48] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:02:49] [INFO ] [Nat]Added 13378 Read/Feed constraints in 8239 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:02:52] [INFO ] [Real]Absence check using 65 positive place invariants in 462 ms returned sat
[2025-06-06 16:02:53] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 981 ms returned sat
[2025-06-06 16:03:22] [INFO ] [Real]Absence check using state equation in 29374 ms returned sat
[2025-06-06 16:03:29] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:03:33] [INFO ] [Real]Added 13378 Read/Feed constraints in 10761 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:03:35] [INFO ] [Real]Absence check using 65 positive place invariants in 349 ms returned sat
[2025-06-06 16:03:36] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 705 ms returned sat
[2025-06-06 16:03:57] [INFO ] [Real]Absence check using state equation in 20477 ms returned sat
[2025-06-06 16:03:58] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:03:59] [INFO ] [Nat]Absence check using 65 positive place invariants in 349 ms returned sat
[2025-06-06 16:04:00] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 724 ms returned sat
[2025-06-06 16:04:22] [INFO ] [Nat]Absence check using state equation in 22055 ms returned sat
[2025-06-06 16:04:28] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:04:33] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10410 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:04:35] [INFO ] [Real]Absence check using 65 positive place invariants in 535 ms returned sat
[2025-06-06 16:04:36] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 944 ms returned sat
[2025-06-06 16:05:01] [INFO ] [Real]Absence check using state equation in 25682 ms returned sat
[2025-06-06 16:05:02] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:05:04] [INFO ] [Nat]Absence check using 65 positive place invariants in 359 ms returned sat
[2025-06-06 16:05:05] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 916 ms returned sat
[2025-06-06 16:05:35] [INFO ] [Nat]Absence check using state equation in 29744 ms returned sat
[2025-06-06 16:05:41] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:05:46] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10704 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:05:48] [INFO ] [Real]Absence check using 65 positive place invariants in 382 ms returned sat
[2025-06-06 16:05:49] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 978 ms returned sat
[2025-06-06 16:06:22] [INFO ] [Real]Absence check using state equation in 33291 ms returned sat
[2025-06-06 16:06:23] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:06:25] [INFO ] [Nat]Absence check using 65 positive place invariants in 378 ms returned sat
[2025-06-06 16:06:26] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 1094 ms returned sat
[2025-06-06 16:07:00] [INFO ] [Nat]Absence check using state equation in 34599 ms returned sat
[2025-06-06 16:07:06] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:07:08] [INFO ] [Nat]Added 13378 Read/Feed constraints in 7552 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:07:10] [INFO ] [Real]Absence check using 65 positive place invariants in 396 ms returned sat
[2025-06-06 16:07:11] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 977 ms returned sat
[2025-06-06 16:07:36] [INFO ] [Real]Absence check using state equation in 25024 ms returned sat
[2025-06-06 16:07:42] [INFO ] [Real]Added 13378 Read/Feed constraints in 4937 ms returned sat
[2025-06-06 16:07:43] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:07:45] [INFO ] [Nat]Absence check using 65 positive place invariants in 365 ms returned sat
[2025-06-06 16:07:45] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 762 ms returned sat
[2025-06-06 16:08:17] [INFO ] [Nat]Absence check using state equation in 31718 ms returned sat
[2025-06-06 16:08:23] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:08:28] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10512 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:08:29] [INFO ] [Real]Absence check using 65 positive place invariants in 349 ms returned sat
[2025-06-06 16:08:30] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 724 ms returned sat
[2025-06-06 16:08:53] [INFO ] [Real]Absence check using state equation in 23339 ms returned sat
[2025-06-06 16:09:01] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:09:02] [INFO ] [Real]Added 13378 Read/Feed constraints in 7768 ms returned sat
[2025-06-06 16:09:03] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:09:05] [INFO ] [Nat]Absence check using 65 positive place invariants in 393 ms returned sat
[2025-06-06 16:09:06] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 853 ms returned sat
[2025-06-06 16:09:33] [INFO ] [Nat]Absence check using state equation in 27537 ms returned sat
[2025-06-06 16:09:40] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:09:44] [INFO ] [Nat]Added 13378 Read/Feed constraints in 11155 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:09:46] [INFO ] [Real]Absence check using 65 positive place invariants in 354 ms returned sat
[2025-06-06 16:09:47] [INFO ] [Real]Absence check using 65 positive and 1636 generalized place invariants in 720 ms returned sat
[2025-06-06 16:10:07] [INFO ] [Real]Absence check using state equation in 20027 ms returned sat
[2025-06-06 16:10:14] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:10:15] [INFO ] [Real]Added 13378 Read/Feed constraints in 6588 ms returned sat
[2025-06-06 16:10:16] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:10:17] [INFO ] [Nat]Absence check using 65 positive place invariants in 350 ms returned sat
[2025-06-06 16:10:18] [INFO ] [Nat]Absence check using 65 positive and 1636 generalized place invariants in 691 ms returned sat
[2025-06-06 16:10:53] [INFO ] [Nat]Absence check using state equation in 34793 ms returned sat
[2025-06-06 16:11:00] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:11:01] [INFO ] [Nat]Added 13378 Read/Feed constraints in 7605 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
Support contains 9 out of 8902 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8902/8902 places, 23121/23121 transitions.
Applied a total of 0 rules in 1830 ms. Remains 8902 /8902 variables (removed 0) and now considering 23121/23121 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1830 ms. Remains : 8902/8902 places, 23121/23121 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8902/8902 places, 23121/23121 transitions.
Applied a total of 0 rules in 2180 ms. Remains 8902 /8902 variables (removed 0) and now considering 23121/23121 (removed 0) transitions.
[2025-06-06 16:11:06] [INFO ] Flow matrix only has 21555 transitions (discarded 1566 similar events)
[2025-06-06 16:11:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 16:11:39] [INFO ] Performed 3550/8902 implicitness test of which 535 returned IMPLICIT in 30 seconds.
[2025-06-06 16:12:09] [INFO ] Performed 5327/8902 implicitness test of which 1221 returned IMPLICIT in 60 seconds.
[2025-06-06 16:12:33] [INFO ] Implicit Places using invariants in 86857 ms returned [4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 21, 27, 35, 45, 57, 71, 87, 105, 125, 147, 171, 197, 225, 255, 286, 316, 317, 318, 319, 320, 321, 322, 323, 324, 352, 378, 402, 424, 444, 462, 478, 492, 504, 514, 522, 528, 532, 534, 553, 559, 561, 562, 563, 564, 565, 566, 567, 568, 569, 571, 575, 581, 589, 599, 611, 625, 641, 659, 679, 701, 725, 751, 779, 808, 836, 837, 838, 839, 840, 841, 842, 843, 844, 870, 894, 916, 936, 954, 970, 984, 996, 1006, 1014, 1020, 1024, 1026, 1028, 1047, 1053, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1065, 1067, 1071, 1077, 1085, 1095, 1107, 1121, 1137, 1155, 1175, 1197, 1221, 1247, 1274, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1332, 1354, 1374, 1392, 1408, 1422, 1434, 1444, 1452, 1458, 1462, 1464, 1466, 1468, 1487, 1493, 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1502, 1503, 1505, 1507, 1509, 1513, 1519, 1527, 1537, 1549, 1563, 1579, 1597, 1617, 1639, 1663, 1688, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1720, 1742, 1762, 1780, 1796, 1810, 1822, 1832, 1840, 1846, 1850, 1852, 1854, 1858, 1860, 1879, 1885, 1887, 1888, 1889, 1890, 1891, 1892, 1893, 1896, 1899, 1901, 1903, 1905, 1909, 1915, 1923, 1933, 1945, 1959, 1975, 1993, 2013, 2035, 2058, 2080, 2081, 2082, 2083, 2084, 2085, 2086, 2087, 2088, 2108, 2126, 2142, 2156, 2168, 2178, 2186, 2192, 2196, 2198, 2200, 2202, 2204, 2206, 2225, 2231, 2233, 2234, 2235, 2236, 2237, 2238, 2239, 2240, 2241, 2243, 2245, 2247, 2249, 2251, 2255, 2261, 2269, 2279, 2291, 2305, 2321, 2339, 2359, 2380, 2400, 2401, 2402, 2403, 2404, 2405, 2406, 2407, 2408, 2426, 2442, 2456, 2468, 2478, 2486, 2492, 2496, 2498, 2500, 2502, 2504, 2506, 2508, 2527, 2533, 2535, 2536, 2537, 2538, 2539, 2540, 2541, 2543, 2545, 2547, 2549, 2551, 2553, 2555, 2559, 2565, 2573, 2585, 2597, 2611, 2627, 2645, 2664, 2682, 2683, 2684, 2685, 2686, 2687, 2688, 2689, 2690, 2706, 2720, 2732, 2742, 2750, 2756, 2760, 2762, 2764, 2766, 2768, 2770, 2772, 2774, 2793, 2799, 2801, 2802, 2803, 2804, 2805, 2806, 2807, 2808, 2809, 2811, 2813, 2815, 2817, 2819, 2821, 2823, 2827, 2833, 2841, 2851, 2863, 2877, 2893, 2910, 2926, 2927, 2928, 2929, 2930, 2931, 2932, 2933, 2934, 2948, 2960, 2970, 2978, 2984, 2988, 2990, 2992, 2994, 2996, 2998, 3000, 3002, 3004, 3023, 3029, 3031, 3032, 3033, 3034, 3035, 3036, 3037, 3038, 3039, 3041, 3043, 3045, 3047, 3049, 3051, 3053, 3055, 3059, 3065, 3073, 3083, 3095, 3109, 3124, 3138, 3139, 3140, 3141, 3142, 3143, 3144, 3145, 3146, 3158, 3168, 3176, 3182, 3186, 3188, 3190, 3192, 3194, 3196, 3198, 3200, 3202, 3204, 3223, 3229, 3231, 3232, 3233, 3234, 3235, 3236, 3237, 3239, 3241, 3243, 3245, 3247, 3249, 3251, 3253, 3255, 3259, 3263, 3269, 3277, 3287, 3299, 3312, 3324, 3325, 3326, 3327, 3328, 3329, 3330, 3331, 3332, 3342, 3350, 3356, 3360, 3362, 3364, 3366, 3368, 3370, 3372, 3374, 3376, 3378, 3380, 3399, 3405, 3407, 3408, 3409, 3410, 3411, 3412, 3413, 3414, 3415, 3417, 3419, 3421, 3423, 3425, 3427, 3429, 3431, 3433, 3435, 3439, 3445, 3453, 3463, 3474, 3484, 3485, 3486, 3487, 3488, 3489, 3490, 3491, 3492, 3500, 3506, 3510, 3512, 3514, 3516, 3518, 3520, 3522, 3524, 3526, 3528, 3530, 3532, 3551, 3557, 3559, 3560, 3561, 3562, 3563, 3564, 3565, 3566, 3567, 3569, 3571, 3573, 3575, 3577, 3579, 3581, 3583, 3585, 3587, 3589, 3593, 3599, 3607, 3616, 3624, 3625, 3626, 3627, 3628, 3629, 3630, 3631, 3632, 3638, 3642, 3644, 3646, 3648, 3650, 3652, 3654, 3656, 3658, 3660, 3662, 3664, 3666, 3685, 3691, 3693, 3694, 3695, 3696, 3697, 3698, 3699, 3700, 3701, 3703, 3705, 3707, 3709, 3711, 3713, 3715, 3717, 3719, 3721, 3723, 3725, 3729, 3735, 3742, 3748, 3749, 3750, 3751, 3752, 3753, 3754, 3755, 3756, 3760, 3762, 3764, 3766, 3768, 3770, 3772, 3774, 3776, 3778, 3780, 3782, 3784, 3786, 3805, 3811, 3813, 3814, 3815, 3816, 3817, 3818, 3819, 3820, 3821, 3823, 3825, 3827, 3829, 3831, 3833, 3835, 3837, 3839, 3841, 3843, 3845, 3847, 3851, 3856, 3860, 3861, 3862, 3863, 3864, 3865, 3866, 3867, 3868, 3870, 3872, 3874, 3876, 3878, 3880, 3882, 3884, 3886, 3888, 3890, 3892, 3894, 3896, 3915, 3921, 3923, 3924, 3925, 3926, 3927, 3928, 3929, 3930, 3931, 3933, 3935, 3937, 3939, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3962, 3964, 3965, 3966, 3967, 3968, 3969, 3970, 3971, 3972, 3974, 3976, 3978, 3980, 3982, 3984, 3986, 3988, 3990, 3992, 3994, 3996, 3998, 4000, 4019, 4025, 4027, 4028, 4029, 4030, 4031, 4032, 4033, 4034, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4059, 4061, 4063, 4065, 4067, 4068, 4069, 4070, 4071, 4072, 4073, 4075, 4077, 4079, 4081, 4083, 4085, 4088, 4090, 4092, 4094, 4096, 4098, 4100, 4102, 4104, 4123, 4125, 4128, 4130, 4131, 4132, 4133, 4134, 4135, 4136, 4137, 4138, 4140, 4142, 4144, 4146, 4148, 4150, 4152, 4154, 4156, 4158, 4160, 4162, 4164, 4166, 4168, 4170, 4171, 4172, 4173, 4174, 4175, 4176, 4177, 4178, 4180, 4182, 4184, 4186, 4188, 4190, 4192, 4194, 4196, 4198, 4200, 4202, 4204, 4206, 4225, 4231, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4240, 4241, 4243, 4245, 4247, 4249, 4251, 4253, 4255, 4257, 4259, 4261, 4263, 4265, 4267, 4269, 4271, 4273, 4274, 4275, 4276, 4277, 4278, 4279, 4280, 4281, 4283, 4285, 4287, 4289, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4328, 4334, 4336, 4337, 4338, 4339, 4340, 4341, 4342, 4344, 4346, 4348, 4350, 4352, 4354, 4356, 4358, 4360, 4362, 4366, 4368, 4370, 4372, 4374, 4376, 4379, 4380, 4381, 4382, 4383, 4384, 4385, 4386, 4387, 4389, 4391, 4393, 4395, 4397, 4399, 4401, 4403, 4405, 4407, 4409, 4411, 4413, 4415, 4434, 4440, 4442, 4443, 4444, 4445, 4446, 4447, 4448, 4449, 4450, 4452, 4454, 4456, 4458, 4460, 4462, 4464, 4466, 4468, 4470, 4472, 4474, 4476, 4478, 4482, 4487, 4488, 4489, 4490, 4491, 4492, 4493, 4494, 4495, 4499, 4501, 4503, 4505, 4507, 4509, 4511, 4513, 4515, 4517, 4519, 4521, 4523, 4525, 4544, 4550, 4552, 4553, 4554, 4555, 4556, 4557, 4558, 4559, 4560, 4562, 4564, 4566, 4568, 4570, 4572, 4574, 4576, 4578, 4580, 4582, 4584, 4586, 4590, 4596, 4603, 4604, 4605, 4606, 4607, 4608, 4609, 4610, 4611, 4617, 4621, 4623, 4625, 4627, 4629, 4631, 4633, 4635, 4637, 4639, 4641, 4643, 4645, 4664, 4670, 4672, 4673, 4674, 4675, 4676, 4677, 4678, 4679, 4680, 4682, 4684, 4686, 4688, 4690, 4692, 4694, 4696, 4698, 4700, 4702, 4704, 4708, 4714, 4722, 4731, 4732, 4733, 4734, 4735, 4736, 4737, 4738, 4739, 4747, 4753, 4757, 4759, 4761, 4763, 4765, 4767, 4769, 4771, 4773, 4775, 4777, 4779, 4798, 4804, 4806, 4807, 4808, 4809, 4810, 4811, 4812, 4813, 4814, 4816, 4818, 4820, 4822, 4824, 4826, 4828, 4830, 4832, 4834, 4836, 4840, 4846, 4854, 4864, 4875, 4876, 4877, 4878, 4879, 4880, 4881, 4882, 4883, 4893, 4901, 4907, 4911, 4913, 4915, 4917, 4919, 4921, 4923, 4925, 4927, 4929, 4931, 4950, 4956, 4958, 4959, 4960, 4961, 4962, 4963, 4964, 4965, 4966, 4968, 4970, 4972, 4974, 4976, 4978, 4980, 4982, 4984, 4986, 4990, 4996, 5004, 5014, 5026, 5039, 5040, 5041, 5042, 5043, 5044, 5045, 5046, 5047, 5059, 5069, 5077, 5083, 5087, 5089, 5091, 5093, 5095, 5097, 5099, 5101, 5103, 5105, 5124, 5130, 5132, 5133, 5134, 5135, 5136, 5137, 5138, 5139, 5140, 5142, 5144, 5146, 5148, 5150, 5152, 5154, 5156, 5158, 5162, 5168, 5176, 5186, 5198, 5212, 5227, 5228, 5229, 5230, 5231, 5232, 5233, 5234, 5235, 5249, 5261, 5271, 5279, 5285, 5289, 5291, 5293, 5295, 5297, 5299, 5301, 5303, 5305, 5324, 5330, 5332, 5333, 5334, 5335, 5336, 5337, 5338, 5339, 5340, 5342, 5344, 5346, 5348, 5350, 5352, 5354, 5356, 5360, 5366, 5374, 5384, 5396, 5410, 5426, 5443, 5444, 5445, 5446, 5447, 5448, 5449, 5450, 5451, 5467, 5481, 5493, 5503, 5511, 5517, 5521, 5523, 5525, 5527, 5529, 5531, 5533, 5535, 5554, 5560, 5562, 5563, 5564, 5565, 5566, 5567, 5568, 5569, 5570, 5572, 5574, 5576, 5578, 5580, 5582, 5584, 5588, 5594, 5602, 5612, 5624, 5638, 5654, 5672, 5691, 5692, 5693, 5694, 5695, 5696, 5697, 5698, 5699, 5717, 5733, 5747, 5759, 5769, 5777, 5783, 5787, 5789, 5791, 5793, 5795, 5797, 5799, 5818, 5824, 5826, 5827, 5828, 5829, 5830, 5831, 5832, 5833, 5834, 5836, 5838, 5840, 5842, 5844, 5846, 5850, 5856, 5864, 5874, 5886, 5900, 5916, 5934, 5954, 5975, 5976, 5977, 5978, 5979, 5980, 5981, 5982, 5983, 6003, 6021, 6037, 6051, 6063, 6073, 6081, 6087, 6091, 6093, 6095, 6097, 6099, 6101, 6120, 6126, 6128, 6129, 6130, 6131, 6132, 6133, 6134, 6135, 6136, 6138, 6140, 6142, 6144, 6146, 6150, 6156, 6164, 6174, 6186, 6200, 6216, 6234, 6254, 6276, 6299, 6300, 6301, 6302, 6303, 6304, 6305, 6306, 6307, 6329, 6349, 6367, 6383, 6397, 6409, 6419, 6427, 6433, 6437, 6439, 6441, 6443, 6445, 6464, 6470, 6472, 6473, 6474, 6475, 6476, 6477, 6478, 6479, 6480, 6482, 6484, 6486, 6488, 6492, 6498, 6506, 6516, 6528, 6542, 6558, 6576, 6596, 6618, 6642, 6667, 6668, 6669, 6670, 6671, 6672, 6673, 6674, 6675, 6699, 6721, 6741, 6759, 6775, 6789, 6801, 6811, 6819, 6825, 6829, 6831, 6833, 6835, 6854, 6860, 6862, 6863, 6864, 6865, 6866, 6867, 6868, 6869, 6870, 6872, 6874, 6876, 6880, 6886, 6894, 6904, 6916, 6930, 6946, 6964, 6984, 7006, 7030, 7056, 7083, 7084, 7085, 7086, 7087, 7088, 7089, 7090, 7091, 7117, 7141, 7163, 7183, 7201, 7217, 7231, 7243, 7253, 7261, 7267, 7271, 7273, 7275, 7294, 7300, 7302, 7303, 7304, 7305, 7306, 7307, 7308, 7309, 7310, 7312, 7314, 7318, 7324, 7332, 7342, 7354, 7368, 7384, 7402, 7422, 7444, 7468, 7494, 7522, 7551, 7552, 7553, 7554, 7555, 7556, 7557, 7558, 7559, 7587, 7613, 7637, 7659, 7679, 7697, 7713, 7727, 7739, 7749, 7757, 7763, 7767, 7769, 7788, 7790, 7793, 7795, 7796, 7797, 7798, 7799, 7800, 7801, 7802, 7803, 7805, 7809, 7815, 7823, 7833, 7845, 7859, 7875, 7893, 7913, 7935, 7959, 7985, 8013, 8043, 8074, 8075, 8076, 8077, 8078, 8079, 8080, 8081, 8082, 8112, 8140, 8166, 8190, 8212, 8232, 8250, 8266, 8280, 8292, 8302, 8310, 8316, 8320, 8339]
[2025-06-06 16:12:33] [INFO ] Actually due to overlaps returned [553, 1047, 1487, 1879, 2225, 2527, 2793, 3023, 3223, 3399, 3551, 3685, 3805, 3915, 4019, 4123, 4225, 4328, 4434, 4544, 4664, 4798, 4950, 5124, 5324, 5554, 5818, 6120, 6464, 6854, 7294, 7788, 8339, 4, 9, 10, 11, 12, 13, 14, 15, 16, 316, 317, 318, 319, 320, 321, 322, 323, 561, 562, 563, 564, 565, 566, 567, 568, 836, 837, 838, 839, 840, 841, 842, 843, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1502, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1887, 1888, 1889, 1890, 1891, 1892, 1893, 2080, 2081, 2082, 2083, 2084, 2085, 2086, 2087, 2233, 2234, 2235, 2236, 2237, 2238, 2239, 2240, 2400, 2401, 2402, 2403, 2404, 2405, 2406, 2407, 2535, 2536, 2537, 2538, 2539, 2540, 2541, 2682, 2683, 2684, 2685, 2686, 2687, 2688, 2689, 2801, 2802, 2803, 2804, 2805, 2806, 2807, 2808, 2926, 2927, 2928, 2929, 2930, 2931, 2932, 2933, 3031, 3032, 3033, 3034, 3035, 3036, 3037, 3038, 3138, 3139, 3140, 3141, 3142, 3143, 3144, 3145, 3231, 3232, 3233, 3234, 3235, 3236, 3237, 3324, 3325, 3326, 3327, 3328, 3329, 3330, 3331, 3407, 3408, 3409, 3410, 3411, 3412, 3413, 3414, 3484, 3485, 3486, 3487, 3488, 3489, 3490, 3491, 3559, 3560, 3561, 3562, 3563, 3564, 3565, 3566, 3624, 3625, 3626, 3627, 3628, 3629, 3630, 3631, 3693, 3694, 3695, 3696, 3697, 3698, 3699, 3700, 3748, 3749, 3750, 3751, 3752, 3753, 3754, 3755, 3813, 3814, 3815, 3816, 3817, 3818, 3819, 3820, 3860, 3861, 3862, 3863, 3864, 3865, 3866, 3867, 3923, 3924, 3925, 3926, 3927, 3928, 3929, 3930, 3964, 3965, 3966, 3967, 3968, 3969, 3970, 3971, 4027, 4028, 4029, 4030, 4031, 4032, 4033, 4034, 4067, 4068, 4069, 4070, 4071, 4072, 4073, 4125, 4130, 4131, 4132, 4133, 4134, 4135, 4136, 4137, 4170, 4171, 4172, 4173, 4174, 4175, 4176, 4177, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4240, 4273, 4274, 4275, 4276, 4277, 4278, 4279, 4280, 4336, 4337, 4338, 4339, 4340, 4341, 4342, 4379, 4380, 4381, 4382, 4383, 4384, 4385, 4386, 4442, 4443, 4444, 4445, 4446, 4447, 4448, 4449, 4487, 4488, 4489, 4490, 4491, 4492, 4493, 4494, 4552, 4553, 4554, 4555, 4556, 4557, 4558, 4559, 4603, 4604, 4605, 4606, 4607, 4608, 4609, 4610, 4672, 4673, 4674, 4675, 4676, 4677, 4678, 4679, 4731, 4732, 4733, 4734, 4735, 4736, 4737, 4738, 4806, 4807, 4808, 4809, 4810, 4811, 4812, 4813, 4875, 4876, 4877, 4878, 4879, 4880, 4881, 4882, 4958, 4959, 4960, 4961, 4962, 4963, 4964, 4965, 5039, 5040, 5041, 5042, 5043, 5044, 5045, 5046, 5132, 5133, 5134, 5135, 5136, 5137, 5138, 5139, 5227, 5228, 5229, 5230, 5231, 5232, 5233, 5234, 5332, 5333, 5334, 5335, 5336, 5337, 5338, 5339, 5443, 5444, 5445, 5446, 5447, 5448, 5449, 5450, 5562, 5563, 5564, 5565, 5566, 5567, 5568, 5569, 5691, 5692, 5693, 5694, 5695, 5696, 5697, 5698, 5826, 5827, 5828, 5829, 5830, 5831, 5832, 5833, 5975, 5976, 5977, 5978, 5979, 5980, 5981, 5982, 6128, 6129, 6130, 6131, 6132, 6133, 6134, 6135, 6299, 6300, 6301, 6302, 6303, 6304, 6305, 6306, 6472, 6473, 6474, 6475, 6476, 6477, 6478, 6479, 6667, 6668, 6669, 6670, 6671, 6672, 6673, 6674, 6862, 6863, 6864, 6865, 6866, 6867, 6868, 6869, 7083, 7084, 7085, 7086, 7087, 7088, 7089, 7090, 7302, 7303, 7304, 7305, 7306, 7307, 7308, 7309, 7551, 7552, 7553, 7554, 7555, 7556, 7557, 7558, 7790, 7795, 7796, 7797, 7798, 7799, 7800, 7801, 7802, 8074, 8075, 8076, 8077, 8078, 8079, 8080, 8081]
Discarding 558 places :
Implicit Place search using SMT only with invariants took 86937 ms to find 558 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 8344/8902 places, 23121/23121 transitions.
Discarding 506 places :
Symmetric choice reduction at 0 with 506 rule applications. Total rules 506 place count 7838 transition count 22615
Iterating global reduction 0 with 506 rules applied. Total rules applied 1012 place count 7838 transition count 22615
Discarding 506 places :
Symmetric choice reduction at 0 with 506 rule applications. Total rules 1518 place count 7332 transition count 22109
Iterating global reduction 0 with 506 rules applied. Total rules applied 2024 place count 7332 transition count 22109
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 2027 place count 7332 transition count 22106
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 2030 place count 7329 transition count 22106
Applied a total of 2030 rules in 6915 ms. Remains 7329 /8344 variables (removed 1015) and now considering 22106/23121 (removed 1015) transitions.
[2025-06-06 16:12:40] [INFO ] Flow matrix only has 20540 transitions (discarded 1566 similar events)
// Phase 1: matrix 20540 rows 7329 cols
[2025-06-06 16:12:41] [INFO ] Computed 1143 invariants in 958 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 16:13:13] [INFO ] Performed 3556/7329 implicitness test of which 483 returned IMPLICIT in 30 seconds.
[2025-06-06 16:13:43] [INFO ] Performed 7278/7329 implicitness test of which 1056 returned IMPLICIT in 60 seconds.
[2025-06-06 16:13:48] [INFO ] Implicit Places using invariants in 68400 ms returned [6, 8, 12, 18, 26, 36, 48, 62, 78, 96, 116, 138, 162, 188, 216, 246, 277, 307, 335, 361, 385, 407, 427, 445, 461, 475, 487, 497, 505, 511, 515, 517, 540, 542, 544, 548, 554, 562, 572, 584, 598, 614, 632, 652, 674, 698, 724, 752, 781, 809, 835, 859, 881, 901, 919, 935, 949, 961, 971, 979, 985, 989, 991, 993, 1001, 1003, 1005, 1007, 1011, 1017, 1025, 1035, 1047, 1061, 1077, 1095, 1115, 1137, 1161, 1187, 1214, 1240, 1264, 1286, 1306, 1324, 1340, 1354, 1366, 1376, 1384, 1390, 1394, 1396, 1398, 1400, 1408, 1410, 1412, 1414, 1416, 1420, 1426, 1434, 1444, 1456, 1470, 1486, 1504, 1524, 1546, 1570, 1595, 1620, 1642, 1662, 1680, 1696, 1710, 1722, 1732, 1740, 1746, 1750, 1752, 1754, 1758, 1760, 1769, 1773, 1776, 1778, 1780, 1782, 1786, 1792, 1800, 1810, 1822, 1836, 1852, 1870, 1890, 1912, 1935, 1957, 1977, 1995, 2011, 2025, 2037, 2047, 2055, 2061, 2065, 2067, 2069, 2071, 2073, 2075, 2084, 2086, 2088, 2090, 2092, 2094, 2096, 2100, 2106, 2114, 2124, 2136, 2150, 2166, 2184, 2204, 2225, 2245, 2263, 2279, 2293, 2305, 2315, 2323, 2329, 2333, 2335, 2337, 2339, 2341, 2343, 2345, 2353, 2356, 2358, 2360, 2362, 2364, 2366, 2368, 2372, 2378, 2386, 2398, 2410, 2424, 2440, 2458, 2477, 2495, 2511, 2525, 2537, 2547, 2555, 2561, 2565, 2567, 2569, 2571, 2573, 2575, 2577, 2579, 2588, 2590, 2592, 2594, 2596, 2598, 2600, 2602, 2604, 2608, 2614, 2622, 2632, 2644, 2658, 2674, 2691, 2707, 2721, 2733, 2743, 2751, 2757, 2761, 2763, 2765, 2767, 2769, 2771, 2773, 2775, 2777, 2785, 2787, 2789, 2791, 2793, 2795, 2797, 2799, 2801, 2803, 2807, 2813, 2821, 2831, 2843, 2857, 2872, 2886, 2898, 2908, 2916, 2922, 2926, 2928, 2930, 2932, 2934, 2936, 2938, 2940, 2942, 2944, 2952, 2955, 2957, 2959, 2961, 2963, 2965, 2967, 2969, 2971, 2975, 2979, 2985, 2993, 3003, 3015, 3028, 3040, 3050, 3058, 3064, 3068, 3070, 3072, 3074, 3076, 3078, 3080, 3082, 3084, 3086, 3088, 3097, 3099, 3101, 3103, 3105, 3107, 3109, 3111, 3113, 3115, 3117, 3119, 3123, 3129, 3137, 3147, 3158, 3168, 3176, 3182, 3186, 3188, 3190, 3192, 3194, 3196, 3198, 3200, 3202, 3204, 3206, 3208, 3216, 3218, 3220, 3222, 3224, 3226, 3228, 3230, 3232, 3234, 3236, 3238, 3240, 3244, 3250, 3258, 3267, 3275, 3281, 3285, 3287, 3289, 3291, 3293, 3295, 3297, 3299, 3301, 3303, 3305, 3307, 3309, 3317, 3319, 3321, 3323, 3325, 3327, 3329, 3331, 3333, 3335, 3337, 3339, 3341, 3343, 3347, 3353, 3360, 3366, 3370, 3372, 3374, 3376, 3378, 3380, 3382, 3384, 3386, 3388, 3390, 3392, 3394, 3396, 3404, 3406, 3408, 3410, 3412, 3414, 3416, 3418, 3420, 3422, 3424, 3426, 3428, 3430, 3432, 3436, 3441, 3445, 3447, 3449, 3451, 3453, 3455, 3457, 3459, 3461, 3463, 3465, 3467, 3469, 3471, 3473, 3481, 3483, 3485, 3487, 3489, 3491, 3493, 3495, 3497, 3499, 3501, 3503, 3505, 3507, 3509, 3511, 3514, 3516, 3518, 3520, 3522, 3524, 3526, 3528, 3530, 3532, 3534, 3536, 3538, 3540, 3542, 3544, 3552, 3554, 3556, 3558, 3560, 3562, 3564, 3566, 3568, 3570, 3572, 3574, 3576, 3578, 3580, 3582, 3584, 3587, 3589, 3591, 3593, 3595, 3597, 3600, 3602, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3623, 3625, 3627, 3629, 3631, 3633, 3635, 3637, 3639, 3641, 3643, 3645, 3647, 3649, 3651, 3653, 3655, 3657, 3659, 3661, 3663, 3665, 3667, 3669, 3671, 3673, 3675, 3677, 3679, 3681, 3683, 3685, 3692, 3694, 3696, 3698, 3700, 3702, 3704, 3706, 3708, 3710, 3712, 3714, 3716, 3718, 3720, 3722, 3724, 3726, 3728, 3730, 3732, 3734, 3736, 3738, 3740, 3742, 3744, 3746, 3748, 3750, 3752, 3754, 3762, 3765, 3767, 3769, 3771, 3773, 3775, 3777, 3779, 3781, 3783, 3787, 3789, 3791, 3793, 3795, 3797, 3800, 3802, 3804, 3806, 3808, 3810, 3812, 3814, 3816, 3818, 3820, 3822, 3824, 3826, 3828, 3837, 3839, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3857, 3859, 3861, 3863, 3865, 3867, 3871, 3876, 3880, 3882, 3884, 3886, 3888, 3890, 3892, 3894, 3896, 3898, 3900, 3902, 3904, 3906, 3914, 3916, 3918, 3920, 3922, 3924, 3926, 3928, 3930, 3932, 3934, 3936, 3938, 3940, 3942, 3946, 3952, 3959, 3965, 3969, 3971, 3973, 3975, 3977, 3979, 3981, 3983, 3985, 3987, 3989, 3991, 3993, 4001, 4003, 4005, 4007, 4009, 4011, 4013, 4015, 4017, 4019, 4021, 4023, 4025, 4027, 4031, 4037, 4045, 4054, 4062, 4068, 4072, 4074, 4076, 4078, 4080, 4082, 4084, 4086, 4088, 4090, 4092, 4094, 4102, 4104, 4106, 4108, 4110, 4112, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4130, 4136, 4144, 4154, 4165, 4175, 4183, 4189, 4193, 4195, 4197, 4199, 4201, 4203, 4205, 4207, 4209, 4211, 4213, 4221, 4223, 4225, 4227, 4229, 4231, 4233, 4235, 4237, 4239, 4241, 4243, 4247, 4253, 4261, 4271, 4283, 4296, 4308, 4318, 4326, 4332, 4336, 4338, 4340, 4342, 4344, 4346, 4348, 4350, 4352, 4354, 4362, 4364, 4366, 4368, 4370, 4372, 4374, 4376, 4378, 4380, 4382, 4386, 4392, 4400, 4410, 4422, 4436, 4451, 4465, 4477, 4487, 4495, 4501, 4505, 4507, 4509, 4511, 4513, 4515, 4517, 4519, 4521, 4529, 4531, 4533, 4535, 4537, 4539, 4541, 4543, 4545, 4547, 4551, 4557, 4565, 4575, 4587, 4601, 4617, 4634, 4650, 4664, 4676, 4686, 4694, 4700, 4704, 4706, 4708, 4710, 4712, 4714, 4716, 4718, 4726, 4728, 4730, 4732, 4734, 4736, 4738, 4740, 4742, 4746, 4752, 4760, 4770, 4782, 4796, 4812, 4830, 4849, 4867, 4883, 4897, 4909, 4919, 4927, 4933, 4937, 4939, 4941, 4943, 4945, 4947, 4949, 4957, 4959, 4961, 4963, 4965, 4967, 4969, 4971, 4975, 4981, 4989, 4999, 5011, 5025, 5041, 5059, 5079, 5100, 5120, 5138, 5154, 5168, 5180, 5190, 5198, 5204, 5208, 5210, 5212, 5214, 5216, 5218, 5226, 5228, 5230, 5232, 5234, 5236, 5238, 5242, 5248, 5256, 5266, 5278, 5292, 5308, 5326, 5346, 5368, 5391, 5413, 5433, 5451, 5467, 5481, 5493, 5503, 5511, 5517, 5521, 5523, 5525, 5527, 5529, 5537, 5539, 5541, 5543, 5545, 5547, 5551, 5557, 5565, 5575, 5587, 5601, 5617, 5635, 5655, 5677, 5701, 5726, 5750, 5772, 5792, 5810, 5826, 5840, 5852, 5862, 5870, 5876, 5880, 5882, 5884, 5886, 5894, 5896, 5898, 5900, 5902, 5906, 5912, 5920, 5930, 5942, 5956, 5972, 5990, 6010, 6032, 6056, 6082, 6109, 6135, 6159, 6181, 6201, 6219, 6235, 6249, 6261, 6271, 6279, 6285, 6289, 6291, 6293, 6301, 6303, 6305, 6307, 6311, 6317, 6325, 6335, 6347, 6361, 6377, 6395, 6415, 6437, 6461, 6487, 6515, 6544, 6572, 6598, 6622, 6644, 6664, 6682, 6698, 6712, 6724, 6734, 6742, 6748, 6752, 6754, 6760, 6762, 6764, 6768, 6774, 6782, 6792, 6804, 6818, 6834, 6852, 6872, 6894, 6918, 6944, 6972, 7002, 7033, 7063, 7091, 7117, 7141, 7163, 7183, 7201, 7217, 7231, 7243, 7253, 7261, 7267, 7271]
Discarding 1056 places :
Implicit Place search using SMT only with invariants took 68584 ms to find 1056 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 6273/8902 places, 22106/23121 transitions.
Applied a total of 0 rules in 1648 ms. Remains 6273 /6273 variables (removed 0) and now considering 22106/22106 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 166274 ms. Remains : 6273/8902 places, 22106/23121 transitions.
[2025-06-06 16:13:50] [INFO ] Flow matrix only has 20540 transitions (discarded 1566 similar events)
// Phase 1: matrix 20540 rows 6273 cols
[2025-06-06 16:13:51] [INFO ] Computed 87 invariants in 1155 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
RANDOM walk for 301506 steps (6383 resets) in 30001 ms. (10 steps per ms)
BEST_FIRST walk for 5504964 steps (8058 resets) in 45009 ms. (122 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 2, 1, 1, 1]
[2025-06-06 16:15:06] [INFO ] Flow matrix only has 20540 transitions (discarded 1566 similar events)
[2025-06-06 16:15:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:15:08] [INFO ] [Real]Absence check using 63 positive place invariants in 199 ms returned sat
[2025-06-06 16:15:08] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 16 ms returned sat
[2025-06-06 16:15:36] [INFO ] [Real]Absence check using state equation in 28617 ms returned sat
[2025-06-06 16:15:37] [INFO ] State equation strengthened by 13378 read => feed constraints.
[2025-06-06 16:15:43] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:15:46] [INFO ] [Real]Added 13378 Read/Feed constraints in 8753 ms returned sat
[2025-06-06 16:15:47] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:15:48] [INFO ] [Nat]Absence check using 63 positive place invariants in 206 ms returned sat
[2025-06-06 16:15:48] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 16 ms returned sat
[2025-06-06 16:16:16] [INFO ] [Nat]Absence check using state equation in 28345 ms returned sat
[2025-06-06 16:16:22] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:16:26] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10164 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:16:28] [INFO ] [Real]Absence check using 63 positive place invariants in 198 ms returned sat
[2025-06-06 16:16:28] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 13 ms returned sat
[2025-06-06 16:16:45] [INFO ] [Real]Absence check using state equation in 17163 ms returned sat
[2025-06-06 16:16:51] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:16:52] [INFO ] [Real]Added 13378 Read/Feed constraints in 6299 ms returned sat
[2025-06-06 16:16:53] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:16:54] [INFO ] [Nat]Absence check using 63 positive place invariants in 227 ms returned sat
[2025-06-06 16:16:54] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 17 ms returned sat
[2025-06-06 16:17:13] [INFO ] [Nat]Absence check using state equation in 19543 ms returned sat
[2025-06-06 16:17:19] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:17:24] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10158 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:17:25] [INFO ] [Real]Absence check using 63 positive place invariants in 196 ms returned sat
[2025-06-06 16:17:25] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 9 ms returned sat
[2025-06-06 16:17:42] [INFO ] [Real]Absence check using state equation in 17088 ms returned sat
[2025-06-06 16:17:47] [INFO ] [Real]Added 13378 Read/Feed constraints in 3788 ms returned sat
[2025-06-06 16:17:47] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:17:49] [INFO ] [Nat]Absence check using 63 positive place invariants in 223 ms returned sat
[2025-06-06 16:17:49] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 11 ms returned sat
[2025-06-06 16:18:06] [INFO ] [Nat]Absence check using state equation in 17688 ms returned sat
[2025-06-06 16:18:12] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:18:16] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10147 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:18:18] [INFO ] [Real]Absence check using 63 positive place invariants in 206 ms returned sat
[2025-06-06 16:18:18] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 21 ms returned sat
[2025-06-06 16:18:35] [INFO ] [Real]Absence check using state equation in 16937 ms returned sat
[2025-06-06 16:18:41] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:18:46] [INFO ] [Real]Added 13378 Read/Feed constraints in 10159 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:18:47] [INFO ] [Real]Absence check using 63 positive place invariants in 220 ms returned sat
[2025-06-06 16:18:47] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 20 ms returned sat
[2025-06-06 16:19:11] [INFO ] [Real]Absence check using state equation in 24026 ms returned sat
[2025-06-06 16:19:17] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:19:20] [INFO ] [Real]Added 13378 Read/Feed constraints in 8440 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:19:21] [INFO ] [Real]Absence check using 63 positive place invariants in 188 ms returned sat
[2025-06-06 16:19:21] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:19:38] [INFO ] [Real]Absence check using state equation in 16982 ms returned sat
[2025-06-06 16:19:50] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:19:51] [INFO ] [Real]Added 13378 Read/Feed constraints in 11961 ms returned sat
[2025-06-06 16:19:52] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:19:53] [INFO ] [Nat]Absence check using 63 positive place invariants in 229 ms returned sat
[2025-06-06 16:19:53] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:20:13] [INFO ] [Nat]Absence check using state equation in 19522 ms returned sat
[2025-06-06 16:20:22] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:20:26] [INFO ] [Nat]Added 13378 Read/Feed constraints in 13503 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:20:27] [INFO ] [Real]Absence check using 63 positive place invariants in 199 ms returned sat
[2025-06-06 16:20:28] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 13 ms returned sat
[2025-06-06 16:20:48] [INFO ] [Real]Absence check using state equation in 20430 ms returned sat
[2025-06-06 16:20:54] [INFO ] [Real]Added 13378 Read/Feed constraints in 5599 ms returned sat
[2025-06-06 16:20:55] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:20:56] [INFO ] [Nat]Absence check using 63 positive place invariants in 198 ms returned sat
[2025-06-06 16:20:56] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:21:13] [INFO ] [Nat]Absence check using state equation in 16606 ms returned sat
[2025-06-06 16:21:20] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:21:24] [INFO ] [Nat]Added 13378 Read/Feed constraints in 11623 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:21:26] [INFO ] [Real]Absence check using 63 positive place invariants in 263 ms returned sat
[2025-06-06 16:21:26] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 17 ms returned sat
[2025-06-06 16:21:42] [INFO ] [Real]Absence check using state equation in 16288 ms returned sat
[2025-06-06 16:21:53] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:21:53] [INFO ] [Real]Added 13378 Read/Feed constraints in 10274 ms returned sat
[2025-06-06 16:21:54] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:21:55] [INFO ] [Nat]Absence check using 63 positive place invariants in 223 ms returned sat
[2025-06-06 16:21:55] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 20 ms returned sat
[2025-06-06 16:22:13] [INFO ] [Nat]Absence check using state equation in 17700 ms returned sat
[2025-06-06 16:22:19] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:22:30] [INFO ] [Nat]Added 13378 Read/Feed constraints in 16707 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:22:31] [INFO ] [Real]Absence check using 63 positive place invariants in 193 ms returned sat
[2025-06-06 16:22:31] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 12 ms returned sat
[2025-06-06 16:22:56] [INFO ] [Real]Absence check using state equation in 24445 ms returned sat
[2025-06-06 16:23:00] [INFO ] [Real]Added 13378 Read/Feed constraints in 3253 ms returned sat
[2025-06-06 16:23:00] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:23:02] [INFO ] [Nat]Absence check using 63 positive place invariants in 247 ms returned sat
[2025-06-06 16:23:02] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 12 ms returned sat
[2025-06-06 16:23:26] [INFO ] [Nat]Absence check using state equation in 24330 ms returned sat
[2025-06-06 16:23:32] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:23:36] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10436 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 0, 2, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-06 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
Support contains 8 out of 6273 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6273/6273 places, 22106/22106 transitions.
Applied a total of 0 rules in 1691 ms. Remains 6273 /6273 variables (removed 0) and now considering 22106/22106 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1692 ms. Remains : 6273/6273 places, 22106/22106 transitions.
[2025-06-06 16:23:39] [INFO ] Flow matrix only has 20540 transitions (discarded 1566 similar events)
[2025-06-06 16:23:39] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
RANDOM walk for 295317 steps (6253 resets) in 30001 ms. (9 steps per ms)
BEST_FIRST walk for 4856979 steps (7101 resets) in 40008 ms. (121 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
[2025-06-06 16:24:49] [INFO ] Flow matrix only has 20540 transitions (discarded 1566 similar events)
[2025-06-06 16:24:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:24:51] [INFO ] [Real]Absence check using 63 positive place invariants in 215 ms returned sat
[2025-06-06 16:24:51] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 26 ms returned sat
[2025-06-06 16:25:18] [INFO ] [Real]Absence check using state equation in 27656 ms returned sat
[2025-06-06 16:25:19] [INFO ] State equation strengthened by 13378 read => feed constraints.
[2025-06-06 16:25:25] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:25:28] [INFO ] [Real]Added 13378 Read/Feed constraints in 8551 ms returned sat
[2025-06-06 16:25:28] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:25:30] [INFO ] [Nat]Absence check using 63 positive place invariants in 202 ms returned sat
[2025-06-06 16:25:30] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 15 ms returned sat
[2025-06-06 16:25:59] [INFO ] [Nat]Absence check using state equation in 29553 ms returned sat
[2025-06-06 16:26:05] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:26:10] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10370 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:26:11] [INFO ] [Real]Absence check using 63 positive place invariants in 205 ms returned sat
[2025-06-06 16:26:11] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 11 ms returned sat
[2025-06-06 16:26:29] [INFO ] [Real]Absence check using state equation in 18181 ms returned sat
[2025-06-06 16:26:36] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:26:37] [INFO ] [Real]Added 13378 Read/Feed constraints in 7297 ms returned sat
[2025-06-06 16:26:38] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:26:39] [INFO ] [Nat]Absence check using 63 positive place invariants in 206 ms returned sat
[2025-06-06 16:26:39] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:26:58] [INFO ] [Nat]Absence check using state equation in 18502 ms returned sat
[2025-06-06 16:27:03] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:27:08] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10174 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:27:09] [INFO ] [Real]Absence check using 63 positive place invariants in 209 ms returned sat
[2025-06-06 16:27:09] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 11 ms returned sat
[2025-06-06 16:27:25] [INFO ] [Real]Absence check using state equation in 16191 ms returned sat
[2025-06-06 16:27:30] [INFO ] [Real]Added 13378 Read/Feed constraints in 3598 ms returned sat
[2025-06-06 16:27:30] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:27:32] [INFO ] [Nat]Absence check using 63 positive place invariants in 205 ms returned sat
[2025-06-06 16:27:32] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:27:50] [INFO ] [Nat]Absence check using state equation in 18188 ms returned sat
[2025-06-06 16:27:56] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:28:00] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10183 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:28:01] [INFO ] [Real]Absence check using 63 positive place invariants in 206 ms returned sat
[2025-06-06 16:28:01] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 17 ms returned sat
[2025-06-06 16:28:18] [INFO ] [Real]Absence check using state equation in 16756 ms returned sat
[2025-06-06 16:28:25] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:28:29] [INFO ] [Real]Added 13378 Read/Feed constraints in 10211 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:28:31] [INFO ] [Real]Absence check using 63 positive place invariants in 207 ms returned sat
[2025-06-06 16:28:31] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 16 ms returned sat
[2025-06-06 16:28:49] [INFO ] [Real]Absence check using state equation in 18710 ms returned sat
[2025-06-06 16:29:03] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:29:04] [INFO ] [Real]Added 13378 Read/Feed constraints in 13512 ms returned sat
[2025-06-06 16:29:04] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:29:06] [INFO ] [Nat]Absence check using 63 positive place invariants in 215 ms returned sat
[2025-06-06 16:29:06] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 12 ms returned sat
[2025-06-06 16:29:25] [INFO ] [Nat]Absence check using state equation in 19917 ms returned sat
[2025-06-06 16:29:35] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:29:39] [INFO ] [Nat]Added 13378 Read/Feed constraints in 13729 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:29:41] [INFO ] [Real]Absence check using 63 positive place invariants in 192 ms returned sat
[2025-06-06 16:29:41] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:29:57] [INFO ] [Real]Absence check using state equation in 15973 ms returned sat
[2025-06-06 16:30:02] [INFO ] [Real]Added 13378 Read/Feed constraints in 4979 ms returned sat
[2025-06-06 16:30:03] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:30:04] [INFO ] [Nat]Absence check using 63 positive place invariants in 193 ms returned sat
[2025-06-06 16:30:04] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:30:21] [INFO ] [Nat]Absence check using state equation in 16943 ms returned sat
[2025-06-06 16:30:28] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:30:33] [INFO ] [Nat]Added 13378 Read/Feed constraints in 11735 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:30:34] [INFO ] [Real]Absence check using 63 positive place invariants in 193 ms returned sat
[2025-06-06 16:30:34] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:30:52] [INFO ] [Real]Absence check using state equation in 17444 ms returned sat
[2025-06-06 16:31:02] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:31:03] [INFO ] [Real]Added 13378 Read/Feed constraints in 10336 ms returned sat
[2025-06-06 16:31:03] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:31:04] [INFO ] [Nat]Absence check using 63 positive place invariants in 198 ms returned sat
[2025-06-06 16:31:04] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 9 ms returned sat
[2025-06-06 16:31:21] [INFO ] [Nat]Absence check using state equation in 16965 ms returned sat
[2025-06-06 16:31:27] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:31:40] [INFO ] [Nat]Added 13378 Read/Feed constraints in 18951 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:31:42] [INFO ] [Real]Absence check using 63 positive place invariants in 203 ms returned sat
[2025-06-06 16:31:42] [INFO ] [Real]Absence check using 63 positive and 24 generalized place invariants in 11 ms returned sat
[2025-06-06 16:32:04] [INFO ] [Real]Absence check using state equation in 21986 ms returned sat
[2025-06-06 16:32:07] [INFO ] [Real]Added 13378 Read/Feed constraints in 2874 ms returned sat
[2025-06-06 16:32:08] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-06 16:32:09] [INFO ] [Nat]Absence check using 63 positive place invariants in 206 ms returned sat
[2025-06-06 16:32:09] [INFO ] [Nat]Absence check using 63 positive and 24 generalized place invariants in 10 ms returned sat
[2025-06-06 16:32:32] [INFO ] [Nat]Absence check using state equation in 22783 ms returned sat
[2025-06-06 16:32:38] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-06 16:32:42] [INFO ] [Nat]Added 13378 Read/Feed constraints in 10185 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
Support contains 8 out of 6273 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6273/6273 places, 22106/22106 transitions.
Applied a total of 0 rules in 1576 ms. Remains 6273 /6273 variables (removed 0) and now considering 22106/22106 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1581 ms. Remains : 6273/6273 places, 22106/22106 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6273/6273 places, 22106/22106 transitions.
Applied a total of 0 rules in 1527 ms. Remains 6273 /6273 variables (removed 0) and now considering 22106/22106 (removed 0) transitions.
[2025-06-06 16:32:46] [INFO ] Flow matrix only has 20540 transitions (discarded 1566 similar events)
[2025-06-06 16:32:46] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
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="MultiCrashLeafsetExtension-PT-S32C08"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C08, 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 r128-smll-174876524600477"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C08.tgz
mv MultiCrashLeafsetExtension-PT-S32C08 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 ;