About the Execution of ITS-Tools for SupplyChain-PT-01000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16205.363 | 3600000.00 | 5173293.00 | 469534.50 | FTTTFTFF?F?FFFFF | 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-178024402900227.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-01000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r354-tall-178024402900227
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 7.2K May 27 07:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 27 07:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 27 07:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K May 27 07:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 27 11:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 27 11:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 27 11:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 11:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 9.6K May 27 07:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K May 27 07:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K May 27 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K May 27 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 27 11:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 27 11:00 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 4.1M 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-01000-LTLCardinality-00
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-01
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-02
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-03
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-04
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-05
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-06
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-07
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-08
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-09
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-10
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-11
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-12
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-13
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-14
FORMULA_NAME SupplyChain-PT-01000-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1780261053513
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SupplyChain-PT-01000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202604301425
[2026-05-31 20:57:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-31 20:57:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-31 20:57:35] [INFO ] Load time of PNML (sax parser for PT used): 391 ms
[2026-05-31 20:57:35] [INFO ] Transformed 13004 places.
[2026-05-31 20:57:35] [INFO ] Transformed 8003 transitions.
[2026-05-31 20:57:35] [INFO ] Parsed PT model containing 13004 places and 8003 transitions and 36006 arcs in 640 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 15 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
FORMULA SupplyChain-PT-01000-LTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SupplyChain-PT-01000-LTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SupplyChain-PT-01000-LTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 49 out of 13004 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 13004/13004 places, 8003/8003 transitions.
Ensure Unique test removed 3090 places
Iterating post reduction 0 with 3090 rules applied. Total rules applied 3090 place count 9914 transition count 8003
Applied a total of 3090 rules in 1642 ms. Remains 9914 /13004 variables (removed 3090) and now considering 8003/8003 (removed 0) transitions.
Running 7003 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-6541435953044887130.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13272521863835633254.kers'
[2026-05-31 20:57:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6541435953044887130.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13272521863835633254.kers]
Normalized transition count is 8002 out of 8003 initially.
Culled 0 columns in 8 ms.
// Phase 1: matrix 8002 rows 9914 cols 26004 entries
Finished phase 1 with 5912 SingleSign rule and 1000 generalized
[2026-05-31 20:57:37] [INFO ] Computed 3002 invariants in 71 ms
Computed 3002 P flows in 72 ms.
Exported basis to /tmp/petrispot-output-13272521863835633254.kers
Total runtime 80 ms.
[2026-05-31 20:57:37] [INFO ] State equation strengthened by 1 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD3246 is UNSAT
Problem TDEAD3262 is UNSAT
Problem TDEAD3280 is UNSAT
Problem TDEAD3295 is UNSAT
Problem TDEAD3310 is UNSAT
Problem TDEAD3326 is UNSAT
Problem TDEAD3343 is UNSAT
Problem TDEAD3359 is UNSAT
Problem TDEAD3374 is UNSAT
Problem TDEAD3389 is UNSAT
Problem TDEAD3397 is UNSAT
Problem TDEAD3403 is UNSAT
Problem TDEAD3409 is UNSAT
Problem TDEAD3414 is UNSAT
Problem TDEAD3418 is UNSAT
Problem TDEAD3422 is UNSAT
Problem TDEAD3427 is UNSAT
Problem TDEAD3431 is UNSAT
Problem TDEAD3436 is UNSAT
Problem TDEAD3440 is UNSAT
Problem TDEAD3447 is UNSAT
Problem TDEAD3452 is UNSAT
Problem TDEAD3459 is UNSAT
Problem TDEAD3463 is UNSAT
Problem TDEAD3467 is UNSAT
Problem TDEAD3472 is UNSAT
Problem TDEAD3476 is UNSAT
Problem TDEAD3481 is UNSAT
Problem TDEAD3485 is UNSAT
Problem TDEAD3489 is UNSAT
Problem TDEAD3495 is UNSAT
Problem TDEAD3500 is UNSAT
Problem TDEAD3507 is UNSAT
Problem TDEAD3511 is UNSAT
Problem TDEAD3516 is UNSAT
Problem TDEAD3520 is UNSAT
Problem TDEAD3525 is UNSAT
Problem TDEAD3529 is UNSAT
Problem TDEAD3533 is UNSAT
Problem TDEAD3538 is UNSAT
Problem TDEAD3543 is UNSAT
Problem TDEAD3549 is UNSAT
Problem TDEAD3555 is UNSAT
Problem TDEAD3561 is UNSAT
Problem TDEAD3565 is UNSAT
Problem TDEAD3570 is UNSAT
Problem TDEAD3574 is UNSAT
Problem TDEAD3578 is UNSAT
Problem TDEAD3583 is UNSAT
Problem TDEAD3587 is UNSAT
Problem TDEAD3593 is UNSAT
Problem TDEAD3598 is UNSAT
Problem TDEAD3605 is UNSAT
Problem TDEAD3609 is UNSAT
Problem TDEAD3614 is UNSAT
Problem TDEAD3618 is UNSAT
Problem TDEAD3622 is UNSAT
Problem TDEAD3627 is UNSAT
Problem TDEAD3631 is UNSAT
Problem TDEAD3636 is UNSAT
Problem TDEAD3641 is UNSAT
Problem TDEAD3647 is UNSAT
Problem TDEAD3653 is UNSAT
Problem TDEAD3658 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD3666 is UNSAT
Problem TDEAD3672 is UNSAT
Problem TDEAD3676 is UNSAT
Problem TDEAD3681 is UNSAT
Problem TDEAD3685 is UNSAT
Problem TDEAD3691 is UNSAT
Problem TDEAD3696 is UNSAT
Problem TDEAD3703 is UNSAT
Problem TDEAD3707 is UNSAT
Problem TDEAD3711 is UNSAT
Problem TDEAD3716 is UNSAT
Problem TDEAD3720 is UNSAT
Problem TDEAD3725 is UNSAT
Problem TDEAD3729 is UNSAT
Problem TDEAD3733 is UNSAT
Problem TDEAD3739 is UNSAT
Problem TDEAD3744 is UNSAT
Problem TDEAD3751 is UNSAT
Problem TDEAD3755 is UNSAT
Problem TDEAD3760 is UNSAT
Problem TDEAD3764 is UNSAT
Problem TDEAD3769 is UNSAT
Problem TDEAD3773 is UNSAT
Problem TDEAD3777 is UNSAT
Problem TDEAD3783 is UNSAT
Problem TDEAD3788 is UNSAT
Problem TDEAD3794 is UNSAT
Problem TDEAD3800 is UNSAT
Problem TDEAD3805 is UNSAT
Problem TDEAD3809 is UNSAT
Problem TDEAD3814 is UNSAT
Problem TDEAD3818 is UNSAT
Problem TDEAD3822 is UNSAT
Problem TDEAD3827 is UNSAT
Problem TDEAD3831 is UNSAT
Problem TDEAD3839 is UNSAT
Problem TDEAD3844 is UNSAT
Problem TDEAD3851 is UNSAT
Problem TDEAD3855 is UNSAT
Problem TDEAD3860 is UNSAT
Problem TDEAD3864 is UNSAT
Problem TDEAD3869 is UNSAT
Problem TDEAD3873 is UNSAT
Problem TDEAD3877 is UNSAT
Problem TDEAD3882 is UNSAT
Problem TDEAD3891 is UNSAT
Problem TDEAD3896 is UNSAT
Problem TDEAD3903 is UNSAT
Problem TDEAD3907 is UNSAT
Problem TDEAD3911 is UNSAT
Problem TDEAD3916 is UNSAT
Problem TDEAD3920 is UNSAT
Problem TDEAD3925 is UNSAT
Problem TDEAD3929 is UNSAT
Problem TDEAD3933 is UNSAT
Problem TDEAD3939 is UNSAT
Problem TDEAD3944 is UNSAT
Problem TDEAD3951 is UNSAT
Problem TDEAD3955 is UNSAT
Problem TDEAD3960 is UNSAT
Problem TDEAD3964 is UNSAT
Problem TDEAD3969 is UNSAT
Problem TDEAD3973 is UNSAT
Problem TDEAD3977 is UNSAT
Problem TDEAD3982 is UNSAT
Problem TDEAD3987 is UNSAT
Problem TDEAD3993 is UNSAT
Problem TDEAD3999 is UNSAT
Problem TDEAD4005 is UNSAT
Problem TDEAD4009 is UNSAT
Problem TDEAD4014 is UNSAT
Problem TDEAD4018 is UNSAT
Problem TDEAD4022 is UNSAT
Problem TDEAD4027 is UNSAT
Problem TDEAD4031 is UNSAT
Problem TDEAD4037 is UNSAT
Problem TDEAD4042 is UNSAT
Problem TDEAD4049 is UNSAT
Problem TDEAD4053 is UNSAT
Problem TDEAD4058 is UNSAT
Problem TDEAD4062 is UNSAT
Problem TDEAD4066 is UNSAT
Problem TDEAD4071 is UNSAT
Problem TDEAD4075 is UNSAT
Problem TDEAD4080 is UNSAT
Problem TDEAD4085 is UNSAT
Problem TDEAD4091 is UNSAT
Problem TDEAD4097 is UNSAT
Problem TDEAD4102 is UNSAT
Problem TDEAD4106 is UNSAT
Problem TDEAD4110 is UNSAT
Problem TDEAD4116 is UNSAT
Problem TDEAD4120 is UNSAT
Problem TDEAD4125 is UNSAT
Problem TDEAD4129 is UNSAT
Problem TDEAD4135 is UNSAT
Problem TDEAD4140 is UNSAT
Problem TDEAD4147 is UNSAT
Problem TDEAD4151 is UNSAT
Problem TDEAD4155 is UNSAT
Problem TDEAD4160 is UNSAT
Problem TDEAD4164 is UNSAT
Problem TDEAD4169 is UNSAT
Problem TDEAD4173 is UNSAT
Problem TDEAD4177 is UNSAT
Problem TDEAD4183 is UNSAT
Problem TDEAD4188 is UNSAT
Problem TDEAD4195 is UNSAT
Problem TDEAD4199 is UNSAT
Problem TDEAD4204 is UNSAT
Problem TDEAD4208 is UNSAT
Problem TDEAD4213 is UNSAT
Problem TDEAD4217 is UNSAT
Problem TDEAD4221 is UNSAT
Problem TDEAD4227 is UNSAT
Problem TDEAD4232 is UNSAT
Problem TDEAD4238 is UNSAT
Problem TDEAD4244 is UNSAT
Problem TDEAD4249 is UNSAT
Problem TDEAD4253 is UNSAT
Problem TDEAD4258 is UNSAT
Problem TDEAD4262 is UNSAT
Problem TDEAD4266 is UNSAT
Problem TDEAD4271 is UNSAT
Problem TDEAD4275 is UNSAT
Problem TDEAD4281 is UNSAT
Problem TDEAD4286 is UNSAT
Problem TDEAD4293 is UNSAT
Problem TDEAD4297 is UNSAT
Problem TDEAD4302 is UNSAT
Problem TDEAD4306 is UNSAT
Problem TDEAD4310 is UNSAT
Problem TDEAD4315 is UNSAT
Problem TDEAD4319 is UNSAT
Problem TDEAD4324 is UNSAT
Problem TDEAD4331 is UNSAT
Problem TDEAD4338 is UNSAT
Problem TDEAD4344 is UNSAT
Problem TDEAD4349 is UNSAT
Problem TDEAD4353 is UNSAT
Problem TDEAD4358 is UNSAT
Problem TDEAD4362 is UNSAT
Problem TDEAD4366 is UNSAT
Problem TDEAD4371 is UNSAT
Problem TDEAD4375 is UNSAT
Problem TDEAD4383 is UNSAT
Problem TDEAD4388 is UNSAT
Problem TDEAD4395 is UNSAT
Problem TDEAD4399 is UNSAT
Problem TDEAD4404 is UNSAT
Problem TDEAD4408 is UNSAT
Problem TDEAD4413 is UNSAT
Problem TDEAD4417 is UNSAT
Problem TDEAD4421 is UNSAT
Problem TDEAD4426 is UNSAT
Problem TDEAD4431 is UNSAT
Problem TDEAD4437 is UNSAT
Problem TDEAD4443 is UNSAT
Problem TDEAD4450 is UNSAT
Problem TDEAD4454 is UNSAT
Problem TDEAD4459 is UNSAT
Problem TDEAD4463 is UNSAT
Problem TDEAD4467 is UNSAT
Problem TDEAD4472 is UNSAT
Problem TDEAD4476 is UNSAT
Problem TDEAD4482 is UNSAT
Problem TDEAD4487 is UNSAT
Problem TDEAD4494 is UNSAT
Problem TDEAD4498 is UNSAT
Problem TDEAD4503 is UNSAT
Problem TDEAD4507 is UNSAT
Problem TDEAD4511 is UNSAT
Problem TDEAD4516 is UNSAT
Problem TDEAD4520 is UNSAT
Problem TDEAD4525 is UNSAT
Problem TDEAD4530 is UNSAT
Problem TDEAD4536 is UNSAT
Problem TDEAD4542 is UNSAT
Problem TDEAD4547 is UNSAT
Problem TDEAD4551 is UNSAT
Problem TDEAD4555 is UNSAT
Problem TDEAD4561 is UNSAT
Problem TDEAD4565 is UNSAT
Problem TDEAD4570 is UNSAT
Problem TDEAD4574 is UNSAT
Problem TDEAD4580 is UNSAT
Problem TDEAD4585 is UNSAT
Problem TDEAD4592 is UNSAT
Problem TDEAD4596 is UNSAT
Problem TDEAD4600 is UNSAT
Problem TDEAD4605 is UNSAT
Problem TDEAD4609 is UNSAT
Problem TDEAD4614 is UNSAT
Problem TDEAD4618 is UNSAT
Problem TDEAD4622 is UNSAT
Problem TDEAD4628 is UNSAT
Problem TDEAD4633 is UNSAT
Problem TDEAD4640 is UNSAT
Problem TDEAD4644 is UNSAT
Problem TDEAD4649 is UNSAT
Problem TDEAD4653 is UNSAT
Problem TDEAD4658 is UNSAT
Problem TDEAD4662 is UNSAT
Problem TDEAD4666 is UNSAT
Problem TDEAD4672 is UNSAT
Problem TDEAD4677 is UNSAT
Problem TDEAD4683 is UNSAT
Problem TDEAD4689 is UNSAT
Problem TDEAD4694 is UNSAT
Problem TDEAD4698 is UNSAT
Problem TDEAD4703 is UNSAT
Problem TDEAD4707 is UNSAT
Problem TDEAD4711 is UNSAT
Problem TDEAD4716 is UNSAT
Problem TDEAD4720 is UNSAT
Problem TDEAD4726 is UNSAT
Problem TDEAD4731 is UNSAT
Problem TDEAD4738 is UNSAT
Problem TDEAD4742 is UNSAT
Problem TDEAD4747 is UNSAT
Problem TDEAD4751 is UNSAT
Problem TDEAD4755 is UNSAT
Problem TDEAD4760 is UNSAT
Problem TDEAD4764 is UNSAT
Problem TDEAD4769 is UNSAT
Problem TDEAD4774 is UNSAT
Problem TDEAD4781 is UNSAT
Problem TDEAD4787 is UNSAT
Problem TDEAD4792 is UNSAT
Problem TDEAD4796 is UNSAT
Problem TDEAD4800 is UNSAT
Problem TDEAD4805 is UNSAT
Problem TDEAD4809 is UNSAT
Problem TDEAD4814 is UNSAT
Problem TDEAD4818 is UNSAT
Problem TDEAD4826 is UNSAT
Problem TDEAD4831 is UNSAT
Problem TDEAD4838 is UNSAT
Problem TDEAD4842 is UNSAT
Problem TDEAD4847 is UNSAT
Problem TDEAD4851 is UNSAT
Problem TDEAD4855 is UNSAT
Problem TDEAD4860 is UNSAT
Problem TDEAD4864 is UNSAT
Problem TDEAD4869 is UNSAT
Problem TDEAD4876 is UNSAT
Problem TDEAD4882 is UNSAT
Problem TDEAD4888 is UNSAT
Problem TDEAD4894 is UNSAT
Problem TDEAD4898 is UNSAT
Problem TDEAD4903 is UNSAT
Problem TDEAD4907 is UNSAT
Problem TDEAD4911 is UNSAT
Problem TDEAD4916 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD4926 is UNSAT
Problem TDEAD4931 is UNSAT
Problem TDEAD4938 is UNSAT
Problem TDEAD4942 is UNSAT
Problem TDEAD4947 is UNSAT
Problem TDEAD4951 is UNSAT
Problem TDEAD4955 is UNSAT
Problem TDEAD4960 is UNSAT
Problem TDEAD4964 is UNSAT
Problem TDEAD4969 is UNSAT
Problem TDEAD4974 is UNSAT
Problem TDEAD4980 is UNSAT
Problem TDEAD4986 is UNSAT
Problem TDEAD4991 is UNSAT
Problem TDEAD4995 is UNSAT
Problem TDEAD4999 is UNSAT
Problem TDEAD5005 is UNSAT
Problem TDEAD5009 is UNSAT
Problem TDEAD5014 is UNSAT
Problem TDEAD5018 is UNSAT
Problem TDEAD5024 is UNSAT
Problem TDEAD5029 is UNSAT
Problem TDEAD5036 is UNSAT
Problem TDEAD5040 is UNSAT
Problem TDEAD5044 is UNSAT
Problem TDEAD5049 is UNSAT
Problem TDEAD5053 is UNSAT
Problem TDEAD5058 is UNSAT
Problem TDEAD5062 is UNSAT
Problem TDEAD5066 is UNSAT
Problem TDEAD5072 is UNSAT
Problem TDEAD5077 is UNSAT
Problem TDEAD5084 is UNSAT
Problem TDEAD5088 is UNSAT
Problem TDEAD5093 is UNSAT
Problem TDEAD5097 is UNSAT
Problem TDEAD5102 is UNSAT
Problem TDEAD5106 is UNSAT
Problem TDEAD5110 is UNSAT
Problem TDEAD5116 is UNSAT
Problem TDEAD5121 is UNSAT
Problem TDEAD5127 is UNSAT
Problem TDEAD5133 is UNSAT
Problem TDEAD5138 is UNSAT
Problem TDEAD5142 is UNSAT
Problem TDEAD5147 is UNSAT
Problem TDEAD5151 is UNSAT
Problem TDEAD5155 is UNSAT
Problem TDEAD5160 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5170 is UNSAT
Problem TDEAD5175 is UNSAT
Problem TDEAD5182 is UNSAT
Problem TDEAD5186 is UNSAT
Problem TDEAD5191 is UNSAT
Problem TDEAD5195 is UNSAT
Problem TDEAD5199 is UNSAT
Problem TDEAD5204 is UNSAT
Problem TDEAD5208 is UNSAT
Problem TDEAD5213 is UNSAT
Problem TDEAD5218 is UNSAT
Problem TDEAD5225 is UNSAT
Problem TDEAD5231 is UNSAT
Problem TDEAD5236 is UNSAT
Problem TDEAD5240 is UNSAT
Problem TDEAD5244 is UNSAT
Problem TDEAD5249 is UNSAT
Problem TDEAD5253 is UNSAT
Problem TDEAD5258 is UNSAT
Problem TDEAD5262 is UNSAT
Problem TDEAD5268 is UNSAT
Problem TDEAD5273 is UNSAT
Problem TDEAD5280 is UNSAT
Problem TDEAD5284 is UNSAT
Problem TDEAD5288 is UNSAT
Problem TDEAD5293 is UNSAT
Problem TDEAD5297 is UNSAT
Problem TDEAD5302 is UNSAT
Problem TDEAD5306 is UNSAT
Problem TDEAD5310 is UNSAT
Problem TDEAD5318 is UNSAT
Problem TDEAD5324 is UNSAT
Problem TDEAD5330 is UNSAT
Problem TDEAD5336 is UNSAT
Problem TDEAD5340 is UNSAT
Problem TDEAD5344 is UNSAT
Problem TDEAD5349 is UNSAT
Problem TDEAD5353 is UNSAT
Problem TDEAD5358 is UNSAT
Problem TDEAD5362 is UNSAT
Problem TDEAD5370 is UNSAT
Problem TDEAD5375 is UNSAT
Problem TDEAD5382 is UNSAT
Problem TDEAD5386 is UNSAT
Problem TDEAD5391 is UNSAT
Problem TDEAD5395 is UNSAT
Problem TDEAD5399 is UNSAT
Problem TDEAD5404 is UNSAT
Problem TDEAD5408 is UNSAT
Problem TDEAD5413 is UNSAT
Problem TDEAD5418 is UNSAT
Problem TDEAD5424 is UNSAT
Problem TDEAD5430 is UNSAT
Problem TDEAD5435 is UNSAT
Problem TDEAD5439 is UNSAT
Problem TDEAD5443 is UNSAT
Problem TDEAD5449 is UNSAT
Problem TDEAD5453 is UNSAT
Problem TDEAD5458 is UNSAT
Problem TDEAD5462 is UNSAT
Problem TDEAD5468 is UNSAT
Problem TDEAD5473 is UNSAT
Problem TDEAD5480 is UNSAT
Problem TDEAD5484 is UNSAT
Problem TDEAD5488 is UNSAT
Problem TDEAD5493 is UNSAT
Problem TDEAD5497 is UNSAT
Problem TDEAD5502 is UNSAT
Problem TDEAD5506 is UNSAT
Problem TDEAD5510 is UNSAT
Problem TDEAD5516 is UNSAT
Problem TDEAD5521 is UNSAT
Problem TDEAD5528 is UNSAT
Problem TDEAD5532 is UNSAT
Problem TDEAD5537 is UNSAT
Problem TDEAD5541 is UNSAT
Problem TDEAD5546 is UNSAT
Problem TDEAD5550 is UNSAT
Problem TDEAD5554 is UNSAT
Problem TDEAD5561 is UNSAT
Problem TDEAD5566 is UNSAT
Problem TDEAD5572 is UNSAT
Problem TDEAD5578 is UNSAT
Problem TDEAD5583 is UNSAT
Problem TDEAD5587 is UNSAT
Problem TDEAD5592 is UNSAT
Problem TDEAD5596 is UNSAT
Problem TDEAD5600 is UNSAT
Problem TDEAD5605 is UNSAT
Problem TDEAD5609 is UNSAT
Problem TDEAD5615 is UNSAT
Problem TDEAD5620 is UNSAT
Problem TDEAD5627 is UNSAT
Problem TDEAD5631 is UNSAT
Problem TDEAD5636 is UNSAT
Problem TDEAD5640 is UNSAT
Problem TDEAD5644 is UNSAT
Problem TDEAD5649 is UNSAT
Problem TDEAD5653 is UNSAT
Problem TDEAD5658 is UNSAT
Problem TDEAD5663 is UNSAT
Problem TDEAD5670 is UNSAT
Problem TDEAD5676 is UNSAT
Problem TDEAD5681 is UNSAT
Problem TDEAD5685 is UNSAT
Problem TDEAD5689 is UNSAT
Problem TDEAD5694 is UNSAT
Problem TDEAD5698 is UNSAT
Problem TDEAD5703 is UNSAT
Problem TDEAD5707 is UNSAT
Problem TDEAD5713 is UNSAT
Problem TDEAD5718 is UNSAT
Problem TDEAD5725 is UNSAT
Problem TDEAD5729 is UNSAT
Problem TDEAD5733 is UNSAT
Problem TDEAD5738 is UNSAT
Problem TDEAD5742 is UNSAT
Problem TDEAD5747 is UNSAT
Problem TDEAD5751 is UNSAT
Problem TDEAD5755 is UNSAT
Problem TDEAD5761 is UNSAT
Problem TDEAD5766 is UNSAT
Problem TDEAD5773 is UNSAT
Problem TDEAD5777 is UNSAT
Problem TDEAD5783 is UNSAT
Problem TDEAD5787 is UNSAT
Problem TDEAD5792 is UNSAT
Problem TDEAD5796 is UNSAT
Problem TDEAD5800 is UNSAT
Problem TDEAD5805 is UNSAT
Problem TDEAD5813 is UNSAT
Problem TDEAD5818 is UNSAT
Problem TDEAD5825 is UNSAT
Problem TDEAD5829 is UNSAT
Problem TDEAD5833 is UNSAT
Problem TDEAD5838 is UNSAT
Problem TDEAD5842 is UNSAT
Problem TDEAD5847 is UNSAT
Problem TDEAD5851 is UNSAT
Problem TDEAD5855 is UNSAT
Problem TDEAD5863 is UNSAT
Problem TDEAD5869 is UNSAT
Problem TDEAD5875 is UNSAT
Problem TDEAD5880 is UNSAT
Problem TDEAD5884 is UNSAT
Problem TDEAD5888 is UNSAT
Problem TDEAD5894 is UNSAT
Problem TDEAD5898 is UNSAT
Problem TDEAD5903 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5913 is UNSAT
Problem TDEAD5918 is UNSAT
Problem TDEAD5925 is UNSAT
Problem TDEAD5929 is UNSAT
Problem TDEAD5933 is UNSAT
Problem TDEAD5938 is UNSAT
Problem TDEAD5942 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5951 is UNSAT
Problem TDEAD5955 is UNSAT
Problem TDEAD5961 is UNSAT
Problem TDEAD5966 is UNSAT
Problem TDEAD5973 is UNSAT
Problem TDEAD5977 is UNSAT
Problem TDEAD5982 is UNSAT
Problem TDEAD5986 is UNSAT
Problem TDEAD5991 is UNSAT
Problem TDEAD5995 is UNSAT
Problem TDEAD5999 is UNSAT
Problem TDEAD6005 is UNSAT
Problem TDEAD6010 is UNSAT
Problem TDEAD6016 is UNSAT
Problem TDEAD6022 is UNSAT
Problem TDEAD6027 is UNSAT
Problem TDEAD6031 is UNSAT
Problem TDEAD6036 is UNSAT
Problem TDEAD6040 is UNSAT
Problem TDEAD6044 is UNSAT
Problem TDEAD6049 is UNSAT
Problem TDEAD6053 is UNSAT
Problem TDEAD6059 is UNSAT
Problem TDEAD6064 is UNSAT
Problem TDEAD6071 is UNSAT
Problem TDEAD6075 is UNSAT
Problem TDEAD6080 is UNSAT
Problem TDEAD6084 is UNSAT
Problem TDEAD6088 is UNSAT
Problem TDEAD6093 is UNSAT
Problem TDEAD6097 is UNSAT
Problem TDEAD6102 is UNSAT
Problem TDEAD6107 is UNSAT
Problem TDEAD6114 is UNSAT
Problem TDEAD6120 is UNSAT
Problem TDEAD6125 is UNSAT
Problem TDEAD6129 is UNSAT
Problem TDEAD6133 is UNSAT
Problem TDEAD6138 is UNSAT
Problem TDEAD6142 is UNSAT
Problem TDEAD6147 is UNSAT
Problem TDEAD6151 is UNSAT
Problem TDEAD6157 is UNSAT
Problem TDEAD6162 is UNSAT
Problem TDEAD6169 is UNSAT
Problem TDEAD6173 is UNSAT
Problem TDEAD6177 is UNSAT
Problem TDEAD6182 is UNSAT
Problem TDEAD6186 is UNSAT
Problem TDEAD6191 is UNSAT
Problem TDEAD6195 is UNSAT
Problem TDEAD6199 is UNSAT
Problem TDEAD6205 is UNSAT
Problem TDEAD6210 is UNSAT
Problem TDEAD6217 is UNSAT
Problem TDEAD6221 is UNSAT
Problem TDEAD6227 is UNSAT
Problem TDEAD6231 is UNSAT
Problem TDEAD6236 is UNSAT
Problem TDEAD6240 is UNSAT
Problem TDEAD6244 is UNSAT
Problem TDEAD6249 is UNSAT
Problem TDEAD6254 is UNSAT
Problem TDEAD6260 is UNSAT
Problem TDEAD6266 is UNSAT
Problem TDEAD6271 is UNSAT
Problem TDEAD6275 is UNSAT
Problem TDEAD6280 is UNSAT
Problem TDEAD6284 is UNSAT
Problem TDEAD6288 is UNSAT
Problem TDEAD6293 is UNSAT
Problem TDEAD6297 is UNSAT
Problem TDEAD6305 is UNSAT
Problem TDEAD6310 is UNSAT
Problem TDEAD6317 is UNSAT
Problem TDEAD6321 is UNSAT
Problem TDEAD6326 is UNSAT
Problem TDEAD6330 is UNSAT
Problem TDEAD6336 is UNSAT
Problem TDEAD6340 is UNSAT
Problem TDEAD6344 is UNSAT
Problem TDEAD6349 is UNSAT
Problem TDEAD6357 is UNSAT
Problem TDEAD6362 is UNSAT
Problem TDEAD6369 is UNSAT
Problem TDEAD6373 is UNSAT
Problem TDEAD6377 is UNSAT
Problem TDEAD6382 is UNSAT
Problem TDEAD6386 is UNSAT
Problem TDEAD6391 is UNSAT
Problem TDEAD6395 is UNSAT
Problem TDEAD6399 is UNSAT
Problem TDEAD6405 is UNSAT
Problem TDEAD6410 is UNSAT
Problem TDEAD6417 is UNSAT
Problem TDEAD6421 is UNSAT
Problem TDEAD6426 is UNSAT
Problem TDEAD6430 is UNSAT
Problem TDEAD6435 is UNSAT
Problem TDEAD6439 is UNSAT
Problem TDEAD6443 is UNSAT
Problem TDEAD6449 is UNSAT
Problem TDEAD6454 is UNSAT
Problem TDEAD6460 is UNSAT
Problem TDEAD6466 is UNSAT
Problem TDEAD6471 is UNSAT
Problem TDEAD6475 is UNSAT
Problem TDEAD6480 is UNSAT
Problem TDEAD6484 is UNSAT
Problem TDEAD6488 is UNSAT
Problem TDEAD6493 is UNSAT
Problem TDEAD6497 is UNSAT
Problem TDEAD6503 is UNSAT
Problem TDEAD6508 is UNSAT
Problem TDEAD6515 is UNSAT
Problem TDEAD6519 is UNSAT
Problem TDEAD6524 is UNSAT
Problem TDEAD6528 is UNSAT
Problem TDEAD6532 is UNSAT
Problem TDEAD6537 is UNSAT
Problem TDEAD6541 is UNSAT
Problem TDEAD6546 is UNSAT
Problem TDEAD6551 is UNSAT
Problem TDEAD6558 is UNSAT
Problem TDEAD6564 is UNSAT
Problem TDEAD6569 is UNSAT
Problem TDEAD6573 is UNSAT
Problem TDEAD6577 is UNSAT
Problem TDEAD6582 is UNSAT
Problem TDEAD6586 is UNSAT
Problem TDEAD6591 is UNSAT
Problem TDEAD6595 is UNSAT
Problem TDEAD6601 is UNSAT
Problem TDEAD6606 is UNSAT
Problem TDEAD6613 is UNSAT
Problem TDEAD6617 is UNSAT
Problem TDEAD6621 is UNSAT
Problem TDEAD6626 is UNSAT
Problem TDEAD6630 is UNSAT
Problem TDEAD6635 is UNSAT
Problem TDEAD6639 is UNSAT
Problem TDEAD6643 is UNSAT
Problem TDEAD6649 is UNSAT
Problem TDEAD6654 is UNSAT
Problem TDEAD6661 is UNSAT
Problem TDEAD6665 is UNSAT
Problem TDEAD6672 is UNSAT
Problem TDEAD6676 is UNSAT
Problem TDEAD6681 is UNSAT
Problem TDEAD6685 is UNSAT
Problem TDEAD6689 is UNSAT
Problem TDEAD6694 is UNSAT
Problem TDEAD6699 is UNSAT
Problem TDEAD6705 is UNSAT
Problem TDEAD6711 is UNSAT
Problem TDEAD6716 is UNSAT
Problem TDEAD6720 is UNSAT
Problem TDEAD6725 is UNSAT
Problem TDEAD6729 is UNSAT
Problem TDEAD6733 is UNSAT
Problem TDEAD6738 is UNSAT
Problem TDEAD6742 is UNSAT
Problem TDEAD6748 is UNSAT
Problem TDEAD6753 is UNSAT
Problem TDEAD6760 is UNSAT
Problem TDEAD6764 is UNSAT
Problem TDEAD6769 is UNSAT
Problem TDEAD6773 is UNSAT
Problem TDEAD6777 is UNSAT
Problem TDEAD6783 is UNSAT
Problem TDEAD6787 is UNSAT
Problem TDEAD6792 is UNSAT
Problem TDEAD6799 is UNSAT
Problem TDEAD6805 is UNSAT
Problem TDEAD6811 is UNSAT
Problem TDEAD6816 is UNSAT
Problem TDEAD6820 is UNSAT
Problem TDEAD6825 is UNSAT
Problem TDEAD6829 is UNSAT
Problem TDEAD6833 is UNSAT
Problem TDEAD6838 is UNSAT
Problem TDEAD6842 is UNSAT
Problem TDEAD6850 is UNSAT
Problem TDEAD6855 is UNSAT
Problem TDEAD6862 is UNSAT
Problem TDEAD6866 is UNSAT
Problem TDEAD6871 is UNSAT
Problem TDEAD6875 is UNSAT
Problem TDEAD6880 is UNSAT
Problem TDEAD6884 is UNSAT
Problem TDEAD6888 is UNSAT
Problem TDEAD6894 is UNSAT
Problem TDEAD6899 is UNSAT
Problem TDEAD6905 is UNSAT
Problem TDEAD6911 is UNSAT
Problem TDEAD6916 is UNSAT
Problem TDEAD6920 is UNSAT
Problem TDEAD6925 is UNSAT
Problem TDEAD6929 is UNSAT
Problem TDEAD6933 is UNSAT
Problem TDEAD6938 is UNSAT
Problem TDEAD6942 is UNSAT
Problem TDEAD6948 is UNSAT
Problem TDEAD6953 is UNSAT
Problem TDEAD6960 is UNSAT
Problem TDEAD6964 is UNSAT
Problem TDEAD6969 is UNSAT
Problem TDEAD6973 is UNSAT
Problem TDEAD6977 is UNSAT
Problem TDEAD6982 is UNSAT
Problem TDEAD6986 is UNSAT
Problem TDEAD6991 is UNSAT
Problem TDEAD6996 is UNSAT
Problem TDEAD7003 is UNSAT
Problem TDEAD7009 is UNSAT
Problem TDEAD7014 is UNSAT
Problem TDEAD7018 is UNSAT
Problem TDEAD7022 is UNSAT
Problem TDEAD7027 is UNSAT
Problem TDEAD7031 is UNSAT
Problem TDEAD7036 is UNSAT
Problem TDEAD7040 is UNSAT
Problem TDEAD7046 is UNSAT
Problem TDEAD7051 is UNSAT
Problem TDEAD7058 is UNSAT
Problem TDEAD7062 is UNSAT
Problem TDEAD7066 is UNSAT
Problem TDEAD7071 is UNSAT
Problem TDEAD7075 is UNSAT
Problem TDEAD7080 is UNSAT
Problem TDEAD7084 is UNSAT
Problem TDEAD7088 is UNSAT
Problem TDEAD7094 is UNSAT
Problem TDEAD7099 is UNSAT
Problem TDEAD7106 is UNSAT
Problem TDEAD7110 is UNSAT
Problem TDEAD7116 is UNSAT
Problem TDEAD7120 is UNSAT
Problem TDEAD7125 is UNSAT
Problem TDEAD7129 is UNSAT
Problem TDEAD7133 is UNSAT
Problem TDEAD7138 is UNSAT
Problem TDEAD7143 is UNSAT
Problem TDEAD7149 is UNSAT
Problem TDEAD7155 is UNSAT
Problem TDEAD7160 is UNSAT
Problem TDEAD7164 is UNSAT
Problem TDEAD7169 is UNSAT
Problem TDEAD7173 is UNSAT
Problem TDEAD7177 is UNSAT
Problem TDEAD7182 is UNSAT
Problem TDEAD7186 is UNSAT
Problem TDEAD7192 is UNSAT
Problem TDEAD7197 is UNSAT
Problem TDEAD7204 is UNSAT
Problem TDEAD7208 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7217 is UNSAT
Problem TDEAD7221 is UNSAT
Problem TDEAD7227 is UNSAT
Problem TDEAD7231 is UNSAT
Problem TDEAD7236 is UNSAT
Problem TDEAD7241 is UNSAT
Problem TDEAD7247 is UNSAT
Problem TDEAD7253 is UNSAT
Problem TDEAD7258 is UNSAT
Problem TDEAD7262 is UNSAT
Problem TDEAD7266 is UNSAT
Problem TDEAD7271 is UNSAT
Problem TDEAD7275 is UNSAT
Problem TDEAD7280 is UNSAT
Problem TDEAD7284 is UNSAT
Problem TDEAD7290 is UNSAT
Problem TDEAD7292 is UNSAT
Problem TDEAD7297 is UNSAT
Problem TDEAD7304 is UNSAT
Problem TDEAD7308 is UNSAT
Problem TDEAD7313 is UNSAT
Problem TDEAD7317 is UNSAT
Problem TDEAD7321 is UNSAT
Problem TDEAD7326 is UNSAT
Problem TDEAD7330 is UNSAT
Problem TDEAD7336 is UNSAT
Problem TDEAD7340 is UNSAT
Problem TDEAD7343 is UNSAT
Problem TDEAD7349 is UNSAT
Problem TDEAD7355 is UNSAT
Problem TDEAD7360 is UNSAT
Problem TDEAD7364 is UNSAT
Problem TDEAD7369 is UNSAT
Problem TDEAD7373 is UNSAT
Problem TDEAD7377 is UNSAT
Problem TDEAD7382 is UNSAT
Problem TDEAD7386 is UNSAT
Problem TDEAD7391 is UNSAT
Problem TDEAD7392 is UNSAT
Problem TDEAD7397 is UNSAT
Problem TDEAD7404 is UNSAT
Problem TDEAD7408 is UNSAT
Problem TDEAD7413 is UNSAT
Problem TDEAD7417 is UNSAT
Problem TDEAD7421 is UNSAT
Problem TDEAD7426 is UNSAT
Problem TDEAD7430 is UNSAT
Problem TDEAD7435 is UNSAT
Problem TDEAD7439 is UNSAT
Problem TDEAD7440 is UNSAT
Problem TDEAD7447 is UNSAT
Problem TDEAD7453 is UNSAT
Problem TDEAD7458 is UNSAT
Problem TDEAD7462 is UNSAT
Problem TDEAD7466 is UNSAT
Problem TDEAD7471 is UNSAT
Problem TDEAD7475 is UNSAT
Problem TDEAD7480 is UNSAT
Problem TDEAD7484 is UNSAT
Problem TDEAD7488 is UNSAT
Problem TDEAD7490 is UNSAT
Problem TDEAD7495 is UNSAT
Problem TDEAD7502 is UNSAT
Problem TDEAD7506 is UNSAT
Problem TDEAD7510 is UNSAT
Problem TDEAD7515 is UNSAT
Problem TDEAD7519 is UNSAT
Problem TDEAD7524 is UNSAT
Problem TDEAD7528 is UNSAT
Problem TDEAD7532 is UNSAT
Problem TDEAD7537 is UNSAT
Problem TDEAD7538 is UNSAT
Problem TDEAD7543 is UNSAT
Problem TDEAD7550 is UNSAT
Problem TDEAD7554 is UNSAT
Problem TDEAD7560 is UNSAT
Problem TDEAD7564 is UNSAT
Problem TDEAD7569 is UNSAT
Problem TDEAD7573 is UNSAT
Problem TDEAD7577 is UNSAT
Problem TDEAD7582 is UNSAT
Problem TDEAD7586 is UNSAT
Problem TDEAD7587 is UNSAT
Problem TDEAD7593 is UNSAT
Problem TDEAD7599 is UNSAT
Problem TDEAD7604 is UNSAT
Problem TDEAD7608 is UNSAT
Problem TDEAD7613 is UNSAT
Problem TDEAD7617 is UNSAT
Problem TDEAD7621 is UNSAT
Problem TDEAD7626 is UNSAT
Problem TDEAD7630 is UNSAT
Problem TDEAD7635 is UNSAT
Problem TDEAD7636 is UNSAT
Problem TDEAD7641 is UNSAT
Problem TDEAD7648 is UNSAT
Problem TDEAD7652 is UNSAT
Problem TDEAD7657 is UNSAT
Problem TDEAD7661 is UNSAT
Problem TDEAD7665 is UNSAT
Problem TDEAD7671 is UNSAT
Problem TDEAD7675 is UNSAT
Problem TDEAD7680 is UNSAT
Problem TDEAD7684 is UNSAT
Problem TDEAD7685 is UNSAT
Problem TDEAD7691 is UNSAT
Problem TDEAD7697 is UNSAT
Problem TDEAD7702 is UNSAT
Problem TDEAD7706 is UNSAT
Problem TDEAD7710 is UNSAT
Problem TDEAD7715 is UNSAT
Problem TDEAD7719 is UNSAT
Problem TDEAD7724 is UNSAT
Problem TDEAD7728 is UNSAT
Problem TDEAD7732 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7739 is UNSAT
Problem TDEAD7746 is UNSAT
Problem TDEAD7750 is UNSAT
Problem TDEAD7754 is UNSAT
Problem TDEAD7759 is UNSAT
Problem TDEAD7763 is UNSAT
Problem TDEAD7768 is UNSAT
Problem TDEAD7772 is UNSAT
Problem TDEAD7776 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/8914 variables, 2/2 constraints. Problems are: Problem set: 910 solved, 6093 unsolved
SMT process timed out in 27569ms, After SMT, problems are : Problem set: 910 solved, 6093 unsolved
Search for dead transitions found 910 dead transitions in 27653ms
Found 910 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 910 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 910 transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15004854014812877697.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8614855997827334176.kers'
[2026-05-31 20:58:05] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15004854014812877697.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8614855997827334176.kers]
Normalized transition count is 7092 out of 7093 initially.
Culling trivial invariants: removing 820 columns.
Culled 820 columns in 7 ms.
// Phase 1: matrix 7092 rows 9094 cols 22454 entries
Finished phase 1 with 5092 SingleSign rule and 1000 generalized
[2026-05-31 20:58:05] [INFO ] Computed 3822 invariants in 56 ms
Computed 3822 P flows in 57 ms.
Exported basis to /tmp/petrispot-output-8614855997827334176.kers
Total runtime 64 ms.
[2026-05-31 20:58:30] [INFO ] Implicit Places using invariants in 25367 ms returned [0, 1, 2, 917, 3259, 3260, 3261, 3262, 3263, 3264, 3265, 3266, 3268, 3269, 3270, 3271, 3272, 3273, 3274, 3275, 3276, 3277, 3279, 3280, 3281, 3282, 3283, 3284, 3285, 3286, 3287, 3288, 3290, 3291, 3292, 3293, 3294, 3295, 3296, 3297, 3298, 3299, 3301, 3302, 3303, 3304, 3305, 3306, 3307, 3308, 3309, 3310, 3312, 3313, 3314, 3315, 3316, 3317, 3318, 3319, 3320, 3321, 3323, 3324, 3325, 3326, 3327, 3328, 3329, 3330, 3331, 3332, 3334, 3335, 3336, 3337, 3338, 3339, 3340, 3341, 3342, 3343, 3345, 3346, 3347, 3348, 3349, 3350, 3351, 3352, 3353, 3354, 3356, 3357, 3358, 3359, 3360, 3361, 3362, 3363, 3364, 3365, 3368, 3369, 3370, 3371, 3372, 3373, 3374, 3375, 3376, 3377, 3379, 3380, 3381, 3382, 3383, 3384, 3385, 3386, 3387, 3388, 3390, 3391, 3392, 3393, 3394, 3395, 3396, 3397, 3398, 3399, 3401, 3402, 3403, 3404, 3405, 3406, 3407, 3408, 3409, 3410, 3412, 3413, 3414, 3415, 3416, 3417, 3418, 3419, 3420, 3421, 3423, 3424, 3425, 3426, 3427, 3428, 3429, 3430, 3431, 3432, 3434, 3435, 3436, 3437, 3438, 3439, 3440, 3441, 3442, 3443, 3445, 3446, 3447, 3448, 3449, 3450, 3451, 3452, 3453, 3454, 3456, 3457, 3458, 3459, 3460, 3461, 3462, 3463, 3464, 3465, 3467, 3468, 3469, 3470, 3471, 3472, 3473, 3474, 3475, 3476, 3479, 3480, 3481, 3482, 3483, 3484, 3485, 3486, 3487, 3488, 3490, 3491, 3492, 3493, 3494, 3495, 3496, 3497, 3498, 3499, 3501, 3502, 3503, 3504, 3505, 3506, 3507, 3508, 3509, 3510, 3512, 3513, 3514, 3515, 3516, 3517, 3518, 3519, 3520, 3521, 3523, 3524, 3525, 3526, 3527, 3528, 3529, 3530, 3531, 3532, 3534, 3535, 3536, 3537, 3538, 3539, 3540, 3541, 3542, 3543, 3545, 3546, 3547, 3548, 3549, 3550, 3551, 3552, 3553, 3554, 3556, 3557, 3558, 3559, 3560, 3561, 3562, 3563, 3564, 3565, 3567, 3568, 3569, 3570, 3571, 3572, 3573, 3574, 3575, 3576, 3578, 3579, 3580, 3581, 3582, 3583, 3584, 3585, 3586, 3587, 3590, 3591, 3592, 3593, 3594, 3595, 3596, 3597, 3598, 3599, 3601, 3602, 3603, 3604, 3605, 3606, 3607, 3608, 3609, 3610, 3612, 3613, 3614, 3615, 3616, 3617, 3618, 3619, 3620, 3621, 3623, 3624, 3625, 3626, 3627, 3628, 3629, 3630, 3631, 3632, 3634, 3635, 3636, 3637, 3638, 3639, 3640, 3641, 3642, 3643, 3645, 3646, 3647, 3648, 3649, 3650, 3651, 3652, 3653, 3654, 3656, 3657, 3658, 3659, 3660, 3661, 3662, 3663, 3664, 3665, 3667, 3668, 3669, 3670, 3671, 3672, 3673, 3674, 3675, 3676, 3678, 3679, 3680, 3681, 3682, 3683, 3684, 3685, 3686, 3687, 3689, 3690, 3691, 3692, 3693, 3694, 3695, 3696, 3697, 3698, 3701, 3702, 3703, 3704, 3705, 3706, 3707, 3708, 3709, 3710, 3712, 3713, 3714, 3715, 3716, 3717, 3718, 3719, 3720, 3721, 3723, 3724, 3725, 3726, 3727, 3728, 3729, 3730, 3731, 3732, 3734, 3735, 3736, 3737, 3738, 3739, 3740, 3741, 3742, 3743, 3745, 3746, 3747, 3748, 3749, 3750, 3751, 3752, 3753, 3754, 3756, 3757, 3758, 3759, 3760, 3761, 3762, 3763, 3764, 3765, 3767, 3768, 3769, 3770, 3771, 3772, 3773, 3774, 3775, 3776, 3778, 3779, 3780, 3781, 3782, 3783, 3784, 3785, 3786, 3787, 3789, 3790, 3791, 3792, 3793, 3794, 3795, 3796, 3797, 3798, 3800, 3801, 3802, 3803, 3804, 3805, 3806, 3807, 3808, 3809, 3812, 3813, 3814, 3815, 3816, 3817, 3818, 3819, 3820, 3821, 3823, 3824, 3825, 3826, 3827, 3828, 3829, 3830, 3831, 3832, 3834, 3835, 3836, 3837, 3838, 3839, 3840, 3841, 3842, 3843, 3845, 3846, 3847, 3848, 3849, 3850, 3851, 3852, 3853, 3854, 3856, 3857, 3858, 3859, 3860, 3861, 3862, 3863, 3864, 3865, 3867, 3868, 3869, 3870, 3871, 3872, 3873, 3874, 3875, 3876, 3878, 3879, 3880, 3881, 3882, 3883, 3884, 3885, 3886, 3887, 3889, 3890, 3891, 3892, 3893, 3894, 3895, 3896, 3897, 3898, 3900, 3901, 3902, 3903, 3904, 3905, 3906, 3907, 3908, 3909, 3911, 3912, 3913, 3914, 3915, 3916, 3917, 3918, 3919, 3920, 3923, 3924, 3925, 3926, 3927, 3928, 3929, 3930, 3931, 3932, 3934, 3935, 3936, 3937, 3938, 3939, 3940, 3941, 3942, 3943, 3945, 3946, 3947, 3948, 3949, 3950, 3951, 3952, 3953, 3954, 3956, 3957, 3958, 3959, 3960, 3961, 3962, 3963, 3964, 3965, 3967, 3968, 3969, 3970, 3971, 3972, 3973, 3974, 3975, 3976, 3978, 3979, 3980, 3981, 3982, 3983, 3984, 3985, 3986, 3987, 3989, 3990, 3991, 3992, 3993, 3994, 3995, 3996, 3997, 3998, 4000, 4001, 4002, 4003, 4004, 4005, 4006, 4008, 4009, 4011, 4012, 4013, 4014, 4015, 4016, 4017, 4018, 4019, 4020, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 4031, 4034, 4035, 4036, 4037, 4038, 4039, 4040, 4041, 4042, 4043, 4045, 4046, 4047, 4048, 4049, 4050, 4051, 4052, 4053, 4054, 4056, 4057, 4058, 4059, 4060, 4061, 4062, 4063, 4064, 4065, 4067, 4068, 4069, 4070, 4071, 4072, 4073, 4074, 4075, 4076, 4078, 4079, 4080, 4081, 4082, 4083, 4084, 4085, 4086, 4087, 4089, 4090, 4091, 4092, 4093, 4094, 4095, 4096, 4097, 4098, 4100, 4101, 4102, 4103, 4104, 4105, 4106, 4107, 4108, 4109, 4111, 4112, 4113, 4114, 4115, 4116, 4117, 4118, 4119, 4120, 4122, 4123, 4124, 4125, 4126, 4127, 4128, 4129, 4130, 4131, 4133, 4134, 4135, 4136, 4137, 4138, 4139, 4140, 4141, 4142, 4145, 4146, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4156, 4157, 4158, 4159, 4160, 4161, 4162, 4163, 4164, 4165, 4167, 4168, 4169, 4170, 4171, 4172, 4173, 4174, 4175, 4176, 4178, 4179, 4180, 4181, 4182, 4183, 4184, 4185, 4186, 4187, 4189, 4190, 4191, 4192, 4193, 4194, 4195, 4196, 4197, 4198, 4200, 4201, 4202, 4203, 4204, 4205, 4206, 4207, 4208, 4209, 4211, 4212, 4213, 4214, 4215, 4216, 4217, 4218, 4219, 4220, 4222, 4223, 4224, 4225, 4226, 4227, 4228, 4229, 4230, 4231, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4240, 4242, 4244, 4245, 4246, 4247, 4248, 4249, 4250, 4251, 4252, 4253, 4256, 4257, 4258, 4259, 4260, 4261, 4262, 4263, 4264, 4265, 4267, 4268, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4287, 4289, 4290, 4291, 4292, 4293, 4294, 4295, 4296, 4297, 4298, 4300, 4301, 4302, 4303, 4304, 4305, 4306, 4307, 4308, 4309, 4311, 4312, 4313, 4314, 4315, 4316, 4317, 4318, 4319, 4320, 4322, 4323, 4324, 4325, 4326, 4327, 4328, 4329, 4330, 4331, 4333, 4334, 4335, 4336, 4337, 4338, 4339, 4340, 4341, 4342, 4344, 4345, 4346, 4347, 4348, 4349, 4350, 4351, 4352, 4353, 4355, 4356, 4357, 4358, 4359, 4360, 4361, 4362, 4363, 4364, 4368, 4369, 8809, 8810, 8811, 8812, 8813, 8814, 8815, 8817, 8818, 8819, 8820, 8821, 8822, 8823, 8824, 8825, 8826, 8828, 8829, 8830, 8831, 8832, 8833, 8834, 8835, 8836, 8837, 8839, 8840, 8841, 8842, 8843, 8844, 8845, 8846, 8847, 8848, 8850, 8851, 8852, 8853, 8854, 8855, 8856, 8857, 8858, 8859, 8861, 8862, 8863, 8864, 8865, 8866, 8867, 8868, 8869, 8870, 8872, 8873, 8874, 8875, 8876, 8877, 8878, 8879, 8880, 8881, 8883, 8884, 8885, 8886, 8887, 8888, 8889, 8890, 8891, 8892, 8894, 8895, 8896, 8897, 8898, 8899, 8900, 8901, 8902, 8903, 8905, 8906, 8907, 8908, 8909, 8910, 8911, 8912, 8913, 8914, 8917, 8918, 8919, 8920, 8921, 8922, 8923, 8924, 8925, 8926, 8928, 8929, 8930, 8931, 8932, 8933, 8934, 8935, 8936, 8937, 8939, 8940, 8941, 8942, 8943, 8944, 8945, 8946, 8947, 8948, 8950, 8951, 8952, 8953, 8954, 8955, 8956, 8957, 8958, 8959, 8961, 8962, 8963, 8964, 8965, 8966, 8967, 8968, 8969, 8970, 8972, 8973, 8974, 8975, 8976, 8977, 8978, 8979, 8980, 8981, 8983, 8984, 8985, 8986, 8987, 8988, 8989, 8990, 8991, 8992, 8994, 8995, 8996, 8997, 8998, 8999, 9000, 9001, 9002, 9003, 9005, 9006, 9007, 9008, 9009, 9010, 9011, 9012, 9013, 9014, 9016, 9017, 9018, 9019, 9020, 9021, 9022, 9023, 9024, 9025, 9028, 9029, 9030, 9031, 9032, 9033, 9034, 9035, 9036, 9037, 9039, 9040, 9041, 9042, 9043, 9044, 9045, 9046, 9047, 9048, 9050, 9051, 9052, 9053, 9054, 9055, 9056, 9057, 9058, 9059, 9061, 9062, 9063, 9064, 9065, 9066, 9067, 9068, 9069, 9070, 9072, 9073, 9074, 9075, 9076, 9077, 9078, 9079, 9080, 9081, 9083, 9084, 9085, 9086, 9087, 9088, 9089, 9090, 9091, 9092, 9094, 9095, 9096, 9097, 9098, 9099, 9100, 9101, 9102, 9103, 9105, 9106, 9107, 9108, 9109, 9110, 9111, 9112, 9113, 9114, 9116, 9117, 9118, 9119, 9120, 9121, 9122, 9123, 9124, 9125, 9127, 9128, 9129, 9130, 9131, 9132, 9133, 9134, 9135, 9136, 9139, 9140, 9141, 9142, 9143, 9144, 9145, 9146, 9147, 9148, 9150, 9151, 9152, 9153, 9154, 9155, 9156, 9157, 9158, 9159, 9161, 9162, 9163, 9164, 9165, 9166, 9167, 9168, 9169, 9170, 9172, 9173, 9174, 9175, 9176, 9177, 9178, 9179, 9180, 9181, 9183, 9184, 9185, 9186, 9187, 9188, 9189, 9190, 9191, 9192, 9194, 9195, 9196, 9197, 9198, 9199, 9200, 9201, 9202, 9203, 9205, 9206, 9207, 9208, 9209, 9210, 9211, 9212, 9213, 9214, 9216, 9217, 9218, 9219, 9220, 9221, 9222, 9223, 9224, 9225, 9227, 9228, 9229, 9230, 9231, 9232, 9233, 9234, 9235, 9236, 9238, 9239, 9240, 9241, 9242, 9243, 9244, 9245, 9246, 9247, 9250, 9251, 9252, 9253, 9254, 9255, 9256, 9257, 9258, 9259, 9261, 9262, 9263, 9264, 9265, 9266, 9267, 9268, 9269, 9270, 9272, 9273, 9274, 9275, 9276, 9277, 9278, 9279, 9280, 9281, 9283, 9284, 9285, 9286, 9287, 9288, 9289, 9290, 9291, 9292, 9294, 9295, 9296, 9297, 9298, 9299, 9300, 9301, 9302, 9303, 9305, 9306, 9307, 9308, 9309, 9310, 9311, 9312, 9313, 9314, 9316, 9317, 9318, 9319, 9320, 9321, 9322, 9323, 9324, 9325, 9327, 9328, 9329, 9330, 9331, 9332, 9333, 9334, 9335, 9336, 9338, 9339, 9340, 9341, 9342, 9343, 9344, 9345, 9346, 9347, 9349, 9350, 9351, 9352, 9353, 9354, 9355, 9356, 9357, 9358, 9361, 9362, 9363, 9364, 9365, 9366, 9367, 9368, 9369, 9370, 9372, 9373, 9374, 9375, 9376, 9377, 9378, 9379, 9380, 9381, 9383, 9384, 9385, 9386, 9387, 9388, 9389, 9390, 9391, 9392, 9394, 9395, 9396, 9397, 9398, 9399, 9400, 9401, 9402, 9403, 9405, 9406, 9407, 9408, 9409, 9410, 9411, 9412, 9413, 9414, 9416, 9417, 9418, 9419, 9420, 9421, 9422, 9423, 9424, 9425, 9427, 9428, 9429, 9430, 9431, 9432, 9433, 9434, 9435, 9436, 9438, 9439, 9440, 9441, 9442, 9443, 9444, 9445, 9446, 9447, 9449, 9450, 9451, 9452, 9453, 9454, 9455, 9456, 9457, 9458, 9460, 9461, 9462, 9463, 9464, 9465, 9466, 9467, 9468, 9469, 9472, 9473, 9474, 9475, 9476, 9477, 9478, 9479, 9480, 9481, 9483, 9484, 9485, 9486, 9487, 9488, 9489, 9490, 9491, 9492, 9494, 9495, 9496, 9497, 9498, 9499, 9500, 9501, 9502, 9503, 9505, 9506, 9507, 9508, 9509, 9510, 9511, 9512, 9513, 9514, 9516, 9517, 9518, 9519, 9520, 9521, 9522, 9523, 9524, 9525, 9527, 9528, 9529, 9530, 9531, 9532, 9533, 9534, 9535, 9536, 9538, 9539, 9540, 9541, 9542, 9543, 9544, 9545, 9546, 9547, 9549, 9550, 9551, 9552, 9553, 9554, 9555, 9556, 9557, 9558, 9560, 9561, 9562, 9563, 9564, 9565, 9566, 9567, 9568, 9569, 9571, 9572, 9573, 9574, 9575, 9576, 9577, 9578, 9579, 9580, 9583, 9584, 9585, 9586, 9587, 9588, 9589, 9590, 9591, 9592, 9594, 9595, 9596, 9597, 9598, 9599, 9600, 9601, 9602, 9603, 9605, 9606, 9607, 9608, 9609, 9610, 9611, 9612, 9613, 9614, 9616, 9617, 9618, 9619, 9620, 9621, 9622, 9623, 9624, 9625, 9627, 9628, 9629, 9630, 9631, 9632, 9633, 9634, 9635, 9636, 9638, 9639, 9640, 9641, 9642, 9643, 9644, 9645, 9646, 9647, 9649, 9650, 9651, 9652, 9653, 9654, 9655, 9656, 9657, 9658, 9660, 9661, 9662, 9663, 9664, 9665, 9666, 9667, 9668, 9669, 9671, 9672, 9673, 9674, 9675, 9676, 9677, 9678, 9679, 9680, 9682, 9683, 9684, 9685, 9686, 9687, 9688, 9689, 9690, 9691, 9694, 9695, 9696, 9697, 9698, 9699, 9700, 9701, 9702, 9703, 9705, 9706, 9707, 9708, 9709, 9710, 9711, 9712, 9713, 9714, 9716, 9717, 9718, 9719, 9720, 9721, 9722, 9723, 9724, 9725, 9727, 9728, 9729, 9730, 9731, 9732, 9733, 9734, 9735, 9736, 9738, 9739, 9740, 9741, 9742, 9743, 9744, 9745, 9746, 9747, 9749, 9750, 9751, 9752, 9753, 9754, 9755, 9756, 9757, 9758, 9760, 9761, 9762, 9763, 9764, 9765, 9766, 9767, 9768, 9769, 9771, 9772, 9773, 9774, 9775, 9776, 9777, 9778, 9779, 9780, 9782, 9783, 9784, 9785, 9786, 9787, 9788, 9789, 9790, 9791, 9793, 9794, 9795, 9796, 9797, 9798, 9799, 9800, 9801, 9802, 9805, 9806, 9807, 9808, 9809, 9810, 9811, 9812, 9813, 9814, 9816, 9817, 9818, 9819, 9820, 9821, 9822, 9823, 9824, 9825, 9827, 9828, 9829, 9830, 9831, 9832, 9833, 9834, 9835, 9836, 9838, 9839, 9840, 9841, 9842, 9843, 9844, 9845, 9846, 9847, 9849, 9850, 9851, 9852, 9853, 9854, 9855, 9856, 9857, 9858, 9860, 9861, 9862, 9863, 9864, 9865, 9866, 9867, 9868, 9869, 9871, 9872, 9873, 9874, 9875, 9876, 9877, 9878, 9879, 9880, 9882, 9883, 9884, 9885, 9886, 9887, 9888, 9889, 9890, 9891, 9893, 9894, 9895, 9896, 9897, 9898, 9899, 9900, 9901, 9902, 9904, 9905, 9906, 9907, 9908, 9909, 9910, 9911, 9912, 9913]
Discarding 1999 places :
Implicit Place search using SMT only with invariants took 25435 ms to find 1999 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 7915/13004 places, 7093/8003 transitions.
Reduce places removed 1810 places and 90 transitions.
Iterating post reduction 0 with 1810 rules applied. Total rules applied 1810 place count 6105 transition count 7003
Reduce places removed 89 places and 0 transitions.
Iterating post reduction 1 with 89 rules applied. Total rules applied 1899 place count 6016 transition count 7003
Deduced a syphon composed of 3 places in 4 ms
Applied a total of 1899 rules in 717 ms. Remains 6016 /7915 variables (removed 1899) and now considering 7003/7093 (removed 90) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12939454871943628343.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14409991300765574096.kers'
[2026-05-31 20:58:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12939454871943628343.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14409991300765574096.kers]
Normalized transition count is 7002 out of 7003 initially.
Culling trivial invariants: removing 3 columns.
Culled 3 columns in 5 ms.
// Phase 1: matrix 7002 rows 6013 cols 14109 entries
Finished phase 1 with 5910 SingleSign rule and 92 generalized
[2026-05-31 20:58:31] [INFO ] Computed 14 invariants in 28 ms
Computed 14 P flows in 29 ms.
Exported basis to /tmp/petrispot-output-14409991300765574096.kers
Total runtime 33 ms.
[2026-05-31 20:58:43] [INFO ] Implicit Places using invariants in 11963 ms returned []
[2026-05-31 20:58:43] [INFO ] Invariant cache hit.
[2026-05-31 20:58:47] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 20:59:17] [INFO ] Performed 5969/6016 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-31 20:59:18] [INFO ] Implicit Places using invariants and state equation in 34713 ms returned []
Implicit Place search using SMT with State Equation took 46683 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6016/13004 places, 7003/8003 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 102240 ms. Remains : 6016/13004 places, 7003/8003 transitions.
Starting structural reductions in LTL mode, iteration 0 : 6016/6016 places, 7003/7003 transitions.
Deduced a syphon composed of 3 places in 5 ms
Applied a total of 0 rules in 495 ms. Remains 6016 /6016 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Running 6003 sub problems to find dead transitions.
[2026-05-31 20:59:18] [INFO ] Invariant cache hit.
[2026-05-31 20:59:18] [INFO ] State equation strengthened by 1 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5005/13019 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20097 ms.
Refiners :[Positive P Invariants (semi-flows): 0/11 constraints, Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6016 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6003 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5005/13019 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20080 ms.
Refiners :[Positive P Invariants (semi-flows): 0/11 constraints, Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6016 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44093ms problems are : Problem set: 0 solved, 6003 unsolved
Search for dead transitions found 0 dead transitions in 44106ms
[2026-05-31 21:00:02] [INFO ] Invariant cache hit.
[2026-05-31 21:00:13] [INFO ] Implicit Places using invariants in 11164 ms returned []
[2026-05-31 21:00:13] [INFO ] Invariant cache hit.
[2026-05-31 21:00:17] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:00:46] [INFO ] Implicit Places using invariants and state equation in 32645 ms returned []
Implicit Place search using SMT with State Equation took 43815 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 88437 ms. Remains : 6016/6016 places, 7003/7003 transitions.
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Support contains 45 out of 6013 places after structural reductions.
FORMULA SupplyChain-PT-01000-LTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-31 21:00:47] [INFO ] Flatten gal took : 893 ms
[2026-05-31 21:00:47] [INFO ] Flatten gal took : 278 ms
[2026-05-31 21:00:48] [INFO ] Input system was already deterministic with 7003 transitions.
Support contains 44 out of 6013 places (down from 45) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 8415 ms. (4 steps per ms) remains 5/26 properties
BEST_FIRST walk for 40004 steps (8 resets) in 735 ms. (54 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 688 ms. (58 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 763 ms. (52 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 560 ms. (71 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 544 ms. (73 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-14082123224768125054.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7226634373536373636.kers'
[2026-05-31 21:00:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14082123224768125054.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7226634373536373636.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 4 ms.
// Phase 1: matrix 7002 rows 6013 cols 14109 entries
Finished phase 1 with 5910 SingleSign rule and 92 generalized
[2026-05-31 21:00:52] [INFO ] Computed 11 invariants in 28 ms
Computed 11 P flows in 28 ms.
Exported basis to /tmp/petrispot-output-7226634373536373636.kers
Total runtime 34 ms.
[2026-05-31 21:00:52] [INFO ] State equation strengthened by 1 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp25 is UNSAT
At refinement iteration 1 (OVERLAPS) 26/33 variables, 4/4 constraints. Problems are: Problem set: 2 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/33 variables, 0/4 constraints. Problems are: Problem set: 2 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 28/61 variables, 4/8 constraints. Problems are: Problem set: 2 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/61 variables, 0/8 constraints. Problems are: Problem set: 2 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 541/602 variables, 1/9 constraints. Problems are: Problem set: 2 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/602 variables, 0/9 constraints. Problems are: Problem set: 2 solved, 3 unsolved
Problem AtomicPropp13 is UNSAT
At refinement iteration 7 (OVERLAPS) 693/1295 variables, 602/611 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1295 variables, 0/611 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 1812/3107 variables, 905/1516 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/3107 variables, 0/1516 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 2710/5817 variables, 904/2420 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/5817 variables, 0/2420 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 2/5819 variables, 2/2422 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/5819 variables, 2/2424 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/5819 variables, 0/2424 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 16 (OVERLAPS) 2707/8526 variables, 905/3329 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/8526 variables, 0/3329 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 18 (OVERLAPS) 3592/12118 variables, 1798/5127 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/12118 variables, 0/5127 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 20 (OVERLAPS) 897/13015 variables, 897/6024 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/13015 variables, 0/6024 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 22 (OVERLAPS) 1/13016 variables, 1/6025 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/13016 variables, 0/6025 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 24 (OVERLAPS) 0/13016 variables, 0/6025 constraints. Problems are: Problem set: 3 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13016/13016 variables, and 6025 constraints, problems are : Problem set: 3 solved, 2 unsolved in 3902 ms.
Refiners :[Positive P Invariants (semi-flows): 8/8 constraints, Generalized P Invariants (flows): 3/3 constraints, State Equation: 6013/6013 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 3 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 8/12 variables, 1/1 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/12 variables, 1/2 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/12 variables, 0/2 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 49/61 variables, 7/9 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/61 variables, 0/9 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 541/602 variables, 1/10 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/602 variables, 0/10 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 693/1295 variables, 602/612 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1295 variables, 1/613 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1295 variables, 0/613 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 1812/3107 variables, 905/1518 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/3107 variables, 1/1519 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/3107 variables, 0/1519 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 2710/5817 variables, 904/2423 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/5817 variables, 0/2423 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 16 (OVERLAPS) 2/5819 variables, 2/2425 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/5819 variables, 2/2427 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/5819 variables, 0/2427 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 19 (OVERLAPS) 2707/8526 variables, 905/3332 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/8526 variables, 0/3332 constraints. Problems are: Problem set: 3 solved, 2 unsolved
At refinement iteration 21 (OVERLAPS) 3592/12118 variables, 1798/5130 constraints. Problems are: Problem set: 3 solved, 2 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 12118/13016 variables, and 5130 constraints, problems are : Problem set: 3 solved, 2 unsolved in 5016 ms.
Refiners :[Positive P Invariants (semi-flows): 8/8 constraints, Generalized P Invariants (flows): 3/3 constraints, State Equation: 5116/6013 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 2/5 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 9004ms problems are : Problem set: 3 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 4 out of 6013 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Graph (complete) has 8015 edges and 6013 vertex of which 6004 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.12 ms
Discarding 9 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Empty/Sink Transition effects.) removed 999 transitions
Reduce isomorphic transitions removed 999 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 999 transitions
Trivial Post-agglo rules discarded 999 transitions
Performed 999 trivial Post agglomeration. Transition count delta: 999
Iterating post reduction 0 with 1998 rules applied. Total rules applied 1999 place count 6004 transition count 5003
Reduce places removed 1000 places and 0 transitions.
Ensure Unique test removed 999 transitions
Reduce isomorphic transitions removed 999 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 2994 transitions
Trivial Post-agglo rules discarded 2994 transitions
Performed 2994 trivial Post agglomeration. Transition count delta: 2994
Iterating post reduction 1 with 4995 rules applied. Total rules applied 6994 place count 5002 transition count 1010
Reduce places removed 2994 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 2995 rules applied. Total rules applied 9989 place count 2008 transition count 1009
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 9990 place count 2007 transition count 1009
Performed 1000 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1000 Pre rules applied. Total rules applied 9990 place count 2007 transition count 9
Renaming transitions due to excessive name length > 1024 char.
Deduced a syphon composed of 1000 places in 1 ms
Ensure Unique test removed 995 places
Reduce places removed 1995 places and 0 transitions.
Iterating global reduction 4 with 2995 rules applied. Total rules applied 12985 place count 12 transition count 9
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 12986 place count 12 transition count 8
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 12986 place count 12 transition count 7
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 12988 place count 11 transition count 7
Free-agglomeration rule applied 1 times.
Iterating global reduction 4 with 1 rules applied. Total rules applied 12989 place count 11 transition count 6
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 12990 place count 10 transition count 6
Applied a total of 12990 rules in 562 ms. Remains 10 /6013 variables (removed 6003) and now considering 6/7003 (removed 6997) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 562 ms. Remains : 10/6013 places, 6/7003 transitions.
RANDOM walk for 22 steps (2 resets) in 6 ms. (3 steps per ms) remains 0/2 properties
FORMULA SupplyChain-PT-01000-LTLCardinality-12 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Successfully simplified 3 atomic propositions for a total of 11 simplifications.
FORMULA SupplyChain-PT-01000-LTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 6013 stabilizing places and 7002 stable transitions
Graph (complete) has 9019 edges and 6013 vertex of which 6005 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.31 ms
FORMULA SupplyChain-PT-01000-LTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X((G(F(p0))||(F(p0)&&F(p1)))) U (X(!p0)&&F(p2))))'
Support contains 6 out of 6013 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 6006 transition count 7003
Applied a total of 7 rules in 547 ms. Remains 6006 /6013 variables (removed 7) and now considering 7003/7003 (removed 0) transitions.
Running 6003 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-3100785187490268203.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16559703455883378502.kers'
[2026-05-31 21:01:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3100785187490268203.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16559703455883378502.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 4 ms.
// Phase 1: matrix 7002 rows 6006 cols 14102 entries
Finished phase 1 with 5910 SingleSign rule and 92 generalized
[2026-05-31 21:01:02] [INFO ] Computed 4 invariants in 26 ms
Computed 4 P flows in 27 ms.
Exported basis to /tmp/petrispot-output-16559703455883378502.kers
Total runtime 31 ms.
[2026-05-31 21:01:02] [INFO ] State equation strengthened by 1 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5005/13009 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20091 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1 constraints, Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6006 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6003 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5005/13009 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20091 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1 constraints, Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6006 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 43935ms problems are : Problem set: 0 solved, 6003 unsolved
Search for dead transitions found 0 dead transitions in 43953ms
[2026-05-31 21:01:46] [INFO ] Invariant cache hit.
[2026-05-31 21:01:58] [INFO ] Implicit Places using invariants in 12276 ms returned [2415, 2439]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 12287 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6004/6013 places, 7003/7003 transitions.
Applied a total of 0 rules in 491 ms. Remains 6004 /6004 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 57295 ms. Remains : 6004/6013 places, 7003/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X((G(F(p0))||(F(p0)&&F(p1)))) U (X(!p0)&&F(p2))))'
Stuttering acceptance computed with spot in 360 ms :[(OR (NOT p2) p0), p0, (NOT p2), (AND (NOT p1) (NOT p0)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-02
Product exploration explored 100000 steps with 50000 reset in 6279 ms.
Product exploration explored 100000 steps with 50000 reset in 6448 ms.
Computed a total of 6004 stabilizing places and 7002 stable transitions
Graph (complete) has 9004 edges and 6004 vertex of which 6003 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.22 ms
Computed a total of 6004 stabilizing places and 7002 stable transitions
Detected a total of 6004/6004 stabilizing places and 7002/7003 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 3/3 atomic propositions.
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 15 factoid took 15 ms. Proved property starting from automaton with 5 states, 9 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 12451 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-02 TRUE TECHNIQUES KNOWLEDGE
Treatment of property SupplyChain-PT-01000-LTLCardinality-02 finished in 83926 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((G(p0)&&(F(G(p1))||G(!p1)))))'
Support contains 4 out of 6013 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 6005 transition count 7003
Applied a total of 8 rules in 519 ms. Remains 6005 /6013 variables (removed 8) and now considering 7003/7003 (removed 0) transitions.
Running 6003 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-7258831932730370982.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2940088284022404372.kers'
[2026-05-31 21:02:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7258831932730370982.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2940088284022404372.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 4 ms.
// Phase 1: matrix 7002 rows 6005 cols 14101 entries
Finished phase 1 with 5910 SingleSign rule and 92 generalized
[2026-05-31 21:02:26] [INFO ] Computed 3 invariants in 25 ms
Computed 3 P flows in 36 ms.
Exported basis to /tmp/petrispot-output-2940088284022404372.kers
Total runtime 40 ms.
[2026-05-31 21:02:26] [INFO ] State equation strengthened by 1 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5005/13008 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20093 ms.
Refiners :[Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6005 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6003 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5005/13008 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20081 ms.
Refiners :[Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6005 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44093ms problems are : Problem set: 0 solved, 6003 unsolved
Search for dead transitions found 0 dead transitions in 44104ms
[2026-05-31 21:03:10] [INFO ] Invariant cache hit.
[2026-05-31 21:03:22] [INFO ] Implicit Places using invariants in 11836 ms returned [2438]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 11844 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6004/6013 places, 7003/7003 transitions.
Applied a total of 0 rules in 490 ms. Remains 6004 /6004 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 56976 ms. Remains : 6004/6013 places, 7003/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((G(p0)&&(F(G(p1))||G(!p1)))))'
Stuttering acceptance computed with spot in 242 ms :[(NOT p0), (NOT p0), true, (NOT p0), (NOT p1), false]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-06
Stuttering criterion allowed to conclude after 4426 steps with 0 reset in 391 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SupplyChain-PT-01000-LTLCardinality-06 finished in 57655 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&F(p1)&&X(p2)))'
Support contains 4 out of 6013 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 6005 transition count 7003
Applied a total of 8 rules in 512 ms. Remains 6005 /6013 variables (removed 8) and now considering 7003/7003 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 21:03:23] [INFO ] Invariant cache hit.
[2026-05-31 21:03:36] [INFO ] Implicit Places using invariants in 12497 ms returned [2414, 2438]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 12514 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6003/6013 places, 7003/7003 transitions.
Applied a total of 0 rules in 571 ms. Remains 6003 /6003 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 13597 ms. Remains : 6003/6013 places, 7003/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&F(p1)&&X(p2)))'
Stuttering acceptance computed with spot in 199 ms :[(OR (NOT p1) (NOT p0) (NOT p2)), (NOT p0), (NOT p1), (NOT p2), true]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-07
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 2 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SupplyChain-PT-01000-LTLCardinality-07 finished in 13860 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(F(p0)))))'
Support contains 1 out of 6013 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 6005 transition count 7003
Applied a total of 8 rules in 516 ms. Remains 6005 /6013 variables (removed 8) and now considering 7003/7003 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 21:03:37] [INFO ] Invariant cache hit.
[2026-05-31 21:03:49] [INFO ] Implicit Places using invariants in 11558 ms returned [2414, 2438]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 11574 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6003/6013 places, 7003/7003 transitions.
Applied a total of 0 rules in 479 ms. Remains 6003 /6003 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 12570 ms. Remains : 6003/6013 places, 7003/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(F(p0)))))'
Stuttering acceptance computed with spot in 119 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-08
Product exploration explored 100000 steps with 25000 reset in 7029 ms.
Product exploration explored 100000 steps with 25000 reset in 7404 ms.
Computed a total of 6003 stabilizing places and 7002 stable transitions
Computed a total of 6003 stabilizing places and 7002 stable transitions
Detected a total of 6003/6003 stabilizing places and 7002/7003 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 1/1 atomic propositions.
Knowledge based reduction with 2 factoid took 51 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
RANDOM walk for 11459 steps (2 resets) in 1467 ms. (7 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 75 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
Stuttering acceptance computed with spot in 180 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Knowledge-based reduction took 1018 ms.
Stuttering acceptance computed with spot in 158 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Support contains 1 out of 6003 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6003/6003 places, 7003/7003 transitions.
Applied a total of 0 rules in 476 ms. Remains 6003 /6003 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Running 6003 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-1512161672877788639.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9538217742058239922.kers'
[2026-05-31 21:04:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1512161672877788639.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9538217742058239922.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 4 ms.
// Phase 1: matrix 7002 rows 6003 cols 14093 entries
Finished phase 1 with 5912 SingleSign rule and 90 generalized
[2026-05-31 21:04:06] [INFO ] Computed 1 invariants in 33 ms
Computed 1 P flows in 34 ms.
Exported basis to /tmp/petrispot-output-9538217742058239922.kers
Total runtime 44 ms.
[2026-05-31 21:04:06] [INFO ] State equation strengthened by 1 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5003/13006 variables, and 0 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20097 ms.
Refiners :[Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/6003 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5003/13006 variables, and 0 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20085 ms.
Refiners :[Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/6003 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44060ms problems are : Problem set: 0 solved, 6003 unsolved
Search for dead transitions found 0 dead transitions in 44070ms
[2026-05-31 21:04:50] [INFO ] Invariant cache hit.
[2026-05-31 21:05:02] [INFO ] Implicit Places using invariants in 11876 ms returned []
[2026-05-31 21:05:02] [INFO ] Invariant cache hit.
[2026-05-31 21:05:05] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:05:37] [INFO ] Performed 5680/6003 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-31 21:05:40] [INFO ] Implicit Places using invariants and state equation in 38212 ms returned []
Implicit Place search using SMT with State Equation took 50094 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 94656 ms. Remains : 6003/6003 places, 7003/7003 transitions.
Computed a total of 6003 stabilizing places and 7002 stable transitions
Computed a total of 6003 stabilizing places and 7002 stable transitions
Detected a total of 6003/6003 stabilizing places and 7002/7003 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 1/1 atomic propositions.
Knowledge based reduction with 2 factoid took 43 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
RANDOM walk for 12984 steps (2 resets) in 1907 ms. (6 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 66 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
Stuttering acceptance computed with spot in 156 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Knowledge-based reduction took 919 ms.
Stuttering acceptance computed with spot in 134 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 139 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 25000 reset in 7191 ms.
Product exploration explored 100000 steps with 24537 reset in 7726 ms.
Spot run failed in 93 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin4174799270594402772
[2026-05-31 21:05:56] [INFO ] Built C files in 99ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4174799270594402772
Running compilation step : cd /tmp/ltsmin4174799270594402772;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin4174799270594402772;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin4174799270594402772;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 6003 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6003/6003 places, 7003/7003 transitions.
Applied a total of 0 rules in 486 ms. Remains 6003 /6003 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 21:06:00] [INFO ] Invariant cache hit.
[2026-05-31 21:06:11] [INFO ] Implicit Places using invariants in 11620 ms returned []
[2026-05-31 21:06:11] [INFO ] Invariant cache hit.
[2026-05-31 21:06:15] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:06:47] [INFO ] Performed 5569/6003 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-31 21:06:50] [INFO ] Implicit Places using invariants and state equation in 38949 ms returned []
Implicit Place search using SMT with State Equation took 50571 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 51061 ms. Remains : 6003/6003 places, 7003/7003 transitions.
Built C files in :
/tmp/ltsmin5253463668264985762
[2026-05-31 21:06:50] [INFO ] Built C files in 68ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5253463668264985762
Running compilation step : cd /tmp/ltsmin5253463668264985762;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin5253463668264985762;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin5253463668264985762;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 21:06:54] [INFO ] Flatten gal took : 189 ms
[2026-05-31 21:06:54] [INFO ] Flatten gal took : 188 ms
[2026-05-31 21:06:54] [INFO ] Time to serialize gal into /tmp/LTL9071635772529775948.gal : 43 ms
[2026-05-31 21:06:54] [INFO ] Time to serialize properties into /tmp/LTL16911192368353315393.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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9071635772529775948.gal' '-t' 'CGAL' '-hoa' '/tmp/aut7686999649352028182.hoa' '-atoms' '/tmp/LTL16911192368353315393.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...318
Loading property file /tmp/LTL16911192368353315393.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut7686999649352028182.hoa
Detected timeout of ITS tools.
[2026-05-31 21:07:09] [INFO ] Flatten gal took : 162 ms
[2026-05-31 21:07:09] [INFO ] Flatten gal took : 160 ms
[2026-05-31 21:07:09] [INFO ] Time to serialize gal into /tmp/LTL1541121350204924726.gal : 27 ms
[2026-05-31 21:07:09] [INFO ] Time to serialize properties into /tmp/LTL6282351454516467667.ltl : 4 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL1541121350204924726.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6282351454516467667.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(X(X(F("(p3457<=0)"))))))
Formula 0 simplified : XXXG!"(p3457<=0)"
Detected timeout of ITS tools.
[2026-05-31 21:07:25] [INFO ] Flatten gal took : 153 ms
[2026-05-31 21:07:25] [INFO ] Applying decomposition
[2026-05-31 21:07:25] [INFO ] Flatten gal took : 156 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10913019889804554931.txt' '-o' '/tmp/graph10913019889804554931.bin' '-w' '/tmp/graph10913019889804554931.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10913019889804554931.bin' '-l' '-1' '-v' '-w' '/tmp/graph10913019889804554931.weights' '-q' '0' '-e' '0.001'
[2026-05-31 21:07:25] [INFO ] Decomposing Gal with order
[2026-05-31 21:07:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 21:07:27] [INFO ] Removed a total of 1087 redundant transitions.
[2026-05-31 21:07:27] [INFO ] Flatten gal took : 295 ms
[2026-05-31 21:07:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 185 ms.
[2026-05-31 21:07:27] [INFO ] Time to serialize gal into /tmp/LTL16040724773244520847.gal : 42 ms
[2026-05-31 21:07:27] [INFO ] Time to serialize properties into /tmp/LTL6264952962635562469.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16040724773244520847.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6264952962635562469.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((X(X(X(F("(u474.p3457<=0)"))))))
Formula 0 simplified : XXXG!"(u474.p3457<=0)"
Detected timeout of ITS tools.
Treatment of property SupplyChain-PT-01000-LTLCardinality-08 finished in 245717 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(!p0)))'
Support contains 2 out of 6013 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Graph (complete) has 9019 edges and 6013 vertex of which 6006 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.15 ms
Discarding 7 places :
Also discarding 0 output transitions
Reduce places removed 1000 places and 1000 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 999 transitions
Trivial Post-agglo rules discarded 999 transitions
Performed 999 trivial Post agglomeration. Transition count delta: 999
Iterating post reduction 0 with 999 rules applied. Total rules applied 1000 place count 5006 transition count 5004
Reduce places removed 999 places and 0 transitions.
Ensure Unique test removed 999 transitions
Reduce isomorphic transitions removed 999 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 997 transitions
Trivial Post-agglo rules discarded 997 transitions
Performed 997 trivial Post agglomeration. Transition count delta: 997
Iterating post reduction 1 with 2995 rules applied. Total rules applied 3995 place count 4007 transition count 3008
Reduce places removed 997 places and 0 transitions.
Iterating post reduction 2 with 997 rules applied. Total rules applied 4992 place count 3010 transition count 3008
Performed 1000 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1000 Pre rules applied. Total rules applied 4992 place count 3010 transition count 2008
Deduced a syphon composed of 1000 places in 0 ms
Ensure Unique test removed 2 places
Reduce places removed 1002 places and 0 transitions.
Iterating global reduction 3 with 2002 rules applied. Total rules applied 6994 place count 2008 transition count 2008
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 6994 place count 2008 transition count 2006
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 6998 place count 2006 transition count 2006
Applied a total of 6998 rules in 550 ms. Remains 2006 /6013 variables (removed 4007) and now considering 2006/7003 (removed 4997) transitions.
Running 6 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-15284646139647981324.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2080651287611765030.kers'
[2026-05-31 21:07:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15284646139647981324.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2080651287611765030.kers]
Normalized transition count is 2005 out of 2006 initially.
Culled 0 columns in 1 ms.
// Phase 1: matrix 2005 rows 2006 cols 4100 entries
Finished phase 1 with 1914 SingleSign rule and 90 generalized
[2026-05-31 21:07:43] [INFO ] Computed 2 invariants in 9 ms
Computed 2 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-2080651287611765030.kers
Total runtime 26 ms.
[2026-05-31 21:07:43] [INFO ] State equation strengthened by 1 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1005 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 2/1007 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1007 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 90/1097 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1097 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (OVERLAPS) 1097/2194 variables, 1097/1099 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2194 variables, 0/1099 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (OVERLAPS) 1817/4011 variables, 909/2008 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4011 variables, 0/2008 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (OVERLAPS) 1/4012 variables, 1/2009 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/4012 variables, 0/2009 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 11 (OVERLAPS) 0/4012 variables, 0/2009 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Real declared 4012/4012 variables, and 2009 constraints, problems are : Problem set: 0 solved, 6 unsolved in 5267 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2006/2006 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 6/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1005 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 2/1007 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1007 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 90/1097 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1097 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (OVERLAPS) 1097/2194 variables, 1097/1099 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2194 variables, 5/1104 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2194 variables, 0/1104 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (OVERLAPS) 1817/4011 variables, 909/2013 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/4011 variables, 0/2013 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (OVERLAPS) 1/4012 variables, 1/2014 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/4012 variables, 0/2014 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 12 (OVERLAPS) 0/4012 variables, 0/2014 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Int declared 4012/4012 variables, and 2014 constraints, problems are : Problem set: 0 solved, 6 unsolved in 4499 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2006/2006 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 6/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 9814ms problems are : Problem set: 0 solved, 6 unsolved
Search for dead transitions found 0 dead transitions in 9814ms
[2026-05-31 21:07:53] [INFO ] Invariant cache hit.
[2026-05-31 21:08:04] [INFO ] Implicit Places using invariants in 10870 ms returned []
[2026-05-31 21:08:04] [INFO ] Invariant cache hit.
[2026-05-31 21:08:05] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:08:21] [INFO ] Implicit Places using invariants and state equation in 17018 ms returned []
Implicit Place search using SMT with State Equation took 27892 ms to find 0 implicit places.
[2026-05-31 21:08:21] [INFO ] Redundant transitions in 154 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 2006/6013 places, 2006/7003 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 38437 ms. Remains : 2006/6013 places, 2006/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Stuttering acceptance computed with spot in 63 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-09
Stuttering criterion allowed to conclude after 912 steps with 0 reset in 48 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SupplyChain-PT-01000-LTLCardinality-09 finished in 38583 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G(p0)||F(p1)))'
Support contains 4 out of 6013 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Graph (complete) has 9019 edges and 6013 vertex of which 6006 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.9 ms
Discarding 7 places :
Also discarding 0 output transitions
Reduce places removed 998 places and 998 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1000 transitions
Trivial Post-agglo rules discarded 1000 transitions
Performed 1000 trivial Post agglomeration. Transition count delta: 1000
Iterating post reduction 0 with 1000 rules applied. Total rules applied 1001 place count 5008 transition count 5005
Reduce places removed 1000 places and 0 transitions.
Ensure Unique test removed 1000 transitions
Reduce isomorphic transitions removed 1000 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 998 transitions
Trivial Post-agglo rules discarded 998 transitions
Performed 998 trivial Post agglomeration. Transition count delta: 998
Iterating post reduction 1 with 2998 rules applied. Total rules applied 3999 place count 4008 transition count 3007
Reduce places removed 998 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 2 with 1000 rules applied. Total rules applied 4999 place count 3010 transition count 3005
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 5001 place count 3008 transition count 3005
Performed 998 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 998 Pre rules applied. Total rules applied 5001 place count 3008 transition count 2007
Deduced a syphon composed of 998 places in 1 ms
Ensure Unique test removed 2 places
Reduce places removed 1000 places and 0 transitions.
Iterating global reduction 4 with 1998 rules applied. Total rules applied 6999 place count 2008 transition count 2007
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 2 Pre rules applied. Total rules applied 6999 place count 2008 transition count 2005
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 7003 place count 2006 transition count 2005
Applied a total of 7003 rules in 554 ms. Remains 2006 /6013 variables (removed 4007) and now considering 2005/7003 (removed 4998) transitions.
Running 7 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-14567791040759254944.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1666407197242341760.kers'
[2026-05-31 21:08:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14567791040759254944.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1666407197242341760.kers]
Normalized transition count is 2004 out of 2005 initially.
Culled 0 columns in 1 ms.
// Phase 1: matrix 2004 rows 2006 cols 4098 entries
Finished phase 1 with 1914 SingleSign rule and 90 generalized
[2026-05-31 21:08:22] [INFO ] Computed 2 invariants in 8 ms
Computed 2 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-1666407197242341760.kers
Total runtime 10 ms.
[2026-05-31 21:08:22] [INFO ] State equation strengthened by 1 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1005 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 2/1007 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1007 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (OVERLAPS) 90/1097 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1097 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 1097/2194 variables, 1097/1099 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2194 variables, 0/1099 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (OVERLAPS) 1816/4010 variables, 909/2008 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4010 variables, 0/2008 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 9 (OVERLAPS) 1/4011 variables, 1/2009 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/4011 variables, 0/2009 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 11 (OVERLAPS) 0/4011 variables, 0/2009 constraints. Problems are: Problem set: 0 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Real declared 4011/4011 variables, and 2009 constraints, problems are : Problem set: 0 solved, 7 unsolved in 5928 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2006/2006 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 7/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1005 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 2/1007 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1007 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (OVERLAPS) 90/1097 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1097 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 1097/2194 variables, 1097/1099 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2194 variables, 6/1105 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2194 variables, 0/1105 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (OVERLAPS) 1816/4010 variables, 909/2014 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/4010 variables, 0/2014 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 10 (OVERLAPS) 1/4011 variables, 1/2015 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/4011 variables, 0/2015 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 12 (OVERLAPS) 0/4011 variables, 0/2015 constraints. Problems are: Problem set: 0 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Int declared 4011/4011 variables, and 2015 constraints, problems are : Problem set: 0 solved, 7 unsolved in 5116 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2006/2006 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 7/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 11070ms problems are : Problem set: 0 solved, 7 unsolved
Search for dead transitions found 0 dead transitions in 11070ms
[2026-05-31 21:08:33] [INFO ] Invariant cache hit.
[2026-05-31 21:08:44] [INFO ] Implicit Places using invariants in 10788 ms returned []
[2026-05-31 21:08:44] [INFO ] Invariant cache hit.
[2026-05-31 21:08:44] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:09:00] [INFO ] Implicit Places using invariants and state equation in 16526 ms returned []
Implicit Place search using SMT with State Equation took 27318 ms to find 0 implicit places.
[2026-05-31 21:09:00] [INFO ] Redundant transitions in 45 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 2006/6013 places, 2005/7003 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 38999 ms. Remains : 2006/6013 places, 2005/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G(p0)||F(p1)))'
Stuttering acceptance computed with spot in 65 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-10
Product exploration explored 100000 steps with 220 reset in 6503 ms.
Product exploration explored 100000 steps with 211 reset in 6702 ms.
Computed a total of 2006 stabilizing places and 2004 stable transitions
Graph (complete) has 4006 edges and 2006 vertex of which 2005 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.3 ms
Computed a total of 2006 stabilizing places and 2004 stable transitions
Detected a total of 2006/2006 stabilizing places and 2004/2005 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 2/2 atomic propositions.
Knowledge based reduction with 5 factoid took 182 ms. Reduced automaton from 2 states, 3 edges and 2 AP (stutter insensitive) to 2 states, 3 edges and 2 AP (stutter insensitive).
RANDOM walk for 9525 steps (8 resets) in 705 ms. (13 steps per ms) remains 0/4 properties
Knowledge based reduction with 5 factoid took 265 ms. Reduced automaton from 2 states, 3 edges and 2 AP (stutter insensitive) to 2 states, 3 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 70 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 44252 ms.
Stuttering acceptance computed with spot in 78 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Support contains 4 out of 2006 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2006/2006 places, 2005/2005 transitions.
Applied a total of 0 rules in 205 ms. Remains 2006 /2006 variables (removed 0) and now considering 2005/2005 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 21:09:58] [INFO ] Invariant cache hit.
[2026-05-31 21:10:09] [INFO ] Implicit Places using invariants in 11102 ms returned []
[2026-05-31 21:10:09] [INFO ] Invariant cache hit.
[2026-05-31 21:10:10] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:10:25] [INFO ] Implicit Places using invariants and state equation in 15908 ms returned []
Implicit Place search using SMT with State Equation took 27014 ms to find 0 implicit places.
[2026-05-31 21:10:25] [INFO ] Redundant transitions in 54 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 27285 ms. Remains : 2006/2006 places, 2005/2005 transitions.
Computed a total of 2006 stabilizing places and 2004 stable transitions
Graph (complete) has 4006 edges and 2006 vertex of which 2005 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.3 ms
Computed a total of 2006 stabilizing places and 2004 stable transitions
Detected a total of 2006/2006 stabilizing places and 2004/2005 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 2/2 atomic propositions.
Knowledge based reduction with 5 factoid took 182 ms. Reduced automaton from 2 states, 3 edges and 2 AP (stutter insensitive) to 2 states, 3 edges and 2 AP (stutter insensitive).
RANDOM walk for 8520 steps (6 resets) in 618 ms. (13 steps per ms) remains 0/4 properties
Knowledge based reduction with 5 factoid took 276 ms. Reduced automaton from 2 states, 3 edges and 2 AP (stutter insensitive) to 2 states, 3 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 70 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 43975 ms.
Stuttering acceptance computed with spot in 62 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Stuttering acceptance computed with spot in 86 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 224 reset in 6350 ms.
Product exploration explored 100000 steps with 218 reset in 6547 ms.
Built C files in :
/tmp/ltsmin2537293886091884000
[2026-05-31 21:11:22] [INFO ] Too many transitions (2005) to apply POR reductions. Disabling POR matrices.
[2026-05-31 21:11:22] [INFO ] Built C files in 25ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2537293886091884000
Running compilation step : cd /tmp/ltsmin2537293886091884000;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin2537293886091884000;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin2537293886091884000;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 4 out of 2006 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2006/2006 places, 2005/2005 transitions.
Applied a total of 0 rules in 146 ms. Remains 2006 /2006 variables (removed 0) and now considering 2005/2005 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 21:11:25] [INFO ] Invariant cache hit.
[2026-05-31 21:11:36] [INFO ] Implicit Places using invariants in 10335 ms returned []
[2026-05-31 21:11:36] [INFO ] Invariant cache hit.
[2026-05-31 21:11:36] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:11:51] [INFO ] Implicit Places using invariants and state equation in 15110 ms returned []
Implicit Place search using SMT with State Equation took 25449 ms to find 0 implicit places.
[2026-05-31 21:11:51] [INFO ] Redundant transitions in 46 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 25647 ms. Remains : 2006/2006 places, 2005/2005 transitions.
Built C files in :
/tmp/ltsmin13800589827984355972
[2026-05-31 21:11:51] [INFO ] Too many transitions (2005) to apply POR reductions. Disabling POR matrices.
[2026-05-31 21:11:51] [INFO ] Built C files in 21ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13800589827984355972
Running compilation step : cd /tmp/ltsmin13800589827984355972;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13800589827984355972;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13800589827984355972;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 21:11:54] [INFO ] Flatten gal took : 100 ms
[2026-05-31 21:11:54] [INFO ] Flatten gal took : 102 ms
[2026-05-31 21:11:54] [INFO ] Time to serialize gal into /tmp/LTL13876420378103752805.gal : 10 ms
[2026-05-31 21:11:54] [INFO ] Time to serialize properties into /tmp/LTL13473878948833805192.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL13876420378103752805.gal' '-t' 'CGAL' '-hoa' '/tmp/aut4379639606786386793.hoa' '-atoms' '/tmp/LTL13473878948833805192.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL13473878948833805192.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut4379639606786386793.hoa
Detected timeout of ITS tools.
[2026-05-31 21:12:09] [INFO ] Flatten gal took : 114 ms
[2026-05-31 21:12:09] [INFO ] Flatten gal took : 100 ms
[2026-05-31 21:12:09] [INFO ] Time to serialize gal into /tmp/LTL15332107211521316170.gal : 6 ms
[2026-05-31 21:12:09] [INFO ] Time to serialize properties into /tmp/LTL10799466393360620327.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL15332107211521316170.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL10799466393360620327.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Checking formula 0 : !(((G("(p11117<=p2650)"))||(F("(p2578<=p12261)"))))
Formula 0 simplified : F!"(p11117<=p2650)" & G!"(p2578<=p12261)"
Detected timeout of ITS tools.
[2026-05-31 21:12:25] [INFO ] Flatten gal took : 102 ms
[2026-05-31 21:12:25] [INFO ] Applying decomposition
[2026-05-31 21:12:25] [INFO ] Flatten gal took : 100 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph16598462564129798741.txt' '-o' '/tmp/graph16598462564129798741.bin' '-w' '/tmp/graph16598462564129798741.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16598462564129798741.bin' '-l' '-1' '-v' '-w' '/tmp/graph16598462564129798741.weights' '-q' '0' '-e' '0.001'
[2026-05-31 21:12:25] [INFO ] Decomposing Gal with order
[2026-05-31 21:12:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 21:12:25] [INFO ] Removed a total of 1085 redundant transitions.
[2026-05-31 21:12:25] [INFO ] Flatten gal took : 69 ms
[2026-05-31 21:12:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 208 ms.
[2026-05-31 21:12:26] [INFO ] Time to serialize gal into /tmp/LTL18087693207690102962.gal : 15 ms
[2026-05-31 21:12:26] [INFO ] Time to serialize properties into /tmp/LTL5857161271581826141.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL18087693207690102962.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL5857161271581826141.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !(((G("(gu93.p11117<=gu93.p2650)"))||(F("(gu11.p2578<=gu11.p12261)"))))
Formula 0 simplified : F!"(gu93.p11117<=gu93.p2650)" & G!"(gu11.p2578<=gu11.p12261)"
Detected timeout of ITS tools.
Treatment of property SupplyChain-PT-01000-LTLCardinality-10 finished in 259526 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Support contains 5 out of 6013 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Graph (complete) has 9019 edges and 6013 vertex of which 6005 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.8 ms
Discarding 8 places :
Also discarding 0 output transitions
Reduce places removed 999 places and 999 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 998 transitions
Trivial Post-agglo rules discarded 998 transitions
Performed 998 trivial Post agglomeration. Transition count delta: 998
Iterating post reduction 0 with 998 rules applied. Total rules applied 999 place count 5006 transition count 5006
Reduce places removed 998 places and 0 transitions.
Ensure Unique test removed 998 transitions
Reduce isomorphic transitions removed 998 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 996 transitions
Trivial Post-agglo rules discarded 996 transitions
Performed 996 trivial Post agglomeration. Transition count delta: 996
Iterating post reduction 1 with 2992 rules applied. Total rules applied 3991 place count 4008 transition count 3012
Reduce places removed 996 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 997 rules applied. Total rules applied 4988 place count 3012 transition count 3011
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 4989 place count 3011 transition count 3011
Performed 999 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 999 Pre rules applied. Total rules applied 4989 place count 3011 transition count 2012
Deduced a syphon composed of 999 places in 0 ms
Ensure Unique test removed 2 places
Reduce places removed 1001 places and 0 transitions.
Iterating global reduction 4 with 2000 rules applied. Total rules applied 6989 place count 2010 transition count 2012
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 6989 place count 2010 transition count 2011
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 6991 place count 2009 transition count 2011
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 6992 place count 2009 transition count 2010
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 6992 place count 2009 transition count 2009
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 6994 place count 2008 transition count 2009
Applied a total of 6994 rules in 496 ms. Remains 2008 /6013 variables (removed 4005) and now considering 2009/7003 (removed 4994) transitions.
Running 12 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-11007913886209783876.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16601673023124008906.kers'
[2026-05-31 21:12:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11007913886209783876.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16601673023124008906.kers]
Normalized transition count is 2008 out of 2009 initially.
Culled 0 columns in 1 ms.
// Phase 1: matrix 2008 rows 2008 cols 4105 entries
Finished phase 1 with 1917 SingleSign rule and 90 generalized
[2026-05-31 21:12:41] [INFO ] Computed 1 invariants in 7 ms
Computed 1 P flows in 7 ms.
Exported basis to /tmp/petrispot-output-16601673023124008906.kers
Total runtime 9 ms.
[2026-05-31 21:12:41] [INFO ] State equation strengthened by 1 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1008 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 90/1098 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1098 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (OVERLAPS) 1102/2200 variables, 1098/1099 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2200 variables, 0/1099 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (OVERLAPS) 1816/4016 variables, 910/2009 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4016 variables, 0/2009 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 7 (OVERLAPS) 1/4017 variables, 1/2010 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4017 variables, 0/2010 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 9 (OVERLAPS) 0/4017 variables, 0/2010 constraints. Problems are: Problem set: 0 solved, 12 unsolved
No progress, stopping.
After SMT solving in domain Real declared 4017/4017 variables, and 2010 constraints, problems are : Problem set: 0 solved, 12 unsolved in 9070 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 2008/2008 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 12/11 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1008 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 90/1098 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1098 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (OVERLAPS) 1102/2200 variables, 1098/1099 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2200 variables, 11/1110 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2200 variables, 0/1110 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 6 (OVERLAPS) 1816/4016 variables, 910/2020 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/4016 variables, 0/2020 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 8 (OVERLAPS) 1/4017 variables, 1/2021 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/4017 variables, 0/2021 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 10 (OVERLAPS) 0/4017 variables, 0/2021 constraints. Problems are: Problem set: 0 solved, 12 unsolved
No progress, stopping.
After SMT solving in domain Int declared 4017/4017 variables, and 2021 constraints, problems are : Problem set: 0 solved, 12 unsolved in 7832 ms.
Refiners :[Generalized P Invariants (flows): 1/1 constraints, State Equation: 2008/2008 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 12/11 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 16929ms problems are : Problem set: 0 solved, 12 unsolved
Search for dead transitions found 0 dead transitions in 16931ms
[2026-05-31 21:12:58] [INFO ] Invariant cache hit.
[2026-05-31 21:13:09] [INFO ] Implicit Places using invariants in 10840 ms returned []
[2026-05-31 21:13:09] [INFO ] Invariant cache hit.
[2026-05-31 21:13:10] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-31 21:13:26] [INFO ] Implicit Places using invariants and state equation in 16850 ms returned []
Implicit Place search using SMT with State Equation took 27692 ms to find 0 implicit places.
[2026-05-31 21:13:26] [INFO ] Redundant transitions in 46 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 2008/6013 places, 2009/7003 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 45172 ms. Remains : 2008/6013 places, 2009/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Stuttering acceptance computed with spot in 112 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-11
Stuttering criterion allowed to conclude after 2289 steps with 3 reset in 127 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SupplyChain-PT-01000-LTLCardinality-11 finished in 45458 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(F((X(X(X(G(p0))))&&F(p1))))&&F(p2)))'
Support contains 6 out of 6013 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 6006 transition count 7003
Applied a total of 7 rules in 484 ms. Remains 6006 /6013 variables (removed 7) and now considering 7003/7003 (removed 0) transitions.
Running 6003 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-4696184065678439114.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6790244124297256733.kers'
[2026-05-31 21:13:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4696184065678439114.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6790244124297256733.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 4 ms.
// Phase 1: matrix 7002 rows 6006 cols 14102 entries
Finished phase 1 with 5910 SingleSign rule and 92 generalized
[2026-05-31 21:13:27] [INFO ] Computed 4 invariants in 32 ms
Computed 4 P flows in 33 ms.
Exported basis to /tmp/petrispot-output-6790244124297256733.kers
Total runtime 42 ms.
[2026-05-31 21:13:27] [INFO ] State equation strengthened by 1 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5005/13009 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20086 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1 constraints, Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6006 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6003 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5005/13009 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20083 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1 constraints, Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6006 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 43954ms problems are : Problem set: 0 solved, 6003 unsolved
Search for dead transitions found 0 dead transitions in 43964ms
[2026-05-31 21:14:11] [INFO ] Invariant cache hit.
[2026-05-31 21:14:22] [INFO ] Implicit Places using invariants in 11599 ms returned [2414, 2438]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 11608 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6004/6013 places, 7003/7003 transitions.
Applied a total of 0 rules in 478 ms. Remains 6004 /6004 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 56545 ms. Remains : 6004/6013 places, 7003/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(F((X(X(X(G(p0))))&&F(p1))))&&F(p2)))'
Stuttering acceptance computed with spot in 269 ms :[(OR (NOT p1) (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p1)), (NOT p2), (NOT p1), (AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-13
Stuttering criterion allowed to conclude after 4394 steps with 4 reset in 387 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SupplyChain-PT-01000-LTLCardinality-13 finished in 57258 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X((!(p0 U p1)||G(!p0)))))))'
Support contains 2 out of 6013 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6013/6013 places, 7003/7003 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 6005 transition count 7003
Applied a total of 8 rules in 476 ms. Remains 6005 /6013 variables (removed 8) and now considering 7003/7003 (removed 0) transitions.
Running 6003 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-17382877840026469384.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17530387515719714385.kers'
[2026-05-31 21:14:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17382877840026469384.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17530387515719714385.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 5 ms.
// Phase 1: matrix 7002 rows 6005 cols 14101 entries
Finished phase 1 with 5910 SingleSign rule and 92 generalized
[2026-05-31 21:14:24] [INFO ] Computed 3 invariants in 27 ms
Computed 3 P flows in 28 ms.
Exported basis to /tmp/petrispot-output-17530387515719714385.kers
Total runtime 39 ms.
[2026-05-31 21:14:24] [INFO ] State equation strengthened by 1 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5005/13008 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20088 ms.
Refiners :[Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6005 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6003 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5005 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6003 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5005/13008 variables, and 2 constraints, problems are : Problem set: 0 solved, 6003 unsolved in 20081 ms.
Refiners :[Generalized P Invariants (flows): 2/3 constraints, State Equation: 0/6005 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 43924ms problems are : Problem set: 0 solved, 6003 unsolved
Search for dead transitions found 0 dead transitions in 43933ms
[2026-05-31 21:15:08] [INFO ] Invariant cache hit.
[2026-05-31 21:15:19] [INFO ] Implicit Places using invariants in 10849 ms returned [2414, 2438]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 10860 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6003/6013 places, 7003/7003 transitions.
Applied a total of 0 rules in 475 ms. Remains 6003 /6003 variables (removed 0) and now considering 7003/7003 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 55756 ms. Remains : 6003/6013 places, 7003/7003 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X((!(p0 U p1)||G(!p0)))))))'
Stuttering acceptance computed with spot in 265 ms :[true, (AND p0 p1), p1, p0, (AND p0 p1), (AND p0 p1), (AND p0 p1), (AND p0 p1)]
Running random walk in product with property : SupplyChain-PT-01000-LTLCardinality-14
Entered a terminal (fully accepting) state of product in 5005 steps with 1 reset in 445 ms.
FORMULA SupplyChain-PT-01000-LTLCardinality-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property SupplyChain-PT-01000-LTLCardinality-14 finished in 56512 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(F(p0)))))'
Spot run failed in 37 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G(p0)||F(p1)))'
Spot run failed in 41 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-31 21:15:20] [INFO ] Flatten gal took : 219 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin5880381316361572104
[2026-05-31 21:15:20] [INFO ] Too many transitions (7003) to apply POR reductions. Disabling POR matrices.
[2026-05-31 21:15:20] [INFO ] Built C files in 59ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5880381316361572104
Running compilation step : cd /tmp/ltsmin5880381316361572104;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '360' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-31 21:15:20] [INFO ] Applying decomposition
[2026-05-31 21:15:21] [INFO ] Flatten gal took : 209 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph911577753239786728.txt' '-o' '/tmp/graph911577753239786728.bin' '-w' '/tmp/graph911577753239786728.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph911577753239786728.bin' '-l' '-1' '-v' '-w' '/tmp/graph911577753239786728.weights' '-q' '0' '-e' '0.001'
[2026-05-31 21:15:21] [INFO ] Decomposing Gal with order
[2026-05-31 21:15:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 21:15:22] [INFO ] Removed a total of 1092 redundant transitions.
[2026-05-31 21:15:22] [INFO ] Flatten gal took : 194 ms
[2026-05-31 21:15:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 223 ms.
[2026-05-31 21:15:23] [INFO ] Time to serialize gal into /tmp/LTLCardinality15347243702796958124.gal : 28 ms
[2026-05-31 21:15:23] [INFO ] Time to serialize properties into /tmp/LTLCardinality8150195221996164533.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality15347243702796958124.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality8150195221996164533.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...298
Read 2 LTL properties
Checking formula 0 : !((X(X(X(F("(gi2.gi6.gu813.p3457<=0)"))))))
Formula 0 simplified : XXXG!"(gi2.gi6.gu813.p3457<=0)"
Compilation finished in 31199 ms.
Running link step : cd /tmp/ltsmin5880381316361572104;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 99 ms.
Running LTSmin : cd /tmp/ltsmin5880381316361572104;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X(X(X(<>((LTLAPp0==true)))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>900 s) on command cd /tmp/ltsmin5880381316361572104;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X(X(X(<>((LTLAPp0==true)))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin5880381316361572104;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '([]((LTLAPp1==true))||<>((LTLAPp2==true)))' '--buchi-type=spotba'
Detected timeout of ITS tools.
[2026-05-31 21:41:27] [INFO ] Flatten gal took : 2115 ms
[2026-05-31 21:41:27] [INFO ] Time to serialize gal into /tmp/LTLCardinality4869115717980610323.gal : 67 ms
[2026-05-31 21:41:27] [INFO ] Time to serialize properties into /tmp/LTLCardinality2392804032641295216.ltl : 5 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality4869115717980610323.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality2392804032641295216.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...297
Read 2 LTL properties
Checking formula 0 : !((X(X(X(F("(p3457<=0)"))))))
Formula 0 simplified : XXXG!"(p3457<=0)"
WARNING : LTSmin timed out (>900 s) on command cd /tmp/ltsmin5880381316361572104;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '([]((LTLAPp1==true))||<>((LTLAPp2==true)))' '--buchi-type=spotba'
Retrying LTSmin with larger timeout 14400 s
Running LTSmin : cd /tmp/ltsmin5880381316361572104;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X(X(X(<>((LTLAPp0==true)))))' '--buchi-type=spotba'
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -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-01000"
export BK_EXAMINATION="LTLCardinality"
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-01000, examination is LTLCardinality"
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-178024402900227"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SupplyChain-PT-01000.tgz
mv SupplyChain-PT-01000 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;