About the Execution of ITS-Tools for PhilosophersDyn-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16205.676 | 3600000.00 | 5115916.00 | 41183.90 | TFF?FFFTFFFFFTFF | 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.r210-smll-177969942000251.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 PhilosophersDyn-PT-20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-177969942000251
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 82M
-rw-r--r-- 1 mcc users 181K Mar 5 13:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 728K Mar 5 13:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7M Mar 5 13:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 19M Mar 5 13:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 40K Mar 16 08:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 126K Mar 16 08:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Mar 16 08:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.9M Mar 16 08:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 214K Mar 5 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 825K Mar 5 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6M Mar 5 13:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32M Mar 5 13:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 16 08:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Mar 16 08:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 14M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-00
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-01
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-02
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-03
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-04
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-05
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-06
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-07
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-08
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-09
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-10
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-11
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-12
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-13
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-14
FORMULA_NAME PhilosophersDyn-PT-20-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1779989459855
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhilosophersDyn-PT-20
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202604301425
[2026-05-28 17:31:01] [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-28 17:31:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 17:31:03] [INFO ] Load time of PNML (sax parser for PT used): 1235 ms
[2026-05-28 17:31:03] [INFO ] Transformed 540 places.
[2026-05-28 17:31:03] [INFO ] Transformed 17220 transitions.
[2026-05-28 17:31:03] [INFO ] Parsed PT model containing 540 places and 17220 transitions and 140780 arcs in 1504 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 40 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 1 formulas.
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 540 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 17030/17030 transitions.
Applied a total of 0 rules in 219 ms. Remains 540 /540 variables (removed 0) and now considering 17030/17030 (removed 0) transitions.
Running 16840 sub problems to find dead transitions.
[2026-05-28 17:31:04] [INFO ] Flow matrix only has 15510 transitions (discarded 1520 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1468653231650867925.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7232491390230701763.kers'
[2026-05-28 17:31:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1468653231650867925.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7232491390230701763.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15510 rows 540 cols 84380 entries
Finished phase 1 with 100 SingleSign rule and 361 generalized
[2026-05-28 17:31:05] [INFO ] Computed 79 invariants in 361 ms
Computed 79 P flows in 363 ms.
Exported basis to /tmp/petrispot-output-7232491390230701763.kers
Total runtime 380 ms.
[2026-05-28 17:31:06] [INFO ] State equation strengthened by 8060 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD2 is UNSAT
Problem TDEAD12 is UNSAT
Problem TDEAD13 is UNSAT
Problem TDEAD56 is UNSAT
Problem TDEAD58 is UNSAT
Problem TDEAD85 is UNSAT
Problem TDEAD114 is UNSAT
Problem TDEAD137 is UNSAT
Problem TDEAD139 is UNSAT
Problem TDEAD155 is UNSAT
Problem TDEAD195 is UNSAT
Problem TDEAD217 is UNSAT
Problem TDEAD223 is UNSAT
Problem TDEAD303 is UNSAT
Problem TDEAD307 is UNSAT
Problem TDEAD310 is UNSAT
Problem TDEAD325 is UNSAT
Problem TDEAD326 is UNSAT
Problem TDEAD344 is UNSAT
Problem TDEAD372 is UNSAT
Problem TDEAD377 is UNSAT
Problem TDEAD384 is UNSAT
Problem TDEAD404 is UNSAT
Problem TDEAD425 is UNSAT
Problem TDEAD448 is UNSAT
Problem TDEAD476 is UNSAT
Problem TDEAD486 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD525 is UNSAT
Problem TDEAD552 is UNSAT
Problem TDEAD566 is UNSAT
Problem TDEAD623 is UNSAT
Problem TDEAD626 is UNSAT
Problem TDEAD628 is UNSAT
Problem TDEAD662 is UNSAT
Problem TDEAD717 is UNSAT
Problem TDEAD755 is UNSAT
Problem TDEAD761 is UNSAT
Problem TDEAD785 is UNSAT
Problem TDEAD836 is UNSAT
Problem TDEAD842 is UNSAT
Problem TDEAD847 is UNSAT
Problem TDEAD851 is UNSAT
Problem TDEAD856 is UNSAT
Problem TDEAD873 is UNSAT
Problem TDEAD898 is UNSAT
Problem TDEAD918 is UNSAT
Problem TDEAD934 is UNSAT
Problem TDEAD945 is UNSAT
Problem TDEAD961 is UNSAT
Problem TDEAD966 is UNSAT
Problem TDEAD994 is UNSAT
Problem TDEAD1000 is UNSAT
Problem TDEAD1033 is UNSAT
Problem TDEAD1048 is UNSAT
Problem TDEAD1108 is UNSAT
Problem TDEAD1122 is UNSAT
Problem TDEAD1125 is UNSAT
Problem TDEAD1132 is UNSAT
Problem TDEAD1155 is UNSAT
Problem TDEAD1160 is UNSAT
Problem TDEAD1200 is UNSAT
Problem TDEAD1213 is UNSAT
Problem TDEAD1214 is UNSAT
Problem TDEAD1250 is UNSAT
Problem TDEAD1253 is UNSAT
Problem TDEAD1259 is UNSAT
Problem TDEAD1312 is UNSAT
Problem TDEAD1331 is UNSAT
Problem TDEAD1338 is UNSAT
Problem TDEAD1340 is UNSAT
Problem TDEAD1387 is UNSAT
Problem TDEAD1390 is UNSAT
Problem TDEAD1404 is UNSAT
Problem TDEAD1426 is UNSAT
Problem TDEAD1431 is UNSAT
Problem TDEAD1434 is UNSAT
Problem TDEAD1461 is UNSAT
Problem TDEAD1501 is UNSAT
Problem TDEAD1519 is UNSAT
Problem TDEAD1581 is UNSAT
Problem TDEAD1591 is UNSAT
Problem TDEAD1598 is UNSAT
Problem TDEAD1628 is UNSAT
Problem TDEAD1630 is UNSAT
Problem TDEAD1661 is UNSAT
Problem TDEAD1668 is UNSAT
Problem TDEAD1730 is UNSAT
Problem TDEAD1751 is UNSAT
Problem TDEAD1772 is UNSAT
Problem TDEAD1773 is UNSAT
Problem TDEAD1778 is UNSAT
Problem TDEAD1782 is UNSAT
Problem TDEAD1787 is UNSAT
Problem TDEAD1861 is UNSAT
Problem TDEAD1897 is UNSAT
Problem TDEAD1919 is UNSAT
Problem TDEAD1954 is UNSAT
Problem TDEAD1966 is UNSAT
Problem TDEAD1970 is UNSAT
Problem TDEAD1998 is UNSAT
Problem TDEAD2007 is UNSAT
Problem TDEAD2009 is UNSAT
Problem TDEAD2070 is UNSAT
Problem TDEAD2088 is UNSAT
Problem TDEAD2116 is UNSAT
Problem TDEAD2119 is UNSAT
Problem TDEAD2164 is UNSAT
Problem TDEAD2171 is UNSAT
Problem TDEAD2173 is UNSAT
Problem TDEAD2191 is UNSAT
Problem TDEAD2248 is UNSAT
Problem TDEAD2284 is UNSAT
Problem TDEAD2301 is UNSAT
Problem TDEAD2310 is UNSAT
Problem TDEAD2321 is UNSAT
Problem TDEAD2323 is UNSAT
Problem TDEAD2349 is UNSAT
Problem TDEAD2387 is UNSAT
Problem TDEAD2410 is UNSAT
Problem TDEAD2433 is UNSAT
Problem TDEAD2466 is UNSAT
Problem TDEAD2476 is UNSAT
Problem TDEAD2481 is UNSAT
Problem TDEAD2498 is UNSAT
Problem TDEAD2499 is UNSAT
Problem TDEAD2505 is UNSAT
Problem TDEAD2516 is UNSAT
Problem TDEAD2532 is UNSAT
Problem TDEAD2555 is UNSAT
Problem TDEAD2606 is UNSAT
Problem TDEAD2617 is UNSAT
Problem TDEAD2738 is UNSAT
Problem TDEAD2745 is UNSAT
Problem TDEAD2760 is UNSAT
Problem TDEAD2764 is UNSAT
Problem TDEAD2767 is UNSAT
Problem TDEAD2787 is UNSAT
Problem TDEAD2800 is UNSAT
Problem TDEAD2828 is UNSAT
Problem TDEAD2838 is UNSAT
Problem TDEAD2851 is UNSAT
Problem TDEAD2856 is UNSAT
Problem TDEAD2891 is UNSAT
Problem TDEAD2990 is UNSAT
Problem TDEAD3036 is UNSAT
Problem TDEAD3037 is UNSAT
Problem TDEAD3046 is UNSAT
Problem TDEAD3071 is UNSAT
Problem TDEAD3106 is UNSAT
Problem TDEAD3109 is UNSAT
Problem TDEAD3114 is UNSAT
Problem TDEAD3118 is UNSAT
Problem TDEAD3169 is UNSAT
Problem TDEAD3175 is UNSAT
Problem TDEAD3185 is UNSAT
Problem TDEAD3222 is UNSAT
Problem TDEAD3240 is UNSAT
Problem TDEAD3265 is UNSAT
Problem TDEAD3293 is UNSAT
Problem TDEAD3353 is UNSAT
Problem TDEAD3370 is UNSAT
Problem TDEAD3378 is UNSAT
Problem TDEAD3423 is UNSAT
Problem TDEAD3450 is UNSAT
Problem TDEAD3478 is UNSAT
Problem TDEAD3502 is UNSAT
Problem TDEAD3503 is UNSAT
Problem TDEAD3511 is UNSAT
Problem TDEAD3513 is UNSAT
Problem TDEAD3540 is UNSAT
Problem TDEAD3576 is UNSAT
Problem TDEAD3590 is UNSAT
Problem TDEAD3602 is UNSAT
Problem TDEAD3603 is UNSAT
Problem TDEAD3641 is UNSAT
Problem TDEAD3694 is UNSAT
Problem TDEAD3698 is UNSAT
Problem TDEAD3712 is UNSAT
Problem TDEAD3714 is UNSAT
Problem TDEAD3750 is UNSAT
Problem TDEAD3762 is UNSAT
Problem TDEAD3780 is UNSAT
Problem TDEAD3816 is UNSAT
Problem TDEAD3839 is UNSAT
Problem TDEAD3844 is UNSAT
Problem TDEAD3845 is UNSAT
Problem TDEAD3846 is UNSAT
Problem TDEAD3871 is UNSAT
Problem TDEAD3902 is UNSAT
Problem TDEAD3924 is UNSAT
Problem TDEAD3925 is UNSAT
Problem TDEAD3933 is UNSAT
Problem TDEAD3985 is UNSAT
Problem TDEAD4013 is UNSAT
Problem TDEAD4047 is UNSAT
Problem TDEAD4108 is UNSAT
Problem TDEAD4139 is UNSAT
Problem TDEAD4159 is UNSAT
Problem TDEAD4160 is UNSAT
Problem TDEAD4168 is UNSAT
Problem TDEAD4189 is UNSAT
Problem TDEAD4199 is UNSAT
Problem TDEAD4272 is UNSAT
Problem TDEAD4276 is UNSAT
Problem TDEAD4286 is UNSAT
Problem TDEAD4297 is UNSAT
Problem TDEAD4352 is UNSAT
Problem TDEAD4383 is UNSAT
Problem TDEAD4387 is UNSAT
Problem TDEAD4400 is UNSAT
Problem TDEAD4401 is UNSAT
Problem TDEAD4437 is UNSAT
Problem TDEAD4449 is UNSAT
Problem TDEAD4451 is UNSAT
Problem TDEAD4456 is UNSAT
Problem TDEAD4465 is UNSAT
Problem TDEAD4498 is UNSAT
Problem TDEAD4509 is UNSAT
Problem TDEAD4513 is UNSAT
Problem TDEAD4535 is UNSAT
Problem TDEAD4592 is UNSAT
Problem TDEAD4602 is UNSAT
Problem TDEAD4613 is UNSAT
Problem TDEAD4640 is UNSAT
Problem TDEAD4647 is UNSAT
Problem TDEAD4656 is UNSAT
Problem TDEAD4661 is UNSAT
Problem TDEAD4665 is UNSAT
Problem TDEAD4689 is UNSAT
Problem TDEAD4707 is UNSAT
Problem TDEAD4717 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4723 is UNSAT
Problem TDEAD4741 is UNSAT
Problem TDEAD4765 is UNSAT
Problem TDEAD4774 is UNSAT
Problem TDEAD4780 is UNSAT
Problem TDEAD4796 is UNSAT
Problem TDEAD4852 is UNSAT
Problem TDEAD4870 is UNSAT
Problem TDEAD4887 is UNSAT
Problem TDEAD4937 is UNSAT
Problem TDEAD4991 is UNSAT
Problem TDEAD5008 is UNSAT
Problem TDEAD5020 is UNSAT
Problem TDEAD5035 is UNSAT
Problem TDEAD5065 is UNSAT
Problem TDEAD5102 is UNSAT
Problem TDEAD5212 is UNSAT
Problem TDEAD5215 is UNSAT
Problem TDEAD5232 is UNSAT
Problem TDEAD5235 is UNSAT
Problem TDEAD5243 is UNSAT
Problem TDEAD5245 is UNSAT
Problem TDEAD5260 is UNSAT
Problem TDEAD5287 is UNSAT
Problem TDEAD5335 is UNSAT
Problem TDEAD5338 is UNSAT
Problem TDEAD5347 is UNSAT
Problem TDEAD5372 is UNSAT
Problem TDEAD5389 is UNSAT
Problem TDEAD5393 is UNSAT
Problem TDEAD5421 is UNSAT
Problem TDEAD5425 is UNSAT
Problem TDEAD5428 is UNSAT
Problem TDEAD5433 is UNSAT
Problem TDEAD5461 is UNSAT
Problem TDEAD5479 is UNSAT
Problem TDEAD5504 is UNSAT
Problem TDEAD5524 is UNSAT
Problem TDEAD5538 is UNSAT
Problem TDEAD5548 is UNSAT
Problem TDEAD5580 is UNSAT
Problem TDEAD5611 is UNSAT
Problem TDEAD5712 is UNSAT
Problem TDEAD5723 is UNSAT
Problem TDEAD5759 is UNSAT
Problem TDEAD5772 is UNSAT
Problem TDEAD5869 is UNSAT
Problem TDEAD5896 is UNSAT
Problem TDEAD5928 is UNSAT
Problem TDEAD5935 is UNSAT
Problem TDEAD5952 is UNSAT
Problem TDEAD5957 is UNSAT
Problem TDEAD5961 is UNSAT
Problem TDEAD5964 is UNSAT
Problem TDEAD5982 is UNSAT
Problem TDEAD6035 is UNSAT
Problem TDEAD6080 is UNSAT
Problem TDEAD6081 is UNSAT
Problem TDEAD6082 is UNSAT
Problem TDEAD6154 is UNSAT
Problem TDEAD6212 is UNSAT
Problem TDEAD6213 is UNSAT
Problem TDEAD6218 is UNSAT
Problem TDEAD6233 is UNSAT
Problem TDEAD6277 is UNSAT
Problem TDEAD6316 is UNSAT
Problem TDEAD6325 is UNSAT
Problem TDEAD6326 is UNSAT
Problem TDEAD6346 is UNSAT
Problem TDEAD6406 is UNSAT
Problem TDEAD6420 is UNSAT
Problem TDEAD6436 is UNSAT
Problem TDEAD6438 is UNSAT
Problem TDEAD6470 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6563 is UNSAT
Problem TDEAD6574 is UNSAT
Problem TDEAD6608 is UNSAT
Problem TDEAD6611 is UNSAT
Problem TDEAD6613 is UNSAT
Problem TDEAD6615 is UNSAT
Problem TDEAD6648 is UNSAT
Problem TDEAD6693 is UNSAT
Problem TDEAD6700 is UNSAT
Problem TDEAD6720 is UNSAT
Problem TDEAD6724 is UNSAT
Problem TDEAD6725 is UNSAT
Problem TDEAD6733 is UNSAT
Problem TDEAD6781 is UNSAT
Problem TDEAD6786 is UNSAT
Problem TDEAD6797 is UNSAT
Problem TDEAD6818 is UNSAT
Problem TDEAD6882 is UNSAT
Problem TDEAD6902 is UNSAT
Problem TDEAD6910 is UNSAT
Problem TDEAD6934 is UNSAT
Problem TDEAD6947 is UNSAT
Problem TDEAD6955 is UNSAT
Problem TDEAD6961 is UNSAT
Problem TDEAD6962 is UNSAT
Problem TDEAD6976 is UNSAT
Problem TDEAD7043 is UNSAT
Problem TDEAD7064 is UNSAT
Problem TDEAD7089 is UNSAT
Problem TDEAD7102 is UNSAT
Problem TDEAD7106 is UNSAT
Problem TDEAD7142 is UNSAT
Problem TDEAD7165 is UNSAT
Problem TDEAD7189 is UNSAT
Problem TDEAD7190 is UNSAT
Problem TDEAD7228 is UNSAT
Problem TDEAD7274 is UNSAT
Problem TDEAD7281 is UNSAT
Problem TDEAD7284 is UNSAT
Problem TDEAD7316 is UNSAT
Problem TDEAD7320 is UNSAT
Problem TDEAD7329 is UNSAT
Problem TDEAD7337 is UNSAT
Problem TDEAD7349 is UNSAT
Problem TDEAD7366 is UNSAT
Problem TDEAD7401 is UNSAT
Problem TDEAD7532 is UNSAT
Problem TDEAD7559 is UNSAT
Problem TDEAD7562 is UNSAT
Problem TDEAD7578 is UNSAT
Problem TDEAD7595 is UNSAT
Problem TDEAD7620 is UNSAT
Problem TDEAD7630 is UNSAT
Problem TDEAD7682 is UNSAT
Problem TDEAD7726 is UNSAT
Problem TDEAD7738 is UNSAT
Problem TDEAD7747 is UNSAT
Problem TDEAD7833 is UNSAT
Problem TDEAD7846 is UNSAT
Problem TDEAD7866 is UNSAT
Problem TDEAD7891 is UNSAT
Problem TDEAD7908 is UNSAT
Problem TDEAD7926 is UNSAT
Problem TDEAD7959 is UNSAT
Problem TDEAD7963 is UNSAT
Problem TDEAD7980 is UNSAT
Problem TDEAD7988 is UNSAT
Problem TDEAD8006 is UNSAT
Problem TDEAD8013 is UNSAT
Problem TDEAD8056 is UNSAT
Problem TDEAD8113 is UNSAT
Problem TDEAD8149 is UNSAT
Problem TDEAD8182 is UNSAT
Problem TDEAD8243 is UNSAT
Problem TDEAD8270 is UNSAT
Problem TDEAD8295 is UNSAT
Problem TDEAD8353 is UNSAT
Problem TDEAD8354 is UNSAT
Problem TDEAD8367 is UNSAT
Problem TDEAD8381 is UNSAT
Problem TDEAD8386 is UNSAT
Problem TDEAD8390 is UNSAT
Problem TDEAD8392 is UNSAT
Problem TDEAD8401 is UNSAT
Problem TDEAD8409 is UNSAT
Problem TDEAD8424 is UNSAT
Problem TDEAD8467 is UNSAT
Problem TDEAD8490 is UNSAT
Problem TDEAD8504 is UNSAT
Problem TDEAD8524 is UNSAT
Problem TDEAD8556 is UNSAT
Problem TDEAD8573 is UNSAT
Problem TDEAD8575 is UNSAT
Problem TDEAD8578 is UNSAT
Problem TDEAD8581 is UNSAT
Problem TDEAD8591 is UNSAT
Problem TDEAD8607 is UNSAT
Problem TDEAD8661 is UNSAT
Problem TDEAD8673 is UNSAT
Problem TDEAD8678 is UNSAT
Problem TDEAD8703 is UNSAT
Problem TDEAD8759 is UNSAT
Problem TDEAD8833 is UNSAT
Problem TDEAD8840 is UNSAT
Problem TDEAD8845 is UNSAT
Problem TDEAD8849 is UNSAT
Problem TDEAD8873 is UNSAT
Problem TDEAD8886 is UNSAT
Problem TDEAD8887 is UNSAT
Problem TDEAD8913 is UNSAT
Problem TDEAD8938 is UNSAT
Problem TDEAD8994 is UNSAT
Problem TDEAD9006 is UNSAT
Problem TDEAD9026 is UNSAT
Problem TDEAD9045 is UNSAT
Problem TDEAD9086 is UNSAT
Problem TDEAD9124 is UNSAT
Problem TDEAD9143 is UNSAT
Problem TDEAD9208 is UNSAT
Problem TDEAD9258 is UNSAT
Problem TDEAD9267 is UNSAT
Problem TDEAD9289 is UNSAT
Problem TDEAD9291 is UNSAT
Problem TDEAD9331 is UNSAT
Problem TDEAD9336 is UNSAT
Problem TDEAD9341 is UNSAT
Problem TDEAD9402 is UNSAT
Problem TDEAD9407 is UNSAT
Problem TDEAD9457 is UNSAT
Problem TDEAD9460 is UNSAT
Problem TDEAD9474 is UNSAT
Problem TDEAD9557 is UNSAT
Problem TDEAD9565 is UNSAT
Problem TDEAD9593 is UNSAT
Problem TDEAD9612 is UNSAT
Problem TDEAD9613 is UNSAT
Problem TDEAD9619 is UNSAT
Problem TDEAD9626 is UNSAT
Problem TDEAD9634 is UNSAT
Problem TDEAD9640 is UNSAT
Problem TDEAD9647 is UNSAT
Problem TDEAD9694 is UNSAT
Problem TDEAD9700 is UNSAT
Problem TDEAD9705 is UNSAT
Problem TDEAD9732 is UNSAT
Problem TDEAD9736 is UNSAT
Problem TDEAD9741 is UNSAT
Problem TDEAD9742 is UNSAT
Problem TDEAD9761 is UNSAT
Problem TDEAD9770 is UNSAT
Problem TDEAD9808 is UNSAT
Problem TDEAD9815 is UNSAT
Problem TDEAD9842 is UNSAT
Problem TDEAD9888 is UNSAT
Problem TDEAD9910 is UNSAT
Problem TDEAD9913 is UNSAT
Problem TDEAD9945 is UNSAT
Problem TDEAD9948 is UNSAT
Problem TDEAD10052 is UNSAT
Problem TDEAD10067 is UNSAT
Problem TDEAD10091 is UNSAT
Problem TDEAD10126 is UNSAT
Problem TDEAD10161 is UNSAT
Problem TDEAD10186 is UNSAT
Problem TDEAD10196 is UNSAT
Problem TDEAD10212 is UNSAT
Problem TDEAD10215 is UNSAT
Problem TDEAD10243 is UNSAT
Problem TDEAD10245 is UNSAT
Problem TDEAD10246 is UNSAT
Problem TDEAD10272 is UNSAT
Problem TDEAD10282 is UNSAT
Problem TDEAD10290 is UNSAT
Problem TDEAD10311 is UNSAT
Problem TDEAD10335 is UNSAT
Problem TDEAD10351 is UNSAT
Problem TDEAD10369 is UNSAT
Problem TDEAD10370 is UNSAT
Problem TDEAD10385 is UNSAT
Problem TDEAD10396 is UNSAT
Problem TDEAD10422 is UNSAT
Problem TDEAD10535 is UNSAT
Problem TDEAD10568 is UNSAT
Problem TDEAD10578 is UNSAT
Problem TDEAD10581 is UNSAT
Problem TDEAD10588 is UNSAT
Problem TDEAD10589 is UNSAT
Problem TDEAD10632 is UNSAT
Problem TDEAD10642 is UNSAT
Problem TDEAD10654 is UNSAT
Problem TDEAD10665 is UNSAT
Problem TDEAD10675 is UNSAT
Problem TDEAD10733 is UNSAT
Problem TDEAD10742 is UNSAT
Problem TDEAD10749 is UNSAT
Problem TDEAD10760 is UNSAT
Problem TDEAD10770 is UNSAT
Problem TDEAD10794 is UNSAT
Problem TDEAD10824 is UNSAT
Problem TDEAD10836 is UNSAT
Problem TDEAD10846 is UNSAT
Problem TDEAD10861 is UNSAT
Problem TDEAD10888 is UNSAT
Problem TDEAD10924 is UNSAT
Problem TDEAD10939 is UNSAT
Problem TDEAD10976 is UNSAT
Problem TDEAD10987 is UNSAT
Problem TDEAD11034 is UNSAT
Problem TDEAD11041 is UNSAT
Problem TDEAD11081 is UNSAT
Problem TDEAD11121 is UNSAT
Problem TDEAD11124 is UNSAT
Problem TDEAD11157 is UNSAT
Problem TDEAD11191 is UNSAT
Problem TDEAD11233 is UNSAT
Problem TDEAD11238 is UNSAT
Problem TDEAD11252 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11258 is UNSAT
Problem TDEAD11289 is UNSAT
Problem TDEAD11341 is UNSAT
Problem TDEAD11357 is UNSAT
Problem TDEAD11395 is UNSAT
Problem TDEAD11417 is UNSAT
Problem TDEAD11465 is UNSAT
Problem TDEAD11507 is UNSAT
Problem TDEAD11522 is UNSAT
Problem TDEAD11575 is UNSAT
Problem TDEAD11583 is UNSAT
Problem TDEAD11650 is UNSAT
Problem TDEAD11676 is UNSAT
Problem TDEAD11692 is UNSAT
Problem TDEAD11700 is UNSAT
Problem TDEAD11707 is UNSAT
Problem TDEAD11711 is UNSAT
Problem TDEAD11714 is UNSAT
Problem TDEAD11724 is UNSAT
Problem TDEAD11730 is UNSAT
Problem TDEAD11750 is UNSAT
Problem TDEAD11781 is UNSAT
Problem TDEAD11805 is UNSAT
Problem TDEAD11815 is UNSAT
Problem TDEAD11828 is UNSAT
Problem TDEAD11880 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD11926 is UNSAT
Problem TDEAD11947 is UNSAT
Problem TDEAD11948 is UNSAT
Problem TDEAD11952 is UNSAT
Problem TDEAD11956 is UNSAT
Problem TDEAD11975 is UNSAT
Problem TDEAD11984 is UNSAT
Problem TDEAD11987 is UNSAT
Problem TDEAD11997 is UNSAT
Problem TDEAD12002 is UNSAT
Problem TDEAD12007 is UNSAT
Problem TDEAD12043 is UNSAT
Problem TDEAD12050 is UNSAT
Problem TDEAD12057 is UNSAT
Problem TDEAD12087 is UNSAT
Problem TDEAD12089 is UNSAT
Problem TDEAD12090 is UNSAT
Problem TDEAD12125 is UNSAT
Problem TDEAD12191 is UNSAT
Problem TDEAD12215 is UNSAT
Problem TDEAD12275 is UNSAT
Problem TDEAD12305 is UNSAT
Problem TDEAD12360 is UNSAT
Problem TDEAD12396 is UNSAT
Problem TDEAD12401 is UNSAT
Problem TDEAD12429 is UNSAT
Problem TDEAD12432 is UNSAT
Problem TDEAD12437 is UNSAT
Problem TDEAD12453 is UNSAT
Problem TDEAD12506 is UNSAT
Problem TDEAD12528 is UNSAT
Problem TDEAD12532 is UNSAT
Problem TDEAD12543 is UNSAT
Problem TDEAD12550 is UNSAT
Problem TDEAD12559 is UNSAT
Problem TDEAD12563 is UNSAT
Problem TDEAD12566 is UNSAT
Problem TDEAD12640 is UNSAT
Problem TDEAD12643 is UNSAT
Problem TDEAD12673 is UNSAT
Problem TDEAD12693 is UNSAT
Problem TDEAD12696 is UNSAT
Problem TDEAD12727 is UNSAT
Problem TDEAD12736 is UNSAT
Problem TDEAD12738 is UNSAT
Problem TDEAD12752 is UNSAT
Problem TDEAD12771 is UNSAT
Problem TDEAD12779 is UNSAT
Problem TDEAD12834 is UNSAT
Problem TDEAD12841 is UNSAT
Problem TDEAD12851 is UNSAT
Problem TDEAD12879 is UNSAT
Problem TDEAD12904 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12922 is UNSAT
Problem TDEAD12979 is UNSAT
Problem TDEAD12984 is UNSAT
Problem TDEAD12997 is UNSAT
Problem TDEAD13074 is UNSAT
Problem TDEAD13091 is UNSAT
Problem TDEAD13092 is UNSAT
Problem TDEAD13118 is UNSAT
Problem TDEAD13152 is UNSAT
Problem TDEAD13175 is UNSAT
Problem TDEAD13311 is UNSAT
Problem TDEAD13319 is UNSAT
Problem TDEAD13341 is UNSAT
Problem TDEAD13365 is UNSAT
Problem TDEAD13372 is UNSAT
Problem TDEAD13418 is UNSAT
Problem TDEAD13495 is UNSAT
Problem TDEAD13502 is UNSAT
Problem TDEAD13540 is UNSAT
Problem TDEAD13595 is UNSAT
Problem TDEAD13613 is UNSAT
Problem TDEAD13631 is UNSAT
Problem TDEAD13647 is UNSAT
Problem TDEAD13654 is UNSAT
Problem TDEAD13677 is UNSAT
Problem TDEAD13691 is UNSAT
Problem TDEAD13699 is UNSAT
Problem TDEAD13706 is UNSAT
Problem TDEAD13720 is UNSAT
Problem TDEAD13723 is UNSAT
Problem TDEAD13763 is UNSAT
Problem TDEAD13764 is UNSAT
Problem TDEAD13775 is UNSAT
Problem TDEAD13779 is UNSAT
Problem TDEAD13803 is UNSAT
Problem TDEAD13819 is UNSAT
Problem TDEAD13865 is UNSAT
Problem TDEAD13894 is UNSAT
Problem TDEAD13923 is UNSAT
Problem TDEAD13936 is UNSAT
Problem TDEAD13958 is UNSAT
Problem TDEAD13961 is UNSAT
Problem TDEAD13972 is UNSAT
Problem TDEAD13973 is UNSAT
Problem TDEAD13976 is UNSAT
Problem TDEAD13982 is UNSAT
Problem TDEAD14000 is UNSAT
Problem TDEAD14062 is UNSAT
Problem TDEAD14070 is UNSAT
Problem TDEAD14091 is UNSAT
Problem TDEAD14100 is UNSAT
Problem TDEAD14108 is UNSAT
Problem TDEAD14124 is UNSAT
Problem TDEAD14127 is UNSAT
Problem TDEAD14135 is UNSAT
Problem TDEAD14152 is UNSAT
Problem TDEAD14153 is UNSAT
Problem TDEAD14191 is UNSAT
Problem TDEAD14205 is UNSAT
Problem TDEAD14209 is UNSAT
Problem TDEAD14232 is UNSAT
Problem TDEAD14262 is UNSAT
Problem TDEAD14263 is UNSAT
Problem TDEAD14266 is UNSAT
Problem TDEAD14281 is UNSAT
Problem TDEAD14287 is UNSAT
Problem TDEAD14326 is UNSAT
Problem TDEAD14351 is UNSAT
Problem TDEAD14362 is UNSAT
Problem TDEAD14397 is UNSAT
Problem TDEAD14399 is UNSAT
Problem TDEAD14408 is UNSAT
Problem TDEAD14445 is UNSAT
Problem TDEAD14446 is UNSAT
Problem TDEAD14478 is UNSAT
Problem TDEAD14497 is UNSAT
Problem TDEAD14551 is UNSAT
Problem TDEAD14577 is UNSAT
Problem TDEAD14578 is UNSAT
Problem TDEAD14716 is UNSAT
Problem TDEAD14733 is UNSAT
Problem TDEAD14734 is UNSAT
Problem TDEAD14766 is UNSAT
Problem TDEAD14814 is UNSAT
Problem TDEAD14824 is UNSAT
Problem TDEAD14849 is UNSAT
Problem TDEAD14874 is UNSAT
Problem TDEAD14891 is UNSAT
Problem TDEAD14903 is UNSAT
Problem TDEAD14920 is UNSAT
Problem TDEAD14941 is UNSAT
Problem TDEAD14972 is UNSAT
Problem TDEAD14978 is UNSAT
Problem TDEAD15014 is UNSAT
Problem TDEAD15018 is UNSAT
Problem TDEAD15041 is UNSAT
Problem TDEAD15067 is UNSAT
Problem TDEAD15160 is UNSAT
Problem TDEAD15165 is UNSAT
Problem TDEAD15178 is UNSAT
Problem TDEAD15262 is UNSAT
Problem TDEAD15332 is UNSAT
Problem TDEAD15376 is UNSAT
Problem TDEAD15388 is UNSAT
Problem TDEAD15391 is UNSAT
Problem TDEAD15395 is UNSAT
Problem TDEAD15404 is UNSAT
Problem TDEAD15406 is UNSAT
Problem TDEAD15457 is UNSAT
Problem TDEAD15459 is UNSAT
Problem TDEAD15465 is UNSAT
Problem TDEAD15502 is UNSAT
Problem TDEAD15507 is UNSAT
Problem TDEAD15575 is UNSAT
Problem TDEAD15593 is UNSAT
Problem TDEAD15603 is UNSAT
Problem TDEAD15626 is UNSAT
Problem TDEAD15652 is UNSAT
Problem TDEAD15677 is UNSAT
Problem TDEAD15710 is UNSAT
Problem TDEAD15766 is UNSAT
Problem TDEAD15789 is UNSAT
Problem TDEAD15796 is UNSAT
Problem TDEAD15810 is UNSAT
Problem TDEAD15815 is UNSAT
Problem TDEAD15820 is UNSAT
Problem TDEAD15827 is UNSAT
Problem TDEAD15875 is UNSAT
Problem TDEAD15900 is UNSAT
Problem TDEAD15919 is UNSAT
Problem TDEAD15921 is UNSAT
Problem TDEAD15924 is UNSAT
Problem TDEAD15958 is UNSAT
Problem TDEAD15960 is UNSAT
Problem TDEAD15967 is UNSAT
Problem TDEAD15974 is UNSAT
Problem TDEAD16004 is UNSAT
Problem TDEAD16008 is UNSAT
Problem TDEAD16027 is UNSAT
Problem TDEAD16041 is UNSAT
Problem TDEAD16058 is UNSAT
Problem TDEAD16067 is UNSAT
Problem TDEAD16071 is UNSAT
Problem TDEAD16117 is UNSAT
Problem TDEAD16148 is UNSAT
Problem TDEAD16164 is UNSAT
Problem TDEAD16174 is UNSAT
Problem TDEAD16230 is UNSAT
Problem TDEAD16245 is UNSAT
Problem TDEAD16259 is UNSAT
Problem TDEAD16275 is UNSAT
Problem TDEAD16296 is UNSAT
Problem TDEAD16301 is UNSAT
Problem TDEAD16313 is UNSAT
Problem TDEAD16359 is UNSAT
Problem TDEAD16396 is UNSAT
Problem TDEAD16398 is UNSAT
Problem TDEAD16450 is UNSAT
Problem TDEAD16471 is UNSAT
Problem TDEAD16474 is UNSAT
Problem TDEAD16496 is UNSAT
Problem TDEAD16498 is UNSAT
Problem TDEAD16545 is UNSAT
Problem TDEAD16568 is UNSAT
Problem TDEAD16600 is UNSAT
Problem TDEAD16625 is UNSAT
Problem TDEAD16652 is UNSAT
Problem TDEAD16668 is UNSAT
Problem TDEAD16715 is UNSAT
Problem TDEAD16731 is UNSAT
Problem TDEAD16736 is UNSAT
Problem TDEAD16743 is UNSAT
Problem TDEAD16747 is UNSAT
Problem TDEAD16761 is UNSAT
Problem TDEAD16781 is UNSAT
Problem TDEAD16782 is UNSAT
Problem TDEAD16817 is UNSAT
Problem TDEAD16837 is UNSAT
Problem TDEAD16855 is UNSAT
Problem TDEAD16872 is UNSAT
Problem TDEAD16919 is UNSAT
Problem TDEAD16922 is UNSAT
Problem TDEAD16929 is UNSAT
Problem TDEAD16932 is UNSAT
Problem TDEAD16953 is UNSAT
Problem TDEAD16998 is UNSAT
Problem TDEAD17027 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 60/60 constraints. Problems are: Problem set: 794 solved, 16046 unsolved
SMT process timed out in 75522ms, After SMT, problems are : Problem set: 794 solved, 16046 unsolved
Search for dead transitions found 794 dead transitions in 75756ms
Found 794 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 794 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 794 transitions.
[2026-05-28 17:32:20] [INFO ] Flow matrix only has 15504 transitions (discarded 732 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7006650189218975666.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16925611418441221977.kers'
[2026-05-28 17:32:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7006650189218975666.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16925611418441221977.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15504 rows 540 cols 84359 entries
Finished phase 1 with 97 SingleSign rule and 364 generalized
[2026-05-28 17:32:20] [INFO ] Computed 79 invariants in 539 ms
Computed 79 P flows in 545 ms.
Exported basis to /tmp/petrispot-output-16925611418441221977.kers
Total runtime 571 ms.
[2026-05-28 17:32:21] [INFO ] Implicit Places using invariants in 796 ms returned []
Implicit Place search using SMT only with invariants took 803 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 16236/17030 transitions.
Applied a total of 0 rules in 121 ms. Remains 540 /540 variables (removed 0) and now considering 16236/16236 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 77171 ms. Remains : 540/540 places, 16236/17030 transitions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16236/16236 transitions.
Applied a total of 0 rules in 120 ms. Remains 540 /540 variables (removed 0) and now considering 16236/16236 (removed 0) transitions.
Running 16046 sub problems to find dead transitions.
[2026-05-28 17:32:21] [INFO ] Flow matrix only has 15504 transitions (discarded 732 similar events)
[2026-05-28 17:32:21] [INFO ] Invariant cache hit.
[2026-05-28 17:32:21] [INFO ] State equation strengthened by 8054 read => feed constraints.
Problem TDEAD37 is UNSAT
Problem TDEAD105 is UNSAT
Problem TDEAD121 is UNSAT
Problem TDEAD210 is UNSAT
Problem TDEAD395 is UNSAT
Problem TDEAD511 is UNSAT
Problem TDEAD616 is UNSAT
Problem TDEAD722 is UNSAT
Problem TDEAD800 is UNSAT
Problem TDEAD829 is UNSAT
Problem TDEAD847 is UNSAT
Problem TDEAD867 is UNSAT
Problem TDEAD912 is UNSAT
Problem TDEAD1017 is UNSAT
Problem TDEAD1058 is UNSAT
Problem TDEAD1102 is UNSAT
Problem TDEAD1116 is UNSAT
Problem TDEAD1175 is UNSAT
Problem TDEAD1200 is UNSAT
Problem TDEAD1202 is UNSAT
Problem TDEAD1232 is UNSAT
Problem TDEAD1313 is UNSAT
Problem TDEAD1333 is UNSAT
Problem TDEAD1391 is UNSAT
Problem TDEAD1502 is UNSAT
Problem TDEAD1572 is UNSAT
Problem TDEAD1776 is UNSAT
Problem TDEAD1814 is UNSAT
Problem TDEAD1873 is UNSAT
Problem TDEAD1900 is UNSAT
Problem TDEAD1926 is UNSAT
Problem TDEAD1971 is UNSAT
Problem TDEAD2162 is UNSAT
Problem TDEAD2172 is UNSAT
Problem TDEAD2299 is UNSAT
Problem TDEAD2310 is UNSAT
Problem TDEAD2611 is UNSAT
Problem TDEAD2764 is UNSAT
Problem TDEAD2810 is UNSAT
Problem TDEAD2847 is UNSAT
Problem TDEAD2857 is UNSAT
Problem TDEAD2894 is UNSAT
Problem TDEAD2924 is UNSAT
Problem TDEAD2934 is UNSAT
Problem TDEAD2936 is UNSAT
Problem TDEAD2957 is UNSAT
Problem TDEAD3200 is UNSAT
Problem TDEAD3216 is UNSAT
Problem TDEAD3237 is UNSAT
Problem TDEAD3379 is UNSAT
Problem TDEAD3418 is UNSAT
Problem TDEAD3544 is UNSAT
Problem TDEAD3547 is UNSAT
Problem TDEAD3560 is UNSAT
Problem TDEAD3606 is UNSAT
Problem TDEAD3675 is UNSAT
Problem TDEAD3822 is UNSAT
Problem TDEAD3916 is UNSAT
Problem TDEAD4007 is UNSAT
Problem TDEAD4043 is UNSAT
Problem TDEAD4068 is UNSAT
Problem TDEAD4338 is UNSAT
Problem TDEAD4341 is UNSAT
Problem TDEAD4350 is UNSAT
Problem TDEAD4360 is UNSAT
Problem TDEAD4482 is UNSAT
Problem TDEAD4596 is UNSAT
Problem TDEAD4651 is UNSAT
Problem TDEAD4725 is UNSAT
Problem TDEAD4742 is UNSAT
Problem TDEAD4889 is UNSAT
Problem TDEAD4910 is UNSAT
Problem TDEAD4979 is UNSAT
Problem TDEAD5010 is UNSAT
Problem TDEAD5115 is UNSAT
Problem TDEAD5257 is UNSAT
Problem TDEAD5274 is UNSAT
Problem TDEAD5718 is UNSAT
Problem TDEAD5850 is UNSAT
Problem TDEAD5864 is UNSAT
Problem TDEAD5953 is UNSAT
Problem TDEAD5989 is UNSAT
Problem TDEAD6019 is UNSAT
Problem TDEAD6024 is UNSAT
Problem TDEAD6061 is UNSAT
Problem TDEAD6070 is UNSAT
Problem TDEAD6127 is UNSAT
Problem TDEAD6306 is UNSAT
Problem TDEAD6454 is UNSAT
Problem TDEAD6457 is UNSAT
Problem TDEAD6481 is UNSAT
Problem TDEAD6628 is UNSAT
Problem TDEAD6727 is UNSAT
Problem TDEAD6754 is UNSAT
Problem TDEAD6769 is UNSAT
Problem TDEAD6800 is UNSAT
Problem TDEAD6804 is UNSAT
Problem TDEAD6887 is UNSAT
Problem TDEAD6940 is UNSAT
Problem TDEAD7053 is UNSAT
Problem TDEAD7104 is UNSAT
Problem TDEAD7150 is UNSAT
Problem TDEAD7166 is UNSAT
Problem TDEAD7249 is UNSAT
Problem TDEAD7257 is UNSAT
Problem TDEAD7262 is UNSAT
Problem TDEAD7268 is UNSAT
Problem TDEAD7300 is UNSAT
Problem TDEAD7354 is UNSAT
Problem TDEAD7445 is UNSAT
Problem TDEAD7500 is UNSAT
Problem TDEAD7566 is UNSAT
Problem TDEAD7678 is UNSAT
Problem TDEAD7833 is UNSAT
Problem TDEAD7865 is UNSAT
Problem TDEAD7869 is UNSAT
Problem TDEAD7949 is UNSAT
Problem TDEAD8022 is UNSAT
Problem TDEAD8152 is UNSAT
Problem TDEAD8162 is UNSAT
Problem TDEAD8197 is UNSAT
Problem TDEAD8361 is UNSAT
Problem TDEAD8381 is UNSAT
Problem TDEAD8479 is UNSAT
Problem TDEAD8512 is UNSAT
Problem TDEAD8521 is UNSAT
Problem TDEAD8622 is UNSAT
Problem TDEAD8637 is UNSAT
Problem TDEAD8774 is UNSAT
Problem TDEAD8844 is UNSAT
Problem TDEAD8906 is UNSAT
Problem TDEAD9054 is UNSAT
Problem TDEAD9101 is UNSAT
Problem TDEAD9212 is UNSAT
Problem TDEAD9254 is UNSAT
Problem TDEAD9343 is UNSAT
Problem TDEAD9469 is UNSAT
Problem TDEAD9507 is UNSAT
Problem TDEAD9583 is UNSAT
Problem TDEAD9615 is UNSAT
Problem TDEAD9700 is UNSAT
Problem TDEAD9714 is UNSAT
Problem TDEAD9777 is UNSAT
Problem TDEAD9876 is UNSAT
Problem TDEAD9878 is UNSAT
Problem TDEAD9892 is UNSAT
Problem TDEAD9918 is UNSAT
Problem TDEAD9949 is UNSAT
Problem TDEAD9986 is UNSAT
Problem TDEAD10091 is UNSAT
Problem TDEAD10108 is UNSAT
Problem TDEAD10165 is UNSAT
Problem TDEAD10173 is UNSAT
Problem TDEAD10188 is UNSAT
Problem TDEAD10194 is UNSAT
Problem TDEAD10379 is UNSAT
Problem TDEAD10410 is UNSAT
Problem TDEAD10449 is UNSAT
Problem TDEAD10506 is UNSAT
Problem TDEAD10781 is UNSAT
Problem TDEAD10968 is UNSAT
Problem TDEAD11081 is UNSAT
Problem TDEAD11086 is UNSAT
Problem TDEAD11239 is UNSAT
Problem TDEAD11332 is UNSAT
Problem TDEAD11355 is UNSAT
Problem TDEAD11389 is UNSAT
Problem TDEAD11495 is UNSAT
Problem TDEAD11572 is UNSAT
Problem TDEAD11623 is UNSAT
Problem TDEAD11632 is UNSAT
Problem TDEAD11698 is UNSAT
Problem TDEAD11729 is UNSAT
Problem TDEAD11758 is UNSAT
Problem TDEAD11852 is UNSAT
Problem TDEAD11889 is UNSAT
Problem TDEAD11954 is UNSAT
Problem TDEAD12076 is UNSAT
Problem TDEAD12127 is UNSAT
Problem TDEAD12138 is UNSAT
Problem TDEAD12217 is UNSAT
Problem TDEAD12243 is UNSAT
Problem TDEAD12393 is UNSAT
Problem TDEAD12426 is UNSAT
Problem TDEAD12430 is UNSAT
Problem TDEAD12454 is UNSAT
Problem TDEAD12505 is UNSAT
Problem TDEAD12529 is UNSAT
Problem TDEAD12604 is UNSAT
Problem TDEAD12843 is UNSAT
Problem TDEAD13085 is UNSAT
Problem TDEAD13265 is UNSAT
Problem TDEAD13324 is UNSAT
Problem TDEAD13405 is UNSAT
Problem TDEAD13527 is UNSAT
Problem TDEAD13570 is UNSAT
Problem TDEAD13582 is UNSAT
Problem TDEAD13630 is UNSAT
Problem TDEAD13637 is UNSAT
Problem TDEAD13729 is UNSAT
Problem TDEAD13759 is UNSAT
Problem TDEAD13824 is UNSAT
Problem TDEAD13897 is UNSAT
Problem TDEAD14104 is UNSAT
Problem TDEAD14162 is UNSAT
Problem TDEAD14195 is UNSAT
Problem TDEAD14279 is UNSAT
Problem TDEAD14327 is UNSAT
Problem TDEAD14346 is UNSAT
Problem TDEAD14626 is UNSAT
Problem TDEAD14630 is UNSAT
Problem TDEAD14636 is UNSAT
Problem TDEAD14694 is UNSAT
Problem TDEAD14712 is UNSAT
Problem TDEAD14732 is UNSAT
Problem TDEAD14735 is UNSAT
Problem TDEAD14767 is UNSAT
Problem TDEAD14796 is UNSAT
Problem TDEAD14809 is UNSAT
Problem TDEAD14881 is UNSAT
Problem TDEAD14978 is UNSAT
Problem TDEAD15074 is UNSAT
Problem TDEAD15108 is UNSAT
Problem TDEAD15121 is UNSAT
Problem TDEAD15324 is UNSAT
Problem TDEAD15374 is UNSAT
Problem TDEAD15380 is UNSAT
Problem TDEAD15484 is UNSAT
Problem TDEAD15594 is UNSAT
Problem TDEAD15595 is UNSAT
Problem TDEAD15840 is UNSAT
Problem TDEAD15916 is UNSAT
Problem TDEAD15984 is UNSAT
Problem TDEAD16110 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 51/51 constraints. Problems are: Problem set: 234 solved, 15812 unsolved
SMT process timed out in 69634ms, After SMT, problems are : Problem set: 234 solved, 15812 unsolved
Search for dead transitions found 234 dead transitions in 69722ms
Found 234 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 234 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 234 transitions.
[2026-05-28 17:33:31] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6940347123313507531.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10587818046718745023.kers'
[2026-05-28 17:33:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6940347123313507531.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10587818046718745023.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:33:31] [INFO ] Computed 79 invariants in 566 ms
Computed 79 P flows in 567 ms.
Exported basis to /tmp/petrispot-output-10587818046718745023.kers
Total runtime 593 ms.
[2026-05-28 17:33:31] [INFO ] Implicit Places using invariants in 894 ms returned []
Implicit Place search using SMT only with invariants took 896 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 16002/16236 transitions.
Applied a total of 0 rules in 176 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 70971 ms. Remains : 540/540 places, 16002/16236 transitions.
Support contains 540 out of 540 places after structural reductions.
[2026-05-28 17:33:34] [INFO ] Flatten gal took : 1251 ms
[2026-05-28 17:33:35] [INFO ] Flatten gal took : 958 ms
[2026-05-28 17:33:36] [INFO ] Input system was already deterministic with 16002 transitions.
RANDOM walk for 40000 steps (4584 resets) in 6059 ms. (6 steps per ms) remains 15/39 properties
BEST_FIRST walk for 4004 steps (12 resets) in 42 ms. (93 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 53 ms. (74 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 34 ms. (114 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 96 ms. (41 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 47 ms. (83 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 85 ms. (46 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 32 ms. (121 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 61 ms. (64 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 28 ms. (138 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 23 ms. (166 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 26 ms. (148 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 22 ms. (174 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 18 ms. (210 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 21 ms. (182 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (12 resets) in 27 ms. (143 steps per ms) remains 15/15 properties
[2026-05-28 17:33:38] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
[2026-05-28 17:33:38] [INFO ] Invariant cache hit.
[2026-05-28 17:33:39] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp35 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/502 variables, 29/29 constraints. Problems are: Problem set: 2 solved, 13 unsolved
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp31 is UNSAT
At refinement iteration 1 (INCLUDED_ONLY) 0/502 variables, 28/57 constraints. Problems are: Problem set: 4 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/502 variables, 0/57 constraints. Problems are: Problem set: 4 solved, 11 unsolved
Problem AtomicPropp38 is UNSAT
At refinement iteration 3 (OVERLAPS) 14/516 variables, 14/71 constraints. Problems are: Problem set: 5 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/516 variables, 4/75 constraints. Problems are: Problem set: 5 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/516 variables, 0/75 constraints. Problems are: Problem set: 5 solved, 10 unsolved
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp34 is UNSAT
At refinement iteration 6 (OVERLAPS) 4/520 variables, 4/79 constraints. Problems are: Problem set: 9 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/520 variables, 0/79 constraints. Problems are: Problem set: 9 solved, 6 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16018/16038 variables, and 599 constraints, problems are : Problem set: 9 solved, 6 unsolved in 5010 ms.
Refiners :[Positive P Invariants (semi-flows): 43/43 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 520/540 constraints, ReadFeed: 0/8048 constraints, PredecessorRefiner: 15/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 9 solved, 6 unsolved
Problem AtomicPropp2 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/500 variables, 28/28 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/500 variables, 27/55 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/500 variables, 1/56 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/500 variables, 0/56 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 4 (OVERLAPS) 15/515 variables, 15/71 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/515 variables, 4/75 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/515 variables, 0/75 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 5/520 variables, 5/80 constraints. Problems are: Problem set: 10 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/520 variables, 0/80 constraints. Problems are: Problem set: 10 solved, 5 unsolved
SMT process timed out in 11022ms, After SMT, problems are : Problem set: 10 solved, 5 unsolved
Fused 5 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 480 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 540 transition count 15982
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 40 place count 520 transition count 15982
Applied a total of 40 rules in 8588 ms. Remains 520 /540 variables (removed 20) and now considering 15982/16002 (removed 20) transitions.
Running 15792 sub problems to find dead transitions.
[2026-05-28 17:33:58] [INFO ] Flow matrix only has 15478 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8800149910604246173.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10080739031963793956.kers'
[2026-05-28 17:33:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8800149910604246173.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10080739031963793956.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15478 rows 520 cols 83898 entries
Finished phase 1 with 74 SingleSign rule and 367 generalized
[2026-05-28 17:33:58] [INFO ] Computed 79 invariants in 382 ms
Computed 79 P flows in 383 ms.
Exported basis to /tmp/petrispot-output-10080739031963793956.kers
Total runtime 402 ms.
[2026-05-28 17:33:59] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD364 is UNSAT
Problem TDEAD474 is UNSAT
Problem TDEAD484 is UNSAT
Problem TDEAD571 is UNSAT
Problem TDEAD803 is UNSAT
Problem TDEAD1003 is UNSAT
Problem TDEAD1124 is UNSAT
Problem TDEAD1211 is UNSAT
Problem TDEAD1289 is UNSAT
Problem TDEAD1316 is UNSAT
Problem TDEAD1375 is UNSAT
Problem TDEAD1481 is UNSAT
Problem TDEAD1796 is UNSAT
Problem TDEAD1861 is UNSAT
Problem TDEAD1874 is UNSAT
Problem TDEAD1954 is UNSAT
Problem TDEAD2270 is UNSAT
Problem TDEAD2456 is UNSAT
Problem TDEAD2466 is UNSAT
Problem TDEAD2631 is UNSAT
Problem TDEAD2636 is UNSAT
Problem TDEAD2812 is UNSAT
Problem TDEAD2873 is UNSAT
Problem TDEAD3052 is UNSAT
Problem TDEAD3102 is UNSAT
Problem TDEAD3308 is UNSAT
Problem TDEAD3531 is UNSAT
Problem TDEAD3558 is UNSAT
Problem TDEAD4137 is UNSAT
Problem TDEAD4144 is UNSAT
Problem TDEAD4168 is UNSAT
Problem TDEAD4586 is UNSAT
Problem TDEAD4728 is UNSAT
Problem TDEAD4779 is UNSAT
Problem TDEAD5018 is UNSAT
Problem TDEAD5442 is UNSAT
Problem TDEAD5648 is UNSAT
Problem TDEAD5710 is UNSAT
Problem TDEAD5746 is UNSAT
Problem TDEAD5786 is UNSAT
Problem TDEAD5815 is UNSAT
Problem TDEAD6369 is UNSAT
Problem TDEAD6386 is UNSAT
Problem TDEAD6605 is UNSAT
Problem TDEAD6707 is UNSAT
Problem TDEAD6859 is UNSAT
Problem TDEAD7024 is UNSAT
Problem TDEAD7050 is UNSAT
Problem TDEAD7190 is UNSAT
Problem TDEAD7320 is UNSAT
Problem TDEAD7527 is UNSAT
Problem TDEAD7633 is UNSAT
Problem TDEAD7724 is UNSAT
Problem TDEAD7797 is UNSAT
Problem TDEAD7804 is UNSAT
Problem TDEAD7858 is UNSAT
Problem TDEAD8238 is UNSAT
Problem TDEAD8322 is UNSAT
Problem TDEAD8350 is UNSAT
Problem TDEAD8496 is UNSAT
Problem TDEAD8510 is UNSAT
Problem TDEAD8791 is UNSAT
Problem TDEAD8815 is UNSAT
Problem TDEAD8903 is UNSAT
Problem TDEAD8937 is UNSAT
Problem TDEAD9020 is UNSAT
Problem TDEAD9241 is UNSAT
Problem TDEAD9637 is UNSAT
Problem TDEAD10081 is UNSAT
Problem TDEAD10340 is UNSAT
Problem TDEAD10415 is UNSAT
Problem TDEAD10431 is UNSAT
Problem TDEAD10510 is UNSAT
Problem TDEAD10625 is UNSAT
Problem TDEAD10626 is UNSAT
Problem TDEAD10665 is UNSAT
Problem TDEAD10724 is UNSAT
Problem TDEAD10754 is UNSAT
Problem TDEAD10847 is UNSAT
Problem TDEAD10932 is UNSAT
Problem TDEAD10956 is UNSAT
Problem TDEAD10973 is UNSAT
Problem TDEAD11075 is UNSAT
Problem TDEAD11122 is UNSAT
Problem TDEAD11328 is UNSAT
Problem TDEAD11394 is UNSAT
Problem TDEAD11607 is UNSAT
Problem TDEAD11701 is UNSAT
Problem TDEAD11819 is UNSAT
Problem TDEAD11958 is UNSAT
Problem TDEAD12008 is UNSAT
Problem TDEAD12065 is UNSAT
Problem TDEAD12092 is UNSAT
Problem TDEAD12562 is UNSAT
Problem TDEAD12574 is UNSAT
Problem TDEAD12581 is UNSAT
Problem TDEAD12665 is UNSAT
Problem TDEAD12841 is UNSAT
Problem TDEAD13373 is UNSAT
Problem TDEAD13494 is UNSAT
Problem TDEAD13524 is UNSAT
Problem TDEAD13680 is UNSAT
Problem TDEAD13898 is UNSAT
Problem TDEAD14177 is UNSAT
Problem TDEAD14351 is UNSAT
Problem TDEAD14415 is UNSAT
Problem TDEAD14478 is UNSAT
Problem TDEAD14800 is UNSAT
Problem TDEAD14869 is UNSAT
Problem TDEAD14925 is UNSAT
Problem TDEAD15120 is UNSAT
Problem TDEAD15378 is UNSAT
Problem TDEAD15432 is UNSAT
Problem TDEAD15547 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/520 variables, 45/45 constraints. Problems are: Problem set: 114 solved, 15678 unsolved
SMT process timed out in 71183ms, After SMT, problems are : Problem set: 114 solved, 15678 unsolved
Search for dead transitions found 114 dead transitions in 71250ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 520/540 places, 15868/16002 transitions.
Applied a total of 0 rules in 4349 ms. Remains 520 /520 variables (removed 0) and now considering 15868/15868 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 84241 ms. Remains : 520/540 places, 15868/16002 transitions.
RANDOM walk for 40000 steps (4582 resets) in 4047 ms. (9 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (140 resets) in 212 ms. (187 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (144 resets) in 201 ms. (198 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (137 resets) in 238 ms. (167 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (140 resets) in 544 ms. (73 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (140 resets) in 185 ms. (215 steps per ms) remains 5/5 properties
Interrupted probabilistic random walk after 14016 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :0 out of 5
Probabilistic random walk after 14016 steps, saw 4159 distinct states, run finished after 3011 ms. (steps per millisecond=4 ) properties seen :0
[2026-05-28 17:35:18] [INFO ] Flow matrix only has 15472 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6984434644969977778.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15112005316319714081.kers'
[2026-05-28 17:35:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6984434644969977778.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15112005316319714081.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15472 rows 520 cols 83877 entries
Finished phase 1 with 71 SingleSign rule and 370 generalized
[2026-05-28 17:35:19] [INFO ] Computed 79 invariants in 566 ms
Computed 79 P flows in 567 ms.
Exported basis to /tmp/petrispot-output-15112005316319714081.kers
Total runtime 587 ms.
[2026-05-28 17:35:19] [INFO ] State equation strengthened by 8042 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/480 variables, 23/23 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/480 variables, 10/33 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/480 variables, 0/33 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 16/496 variables, 16/49 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/496 variables, 26/75 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/496 variables, 0/75 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 4/500 variables, 4/79 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/500 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 15472/15972 variables, 500/579 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/15972 variables, 8042/8621 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/15972 variables, 0/8621 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 15992/15992 variables, and 8641 constraints, problems are : Problem set: 0 solved, 5 unsolved in 45087 ms.
Refiners :[Positive P Invariants (semi-flows): 39/39 constraints, Generalized P Invariants (flows): 40/40 constraints, State Equation: 520/520 constraints, ReadFeed: 8042/8042 constraints, PredecessorRefiner: 5/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/480 variables, 23/23 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/480 variables, 10/33 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/480 variables, 14/47 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/480 variables, 0/47 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (OVERLAPS) 16/496 variables, 16/63 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/496 variables, 26/89 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/496 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 4/500 variables, 4/93 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/500 variables, 0/93 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (OVERLAPS) 15472/15972 variables, 500/593 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 15972/15992 variables, and 8635 constraints, problems are : Problem set: 0 solved, 5 unsolved in 45042 ms.
Refiners :[Positive P Invariants (semi-flows): 39/39 constraints, Generalized P Invariants (flows): 40/40 constraints, State Equation: 500/520 constraints, ReadFeed: 8042/8042 constraints, PredecessorRefiner: 5/0 constraints, Known Traps: 14/14 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 91117ms problems are : Problem set: 0 solved, 5 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 480 out of 520 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 520/520 places, 15868/15868 transitions.
Applied a total of 0 rules in 4581 ms. Remains 520 /520 variables (removed 0) and now considering 15868/15868 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4581 ms. Remains : 520/520 places, 15868/15868 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 520/520 places, 15868/15868 transitions.
Applied a total of 0 rules in 4171 ms. Remains 520 /520 variables (removed 0) and now considering 15868/15868 (removed 0) transitions.
[2026-05-28 17:36:58] [INFO ] Flow matrix only has 15472 transitions (discarded 396 similar events)
[2026-05-28 17:36:58] [INFO ] Invariant cache hit.
[2026-05-28 17:37:00] [INFO ] Implicit Places using invariants in 1865 ms returned [29, 34, 60, 86, 88, 111, 126, 143, 163, 237, 251, 281, 320, 333, 346, 362, 378, 407, 450, 451]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 1987 ms to find 20 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 500/520 places, 15868/15868 transitions.
Applied a total of 0 rules in 4199 ms. Remains 500 /500 variables (removed 0) and now considering 15868/15868 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 10360 ms. Remains : 500/520 places, 15868/15868 transitions.
Successfully simplified 10 atomic propositions for a total of 15 simplifications.
Initial state reduction rules removed 2 formulas.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PhilosophersDyn-PT-20-LTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 0 stabilizing places and 0 stable 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)))'
Support contains 40 out of 540 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 6193 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:37:11] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10873645396685136861.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9663229697709442039.kers'
[2026-05-28 17:37:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10873645396685136861.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9663229697709442039.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:37:12] [INFO ] Computed 79 invariants in 577 ms
Computed 79 P flows in 578 ms.
Exported basis to /tmp/petrispot-output-9663229697709442039.kers
Total runtime 610 ms.
[2026-05-28 17:37:12] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 72245ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 72313ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:38:23] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17058842401087191539.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11053704479097812715.kers'
[2026-05-28 17:38:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17058842401087191539.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11053704479097812715.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:38:24] [INFO ] Computed 79 invariants in 568 ms
Computed 79 P flows in 570 ms.
Exported basis to /tmp/petrispot-output-11053704479097812715.kers
Total runtime 586 ms.
[2026-05-28 17:38:29] [INFO ] Implicit Places using invariants in 5191 ms returned []
Implicit Place search using SMT only with invariants took 5193 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 6374 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 90134 ms. Remains : 540/540 places, 15888/16002 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 271 ms :[(NOT p1), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-01
Stuttering criterion allowed to conclude after 8 steps with 0 reset in 7 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-01 finished in 90560 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 U X(p1))&&X(F(p2))))&&F(p3)))'
Support contains 60 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 294 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:38:36] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1259666209005831503.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8953303827509889653.kers'
[2026-05-28 17:38:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1259666209005831503.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8953303827509889653.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:38:36] [INFO ] Computed 79 invariants in 553 ms
Computed 79 P flows in 554 ms.
Exported basis to /tmp/petrispot-output-8953303827509889653.kers
Total runtime 580 ms.
[2026-05-28 17:38:37] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 71947ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 71989ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:39:48] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9320314764455419873.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2398898767640700886.kers'
[2026-05-28 17:39:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9320314764455419873.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2398898767640700886.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:39:48] [INFO ] Computed 79 invariants in 590 ms
Computed 79 P flows in 592 ms.
Exported basis to /tmp/petrispot-output-2398898767640700886.kers
Total runtime 608 ms.
[2026-05-28 17:39:54] [INFO ] Implicit Places using invariants in 6426 ms returned []
Implicit Place search using SMT only with invariants took 6433 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 275 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 79024 ms. Remains : 540/540 places, 15888/16002 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 U X(p1))&&X(F(p2))))&&F(p3)))'
Stuttering acceptance computed with spot in 249 ms :[(OR (NOT p3) (NOT p1) (NOT p2)), (NOT p3), (NOT p1), (NOT p2), (NOT p1)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-02
Stuttering criterion allowed to conclude after 5 steps with 0 reset in 3 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-02 finished in 79371 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) U p1))||F(G((p0||F(p2))))))'
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 6112 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:40:01] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14756439459447224479.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9667923740029688465.kers'
[2026-05-28 17:40:01] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14756439459447224479.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9667923740029688465.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:40:02] [INFO ] Computed 79 invariants in 571 ms
Computed 79 P flows in 572 ms.
Exported basis to /tmp/petrispot-output-9667923740029688465.kers
Total runtime 588 ms.
[2026-05-28 17:40:02] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 74885ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 75014ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:41:16] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1748099307416859406.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17862980477753781837.kers'
[2026-05-28 17:41:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1748099307416859406.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17862980477753781837.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:41:16] [INFO ] Computed 79 invariants in 564 ms
Computed 79 P flows in 565 ms.
Exported basis to /tmp/petrispot-output-17862980477753781837.kers
Total runtime 588 ms.
[2026-05-28 17:41:20] [INFO ] Implicit Places using invariants in 4314 ms returned []
Implicit Place search using SMT only with invariants took 4315 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 6231 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 91695 ms. Remains : 540/540 places, 15888/16002 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) U p1))||F(G((p0||F(p2))))))'
Stuttering acceptance computed with spot in 157 ms :[(AND (NOT p1) (NOT p0) (NOT p2)), (AND p1 (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2) (NOT p1))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-03
Product exploration explored 100000 steps with 11463 reset in 7079 ms.
Product exploration explored 100000 steps with 11427 reset in 6558 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 17 factoid took 74 ms. Reduced automaton from 4 states, 10 edges and 3 AP (stutter insensitive) to 4 states, 10 edges and 3 AP (stutter insensitive).
RANDOM walk for 40000 steps (4571 resets) in 5143 ms. (7 steps per ms) remains 4/9 properties
BEST_FIRST walk for 40004 steps (135 resets) in 543 ms. (73 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (135 resets) in 577 ms. (69 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (136 resets) in 648 ms. (61 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (136 resets) in 322 ms. (123 steps per ms) remains 4/4 properties
[2026-05-28 17:41:43] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
[2026-05-28 17:41:43] [INFO ] Invariant cache hit.
[2026-05-28 17:41:43] [INFO ] State equation strengthened by 8042 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 160/260 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/260 variables, 3/39 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/260 variables, 0/39 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 280/540 variables, 40/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16032/16032 variables, and 619 constraints, problems are : Problem set: 0 solved, 4 unsolved in 5012 ms.
Refiners :[Positive P Invariants (semi-flows): 36/36 constraints, Generalized P Invariants (flows): 43/43 constraints, State Equation: 540/540 constraints, ReadFeed: 0/8042 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 160/260 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/260 variables, 3/39 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/260 variables, 0/39 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 280/540 variables, 40/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16032/16032 variables, and 619 constraints, problems are : Problem set: 0 solved, 4 unsolved in 5007 ms.
Refiners :[Positive P Invariants (semi-flows): 36/36 constraints, Generalized P Invariants (flows): 43/43 constraints, State Equation: 540/540 constraints, ReadFeed: 0/8042 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10453ms problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 15888/15888 transitions.
Applied a total of 0 rules in 3928 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Running 15698 sub problems to find dead transitions.
[2026-05-28 17:41:57] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
[2026-05-28 17:41:57] [INFO ] Invariant cache hit.
[2026-05-28 17:41:58] [INFO ] State equation strengthened by 8042 read => feed constraints.
Problem TDEAD54 is UNSAT
Problem TDEAD116 is UNSAT
Problem TDEAD461 is UNSAT
Problem TDEAD1209 is UNSAT
Problem TDEAD1328 is UNSAT
Problem TDEAD1421 is UNSAT
Problem TDEAD1448 is UNSAT
Problem TDEAD1467 is UNSAT
Problem TDEAD1590 is UNSAT
Problem TDEAD1803 is UNSAT
Problem TDEAD1951 is UNSAT
Problem TDEAD1977 is UNSAT
Problem TDEAD2146 is UNSAT
Problem TDEAD2418 is UNSAT
Problem TDEAD2509 is UNSAT
Problem TDEAD2632 is UNSAT
Problem TDEAD2636 is UNSAT
Problem TDEAD2829 is UNSAT
Problem TDEAD2972 is UNSAT
Problem TDEAD3168 is UNSAT
Problem TDEAD3471 is UNSAT
Problem TDEAD3763 is UNSAT
Problem TDEAD4177 is UNSAT
Problem TDEAD4285 is UNSAT
Problem TDEAD4477 is UNSAT
Problem TDEAD4802 is UNSAT
Problem TDEAD4880 is UNSAT
Problem TDEAD4941 is UNSAT
Problem TDEAD5101 is UNSAT
Problem TDEAD5400 is UNSAT
Problem TDEAD5417 is UNSAT
Problem TDEAD5485 is UNSAT
Problem TDEAD6039 is UNSAT
Problem TDEAD6044 is UNSAT
Problem TDEAD6109 is UNSAT
Problem TDEAD6117 is UNSAT
Problem TDEAD6463 is UNSAT
Problem TDEAD6880 is UNSAT
Problem TDEAD6985 is UNSAT
Problem TDEAD7188 is UNSAT
Problem TDEAD7223 is UNSAT
Problem TDEAD7408 is UNSAT
Problem TDEAD7889 is UNSAT
Problem TDEAD7899 is UNSAT
Problem TDEAD8217 is UNSAT
Problem TDEAD8600 is UNSAT
Problem TDEAD8958 is UNSAT
Problem TDEAD9161 is UNSAT
Problem TDEAD9221 is UNSAT
Problem TDEAD9280 is UNSAT
Problem TDEAD9356 is UNSAT
Problem TDEAD9363 is UNSAT
Problem TDEAD9722 is UNSAT
Problem TDEAD9739 is UNSAT
Problem TDEAD9766 is UNSAT
Problem TDEAD10187 is UNSAT
Problem TDEAD10248 is UNSAT
Problem TDEAD10357 is UNSAT
Problem TDEAD10366 is UNSAT
Problem TDEAD10978 is UNSAT
Problem TDEAD11907 is UNSAT
Problem TDEAD12021 is UNSAT
Problem TDEAD12269 is UNSAT
Problem TDEAD12330 is UNSAT
Problem TDEAD12419 is UNSAT
Problem TDEAD12648 is UNSAT
Problem TDEAD12713 is UNSAT
Problem TDEAD12982 is UNSAT
Problem TDEAD13050 is UNSAT
Problem TDEAD13391 is UNSAT
Problem TDEAD13642 is UNSAT
Problem TDEAD13739 is UNSAT
Problem TDEAD13775 is UNSAT
Problem TDEAD14469 is UNSAT
Problem TDEAD15295 is UNSAT
Problem TDEAD15579 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 36/36 constraints. Problems are: Problem set: 76 solved, 15622 unsolved
SMT process timed out in 71454ms, After SMT, problems are : Problem set: 76 solved, 15622 unsolved
Search for dead transitions found 76 dead transitions in 71496ms
Found 76 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 76 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 76 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 540/540 places, 15812/15888 transitions.
Applied a total of 0 rules in 4250 ms. Remains 540 /540 variables (removed 0) and now considering 15812/15812 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 79712 ms. Remains : 540/540 places, 15812/15888 transitions.
RANDOM walk for 40000 steps (4562 resets) in 3066 ms. (13 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (136 resets) in 239 ms. (166 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (134 resets) in 287 ms. (138 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40003 steps (136 resets) in 297 ms. (134 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (135 resets) in 176 ms. (226 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 15444 steps, run timeout after 3001 ms. (steps per millisecond=5 ) properties seen :0 out of 4
Probabilistic random walk after 15444 steps, saw 4562 distinct states, run finished after 3001 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-28 17:43:17] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13005666589235090289.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14710086761996181601.kers'
[2026-05-28 17:43:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13005666589235090289.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14710086761996181601.kers]
Culled 0 columns in 16 ms.
// Phase 1: matrix 15488 rows 540 cols 84303 entries
Finished phase 1 with 89 SingleSign rule and 372 generalized
[2026-05-28 17:43:18] [INFO ] Computed 79 invariants in 386 ms
Computed 79 P flows in 386 ms.
Exported basis to /tmp/petrispot-output-14710086761996181601.kers
Total runtime 402 ms.
[2026-05-28 17:43:18] [INFO ] State equation strengthened by 8038 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 129/229 variables, 33/33 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/229 variables, 5/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/229 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 311/540 variables, 41/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (OVERLAPS) 15488/16028 variables, 540/619 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16028/16028 variables, and 8657 constraints, problems are : Problem set: 0 solved, 4 unsolved in 45057 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 46/46 constraints, State Equation: 540/540 constraints, ReadFeed: 8038/8038 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 129/229 variables, 33/33 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/229 variables, 5/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/229 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 311/540 variables, 41/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (OVERLAPS) 15488/16028 variables, 540/619 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16028/16028 variables, and 8657 constraints, problems are : Problem set: 0 solved, 4 unsolved in 45080 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 46/46 constraints, State Equation: 540/540 constraints, ReadFeed: 8038/8038 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 91254ms problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 15812/15812 transitions.
Applied a total of 0 rules in 4364 ms. Remains 540 /540 variables (removed 0) and now considering 15812/15812 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4364 ms. Remains : 540/540 places, 15812/15812 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 15812/15812 transitions.
Applied a total of 0 rules in 4027 ms. Remains 540 /540 variables (removed 0) and now considering 15812/15812 (removed 0) transitions.
[2026-05-28 17:44:57] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
[2026-05-28 17:44:57] [INFO ] Invariant cache hit.
[2026-05-28 17:45:00] [INFO ] Implicit Places using invariants in 3362 ms returned []
Implicit Place search using SMT only with invariants took 3363 ms to find 0 implicit places.
Running 15622 sub problems to find dead transitions.
[2026-05-28 17:45:00] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
[2026-05-28 17:45:00] [INFO ] Invariant cache hit.
[2026-05-28 17:45:01] [INFO ] State equation strengthened by 8038 read => feed constraints.
Problem TDEAD302 is UNSAT
Problem TDEAD1544 is UNSAT
Problem TDEAD1856 is UNSAT
Problem TDEAD2027 is UNSAT
Problem TDEAD2284 is UNSAT
Problem TDEAD2356 is UNSAT
Problem TDEAD2425 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2932 is UNSAT
Problem TDEAD3897 is UNSAT
Problem TDEAD4131 is UNSAT
Problem TDEAD5423 is UNSAT
Problem TDEAD6577 is UNSAT
Problem TDEAD6982 is UNSAT
Problem TDEAD6985 is UNSAT
Problem TDEAD7066 is UNSAT
Problem TDEAD7099 is UNSAT
Problem TDEAD7378 is UNSAT
Problem TDEAD7693 is UNSAT
Problem TDEAD7951 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8348 is UNSAT
Problem TDEAD8993 is UNSAT
Problem TDEAD9325 is UNSAT
Problem TDEAD9626 is UNSAT
Problem TDEAD10044 is UNSAT
Problem TDEAD10703 is UNSAT
Problem TDEAD11095 is UNSAT
Problem TDEAD11312 is UNSAT
Problem TDEAD11313 is UNSAT
Problem TDEAD11569 is UNSAT
Problem TDEAD13132 is UNSAT
Problem TDEAD13654 is UNSAT
Problem TDEAD13655 is UNSAT
Problem TDEAD14425 is UNSAT
Problem TDEAD14450 is UNSAT
Problem TDEAD15396 is UNSAT
Problem TDEAD15627 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 33/33 constraints. Problems are: Problem set: 38 solved, 15584 unsolved
SMT process timed out in 80768ms, After SMT, problems are : Problem set: 38 solved, 15584 unsolved
Search for dead transitions found 38 dead transitions in 80812ms
Found 38 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 38 transitions
Dead transitions reduction (with SMT) removed 38 transitions
Starting structural reductions in REACHABILITY mode, iteration 1 : 540/540 places, 15774/15812 transitions.
Applied a total of 0 rules in 4088 ms. Remains 540 /540 variables (removed 0) and now considering 15774/15774 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 92317 ms. Remains : 540/540 places, 15774/15812 transitions.
Knowledge based reduction with 17 factoid took 177 ms. Reduced automaton from 4 states, 10 edges and 3 AP (stutter insensitive) to 4 states, 10 edges and 3 AP (stutter insensitive).
Stuttering acceptance computed with spot in 219 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) p1 (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2) (NOT p1))]
Knowledge-based reduction took 285317 ms.
Stuttering acceptance computed with spot in 202 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) p1 (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2) (NOT p1))]
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 540/540 places, 15888/15888 transitions.
Applied a total of 0 rules in 6095 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Running 15698 sub problems to find dead transitions.
[2026-05-28 17:46:32] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14293159328310708480.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14476250728805106291.kers'
[2026-05-28 17:46:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14293159328310708480.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14476250728805106291.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:46:32] [INFO ] Computed 79 invariants in 392 ms
Computed 79 P flows in 393 ms.
Exported basis to /tmp/petrispot-output-14476250728805106291.kers
Total runtime 408 ms.
[2026-05-28 17:46:33] [INFO ] State equation strengthened by 8042 read => feed constraints.
Problem TDEAD54 is UNSAT
Problem TDEAD116 is UNSAT
Problem TDEAD461 is UNSAT
Problem TDEAD1209 is UNSAT
Problem TDEAD1328 is UNSAT
Problem TDEAD1421 is UNSAT
Problem TDEAD1448 is UNSAT
Problem TDEAD1467 is UNSAT
Problem TDEAD1590 is UNSAT
Problem TDEAD1803 is UNSAT
Problem TDEAD1951 is UNSAT
Problem TDEAD1977 is UNSAT
Problem TDEAD2146 is UNSAT
Problem TDEAD2418 is UNSAT
Problem TDEAD2509 is UNSAT
Problem TDEAD2632 is UNSAT
Problem TDEAD2636 is UNSAT
Problem TDEAD2829 is UNSAT
Problem TDEAD2972 is UNSAT
Problem TDEAD3168 is UNSAT
Problem TDEAD3471 is UNSAT
Problem TDEAD3763 is UNSAT
Problem TDEAD4177 is UNSAT
Problem TDEAD4285 is UNSAT
Problem TDEAD4477 is UNSAT
Problem TDEAD4802 is UNSAT
Problem TDEAD4880 is UNSAT
Problem TDEAD4941 is UNSAT
Problem TDEAD5101 is UNSAT
Problem TDEAD5400 is UNSAT
Problem TDEAD5417 is UNSAT
Problem TDEAD5485 is UNSAT
Problem TDEAD6039 is UNSAT
Problem TDEAD6044 is UNSAT
Problem TDEAD6109 is UNSAT
Problem TDEAD6117 is UNSAT
Problem TDEAD6463 is UNSAT
Problem TDEAD6880 is UNSAT
Problem TDEAD6985 is UNSAT
Problem TDEAD7188 is UNSAT
Problem TDEAD7223 is UNSAT
Problem TDEAD7408 is UNSAT
Problem TDEAD7889 is UNSAT
Problem TDEAD7899 is UNSAT
Problem TDEAD8217 is UNSAT
Problem TDEAD8600 is UNSAT
Problem TDEAD8958 is UNSAT
Problem TDEAD9161 is UNSAT
Problem TDEAD9221 is UNSAT
Problem TDEAD9280 is UNSAT
Problem TDEAD9356 is UNSAT
Problem TDEAD9363 is UNSAT
Problem TDEAD9722 is UNSAT
Problem TDEAD9739 is UNSAT
Problem TDEAD9766 is UNSAT
Problem TDEAD10187 is UNSAT
Problem TDEAD10248 is UNSAT
Problem TDEAD10357 is UNSAT
Problem TDEAD10366 is UNSAT
Problem TDEAD10978 is UNSAT
Problem TDEAD11907 is UNSAT
Problem TDEAD12021 is UNSAT
Problem TDEAD12269 is UNSAT
Problem TDEAD12330 is UNSAT
Problem TDEAD12419 is UNSAT
Problem TDEAD12648 is UNSAT
Problem TDEAD12713 is UNSAT
Problem TDEAD12982 is UNSAT
Problem TDEAD13050 is UNSAT
Problem TDEAD13391 is UNSAT
Problem TDEAD13642 is UNSAT
Problem TDEAD13739 is UNSAT
Problem TDEAD13775 is UNSAT
Problem TDEAD14469 is UNSAT
Problem TDEAD15295 is UNSAT
Problem TDEAD15579 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 36/36 constraints. Problems are: Problem set: 76 solved, 15622 unsolved
SMT process timed out in 70509ms, After SMT, problems are : Problem set: 76 solved, 15622 unsolved
Search for dead transitions found 76 dead transitions in 70574ms
Found 76 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 76 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 76 transitions.
[2026-05-28 17:47:42] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12252029503557834275.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9769715642307383424.kers'
[2026-05-28 17:47:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12252029503557834275.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9769715642307383424.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15488 rows 540 cols 84303 entries
Finished phase 1 with 89 SingleSign rule and 372 generalized
[2026-05-28 17:47:43] [INFO ] Computed 79 invariants in 567 ms
Computed 79 P flows in 568 ms.
Exported basis to /tmp/petrispot-output-9769715642307383424.kers
Total runtime 586 ms.
[2026-05-28 17:47:48] [INFO ] Implicit Places using invariants in 5195 ms returned []
Implicit Place search using SMT only with invariants took 5196 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 540/540 places, 15812/15888 transitions.
Applied a total of 0 rules in 6258 ms. Remains 540 /540 variables (removed 0) and now considering 15812/15812 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 88155 ms. Remains : 540/540 places, 15812/15888 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 17 factoid took 102 ms. Reduced automaton from 4 states, 10 edges and 3 AP (stutter insensitive) to 4 states, 10 edges and 3 AP (stutter insensitive).
RANDOM walk for 40000 steps (4592 resets) in 3860 ms. (10 steps per ms) remains 4/9 properties
BEST_FIRST walk for 40004 steps (134 resets) in 242 ms. (164 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (135 resets) in 292 ms. (136 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40003 steps (136 resets) in 300 ms. (132 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (133 resets) in 173 ms. (229 steps per ms) remains 4/4 properties
[2026-05-28 17:47:56] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
[2026-05-28 17:47:56] [INFO ] Invariant cache hit.
[2026-05-28 17:47:56] [INFO ] State equation strengthened by 8038 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 129/229 variables, 33/33 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/229 variables, 5/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/229 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 311/540 variables, 41/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16028/16028 variables, and 619 constraints, problems are : Problem set: 0 solved, 4 unsolved in 5013 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 46/46 constraints, State Equation: 540/540 constraints, ReadFeed: 0/8038 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 129/229 variables, 33/33 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/229 variables, 5/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/229 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 311/540 variables, 41/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16028/16028 variables, and 619 constraints, problems are : Problem set: 0 solved, 4 unsolved in 5011 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 46/46 constraints, State Equation: 540/540 constraints, ReadFeed: 0/8038 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10477ms problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 15812/15812 transitions.
Applied a total of 0 rules in 4065 ms. Remains 540 /540 variables (removed 0) and now considering 15812/15812 (removed 0) transitions.
Running 15622 sub problems to find dead transitions.
[2026-05-28 17:48:10] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
[2026-05-28 17:48:10] [INFO ] Invariant cache hit.
[2026-05-28 17:48:11] [INFO ] State equation strengthened by 8038 read => feed constraints.
Problem TDEAD302 is UNSAT
Problem TDEAD1544 is UNSAT
Problem TDEAD1856 is UNSAT
Problem TDEAD2027 is UNSAT
Problem TDEAD2284 is UNSAT
Problem TDEAD2356 is UNSAT
Problem TDEAD2425 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2932 is UNSAT
Problem TDEAD3897 is UNSAT
Problem TDEAD4131 is UNSAT
Problem TDEAD5423 is UNSAT
Problem TDEAD6577 is UNSAT
Problem TDEAD6982 is UNSAT
Problem TDEAD6985 is UNSAT
Problem TDEAD7066 is UNSAT
Problem TDEAD7099 is UNSAT
Problem TDEAD7378 is UNSAT
Problem TDEAD7693 is UNSAT
Problem TDEAD7951 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8348 is UNSAT
Problem TDEAD8993 is UNSAT
Problem TDEAD9325 is UNSAT
Problem TDEAD9626 is UNSAT
Problem TDEAD10044 is UNSAT
Problem TDEAD10703 is UNSAT
Problem TDEAD11095 is UNSAT
Problem TDEAD11312 is UNSAT
Problem TDEAD11313 is UNSAT
Problem TDEAD11569 is UNSAT
Problem TDEAD13132 is UNSAT
Problem TDEAD13654 is UNSAT
Problem TDEAD13655 is UNSAT
Problem TDEAD14425 is UNSAT
Problem TDEAD14450 is UNSAT
Problem TDEAD15396 is UNSAT
Problem TDEAD15627 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 33/33 constraints. Problems are: Problem set: 38 solved, 15584 unsolved
SMT process timed out in 71772ms, After SMT, problems are : Problem set: 38 solved, 15584 unsolved
Search for dead transitions found 38 dead transitions in 71811ms
Found 38 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 38 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 38 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 540/540 places, 15774/15812 transitions.
Applied a total of 0 rules in 4167 ms. Remains 540 /540 variables (removed 0) and now considering 15774/15774 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80062 ms. Remains : 540/540 places, 15774/15812 transitions.
RANDOM walk for 40000 steps (4578 resets) in 4505 ms. (8 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (135 resets) in 240 ms. (165 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (136 resets) in 292 ms. (136 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (136 resets) in 307 ms. (129 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (136 resets) in 215 ms. (185 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 15819 steps, run timeout after 3001 ms. (steps per millisecond=5 ) properties seen :0 out of 4
Probabilistic random walk after 15819 steps, saw 4654 distinct states, run finished after 3001 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-28 17:49:31] [INFO ] Flow matrix only has 15486 transitions (discarded 288 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2379399806690057294.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14415701348015735124.kers'
[2026-05-28 17:49:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2379399806690057294.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14415701348015735124.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15486 rows 540 cols 84296 entries
Finished phase 1 with 88 SingleSign rule and 373 generalized
[2026-05-28 17:49:32] [INFO ] Computed 79 invariants in 563 ms
Computed 79 P flows in 564 ms.
Exported basis to /tmp/petrispot-output-14415701348015735124.kers
Total runtime 593 ms.
[2026-05-28 17:49:32] [INFO ] State equation strengthened by 8036 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 141/241 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/241 variables, 5/36 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/241 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 299/540 variables, 43/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (OVERLAPS) 15486/16026 variables, 540/619 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16026/16026 variables, and 8655 constraints, problems are : Problem set: 0 solved, 4 unsolved in 45089 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 540/540 constraints, ReadFeed: 8036/8036 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 141/241 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/241 variables, 5/36 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/241 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 299/540 variables, 43/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (OVERLAPS) 15486/16026 variables, 540/619 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16026/16026 variables, and 8655 constraints, problems are : Problem set: 0 solved, 4 unsolved in 45058 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 540/540 constraints, ReadFeed: 8036/8036 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 91313ms problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 15774/15774 transitions.
Applied a total of 0 rules in 3935 ms. Remains 540 /540 variables (removed 0) and now considering 15774/15774 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3937 ms. Remains : 540/540 places, 15774/15774 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 15774/15774 transitions.
Applied a total of 0 rules in 3883 ms. Remains 540 /540 variables (removed 0) and now considering 15774/15774 (removed 0) transitions.
[2026-05-28 17:51:10] [INFO ] Flow matrix only has 15486 transitions (discarded 288 similar events)
[2026-05-28 17:51:10] [INFO ] Invariant cache hit.
[2026-05-28 17:51:14] [INFO ] Implicit Places using invariants in 3921 ms returned []
Implicit Place search using SMT only with invariants took 3922 ms to find 0 implicit places.
Running 15584 sub problems to find dead transitions.
[2026-05-28 17:51:14] [INFO ] Flow matrix only has 15486 transitions (discarded 288 similar events)
[2026-05-28 17:51:14] [INFO ] Invariant cache hit.
[2026-05-28 17:51:14] [INFO ] State equation strengthened by 8036 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 15584 unsolved
SMT process timed out in 78918ms, After SMT, problems are : Problem set: 0 solved, 15584 unsolved
Search for dead transitions found 0 dead transitions in 78962ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 86792 ms. Remains : 540/540 places, 15774/15774 transitions.
Knowledge based reduction with 17 factoid took 169 ms. Reduced automaton from 4 states, 10 edges and 3 AP (stutter insensitive) to 4 states, 10 edges and 3 AP (stutter insensitive).
Stuttering acceptance computed with spot in 207 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) p1 (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2) (NOT p1))]
Knowledge-based reduction took 279361 ms.
Stuttering acceptance computed with spot in 205 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) p1 (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2) (NOT p1))]
Stuttering acceptance computed with spot in 188 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) p1 (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2) (NOT p1))]
Product exploration explored 100000 steps with 11443 reset in 6987 ms.
Product exploration explored 100000 steps with 11440 reset in 6646 ms.
Built C files in :
/tmp/ltsmin11184509951026907643
[2026-05-28 17:52:47] [INFO ] Too many transitions (15812) to apply POR reductions. Disabling POR matrices.
[2026-05-28 17:52:48] [INFO ] Built C files in 300ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11184509951026907643
Running compilation step : cd /tmp/ltsmin11184509951026907643;'/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/ltsmin11184509951026907643;'/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/ltsmin11184509951026907643;'/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 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 540/540 places, 15812/15812 transitions.
Applied a total of 0 rules in 5989 ms. Remains 540 /540 variables (removed 0) and now considering 15812/15812 (removed 0) transitions.
Running 15622 sub problems to find dead transitions.
[2026-05-28 17:52:57] [INFO ] Flow matrix only has 15488 transitions (discarded 324 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3888783791811567630.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15005304487687634555.kers'
[2026-05-28 17:52:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3888783791811567630.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15005304487687634555.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15488 rows 540 cols 84303 entries
Finished phase 1 with 89 SingleSign rule and 372 generalized
[2026-05-28 17:52:57] [INFO ] Computed 79 invariants in 574 ms
Computed 79 P flows in 575 ms.
Exported basis to /tmp/petrispot-output-15005304487687634555.kers
Total runtime 599 ms.
[2026-05-28 17:52:58] [INFO ] State equation strengthened by 8038 read => feed constraints.
Problem TDEAD302 is UNSAT
Problem TDEAD1544 is UNSAT
Problem TDEAD1856 is UNSAT
Problem TDEAD2027 is UNSAT
Problem TDEAD2284 is UNSAT
Problem TDEAD2356 is UNSAT
Problem TDEAD2425 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2932 is UNSAT
Problem TDEAD3897 is UNSAT
Problem TDEAD4131 is UNSAT
Problem TDEAD5423 is UNSAT
Problem TDEAD6577 is UNSAT
Problem TDEAD6982 is UNSAT
Problem TDEAD6985 is UNSAT
Problem TDEAD7066 is UNSAT
Problem TDEAD7099 is UNSAT
Problem TDEAD7378 is UNSAT
Problem TDEAD7693 is UNSAT
Problem TDEAD7951 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8348 is UNSAT
Problem TDEAD8993 is UNSAT
Problem TDEAD9325 is UNSAT
Problem TDEAD9626 is UNSAT
Problem TDEAD10044 is UNSAT
Problem TDEAD10703 is UNSAT
Problem TDEAD11095 is UNSAT
Problem TDEAD11312 is UNSAT
Problem TDEAD11313 is UNSAT
Problem TDEAD11569 is UNSAT
Problem TDEAD13132 is UNSAT
Problem TDEAD13654 is UNSAT
Problem TDEAD13655 is UNSAT
Problem TDEAD14425 is UNSAT
Problem TDEAD14450 is UNSAT
Problem TDEAD15396 is UNSAT
Problem TDEAD15627 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 33/33 constraints. Problems are: Problem set: 38 solved, 15584 unsolved
SMT process timed out in 71216ms, After SMT, problems are : Problem set: 38 solved, 15584 unsolved
Search for dead transitions found 38 dead transitions in 71259ms
Found 38 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 38 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 38 transitions.
[2026-05-28 17:54:08] [INFO ] Flow matrix only has 15486 transitions (discarded 288 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1016383126841463290.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9040357125430701607.kers'
[2026-05-28 17:54:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1016383126841463290.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9040357125430701607.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15486 rows 540 cols 84296 entries
Finished phase 1 with 88 SingleSign rule and 373 generalized
[2026-05-28 17:54:09] [INFO ] Computed 79 invariants in 528 ms
Computed 79 P flows in 529 ms.
Exported basis to /tmp/petrispot-output-9040357125430701607.kers
Total runtime 557 ms.
[2026-05-28 17:54:13] [INFO ] Implicit Places using invariants in 4494 ms returned []
Implicit Place search using SMT only with invariants took 4501 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 540/540 places, 15774/15812 transitions.
Applied a total of 0 rules in 5787 ms. Remains 540 /540 variables (removed 0) and now considering 15774/15774 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 87557 ms. Remains : 540/540 places, 15774/15812 transitions.
Built C files in :
/tmp/ltsmin14558193244523194065
[2026-05-28 17:54:18] [INFO ] Too many transitions (15774) to apply POR reductions. Disabling POR matrices.
[2026-05-28 17:54:19] [INFO ] Built C files in 244ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14558193244523194065
Running compilation step : cd /tmp/ltsmin14558193244523194065;'/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/ltsmin14558193244523194065;'/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/ltsmin14558193244523194065;'/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-28 17:54:23] [INFO ] Flatten gal took : 694 ms
[2026-05-28 17:54:24] [INFO ] Flatten gal took : 729 ms
[2026-05-28 17:54:24] [INFO ] Time to serialize gal into /tmp/LTL8380124352407824077.gal : 186 ms
[2026-05-28 17:54:24] [INFO ] Time to serialize properties into /tmp/LTL2242721661481780210.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/LTL8380124352407824077.gal' '-t' 'CGAL' '-hoa' '/tmp/aut6253412016980986593.hoa' '-atoms' '/tmp/LTL2242721661481780210.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...317
Loading property file /tmp/LTL2242721661481780210.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut6253412016980986593.hoa
Detected timeout of ITS tools.
[2026-05-28 17:54:40] [INFO ] Flatten gal took : 650 ms
[2026-05-28 17:54:41] [INFO ] Flatten gal took : 624 ms
[2026-05-28 17:54:41] [INFO ] Time to serialize gal into /tmp/LTL7206477122616254732.gal : 116 ms
[2026-05-28 17:54:41] [INFO ] Time to serialize properties into /tmp/LTL16119054295428232951.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/LTL7206477122616254732.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16119054295428232951.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((F("((((((Forks_1+Forks_18)+(Forks_7+Forks_19))+((Forks_12+Forks_8)+(Forks_20+Forks_11)))+(((Forks_5+Forks_6)+(Forks_14+Forks_13...2006
Formula 0 simplified : F(G!"((((((Forks_1+Forks_18)+(Forks_7+Forks_19))+((Forks_12+Forks_8)+(Forks_20+Forks_11)))+(((Forks_5+Forks_6)+(Forks_14+Forks_13))+...1994
Detected timeout of ITS tools.
[2026-05-28 17:54:57] [INFO ] Flatten gal took : 816 ms
[2026-05-28 17:54:57] [INFO ] Applying decomposition
[2026-05-28 17:54:58] [INFO ] Flatten gal took : 620 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/graph7664086343110289793.txt' '-o' '/tmp/graph7664086343110289793.bin' '-w' '/tmp/graph7664086343110289793.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7664086343110289793.bin' '-l' '-1' '-v' '-w' '/tmp/graph7664086343110289793.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:55:00] [INFO ] Decomposing Gal with order
[2026-05-28 17:55:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:55:21] [INFO ] Removed a total of 39107 redundant transitions.
[2026-05-28 17:55:26] [INFO ] Flatten gal took : 25115 ms
[2026-05-28 17:55:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 6994 labels/synchronizations in 3970 ms.
[2026-05-28 17:55:40] [INFO ] Time to serialize gal into /tmp/LTL14755298587738648227.gal : 203 ms
[2026-05-28 17:55:40] [INFO ] Time to serialize properties into /tmp/LTL2818657088600257593.ltl : 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/LTL14755298587738648227.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2818657088600257593.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((F("((((((gu2.Forks_1+gu2.Forks_18)+(gu2.Forks_7+gu2.Forks_19))+((gu2.Forks_12+gu2.Forks_8)+(gu2.Forks_20+gu2.Forks_11)))+(((gu2...2806
Formula 0 simplified : F(G!"((((((gu2.Forks_1+gu2.Forks_18)+(gu2.Forks_7+gu2.Forks_19))+((gu2.Forks_12+gu2.Forks_8)+(gu2.Forks_20+gu2.Forks_11)))+(((gu2.Fo...2794
Detected timeout of ITS tools.
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-03 finished in 960251 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((p0||X(F(p1))))))'
Support contains 440 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 94 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:55:55] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12440364693483428955.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10598288589155163316.kers'
[2026-05-28 17:55:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12440364693483428955.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10598288589155163316.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:55:56] [INFO ] Computed 79 invariants in 430 ms
Computed 79 P flows in 431 ms.
Exported basis to /tmp/petrispot-output-10598288589155163316.kers
Total runtime 446 ms.
[2026-05-28 17:55:56] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 71178ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 71217ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:57:06] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11529207586954034331.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3569522311993801729.kers'
[2026-05-28 17:57:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11529207586954034331.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3569522311993801729.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:57:07] [INFO ] Computed 79 invariants in 574 ms
Computed 79 P flows in 575 ms.
Exported basis to /tmp/petrispot-output-3569522311993801729.kers
Total runtime 601 ms.
[2026-05-28 17:57:10] [INFO ] Implicit Places using invariants in 3409 ms returned []
Implicit Place search using SMT only with invariants took 3414 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 157 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 74904 ms. Remains : 540/540 places, 15888/16002 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))||p1))))'
Stuttering acceptance computed with spot in 215 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-04
Stuttering criterion allowed to conclude after 4 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-04 finished in 75199 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' '!(((p0 U p1) U X((X(!p0)&&(p2 U (p3||G(p2)))))))'
Support contains 100 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 240 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:57:10] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2024728823201750043.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13998429398628071382.kers'
[2026-05-28 17:57:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2024728823201750043.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13998429398628071382.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:57:11] [INFO ] Computed 79 invariants in 574 ms
Computed 79 P flows in 581 ms.
Exported basis to /tmp/petrispot-output-13998429398628071382.kers
Total runtime 606 ms.
[2026-05-28 17:57:12] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 73625ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 73684ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:58:24] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15210292022077938100.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16708307095943865114.kers'
[2026-05-28 17:58:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15210292022077938100.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16708307095943865114.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:58:25] [INFO ] Computed 79 invariants in 593 ms
Computed 79 P flows in 594 ms.
Exported basis to /tmp/petrispot-output-16708307095943865114.kers
Total runtime 621 ms.
[2026-05-28 17:58:29] [INFO ] Implicit Places using invariants in 5282 ms returned []
Implicit Place search using SMT only with invariants took 5284 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 159 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 79393 ms. Remains : 540/540 places, 15888/16002 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' '!(((p0 U p1) U X((X(!p0)&&(p2 U (p3||G(p2)))))))'
Stuttering acceptance computed with spot in 561 ms :[(OR p0 (AND (NOT p2) (NOT p3))), (OR p0 (AND (NOT p2) (NOT p3))), (OR (AND (NOT p1) (NOT p2) (NOT p3)) (AND p0 (NOT p1))), (OR p0 (AND (NOT p2) (NOT p3))), true, p0, (AND (NOT p3) (NOT p2)), (NOT p1), (OR (AND p0 (NOT p1) p3) (AND p0 (NOT p1) p2)), (AND (NOT p1) (NOT p2) (NOT p3)), p0, (AND p0 (NOT p1)), p0, (AND (NOT p2) (NOT p3))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-05
Stuttering criterion allowed to conclude after 9 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-05 finished in 80050 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(((F((p0&&F(p1)&&X(X(p0))))&&X(X(!p1)))||G((F(p1)&&F((p0&&X(X(p0)))))))))'
Support contains 40 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 150 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:58:30] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14328283630942175160.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3885295083037925527.kers'
[2026-05-28 17:58:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14328283630942175160.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3885295083037925527.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:58:31] [INFO ] Computed 79 invariants in 386 ms
Computed 79 P flows in 387 ms.
Exported basis to /tmp/petrispot-output-3885295083037925527.kers
Total runtime 408 ms.
[2026-05-28 17:58:31] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 72779ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 72823ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:59:43] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6564801338356377646.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12904338954328339372.kers'
[2026-05-28 17:59:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6564801338356377646.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12904338954328339372.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:59:44] [INFO ] Computed 79 invariants in 409 ms
Computed 79 P flows in 410 ms.
Exported basis to /tmp/petrispot-output-12904338954328339372.kers
Total runtime 444 ms.
[2026-05-28 17:59:48] [INFO ] Implicit Places using invariants in 5146 ms returned []
Implicit Place search using SMT only with invariants took 5151 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 266 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 78411 ms. Remains : 540/540 places, 15888/16002 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((G((F(p0)&&F((p1&&X(X(p1))))))||(F((p1&&F(p0)&&X(X(p1))))&&X(X(!p0))))))'
Stuttering acceptance computed with spot in 842 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1), (NOT p0), (AND p0 (NOT p1)), (NOT p1), (AND (NOT p0) (NOT p1)), (AND p0 (NOT p1)), (AND (NOT p1) p0), (AND p0 (NOT p1)), (AND p0 (NOT p1)), (AND p0 (NOT p1)), (AND p0 (NOT p1)), (NOT p1), (NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-06
Stuttering criterion allowed to conclude after 8 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-06 finished in 79409 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((p0&&X((p1&&X(G(p2)))))))'
Support contains 5 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 252 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:59:50] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7127813998518799772.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-36353036705527009.kers'
[2026-05-28 17:59:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7127813998518799772.kers, --Pflows, --basisKERS=/tmp/petrispot-output-36353036705527009.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:59:51] [INFO ] Computed 79 invariants in 574 ms
Computed 79 P flows in 576 ms.
Exported basis to /tmp/petrispot-output-36353036705527009.kers
Total runtime 601 ms.
[2026-05-28 17:59:51] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 74169ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 74238ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:01:04] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16239020846691506348.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1276036938517507932.kers'
[2026-05-28 18:01:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16239020846691506348.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1276036938517507932.kers]
Culled 0 columns in 16 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:01:05] [INFO ] Computed 79 invariants in 425 ms
Computed 79 P flows in 425 ms.
Exported basis to /tmp/petrispot-output-1276036938517507932.kers
Total runtime 444 ms.
[2026-05-28 18:01:11] [INFO ] Implicit Places using invariants in 7134 ms returned []
Implicit Place search using SMT only with invariants took 7139 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 172 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 81844 ms. Remains : 540/540 places, 15888/16002 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((p0&&X((p1&&X(G(p2)))))))'
Stuttering acceptance computed with spot in 228 ms :[true, (OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p1) (NOT p2)), (NOT p2)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-08
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 1 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-08 finished in 82143 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(p1)))))'
Support contains 4 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 163 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 18:01:12] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5892592146504185995.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4952498622067258342.kers'
[2026-05-28 18:01:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5892592146504185995.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4952498622067258342.kers]
Culled 0 columns in 16 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:01:12] [INFO ] Computed 79 invariants in 393 ms
Computed 79 P flows in 394 ms.
Exported basis to /tmp/petrispot-output-4952498622067258342.kers
Total runtime 419 ms.
[2026-05-28 18:01:13] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 72716ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 72761ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:02:25] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15164496433676435360.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8023054489341447179.kers'
[2026-05-28 18:02:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15164496433676435360.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8023054489341447179.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:02:25] [INFO ] Computed 79 invariants in 568 ms
Computed 79 P flows in 569 ms.
Exported basis to /tmp/petrispot-output-8023054489341447179.kers
Total runtime 598 ms.
[2026-05-28 18:02:31] [INFO ] Implicit Places using invariants in 6696 ms returned []
Implicit Place search using SMT only with invariants took 6698 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 261 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 79904 ms. Remains : 540/540 places, 15888/16002 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(p1)))))'
Stuttering acceptance computed with spot in 170 ms :[(OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (NOT p1)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-09
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 1 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-09 finished in 80155 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 1 out of 540 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 4455 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 18:02:36] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6030588104309513677.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6884473607310313905.kers'
[2026-05-28 18:02:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6030588104309513677.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6884473607310313905.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:02:37] [INFO ] Computed 79 invariants in 592 ms
Computed 79 P flows in 593 ms.
Exported basis to /tmp/petrispot-output-6884473607310313905.kers
Total runtime 612 ms.
[2026-05-28 18:02:38] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 76016ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 76065ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:03:52] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3296430246785193592.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7802618060307472159.kers'
[2026-05-28 18:03:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3296430246785193592.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7802618060307472159.kers]
Culled 0 columns in 16 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:03:53] [INFO ] Computed 79 invariants in 429 ms
Computed 79 P flows in 430 ms.
Exported basis to /tmp/petrispot-output-7802618060307472159.kers
Total runtime 456 ms.
[2026-05-28 18:03:59] [INFO ] Implicit Places using invariants in 6359 ms returned []
Implicit Place search using SMT only with invariants took 6364 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 4142 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 91063 ms. Remains : 540/540 places, 15888/16002 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 76 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-10
Stuttering criterion allowed to conclude after 71 steps with 7 reset in 5 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-10 finished in 91200 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((G(X(G(p0))) U p1)))'
Support contains 3 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 146 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 18:04:03] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13430533093637662072.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13701820405094367855.kers'
[2026-05-28 18:04:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13430533093637662072.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13701820405094367855.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:04:04] [INFO ] Computed 79 invariants in 581 ms
Computed 79 P flows in 582 ms.
Exported basis to /tmp/petrispot-output-13701820405094367855.kers
Total runtime 609 ms.
[2026-05-28 18:04:05] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 74491ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 74537ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:05:18] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-892858033255793687.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1156345101527614156.kers'
[2026-05-28 18:05:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-892858033255793687.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1156345101527614156.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:05:18] [INFO ] Computed 79 invariants in 396 ms
Computed 79 P flows in 397 ms.
Exported basis to /tmp/petrispot-output-1156345101527614156.kers
Total runtime 418 ms.
[2026-05-28 18:05:25] [INFO ] Implicit Places using invariants in 6869 ms returned []
Implicit Place search using SMT only with invariants took 6870 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 259 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 81835 ms. Remains : 540/540 places, 15888/16002 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((G(X(G(p0))) U p1)))'
Stuttering acceptance computed with spot in 178 ms :[(NOT p1), (OR (NOT p0) (NOT p1)), true, (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-11
Entered a terminal (fully accepting) state of product in 455 steps with 51 reset in 42 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-11 finished in 82126 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||X((p1||X(p2))))))'
Support contains 6 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 243 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 18:05:26] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11348517463540107035.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18002103663938368994.kers'
[2026-05-28 18:05:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11348517463540107035.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18002103663938368994.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:05:26] [INFO ] Computed 79 invariants in 603 ms
Computed 79 P flows in 603 ms.
Exported basis to /tmp/petrispot-output-18002103663938368994.kers
Total runtime 628 ms.
[2026-05-28 18:05:27] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 75398ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 75460ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:06:41] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15587988721329094203.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11824153361100715128.kers'
[2026-05-28 18:06:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15587988721329094203.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11824153361100715128.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:06:42] [INFO ] Computed 79 invariants in 578 ms
Computed 79 P flows in 584 ms.
Exported basis to /tmp/petrispot-output-11824153361100715128.kers
Total runtime 612 ms.
[2026-05-28 18:06:48] [INFO ] Implicit Places using invariants in 7504 ms returned []
Implicit Place search using SMT only with invariants took 7511 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 259 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 83504 ms. Remains : 540/540 places, 15888/16002 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||X((p1||X(p2))))))'
Stuttering acceptance computed with spot in 179 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (NOT p2), true]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-12
Entered a terminal (fully accepting) state of product in 4 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-12 finished in 83762 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(G(p0))))'
Support contains 2 out of 540 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 246 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 18:06:49] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10660963415169735638.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4076156951609799733.kers'
[2026-05-28 18:06:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10660963415169735638.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4076156951609799733.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:06:50] [INFO ] Computed 79 invariants in 607 ms
Computed 79 P flows in 608 ms.
Exported basis to /tmp/petrispot-output-4076156951609799733.kers
Total runtime 633 ms.
[2026-05-28 18:06:51] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 74906ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 74964ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:08:04] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9096461560457955879.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18101954250546326613.kers'
[2026-05-28 18:08:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9096461560457955879.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18101954250546326613.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:08:05] [INFO ] Computed 79 invariants in 619 ms
Computed 79 P flows in 619 ms.
Exported basis to /tmp/petrispot-output-18101954250546326613.kers
Total runtime 644 ms.
[2026-05-28 18:08:11] [INFO ] Implicit Places using invariants in 7042 ms returned []
Implicit Place search using SMT only with invariants took 7047 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 159 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 82453 ms. Remains : 540/540 places, 15888/16002 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(G(p0))))'
Stuttering acceptance computed with spot in 158 ms :[true, (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-14
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-14 finished in 82682 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))'
Support contains 2 out of 540 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 4300 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 18:08:16] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1020917451672053817.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16383453115890124675.kers'
[2026-05-28 18:08:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1020917451672053817.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16383453115890124675.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:08:16] [INFO ] Computed 79 invariants in 379 ms
Computed 79 P flows in 380 ms.
Exported basis to /tmp/petrispot-output-16383453115890124675.kers
Total runtime 395 ms.
[2026-05-28 18:08:17] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 74725ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 74763ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 18:09:31] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13469629708123527184.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6585685539813955962.kers'
[2026-05-28 18:09:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13469629708123527184.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6585685539813955962.kers]
Culled 0 columns in 19 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:09:31] [INFO ] Computed 79 invariants in 422 ms
Computed 79 P flows in 423 ms.
Exported basis to /tmp/petrispot-output-6585685539813955962.kers
Total runtime 448 ms.
[2026-05-28 18:09:38] [INFO ] Implicit Places using invariants in 7698 ms returned []
Implicit Place search using SMT only with invariants took 7710 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 4484 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 91276 ms. Remains : 540/540 places, 15888/16002 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))'
Stuttering acceptance computed with spot in 39 ms :[(NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLCardinality-15
Stuttering criterion allowed to conclude after 13 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLCardinality-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLCardinality-15 finished in 91366 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) U p1))||F(G((p0||F(p2))))))'
Spot run failed in 110 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-28 18:09:44] [INFO ] Flatten gal took : 1032 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin10016422927965117922
[2026-05-28 18:09:45] [INFO ] Too many transitions (16002) to apply POR reductions. Disabling POR matrices.
[2026-05-28 18:09:45] [INFO ] Built C files in 206ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10016422927965117922
Running compilation step : cd /tmp/ltsmin10016422927965117922;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '720' '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-28 18:09:45] [INFO ] Applying decomposition
[2026-05-28 18:09:46] [INFO ] Flatten gal took : 663 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/graph13997415192464865325.txt' '-o' '/tmp/graph13997415192464865325.bin' '-w' '/tmp/graph13997415192464865325.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13997415192464865325.bin' '-l' '-1' '-v' '-w' '/tmp/graph13997415192464865325.weights' '-q' '0' '-e' '0.001'
[2026-05-28 18:09:48] [INFO ] Decomposing Gal with order
[2026-05-28 18:09:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 18:12:13] [INFO ] Removed a total of 18665 redundant transitions.
[2026-05-28 18:12:20] [INFO ] Flatten gal took : 151269 ms
[2026-05-28 18:12:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 26908 labels/synchronizations in 11227 ms.
[2026-05-28 18:12:46] [INFO ] Time to serialize gal into /tmp/LTLCardinality1771542016065803193.gal : 127 ms
[2026-05-28 18:12:46] [INFO ] Time to serialize properties into /tmp/LTLCardinality4580344897009639590.ltl : 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/LTLCardinality1771542016065803193.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality4580344897009639590.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 1 LTL properties
Checking formula 0 : !(((G((F("((((((gu6.Forks_1+gu6.Forks_18)+(gu6.Forks_7+gu6.Forks_19))+((gu6.Forks_12+gu6.Forks_8)+(gu6.Forks_20+gu6.Forks_11)))+(((gu6...2806
Formula 0 simplified : F(G!"((((((gu6.Forks_1+gu6.Forks_18)+(gu6.Forks_7+gu6.Forks_19))+((gu6.Forks_12+gu6.Forks_8)+(gu6.Forks_20+gu6.Forks_11)))+(((gu6.Fo...2794
Compilation finished in 248092 ms.
Running link step : cd /tmp/ltsmin10016422927965117922;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 196 ms.
Running LTSmin : cd /tmp/ltsmin10016422927965117922;'/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' '([]((<>((LTLAPp0==true)) U (LTLAPp1==true)))||<>([](((LTLAPp0==true)||<>((LTLAPp2==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="PhilosophersDyn-PT-20"
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 PhilosophersDyn-PT-20, 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 r210-smll-177969942000251"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-PT-20.tgz
mv PhilosophersDyn-PT-20 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 ;