About the Execution of ITS-Tools for SupplyChain-PT-09000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15022.235 | 385462.00 | 1086384.00 | 3381.00 | TFTFFFFTFTFTFFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r354-tall-178024402900294.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is SupplyChain-PT-09000, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r354-tall-178024402900294
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 39M
-rw-r--r-- 1 mcc users 8.6K May 27 07:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 27 07:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 27 07:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 27 07:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 27 11:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 27 11:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 27 11:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 11:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 7.9K May 27 07:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K May 27 07:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K May 27 07:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K May 27 07:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 27 11:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 27 11:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 38M May 26 18:17 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-00
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-01
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-02
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-03
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-04
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-05
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-06
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-07
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-08
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-09
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-10
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-11
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-12
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-13
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-14
FORMULA_NAME SupplyChain-PT-09000-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1780285634778
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SupplyChain-PT-09000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202604301425
[2026-06-01 03:47:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-06-01 03:47:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 03:47:18] [INFO ] Load time of PNML (sax parser for PT used): 1657 ms
[2026-06-01 03:47:18] [INFO ] Transformed 117004 places.
[2026-06-01 03:47:18] [INFO ] Transformed 72003 transitions.
[2026-06-01 03:47:18] [INFO ] Parsed PT model containing 117004 places and 72003 transitions and 324006 arcs in 2227 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 36 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (8 resets) in 97114 ms. (0 steps per ms) remains 13/16 properties
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 17166 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 16131 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 13413 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 16274 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 17121 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14004 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14064 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 15179 ms. (2 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 11911 ms. (3 steps per ms) remains 12/13 properties
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-10 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 15304 ms. (2 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 12604 ms. (3 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14586 ms. (2 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 14938 ms. (2 steps per ms) remains 12/12 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-711498105723839652.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14129181651225810269.kers'
[2026-06-01 03:48:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-711498105723839652.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14129181651225810269.kers]
Normalized transition count is 72002 out of 72003 initially.
Culling duplicate invariants (modulo rational): removing 27090 columns.
Culled 27090 columns in 218 ms.
// Phase 1: matrix 72002 rows 89914 cols 234004 entries
Finished phase 1 with 53912 SingleSign rule and 9000 generalized
[2026-06-01 03:48:36] [INFO ] Computed 54092 invariants in 1925 ms
Computed 54092 P flows in 1936 ms.
Exported basis to /tmp/petrispot-output-14129181651225810269.kers
Total runtime 2007 ms.
[2026-06-01 03:48:37] [INFO ] State equation strengthened by 1 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/171 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Problem SupplyChain-PT-09000-ReachabilityCardinality-2024-03 is UNSAT
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-03 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 9558/9729 variables, 151/151 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/9729 variables, 3/154 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/9729 variables, 0/154 constraints. Problems are: Problem set: 1 solved, 11 unsolved
SMT process timed out in 8338ms, After SMT, problems are : Problem set: 1 solved, 11 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 132 out of 117004 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 117004/117004 places, 72003/72003 transitions.
Graph (complete) has 306362 edges and 117004 vertex of which 117002 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.186 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Ensure Unique test removed 27090 places
Iterating post reduction 0 with 27090 rules applied. Total rules applied 27091 place count 89912 transition count 72001
Performed 8978 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 8978 Pre rules applied. Total rules applied 27091 place count 89912 transition count 63023
Deduced a syphon composed of 8978 places in 51 ms
[2026-06-01 03:49:10] [INFO ] Flatten gal took : 110048 ms
Ensure Unique test removed 8978 places
Reduce places removed 17956 places and 0 transitions.
Iterating global reduction 1 with 26934 rules applied. Total rules applied 54025 place count 71956 transition count 63023
Free-agglomeration rule applied 17840 times.
Iterating global reduction 1 with 17840 rules applied. Total rules applied 71865 place count 71956 transition count 45183
Ensure Unique test removed 8978 places
Reduce places removed 26818 places and 0 transitions.
Ensure Unique test removed 8978 transitions
Reduce isomorphic transitions removed 8978 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8926 transitions
Trivial Post-agglo rules discarded 8926 transitions
Performed 8926 trivial Post agglomeration. Transition count delta: 8926
Iterating post reduction 1 with 44722 rules applied. Total rules applied 116587 place count 45138 transition count 27279
Reduce places removed 8926 places and 0 transitions.
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Iterating post reduction 2 with 8943 rules applied. Total rules applied 125530 place count 36212 transition count 27262
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 3 with 17 rules applied. Total rules applied 125547 place count 36195 transition count 27262
Performed 8945 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 8945 Pre rules applied. Total rules applied 125547 place count 36195 transition count 18317
Deduced a syphon composed of 8945 places in 53 ms
Reduce places removed 8945 places and 0 transitions.
Iterating global reduction 4 with 17890 rules applied. Total rules applied 143437 place count 27250 transition count 18317
Free-agglomeration rule (complex) applied 104 times.
Iterating global reduction 4 with 104 rules applied. Total rules applied 143541 place count 27250 transition count 18213
Reduce places removed 104 places and 0 transitions.
Iterating post reduction 4 with 104 rules applied. Total rules applied 143645 place count 27146 transition count 18213
[2026-06-01 03:50:32] [INFO ] Flatten gal took : 81652 ms
[2026-06-01 03:50:32] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1817050441152920314.gal : 529 ms
[2026-06-01 03:50:32] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11836926594552968313.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1817050441152920314.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11836926594552968313.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Reduce places removed 17 places and 17 transitions.
Iterating global reduction 5 with 17 rules applied. Total rules applied 143662 place count 27129 transition count 18196
Applied a total of 143662 rules in 140357 ms. Remains 27129 /117004 variables (removed 89875) and now considering 18196/72003 (removed 53807) transitions.
Running 9171 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12019225266551874739.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-250512432592365853.kers'
[2026-06-01 03:51:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12019225266551874739.kers, --Pflows, --basisKERS=/tmp/petrispot-output-250512432592365853.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 18196 rows 27129 cols 63506 entries
Finished phase 1 with 18083 SingleSign rule and 1 generalized
[2026-06-01 03:51:03] [INFO ] Computed 9045 invariants in 267 ms
Computed 9045 P flows in 268 ms.
Exported basis to /tmp/petrispot-output-250512432592365853.kers
Total runtime 283 ms.
[2026-06-01 03:51:03] [INFO ] State equation strengthened by 89 read => feed constraints.
Problem TDEAD68 is UNSAT
Problem TDEAD69 is UNSAT
Problem TDEAD70 is UNSAT
Problem TDEAD75 is UNSAT
Problem TDEAD76 is UNSAT
Problem TDEAD77 is UNSAT
Problem TDEAD78 is UNSAT
Problem TDEAD84 is UNSAT
Problem TDEAD91 is UNSAT
Problem TDEAD92 is UNSAT
Problem TDEAD97 is UNSAT
Problem TDEAD101 is UNSAT
Problem TDEAD102 is UNSAT
Problem TDEAD103 is UNSAT
Problem TDEAD104 is UNSAT
Problem TDEAD105 is UNSAT
Problem TDEAD106 is UNSAT
Problem TDEAD112 is UNSAT
Problem TDEAD122 is UNSAT
Problem TDEAD127 is UNSAT
Problem TDEAD128 is UNSAT
Problem TDEAD132 is UNSAT
Problem TDEAD138 is UNSAT
Problem TDEAD141 is UNSAT
Problem TDEAD142 is UNSAT
Problem TDEAD143 is UNSAT
Problem TDEAD144 is UNSAT
Problem TDEAD146 is UNSAT
Problem TDEAD153 is UNSAT
Problem TDEAD154 is UNSAT
Problem TDEAD158 is UNSAT
Problem TDEAD164 is UNSAT
Problem TDEAD165 is UNSAT
Problem TDEAD167 is UNSAT
Problem TDEAD253 is UNSAT
Problem TDEAD254 is UNSAT
Problem TDEAD255 is UNSAT
Problem TDEAD256 is UNSAT
Problem TDEAD257 is UNSAT
Problem TDEAD258 is UNSAT
Problem TDEAD259 is UNSAT
Problem TDEAD260 is UNSAT
Problem TDEAD261 is UNSAT
Problem TDEAD262 is UNSAT
Problem TDEAD263 is UNSAT
Problem TDEAD264 is UNSAT
Problem TDEAD265 is UNSAT
Problem TDEAD266 is UNSAT
Problem TDEAD267 is UNSAT
Problem TDEAD268 is UNSAT
Problem TDEAD269 is UNSAT
Problem TDEAD270 is UNSAT
Problem TDEAD271 is UNSAT
Problem TDEAD272 is UNSAT
Problem TDEAD273 is UNSAT
Problem TDEAD274 is UNSAT
Problem TDEAD275 is UNSAT
Problem TDEAD276 is UNSAT
Problem TDEAD277 is UNSAT
Problem TDEAD278 is UNSAT
Problem TDEAD279 is UNSAT
Problem TDEAD280 is UNSAT
Problem TDEAD281 is UNSAT
Problem TDEAD282 is UNSAT
Problem TDEAD283 is UNSAT
Problem TDEAD284 is UNSAT
Problem TDEAD285 is UNSAT
Problem TDEAD286 is UNSAT
Problem TDEAD287 is UNSAT
Problem TDEAD288 is UNSAT
Problem TDEAD289 is UNSAT
Problem TDEAD290 is UNSAT
Problem TDEAD291 is UNSAT
Problem TDEAD292 is UNSAT
Problem TDEAD293 is UNSAT
Problem TDEAD294 is UNSAT
Problem TDEAD295 is UNSAT
Problem TDEAD296 is UNSAT
Problem TDEAD297 is UNSAT
Problem TDEAD298 is UNSAT
Problem TDEAD299 is UNSAT
Problem TDEAD320 is UNSAT
Problem TDEAD322 is UNSAT
Problem TDEAD324 is UNSAT
Problem TDEAD326 is UNSAT
Problem TDEAD328 is UNSAT
Problem TDEAD330 is UNSAT
Problem TDEAD331 is UNSAT
Problem TDEAD334 is UNSAT
Problem TDEAD335 is UNSAT
Problem TDEAD337 is UNSAT
Problem TDEAD339 is UNSAT
Problem TDEAD341 is UNSAT
Problem TDEAD343 is UNSAT
Problem TDEAD345 is UNSAT
Problem TDEAD347 is UNSAT
Problem TDEAD350 is UNSAT
Problem TDEAD352 is UNSAT
Problem TDEAD354 is UNSAT
Problem TDEAD356 is UNSAT
Problem TDEAD358 is UNSAT
Problem TDEAD360 is UNSAT
Problem TDEAD362 is UNSAT
Problem TDEAD363 is UNSAT
Problem TDEAD366 is UNSAT
Problem TDEAD367 is UNSAT
Problem TDEAD369 is UNSAT
Problem TDEAD371 is UNSAT
Problem TDEAD373 is UNSAT
Problem TDEAD375 is UNSAT
Problem TDEAD377 is UNSAT
Problem TDEAD379 is UNSAT
Problem TDEAD382 is UNSAT
Problem TDEAD384 is UNSAT
Problem TDEAD386 is UNSAT
Problem TDEAD388 is UNSAT
Problem TDEAD390 is UNSAT
Problem TDEAD392 is UNSAT
Problem TDEAD394 is UNSAT
Problem TDEAD395 is UNSAT
Problem TDEAD398 is UNSAT
Problem TDEAD399 is UNSAT
Problem TDEAD401 is UNSAT
Problem TDEAD403 is UNSAT
Problem TDEAD405 is UNSAT
Problem TDEAD407 is UNSAT
Problem TDEAD409 is UNSAT
Problem TDEAD411 is UNSAT
Problem TDEAD414 is UNSAT
Problem TDEAD416 is UNSAT
Problem TDEAD418 is UNSAT
Problem TDEAD420 is UNSAT
Problem TDEAD422 is UNSAT
Problem TDEAD424 is UNSAT
Problem TDEAD426 is UNSAT
Problem TDEAD427 is UNSAT
Problem TDEAD430 is UNSAT
Problem TDEAD431 is UNSAT
Problem TDEAD433 is UNSAT
Problem TDEAD435 is UNSAT
Problem TDEAD437 is UNSAT
Problem TDEAD439 is UNSAT
Problem TDEAD441 is UNSAT
Problem TDEAD443 is UNSAT
Problem TDEAD446 is UNSAT
Problem TDEAD448 is UNSAT
Problem TDEAD450 is UNSAT
Problem TDEAD452 is UNSAT
Problem TDEAD454 is UNSAT
Problem TDEAD456 is UNSAT
Problem TDEAD458 is UNSAT
Problem TDEAD459 is UNSAT
Problem TDEAD462 is UNSAT
Problem TDEAD463 is UNSAT
Problem TDEAD465 is UNSAT
Problem TDEAD467 is UNSAT
Problem TDEAD469 is UNSAT
Problem TDEAD471 is UNSAT
Problem TDEAD473 is UNSAT
Problem TDEAD475 is UNSAT
Problem TDEAD478 is UNSAT
Problem TDEAD480 is UNSAT
Problem TDEAD482 is UNSAT
Problem TDEAD484 is UNSAT
Problem TDEAD486 is UNSAT
Problem TDEAD488 is UNSAT
Problem TDEAD490 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD494 is UNSAT
Problem TDEAD495 is UNSAT
Problem TDEAD497 is UNSAT
Problem TDEAD499 is UNSAT
Problem TDEAD501 is UNSAT
Problem TDEAD503 is UNSAT
Problem TDEAD505 is UNSAT
Problem TDEAD507 is UNSAT
Problem TDEAD510 is UNSAT
Problem TDEAD512 is UNSAT
Problem TDEAD514 is UNSAT
Problem TDEAD516 is UNSAT
Problem TDEAD518 is UNSAT
Problem TDEAD520 is UNSAT
Problem TDEAD522 is UNSAT
Problem TDEAD524 is UNSAT
Problem TDEAD526 is UNSAT
Problem TDEAD527 is UNSAT
Problem TDEAD529 is UNSAT
Problem TDEAD531 is UNSAT
Problem TDEAD535 is UNSAT
Problem TDEAD537 is UNSAT
Problem TDEAD539 is UNSAT
Problem TDEAD541 is UNSAT
Problem TDEAD544 is UNSAT
Problem TDEAD546 is UNSAT
Problem TDEAD548 is UNSAT
Problem TDEAD550 is UNSAT
Problem TDEAD552 is UNSAT
Problem TDEAD554 is UNSAT
Problem TDEAD556 is UNSAT
Problem TDEAD558 is UNSAT
Problem TDEAD559 is UNSAT
Problem TDEAD561 is UNSAT
Problem TDEAD563 is UNSAT
Problem TDEAD565 is UNSAT
Problem TDEAD567 is UNSAT
Problem TDEAD569 is UNSAT
Problem TDEAD571 is UNSAT
Problem TDEAD573 is UNSAT
Problem TDEAD576 is UNSAT
Problem TDEAD578 is UNSAT
Problem TDEAD580 is UNSAT
Problem TDEAD582 is UNSAT
Problem TDEAD584 is UNSAT
Problem TDEAD586 is UNSAT
Problem TDEAD588 is UNSAT
Problem TDEAD590 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD593 is UNSAT
Problem TDEAD595 is UNSAT
Problem TDEAD597 is UNSAT
Problem TDEAD599 is UNSAT
Problem TDEAD601 is UNSAT
Problem TDEAD603 is UNSAT
Problem TDEAD605 is UNSAT
Problem TDEAD608 is UNSAT
Problem TDEAD610 is UNSAT
Problem TDEAD612 is UNSAT
Problem TDEAD614 is UNSAT
Problem TDEAD616 is UNSAT
Problem TDEAD618 is UNSAT
Problem TDEAD620 is UNSAT
Problem TDEAD622 is UNSAT
Problem TDEAD624 is UNSAT
Problem TDEAD625 is UNSAT
Problem TDEAD627 is UNSAT
Problem TDEAD629 is UNSAT
Problem TDEAD631 is UNSAT
Problem TDEAD633 is UNSAT
Problem TDEAD635 is UNSAT
Problem TDEAD637 is UNSAT
Problem TDEAD640 is UNSAT
Problem TDEAD642 is UNSAT
Problem TDEAD644 is UNSAT
Problem TDEAD646 is UNSAT
Problem TDEAD648 is UNSAT
Problem TDEAD650 is UNSAT
Problem TDEAD652 is UNSAT
Problem TDEAD654 is UNSAT
Problem TDEAD656 is UNSAT
Problem TDEAD657 is UNSAT
Problem TDEAD659 is UNSAT
Problem TDEAD661 is UNSAT
Problem TDEAD663 is UNSAT
Problem TDEAD665 is UNSAT
Problem TDEAD667 is UNSAT
Problem TDEAD669 is UNSAT
Problem TDEAD672 is UNSAT
Problem TDEAD674 is UNSAT
Problem TDEAD676 is UNSAT
Problem TDEAD678 is UNSAT
Problem TDEAD680 is UNSAT
Problem TDEAD682 is UNSAT
Problem TDEAD684 is UNSAT
Problem TDEAD686 is UNSAT
Problem TDEAD688 is UNSAT
Problem TDEAD689 is UNSAT
Problem TDEAD691 is UNSAT
Problem TDEAD693 is UNSAT
Problem TDEAD695 is UNSAT
Problem TDEAD697 is UNSAT
Problem TDEAD699 is UNSAT
Problem TDEAD701 is UNSAT
Problem TDEAD704 is UNSAT
Problem TDEAD706 is UNSAT
Problem TDEAD708 is UNSAT
Problem TDEAD710 is UNSAT
Problem TDEAD712 is UNSAT
Problem TDEAD714 is UNSAT
Problem TDEAD716 is UNSAT
Problem TDEAD718 is UNSAT
Problem TDEAD720 is UNSAT
Problem TDEAD721 is UNSAT
Problem TDEAD723 is UNSAT
Problem TDEAD725 is UNSAT
Problem TDEAD727 is UNSAT
Problem TDEAD729 is UNSAT
Problem TDEAD731 is UNSAT
Problem TDEAD733 is UNSAT
Problem TDEAD736 is UNSAT
Problem TDEAD738 is UNSAT
Problem TDEAD740 is UNSAT
Problem TDEAD742 is UNSAT
Problem TDEAD744 is UNSAT
Problem TDEAD746 is UNSAT
Problem TDEAD748 is UNSAT
Problem TDEAD750 is UNSAT
Problem TDEAD752 is UNSAT
Problem TDEAD755 is UNSAT
Problem TDEAD757 is UNSAT
Problem TDEAD759 is UNSAT
Problem TDEAD761 is UNSAT
Problem TDEAD763 is UNSAT
Problem TDEAD765 is UNSAT
Problem TDEAD768 is UNSAT
Problem TDEAD770 is UNSAT
Problem TDEAD772 is UNSAT
Problem TDEAD774 is UNSAT
Problem TDEAD776 is UNSAT
Problem TDEAD778 is UNSAT
Problem TDEAD780 is UNSAT
Problem TDEAD782 is UNSAT
Problem TDEAD784 is UNSAT
Problem TDEAD785 is UNSAT
Problem TDEAD787 is UNSAT
Problem TDEAD789 is UNSAT
Problem TDEAD791 is UNSAT
Problem TDEAD793 is UNSAT
Problem TDEAD795 is UNSAT
Problem TDEAD797 is UNSAT
Problem TDEAD800 is UNSAT
Problem TDEAD802 is UNSAT
Problem TDEAD804 is UNSAT
Problem TDEAD806 is UNSAT
Problem TDEAD808 is UNSAT
Problem TDEAD810 is UNSAT
Problem TDEAD812 is UNSAT
Problem TDEAD814 is UNSAT
Problem TDEAD816 is UNSAT
Problem TDEAD817 is UNSAT
Problem TDEAD819 is UNSAT
Problem TDEAD821 is UNSAT
Problem TDEAD823 is UNSAT
Problem TDEAD825 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD829 is UNSAT
Problem TDEAD831 is UNSAT
Problem TDEAD834 is UNSAT
Problem TDEAD836 is UNSAT
Problem TDEAD838 is UNSAT
Problem TDEAD840 is UNSAT
Problem TDEAD842 is UNSAT
Problem TDEAD844 is UNSAT
Problem TDEAD846 is UNSAT
Problem TDEAD847 is UNSAT
Problem TDEAD850 is UNSAT
Problem TDEAD851 is UNSAT
Problem TDEAD853 is UNSAT
Problem TDEAD855 is UNSAT
Problem TDEAD857 is UNSAT
Problem TDEAD859 is UNSAT
Problem TDEAD861 is UNSAT
Problem TDEAD863 is UNSAT
Problem TDEAD866 is UNSAT
Problem TDEAD868 is UNSAT
Problem TDEAD870 is UNSAT
Problem TDEAD872 is UNSAT
Problem TDEAD874 is UNSAT
Problem TDEAD876 is UNSAT
Problem TDEAD878 is UNSAT
Problem TDEAD879 is UNSAT
Problem TDEAD882 is UNSAT
Problem TDEAD883 is UNSAT
Problem TDEAD885 is UNSAT
Problem TDEAD887 is UNSAT
Problem TDEAD889 is UNSAT
Problem TDEAD891 is UNSAT
Problem TDEAD893 is UNSAT
Problem TDEAD895 is UNSAT
Problem TDEAD898 is UNSAT
Problem TDEAD900 is UNSAT
Problem TDEAD902 is UNSAT
Problem TDEAD904 is UNSAT
Problem TDEAD906 is UNSAT
Problem TDEAD908 is UNSAT
Problem TDEAD910 is UNSAT
Problem TDEAD911 is UNSAT
Problem TDEAD914 is UNSAT
Problem TDEAD915 is UNSAT
Problem TDEAD917 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/27033 variables, 1/1 constraints. Problems are: Problem set: 379 solved, 8792 unsolved
SMT process timed out in 50491ms, After SMT, problems are : Problem set: 379 solved, 8792 unsolved
Search for dead transitions found 379 dead transitions in 50603ms
Found 379 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 379 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 379 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 27129/117004 places, 17817/72003 transitions.
Graph (complete) has 52594 edges and 27129 vertex of which 26733 are kept as prefixes of interest. Removing 396 places using SCC suffix rule.31 ms
Discarding 396 places :
Also discarding 0 output transitions
Reduce places removed 191 places and 192 transitions.
Iterating post reduction 0 with 191 rules applied. Total rules applied 192 place count 26542 transition count 17625
Reduce places removed 162 places and 162 transitions.
Iterating post reduction 1 with 162 rules applied. Total rules applied 354 place count 26380 transition count 17463
Reduce places removed 161 places and 161 transitions.
Iterating post reduction 2 with 161 rules applied. Total rules applied 515 place count 26219 transition count 17302
Reduce places removed 152 places and 154 transitions.
Iterating post reduction 3 with 152 rules applied. Total rules applied 667 place count 26067 transition count 17148
Reduce places removed 152 places and 152 transitions.
Iterating post reduction 4 with 152 rules applied. Total rules applied 819 place count 25915 transition count 16996
Reduce places removed 148 places and 149 transitions.
Iterating post reduction 5 with 148 rules applied. Total rules applied 967 place count 25767 transition count 16847
Reduce places removed 145 places and 146 transitions.
Iterating post reduction 6 with 145 rules applied. Total rules applied 1112 place count 25622 transition count 16701
Reduce places removed 140 places and 140 transitions.
Iterating post reduction 7 with 140 rules applied. Total rules applied 1252 place count 25482 transition count 16561
Reduce places removed 138 places and 138 transitions.
Iterating post reduction 8 with 138 rules applied. Total rules applied 1390 place count 25344 transition count 16423
Reduce places removed 107 places and 107 transitions.
Iterating post reduction 9 with 107 rules applied. Total rules applied 1497 place count 25237 transition count 16316
Reduce places removed 105 places and 105 transitions.
Iterating post reduction 10 with 105 rules applied. Total rules applied 1602 place count 25132 transition count 16211
Reduce places removed 56 places and 56 transitions.
Iterating post reduction 11 with 56 rules applied. Total rules applied 1658 place count 25076 transition count 16155
Reduce places removed 48 places and 48 transitions.
Iterating post reduction 12 with 48 rules applied. Total rules applied 1706 place count 25028 transition count 16107
Reduce places removed 48 places and 48 transitions.
Iterating post reduction 13 with 48 rules applied. Total rules applied 1754 place count 24980 transition count 16059
Reduce places removed 46 places and 46 transitions.
Iterating post reduction 14 with 46 rules applied. Total rules applied 1800 place count 24934 transition count 16013
Reduce places removed 45 places and 45 transitions.
Iterating post reduction 15 with 45 rules applied. Total rules applied 1845 place count 24889 transition count 15968
Reduce places removed 44 places and 44 transitions.
Iterating post reduction 16 with 44 rules applied. Total rules applied 1889 place count 24845 transition count 15924
Reduce places removed 42 places and 42 transitions.
Iterating post reduction 17 with 42 rules applied. Total rules applied 1931 place count 24803 transition count 15882
Reduce places removed 40 places and 40 transitions.
Iterating post reduction 18 with 40 rules applied. Total rules applied 1971 place count 24763 transition count 15842
Reduce places removed 37 places and 38 transitions.
Iterating post reduction 19 with 37 rules applied. Total rules applied 2008 place count 24726 transition count 15804
Reduce places removed 38 places and 38 transitions.
Iterating post reduction 20 with 38 rules applied. Total rules applied 2046 place count 24688 transition count 15766
Reduce places removed 37 places and 37 transitions.
Iterating post reduction 21 with 37 rules applied. Total rules applied 2083 place count 24651 transition count 15729
Reduce places removed 36 places and 36 transitions.
Iterating post reduction 22 with 36 rules applied. Total rules applied 2119 place count 24615 transition count 15693
Reduce places removed 34 places and 34 transitions.
Iterating post reduction 23 with 34 rules applied. Total rules applied 2153 place count 24581 transition count 15659
Reduce places removed 33 places and 33 transitions.
Iterating post reduction 24 with 33 rules applied. Total rules applied 2186 place count 24548 transition count 15626
Reduce places removed 32 places and 32 transitions.
Iterating post reduction 25 with 32 rules applied. Total rules applied 2218 place count 24516 transition count 15594
Reduce places removed 31 places and 31 transitions.
Iterating post reduction 26 with 31 rules applied. Total rules applied 2249 place count 24485 transition count 15563
Reduce places removed 30 places and 30 transitions.
Iterating post reduction 27 with 30 rules applied. Total rules applied 2279 place count 24455 transition count 15533
Reduce places removed 30 places and 30 transitions.
Iterating post reduction 28 with 30 rules applied. Total rules applied 2309 place count 24425 transition count 15503
Reduce places removed 30 places and 30 transitions.
Iterating post reduction 29 with 30 rules applied. Total rules applied 2339 place count 24395 transition count 15473
Reduce places removed 28 places and 28 transitions.
Iterating post reduction 30 with 28 rules applied. Total rules applied 2367 place count 24367 transition count 15445
Reduce places removed 27 places and 27 transitions.
Iterating post reduction 31 with 27 rules applied. Total rules applied 2394 place count 24340 transition count 15418
Reduce places removed 27 places and 27 transitions.
Iterating post reduction 32 with 27 rules applied. Total rules applied 2421 place count 24313 transition count 15391
Reduce places removed 26 places and 26 transitions.
Iterating post reduction 33 with 26 rules applied. Total rules applied 2447 place count 24287 transition count 15365
Reduce places removed 26 places and 26 transitions.
Iterating post reduction 34 with 26 rules applied. Total rules applied 2473 place count 24261 transition count 15339
Reduce places removed 26 places and 26 transitions.
Iterating post reduction 35 with 26 rules applied. Total rules applied 2499 place count 24235 transition count 15313
Reduce places removed 26 places and 26 transitions.
Iterating post reduction 36 with 26 rules applied. Total rules applied 2525 place count 24209 transition count 15287
Reduce places removed 26 places and 26 transitions.
Iterating post reduction 37 with 26 rules applied. Total rules applied 2551 place count 24183 transition count 15261
Reduce places removed 25 places and 25 transitions.
Iterating post reduction 38 with 25 rules applied. Total rules applied 2576 place count 24158 transition count 15236
Reduce places removed 23 places and 23 transitions.
Iterating post reduction 39 with 23 rules applied. Total rules applied 2599 place count 24135 transition count 15213
Reduce places removed 22 places and 22 transitions.
Iterating post reduction 40 with 22 rules applied. Total rules applied 2621 place count 24113 transition count 15191
Reduce places removed 22 places and 22 transitions.
Iterating post reduction 41 with 22 rules applied. Total rules applied 2643 place count 24091 transition count 15169
Reduce places removed 22 places and 22 transitions.
Iterating post reduction 42 with 22 rules applied. Total rules applied 2665 place count 24069 transition count 15147
Reduce places removed 21 places and 21 transitions.
Iterating post reduction 43 with 21 rules applied. Total rules applied 2686 place count 24048 transition count 15126
Reduce places removed 19 places and 19 transitions.
Iterating post reduction 44 with 19 rules applied. Total rules applied 2705 place count 24029 transition count 15107
Reduce places removed 19 places and 19 transitions.
Iterating post reduction 45 with 19 rules applied. Total rules applied 2724 place count 24010 transition count 15088
Reduce places removed 18 places and 18 transitions.
Iterating post reduction 46 with 18 rules applied. Total rules applied 2742 place count 23992 transition count 15070
Reduce places removed 18 places and 18 transitions.
Iterating post reduction 47 with 18 rules applied. Total rules applied 2760 place count 23974 transition count 15052
Reduce places removed 14 places and 14 transitions.
Iterating post reduction 48 with 14 rules applied. Total rules applied 2774 place count 23960 transition count 15038
Reduce places removed 13 places and 13 transitions.
Iterating post reduction 49 with 13 rules applied. Total rules applied 2787 place count 23947 transition count 15025
Reduce places removed 13 places and 13 transitions.
Iterating post reduction 50 with 13 rules applied. Total rules applied 2800 place count 23934 transition count 15012
Reduce places removed 13 places and 13 transitions.
Iterating post reduction 51 with 13 rules applied. Total rules applied 2813 place count 23921 transition count 14999
Reduce places removed 13 places and 13 transitions.
Iterating post reduction 52 with 13 rules applied. Total rules applied 2826 place count 23908 transition count 14986
Reduce places removed 12 places and 12 transitions.
Iterating post reduction 53 with 12 rules applied. Total rules applied 2838 place count 23896 transition count 14974
Reduce places removed 12 places and 12 transitions.
Iterating post reduction 54 with 12 rules applied. Total rules applied 2850 place count 23884 transition count 14962
Reduce places removed 12 places and 12 transitions.
Iterating post reduction 55 with 12 rules applied. Total rules applied 2862 place count 23872 transition count 14950
Reduce places removed 11 places and 11 transitions.
Iterating post reduction 56 with 11 rules applied. Total rules applied 2873 place count 23861 transition count 14939
Reduce places removed 11 places and 11 transitions.
Iterating post reduction 57 with 11 rules applied. Total rules applied 2884 place count 23850 transition count 14928
Reduce places removed 11 places and 11 transitions.
Iterating post reduction 58 with 11 rules applied. Total rules applied 2895 place count 23839 transition count 14917
Reduce places removed 10 places and 10 transitions.
Iterating post reduction 59 with 10 rules applied. Total rules applied 2905 place count 23829 transition count 14907
Reduce places removed 9 places and 9 transitions.
Iterating post reduction 60 with 9 rules applied. Total rules applied 2914 place count 23820 transition count 14898
Reduce places removed 8 places and 8 transitions.
Iterating post reduction 61 with 8 rules applied. Total rules applied 2922 place count 23812 transition count 14890
Reduce places removed 6 places and 6 transitions.
Iterating post reduction 62 with 6 rules applied. Total rules applied 2928 place count 23806 transition count 14884
Reduce places removed 6 places and 6 transitions.
Iterating post reduction 63 with 6 rules applied. Total rules applied 2934 place count 23800 transition count 14878
Reduce places removed 6 places and 6 transitions.
Iterating post reduction 64 with 6 rules applied. Total rules applied 2940 place count 23794 transition count 14872
Reduce places removed 6 places and 6 transitions.
Iterating post reduction 65 with 6 rules applied. Total rules applied 2946 place count 23788 transition count 14866
Reduce places removed 5 places and 5 transitions.
Iterating post reduction 66 with 5 rules applied. Total rules applied 2951 place count 23783 transition count 14861
Reduce places removed 5 places and 5 transitions.
Iterating post reduction 67 with 5 rules applied. Total rules applied 2956 place count 23778 transition count 14856
Reduce places removed 5 places and 5 transitions.
Iterating post reduction 68 with 5 rules applied. Total rules applied 2961 place count 23773 transition count 14851
Reduce places removed 4 places and 4 transitions.
Iterating post reduction 69 with 4 rules applied. Total rules applied 2965 place count 23769 transition count 14847
Reduce places removed 4 places and 4 transitions.
Iterating post reduction 70 with 4 rules applied. Total rules applied 2969 place count 23765 transition count 14843
Reduce places removed 3 places and 3 transitions.
Iterating post reduction 71 with 3 rules applied. Total rules applied 2972 place count 23762 transition count 14840
Reduce places removed 2 places and 2 transitions.
Iterating post reduction 72 with 2 rules applied. Total rules applied 2974 place count 23760 transition count 14838
Reduce places removed 2 places and 2 transitions.
Iterating post reduction 73 with 2 rules applied. Total rules applied 2976 place count 23758 transition count 14836
Reduce places removed 2 places and 2 transitions.
Iterating post reduction 74 with 2 rules applied. Total rules applied 2978 place count 23756 transition count 14834
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 75 with 1 rules applied. Total rules applied 2979 place count 23755 transition count 14833
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 76 with 1 rules applied. Total rules applied 2980 place count 23754 transition count 14832
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 77 with 1 rules applied. Total rules applied 2981 place count 23753 transition count 14831
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 78 with 1 rules applied. Total rules applied 2982 place count 23752 transition count 14830
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 79 with 1 rules applied. Total rules applied 2983 place count 23751 transition count 14829
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 80 with 1 rules applied. Total rules applied 2984 place count 23750 transition count 14828
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 81 with 1 rules applied. Total rules applied 2985 place count 23749 transition count 14827
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 82 with 1 rules applied. Total rules applied 2986 place count 23748 transition count 14826
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 83 with 1 rules applied. Total rules applied 2987 place count 23747 transition count 14825
Reduce places removed 1 places and 1 transitions.
Iterating post reduction 84 with 1 rules applied. Total rules applied 2988 place count 23746 transition count 14824
Deduced a syphon composed of 6 places in 4 ms
Partial Free-agglomeration rule applied 21 times.
Drop transitions (Partial Free agglomeration) removed 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 3009 place count 23746 transition count 14824
Deduced a syphon composed of 6 places in 4 ms
Applied a total of 3009 rules in 60879 ms. Remains 23746 /27129 variables (removed 3383) and now considering 14824/17817 (removed 2993) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 251975 ms. Remains : 23746/117004 places, 14824/72003 transitions.
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
RANDOM walk for 40000 steps (11 resets) in 57980 ms. (0 steps per ms) remains 5/11 properties
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 6700 ms. (5 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 8139 ms. (4 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4736 ms. (8 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5336 ms. (7 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6276 ms. (6 steps per ms) remains 5/5 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7279394798129426994.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8273645939962106464.kers'
[2026-06-01 03:53:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7279394798129426994.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8273645939962106464.kers]
Culled 0 columns in 20 ms.
// Phase 1: matrix 14824 rows 23740 cols 49909 entries
Finished phase 1 with 14706 SingleSign rule and 8 generalized
[2026-06-01 03:53:18] [INFO ] Computed 9026 invariants in 111 ms
Computed 9026 P flows in 112 ms.
Exported basis to /tmp/petrispot-output-8273645939962106464.kers
Total runtime 126 ms.
[2026-06-01 03:53:18] [INFO ] State equation strengthened by 89 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/71 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 155/226 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/226 variables, 0/60 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 17939/18165 variables, 8964/9024 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/18165 variables, 0/9024 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Problem SupplyChain-PT-09000-ReachabilityCardinality-2024-11 is UNSAT
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-11 TRUE TECHNIQUES SMT_REFINEMENT
Problem SupplyChain-PT-09000-ReachabilityCardinality-2024-13 is UNSAT
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-13 FALSE TECHNIQUES SMT_REFINEMENT
Problem SupplyChain-PT-09000-ReachabilityCardinality-2024-14 is UNSAT
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-14 TRUE TECHNIQUES SMT_REFINEMENT
Problem SupplyChain-PT-09000-ReachabilityCardinality-2024-15 is UNSAT
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-15 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 5 (OVERLAPS) 14803/32968 variables, 18165/27189 constraints. Problems are: Problem set: 4 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/32968 variables, 89/27278 constraints. Problems are: Problem set: 4 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/32968 variables, 0/27278 constraints. Problems are: Problem set: 4 solved, 1 unsolved
Problem SupplyChain-PT-09000-ReachabilityCardinality-2024-04 is UNSAT
FORMULA SupplyChain-PT-09000-ReachabilityCardinality-2024-04 FALSE TECHNIQUES SMT_REFINEMENT
After SMT solving in domain Real declared 38534/38564 variables, and 32837 constraints, problems are : Problem set: 5 solved, 0 unsolved in 21761 ms.
Refiners :[Generalized P Invariants (flows): 9024/9026 constraints, State Equation: 23724/23740 constraints, ReadFeed: 89/89 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 22002ms problems are : Problem set: 5 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
All properties solved without resorting to model-checking.
Total runtime 383873 ms.
BK_STOP 1780286020240
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ 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.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SupplyChain-PT-09000"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is SupplyChain-PT-09000, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r354-tall-178024402900294"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SupplyChain-PT-09000.tgz
mv SupplyChain-PT-09000 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;