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 |
| 6823.979 | 1337336.00 | 1505414.00 | 3109.90 | FFFFFFTFFFFFFFFF | 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-177969942000252.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 LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-177969942000252
=====================================================================
--------------------
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-LTLFireability-00
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-01
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-02
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-03
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-04
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-05
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-06
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-07
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-08
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-09
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-10
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-11
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-12
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-13
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-14
FORMULA_NAME PhilosophersDyn-PT-20-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1779991042894
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
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
LTLFireability PT
Running Version 202604301425
[2026-05-28 17:57:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-28 17:57:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 17:57:26] [INFO ] Load time of PNML (sax parser for PT used): 1376 ms
[2026-05-28 17:57:26] [INFO ] Transformed 540 places.
[2026-05-28 17:57:27] [INFO ] Transformed 17220 transitions.
[2026-05-28 17:57:27] [INFO ] Parsed PT model containing 540 places and 17220 transitions and 140780 arcs in 1736 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 410 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 2 formulas.
[2026-05-28 17:57:27] [INFO ] Reduced 379 identical enabling conditions.
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
FORMULA PhilosophersDyn-PT-20-LTLFireability-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PhilosophersDyn-PT-20-LTLFireability-06 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 204 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:57:30] [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-12543382934830231084.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17500288233396047200.kers'
[2026-05-28 17:57:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12543382934830231084.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17500288233396047200.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:57:31] [INFO ] Computed 79 invariants in 371 ms
Computed 79 P flows in 372 ms.
Exported basis to /tmp/petrispot-output-17500288233396047200.kers
Total runtime 391 ms.
[2026-05-28 17:57:32] [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 75480ms, After SMT, problems are : Problem set: 794 solved, 16046 unsolved
Search for dead transitions found 794 dead transitions in 75678ms
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:58:46] [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-3354971559724189976.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13877403600334015128.kers'
[2026-05-28 17:58:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3354971559724189976.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13877403600334015128.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15504 rows 540 cols 84359 entries
Finished phase 1 with 97 SingleSign rule and 364 generalized
[2026-05-28 17:58:46] [INFO ] Computed 79 invariants in 387 ms
Computed 79 P flows in 391 ms.
Exported basis to /tmp/petrispot-output-13877403600334015128.kers
Total runtime 408 ms.
[2026-05-28 17:58:47] [INFO ] Implicit Places using invariants in 697 ms returned []
Implicit Place search using SMT only with invariants took 704 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 123 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 76967 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 119 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:58:47] [INFO ] Flow matrix only has 15504 transitions (discarded 732 similar events)
[2026-05-28 17:58:47] [INFO ] Invariant cache hit.
[2026-05-28 17:58:48] [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 69869ms, After SMT, problems are : Problem set: 234 solved, 15812 unsolved
Search for dead transitions found 234 dead transitions in 69943ms
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:59:57] [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-2835116260044387245.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3292398388963741319.kers'
[2026-05-28 17:59:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2835116260044387245.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3292398388963741319.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:57] [INFO ] Computed 79 invariants in 583 ms
Computed 79 P flows in 584 ms.
Exported basis to /tmp/petrispot-output-3292398388963741319.kers
Total runtime 611 ms.
[2026-05-28 17:59:58] [INFO ] Implicit Places using invariants in 881 ms returned []
Implicit Place search using SMT only with invariants took 883 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 112 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 71101 ms. Remains : 540/540 places, 16002/16236 transitions.
Support contains 540 out of 540 places after structural reductions.
[2026-05-28 18:00:01] [INFO ] Flatten gal took : 1467 ms
[2026-05-28 18:00:04] [INFO ] Flatten gal took : 1511 ms
[2026-05-28 18:00:09] [INFO ] Input system was already deterministic with 16002 transitions.
Reduction of identical properties reduced properties to check from 26 to 24
RANDOM walk for 40000 steps (4569 resets) in 5516 ms. (7 steps per ms) remains 6/24 properties
BEST_FIRST walk for 40004 steps (116 resets) in 228 ms. (174 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (119 resets) in 260 ms. (153 steps per ms) remains 5/6 properties
BEST_FIRST walk for 40004 steps (168 resets) in 222 ms. (179 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (116 resets) in 218 ms. (182 steps per ms) remains 4/5 properties
BEST_FIRST walk for 40004 steps (119 resets) in 222 ms. (179 steps per ms) remains 3/4 properties
BEST_FIRST walk for 40004 steps (116 resets) in 273 ms. (146 steps per ms) remains 2/3 properties
[2026-05-28 18:00:11] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
[2026-05-28 18:00:11] [INFO ] Invariant cache hit.
[2026-05-28 18:00:13] [INFO ] State equation strengthened by 8048 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Problem AtomicPropp11 is UNSAT
At refinement iteration 1 (OVERLAPS) 67/74 variables, 7/7 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/74 variables, 0/7 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 161/235 variables, 11/18 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/235 variables, 0/18 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 30/265 variables, 12/30 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/265 variables, 0/30 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 224/489 variables, 33/63 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/489 variables, 0/63 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 28/517 variables, 13/76 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/517 variables, 0/76 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 6/523 variables, 3/79 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/523 variables, 0/79 constraints. Problems are: Problem set: 1 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16021/16038 variables, and 602 constraints, problems are : Problem set: 1 solved, 1 unsolved in 5007 ms.
Refiners :[Positive P Invariants (semi-flows): 43/43 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 523/540 constraints, ReadFeed: 0/8048 constraints, PredecessorRefiner: 2/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 44/47 variables, 4/4 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/47 variables, 0/4 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 181/228 variables, 12/16 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/228 variables, 0/16 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 35/263 variables, 14/30 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/263 variables, 0/30 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 224/487 variables, 33/63 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/487 variables, 0/63 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 28/515 variables, 13/76 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/515 variables, 0/76 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 6/521 variables, 3/79 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/521 variables, 0/79 constraints. Problems are: Problem set: 1 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16019/16038 variables, and 600 constraints, problems are : Problem set: 1 solved, 1 unsolved in 5006 ms.
Refiners :[Positive P Invariants (semi-flows): 43/43 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 521/540 constraints, ReadFeed: 0/8048 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 11713ms problems are : Problem set: 1 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 3 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 19 times.
Iterating global reduction 0 with 19 rules applied. Total rules applied 19 place count 540 transition count 15983
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 38 place count 521 transition count 15983
Applied a total of 38 rules in 8719 ms. Remains 521 /540 variables (removed 19) and now considering 15983/16002 (removed 19) transitions.
Running 15793 sub problems to find dead transitions.
[2026-05-28 18:00:32] [INFO ] Flow matrix only has 15479 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-14635627372435585948.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2461496926719188609.kers'
[2026-05-28 18:00:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14635627372435585948.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2461496926719188609.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15479 rows 521 cols 83920 entries
Finished phase 1 with 75 SingleSign rule and 367 generalized
[2026-05-28 18:00:33] [INFO ] Computed 79 invariants in 535 ms
Computed 79 P flows in 536 ms.
Exported basis to /tmp/petrispot-output-2461496926719188609.kers
Total runtime 552 ms.
[2026-05-28 18:00:33] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD366 is UNSAT
Problem TDEAD476 is UNSAT
Problem TDEAD486 is UNSAT
Problem TDEAD573 is UNSAT
Problem TDEAD805 is UNSAT
Problem TDEAD1005 is UNSAT
Problem TDEAD1126 is UNSAT
Problem TDEAD1213 is UNSAT
Problem TDEAD1291 is UNSAT
Problem TDEAD1318 is UNSAT
Problem TDEAD1377 is UNSAT
Problem TDEAD1483 is UNSAT
Problem TDEAD1798 is UNSAT
Problem TDEAD1863 is UNSAT
Problem TDEAD1876 is UNSAT
Problem TDEAD1956 is UNSAT
Problem TDEAD2273 is UNSAT
Problem TDEAD2459 is UNSAT
Problem TDEAD2469 is UNSAT
Problem TDEAD2634 is UNSAT
Problem TDEAD2639 is UNSAT
Problem TDEAD2816 is UNSAT
Problem TDEAD2877 is UNSAT
Problem TDEAD3057 is UNSAT
Problem TDEAD3107 is UNSAT
Problem TDEAD3313 is UNSAT
Problem TDEAD3536 is UNSAT
Problem TDEAD3563 is UNSAT
Problem TDEAD4143 is UNSAT
Problem TDEAD4150 is UNSAT
Problem TDEAD4174 is UNSAT
Problem TDEAD4593 is UNSAT
Problem TDEAD4735 is UNSAT
Problem TDEAD4786 is UNSAT
Problem TDEAD5025 is UNSAT
Problem TDEAD5449 is UNSAT
Problem TDEAD5656 is UNSAT
Problem TDEAD5718 is UNSAT
Problem TDEAD5754 is UNSAT
Problem TDEAD5794 is UNSAT
Problem TDEAD5823 is UNSAT
Problem TDEAD6377 is UNSAT
Problem TDEAD6394 is UNSAT
Problem TDEAD6613 is UNSAT
Problem TDEAD6715 is UNSAT
Problem TDEAD6867 is UNSAT
Problem TDEAD7034 is UNSAT
Problem TDEAD7060 is UNSAT
Problem TDEAD7200 is UNSAT
Problem TDEAD7330 is UNSAT
Problem TDEAD7538 is UNSAT
Problem TDEAD7644 is UNSAT
Problem TDEAD7735 is UNSAT
Problem TDEAD7808 is UNSAT
Problem TDEAD7815 is UNSAT
Problem TDEAD7869 is UNSAT
Problem TDEAD8250 is UNSAT
Problem TDEAD8334 is UNSAT
Problem TDEAD8362 is UNSAT
Problem TDEAD8509 is UNSAT
Problem TDEAD8523 is UNSAT
Problem TDEAD8804 is UNSAT
Problem TDEAD8828 is UNSAT
Problem TDEAD8916 is UNSAT
Problem TDEAD8950 is UNSAT
Problem TDEAD9033 is UNSAT
Problem TDEAD9254 is UNSAT
Problem TDEAD9651 is UNSAT
Problem TDEAD10095 is UNSAT
Problem TDEAD10354 is UNSAT
Problem TDEAD10429 is UNSAT
Problem TDEAD10445 is UNSAT
Problem TDEAD10524 is UNSAT
Problem TDEAD10640 is UNSAT
Problem TDEAD10641 is UNSAT
Problem TDEAD10680 is UNSAT
Problem TDEAD10739 is UNSAT
Problem TDEAD10769 is UNSAT
Problem TDEAD10862 is UNSAT
Problem TDEAD10947 is UNSAT
Problem TDEAD10971 is UNSAT
Problem TDEAD10988 is UNSAT
Problem TDEAD11090 is UNSAT
Problem TDEAD11137 is UNSAT
Problem TDEAD11343 is UNSAT
Problem TDEAD11409 is UNSAT
Problem TDEAD11622 is UNSAT
Problem TDEAD11717 is UNSAT
Problem TDEAD11835 is UNSAT
Problem TDEAD11974 is UNSAT
Problem TDEAD12024 is UNSAT
Problem TDEAD12081 is UNSAT
Problem TDEAD12108 is UNSAT
Problem TDEAD12580 is UNSAT
Problem TDEAD12592 is UNSAT
Problem TDEAD12599 is UNSAT
Problem TDEAD12683 is UNSAT
Problem TDEAD12859 is UNSAT
Problem TDEAD13391 is UNSAT
Problem TDEAD13512 is UNSAT
Problem TDEAD13542 is UNSAT
Problem TDEAD13698 is UNSAT
Problem TDEAD13916 is UNSAT
Problem TDEAD14195 is UNSAT
Problem TDEAD14370 is UNSAT
Problem TDEAD14434 is UNSAT
Problem TDEAD14497 is UNSAT
Problem TDEAD14821 is UNSAT
Problem TDEAD14890 is UNSAT
Problem TDEAD14946 is UNSAT
Problem TDEAD15141 is UNSAT
Problem TDEAD15399 is UNSAT
Problem TDEAD15453 is UNSAT
Problem TDEAD15568 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/521 variables, 45/45 constraints. Problems are: Problem set: 114 solved, 15679 unsolved
SMT process timed out in 67621ms, After SMT, problems are : Problem set: 114 solved, 15679 unsolved
Search for dead transitions found 114 dead transitions in 67689ms
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 : 521/540 places, 15869/16002 transitions.
Applied a total of 0 rules in 4152 ms. Remains 521 /521 variables (removed 0) and now considering 15869/15869 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80598 ms. Remains : 521/540 places, 15869/16002 transitions.
RANDOM walk for 40000 steps (4573 resets) in 4547 ms. (8 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (168 resets) in 186 ms. (213 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 12691 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :0 out of 1
Probabilistic random walk after 12691 steps, saw 3841 distinct states, run finished after 3010 ms. (steps per millisecond=4 ) properties seen :0
[2026-05-28 18:01:48] [INFO ] Flow matrix only has 15473 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-11095234345671584824.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10557401367962095763.kers'
[2026-05-28 18:01:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11095234345671584824.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10557401367962095763.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15473 rows 521 cols 83899 entries
Finished phase 1 with 72 SingleSign rule and 370 generalized
[2026-05-28 18:01:49] [INFO ] Computed 79 invariants in 394 ms
Computed 79 P flows in 394 ms.
Exported basis to /tmp/petrispot-output-10557401367962095763.kers
Total runtime 413 ms.
[2026-05-28 18:01:49] [INFO ] State equation strengthened by 8042 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/7 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 378/385 variables, 10/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/385 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 48/433 variables, 25/37 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/433 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 12/445 variables, 6/43 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/445 variables, 0/43 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 45/490 variables, 30/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/490 variables, 0/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 12/502 variables, 6/79 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/502 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 15473/15975 variables, 502/581 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 15975/15994 variables, and 8623 constraints, problems are : Problem set: 0 solved, 1 unsolved in 19927 ms.
Refiners :[Positive P Invariants (semi-flows): 39/39 constraints, Generalized P Invariants (flows): 40/40 constraints, State Equation: 502/521 constraints, ReadFeed: 8042/8042 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/7 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 378/385 variables, 10/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/385 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 48/433 variables, 25/37 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/433 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 12/445 variables, 6/43 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/445 variables, 0/43 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 45/490 variables, 30/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/490 variables, 0/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 12/502 variables, 6/79 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/502 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 15473/15975 variables, 502/581 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 15975/15994 variables, and 8623 constraints, problems are : Problem set: 0 solved, 1 unsolved in 19186 ms.
Refiners :[Positive P Invariants (semi-flows): 39/39 constraints, Generalized P Invariants (flows): 40/40 constraints, State Equation: 502/521 constraints, ReadFeed: 8042/8042 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 39896ms problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 3 out of 521 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 521/521 places, 15869/15869 transitions.
Applied a total of 0 rules in 3684 ms. Remains 521 /521 variables (removed 0) and now considering 15869/15869 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3687 ms. Remains : 521/521 places, 15869/15869 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 521/521 places, 15869/15869 transitions.
Applied a total of 0 rules in 3909 ms. Remains 521 /521 variables (removed 0) and now considering 15869/15869 (removed 0) transitions.
[2026-05-28 18:02:36] [INFO ] Flow matrix only has 15473 transitions (discarded 396 similar events)
[2026-05-28 18:02:36] [INFO ] Invariant cache hit.
[2026-05-28 18:02:42] [INFO ] Implicit Places using invariants in 6367 ms returned [29, 34, 60, 86, 88, 111, 126, 163, 237, 251, 282, 321, 334, 347, 363, 379, 408, 451, 452]
Discarding 19 places :
Implicit Place search using SMT only with invariants took 6441 ms to find 19 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 502/521 places, 15869/15869 transitions.
Free-agglomeration rule applied 19 times.
Iterating global reduction 0 with 19 rules applied. Total rules applied 19 place count 502 transition count 15850
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 38 place count 483 transition count 15850
Applied a total of 38 rules in 8652 ms. Remains 483 /502 variables (removed 19) and now considering 15850/15869 (removed 19) transitions.
[2026-05-28 18:02:51] [INFO ] Flow matrix only has 15454 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-4522630764864862218.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8962547614782829450.kers'
[2026-05-28 18:02:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4522630764864862218.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8962547614782829450.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15454 rows 483 cols 83462 entries
Finished phase 1 with 53 SingleSign rule and 370 generalized
[2026-05-28 18:02:51] [INFO ] Computed 60 invariants in 351 ms
Computed 60 P flows in 356 ms.
Exported basis to /tmp/petrispot-output-8962547614782829450.kers
Total runtime 372 ms.
[2026-05-28 18:02:57] [INFO ] Implicit Places using invariants in 6353 ms returned []
Implicit Place search using SMT only with invariants took 6358 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 483/521 places, 15850/15869 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 25360 ms. Remains : 483/521 places, 15850/15869 transitions.
Successfully simplified 1 atomic propositions for a total of 14 simplifications.
FORMULA PhilosophersDyn-PT-20-LTLFireability-09 FALSE 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' '!(X(X((p0||F((X(p2)&&p1))))))'
Support contains 500 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 93 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:59] [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-14239804232559290923.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16638489051144110592.kers'
[2026-05-28 18:02:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14239804232559290923.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16638489051144110592.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 18:03:00] [INFO ] Computed 79 invariants in 495 ms
Computed 79 P flows in 495 ms.
Exported basis to /tmp/petrispot-output-16638489051144110592.kers
Total runtime 512 ms.
[2026-05-28 18:03:00] [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 69445ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69492ms
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:04:09] [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-3263659886899486253.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9744118945473885269.kers'
[2026-05-28 18:04:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3263659886899486253.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9744118945473885269.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:04:09] [INFO ] Computed 79 invariants in 398 ms
Computed 79 P flows in 399 ms.
Exported basis to /tmp/petrispot-output-9744118945473885269.kers
Total runtime 417 ms.
[2026-05-28 18:04:10] [INFO ] Implicit Places using invariants in 1586 ms returned []
Implicit Place search using SMT only with invariants took 1595 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 147 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 71365 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((F((X(p1)&&p0))||p2))))'
Stuttering acceptance computed with spot in 526 ms :[(OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-00
Stuttering criterion allowed to conclude after 237 steps with 75 reset in 196 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-00 finished in 72453 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 440 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 7157 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:19] [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-677218433589743239.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6421726123879554367.kers'
[2026-05-28 18:04:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-677218433589743239.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6421726123879554367.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:19] [INFO ] Computed 79 invariants in 570 ms
Computed 79 P flows in 575 ms.
Exported basis to /tmp/petrispot-output-6421726123879554367.kers
Total runtime 602 ms.
[2026-05-28 18:04:20] [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 68909ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 68948ms
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:28] [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-11181135585136166656.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5123984887825355589.kers'
[2026-05-28 18:05:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11181135585136166656.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5123984887825355589.kers]
Culled 0 columns in 27 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:28] [INFO ] Computed 79 invariants in 541 ms
Computed 79 P flows in 542 ms.
Exported basis to /tmp/petrispot-output-5123984887825355589.kers
Total runtime 570 ms.
[2026-05-28 18:05:30] [INFO ] Implicit Places using invariants in 2377 ms returned []
Implicit Place search using SMT only with invariants took 2384 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 7229 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 85781 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 78 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-01
Stuttering criterion allowed to conclude after 14 steps with 3 reset in 13 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-01 finished in 86108 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 U X((G(p0) U !p1)))&&F(p2)))))'
Support contains 500 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 98 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:38] [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-8015793446339118155.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10388157069386296465.kers'
[2026-05-28 18:05:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8015793446339118155.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10388157069386296465.kers]
Culled 0 columns in 26 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:38] [INFO ] Computed 79 invariants in 491 ms
Computed 79 P flows in 492 ms.
Exported basis to /tmp/petrispot-output-10388157069386296465.kers
Total runtime 509 ms.
[2026-05-28 18:05:39] [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 71467ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 71513ms
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:49] [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-13304062146405751973.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3018133018494427418.kers'
[2026-05-28 18:06:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13304062146405751973.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3018133018494427418.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:50] [INFO ] Computed 79 invariants in 574 ms
Computed 79 P flows in 575 ms.
Exported basis to /tmp/petrispot-output-3018133018494427418.kers
Total runtime 604 ms.
[2026-05-28 18:06:50] [INFO ] Implicit Places using invariants in 962 ms returned []
Implicit Place search using SMT only with invariants took 964 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 150 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 72752 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(((!p0 U X((G(p0) U !p1)))&&F(p2)))))'
Stuttering acceptance computed with spot in 427 ms :[(OR (NOT p2) p1), (OR (NOT p2) p1), (OR (NOT p2) p1), p1, (NOT p2), p1, true, (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-02
Stuttering criterion allowed to conclude after 19 steps with 3 reset in 7 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-02 finished in 73437 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G((!p1&&(p2 U !p0)))))))'
Support contains 480 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 6200 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:57] [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-12622732464442680306.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7376607266734436464.kers'
[2026-05-28 18:06:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12622732464442680306.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7376607266734436464.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:58] [INFO ] Computed 79 invariants in 546 ms
Computed 79 P flows in 547 ms.
Exported basis to /tmp/petrispot-output-7376607266734436464.kers
Total runtime 573 ms.
[2026-05-28 18:06:58] [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 70073ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70107ms
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:07] [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-7107051975091875968.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4042142728515983559.kers'
[2026-05-28 18:08:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7107051975091875968.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4042142728515983559.kers]
Culled 0 columns in 23 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:08] [INFO ] Computed 79 invariants in 553 ms
Computed 79 P flows in 554 ms.
Exported basis to /tmp/petrispot-output-4042142728515983559.kers
Total runtime 582 ms.
[2026-05-28 18:08:10] [INFO ] Implicit Places using invariants in 2328 ms returned []
Implicit Place search using SMT only with invariants took 2330 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 6437 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 85206 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)&&F(G((p1&&(p2 U !p0)))))))'
Stuttering acceptance computed with spot in 230 ms :[true, (NOT p0), (OR (NOT p1) p0), p0]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-04
Stuttering criterion allowed to conclude after 27 steps with 2 reset in 5 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-04 finished in 85557 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X(X((X(p0) U (p0 U p0)))) U (G(p2)||p1))))'
Support contains 500 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 18:08:17] [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-12114885345907917143.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2102395155319613918.kers'
[2026-05-28 18:08:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12114885345907917143.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2102395155319613918.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:08:18] [INFO ] Computed 79 invariants in 589 ms
Computed 79 P flows in 589 ms.
Exported basis to /tmp/petrispot-output-2102395155319613918.kers
Total runtime 606 ms.
[2026-05-28 18:08:18] [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 69790ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69843ms
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:27] [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-8413289475298319346.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10016859684918155795.kers'
[2026-05-28 18:09:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8413289475298319346.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10016859684918155795.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:09:27] [INFO ] Computed 79 invariants in 589 ms
Computed 79 P flows in 589 ms.
Exported basis to /tmp/petrispot-output-10016859684918155795.kers
Total runtime 620 ms.
[2026-05-28 18:09:28] [INFO ] Implicit Places using invariants in 1028 ms returned []
Implicit Place search using SMT only with invariants took 1046 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 91 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 71167 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((X(p0) U (p0 U p0)))) U (G(p2)||p1))))'
Stuttering acceptance computed with spot in 555 ms :[(AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (NOT p0), (AND (NOT p2) (NOT p0)), (NOT p0), (NOT p0), true, (AND (NOT p0) (NOT p2)), (AND (NOT p2) (NOT p0)), (NOT p2)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-05
Entered a terminal (fully accepting) state of product in 6 steps with 0 reset in 4 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-05 finished in 72220 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)&&(G(p1)||(p0 U G(p2)))))'
Support contains 480 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 6342 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:09:35] [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-15939774636622858182.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7358104712073625751.kers'
[2026-05-28 18:09:35] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15939774636622858182.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7358104712073625751.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:09:36] [INFO ] Computed 79 invariants in 378 ms
Computed 79 P flows in 384 ms.
Exported basis to /tmp/petrispot-output-7358104712073625751.kers
Total runtime 402 ms.
[2026-05-28 18:09:36] [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 69696ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69730ms
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:10:45] [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-13327417596261693300.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13313846098318008176.kers'
[2026-05-28 18:10:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13327417596261693300.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13313846098318008176.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:10:45] [INFO ] Computed 79 invariants in 511 ms
Computed 79 P flows in 512 ms.
Exported basis to /tmp/petrispot-output-13313846098318008176.kers
Total runtime 534 ms.
[2026-05-28 18:10:46] [INFO ] Implicit Places using invariants in 901 ms returned []
Implicit Place search using SMT only with invariants took 902 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 5850 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 82845 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)&&(G(p1)||(!p0 U G(p2)))))'
Stuttering acceptance computed with spot in 202 ms :[true, (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p1), (AND (NOT p2) (NOT p1)), (OR (NOT p0) (AND (NOT p1) (NOT p2)))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-07
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 5 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-07 finished in 83235 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(G((p0&&X(p1)))))))'
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 157 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:10:52] [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-6195170765877964438.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-282865623288539122.kers'
[2026-05-28 18:10:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6195170765877964438.kers, --Pflows, --basisKERS=/tmp/petrispot-output-282865623288539122.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:10:53] [INFO ] Computed 79 invariants in 413 ms
Computed 79 P flows in 414 ms.
Exported basis to /tmp/petrispot-output-282865623288539122.kers
Total runtime 431 ms.
[2026-05-28 18:10:53] [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 68980ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69021ms
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:12:01] [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-5722941206909414040.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15590320377853231056.kers'
[2026-05-28 18:12:01] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5722941206909414040.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15590320377853231056.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:12:02] [INFO ] Computed 79 invariants in 398 ms
Computed 79 P flows in 399 ms.
Exported basis to /tmp/petrispot-output-15590320377853231056.kers
Total runtime 419 ms.
[2026-05-28 18:12:06] [INFO ] Implicit Places using invariants in 5063 ms returned []
Implicit Place search using SMT only with invariants took 5067 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 167 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 74436 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(G((p0&&X(p1)))))))'
Stuttering acceptance computed with spot in 185 ms :[true, (NOT p0), (NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-08
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 1 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-08 finished in 74676 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)&&X(G(p1))))'
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 153 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:12:07] [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-18295040816777225026.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6059520234881634623.kers'
[2026-05-28 18:12:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18295040816777225026.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6059520234881634623.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 18:12:07] [INFO ] Computed 79 invariants in 386 ms
Computed 79 P flows in 386 ms.
Exported basis to /tmp/petrispot-output-6059520234881634623.kers
Total runtime 403 ms.
[2026-05-28 18:12:08] [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 69072ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69107ms
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:13: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-355701062009800297.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12805175600721266199.kers'
[2026-05-28 18:13:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-355701062009800297.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12805175600721266199.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:13:16] [INFO ] Computed 79 invariants in 437 ms
Computed 79 P flows in 438 ms.
Exported basis to /tmp/petrispot-output-12805175600721266199.kers
Total runtime 454 ms.
[2026-05-28 18:13:22] [INFO ] Implicit Places using invariants in 5725 ms returned []
Implicit Place search using SMT only with invariants took 5732 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 169 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 75180 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)&&X(G(p1))))'
Stuttering acceptance computed with spot in 138 ms :[(NOT p1), true, (OR (NOT p1) (NOT p0)), (OR (NOT p1) (NOT p0))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-10
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 1 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-10 finished in 75374 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||X(p0))))))'
Support contains 20 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 168 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:13:22] [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-1533932936940301182.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6045389487784703389.kers'
[2026-05-28 18:13:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1533932936940301182.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6045389487784703389.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:13:23] [INFO ] Computed 79 invariants in 487 ms
Computed 79 P flows in 488 ms.
Exported basis to /tmp/petrispot-output-6045389487784703389.kers
Total runtime 505 ms.
[2026-05-28 18:13:23] [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 68405ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 68446ms
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:14: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-15898163015186837180.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6196688323561332720.kers'
[2026-05-28 18:14:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15898163015186837180.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6196688323561332720.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:14:31] [INFO ] Computed 79 invariants in 379 ms
Computed 79 P flows in 380 ms.
Exported basis to /tmp/petrispot-output-6196688323561332720.kers
Total runtime 396 ms.
[2026-05-28 18:14:35] [INFO ] Implicit Places using invariants in 4249 ms returned []
Implicit Place search using SMT only with invariants took 4254 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 168 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 73063 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((X(p0)||p0)))))'
Stuttering acceptance computed with spot in 150 ms :[true, (NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-11
Entered a terminal (fully accepting) state of product in 3 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-11 finished in 73272 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)&&F((X(G(p3))&&p2))))'
Support contains 10 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 5023 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:14:40] [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-12934034623710751164.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7143978746547697230.kers'
[2026-05-28 18:14:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12934034623710751164.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7143978746547697230.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:14:41] [INFO ] Computed 79 invariants in 380 ms
Computed 79 P flows in 391 ms.
Exported basis to /tmp/petrispot-output-7143978746547697230.kers
Total runtime 405 ms.
[2026-05-28 18:14:41] [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 68369ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 68412ms
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:15:49] [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-2718565707594489593.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-683315341541109262.kers'
[2026-05-28 18:15:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2718565707594489593.kers, --Pflows, --basisKERS=/tmp/petrispot-output-683315341541109262.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:15:49] [INFO ] Computed 79 invariants in 380 ms
Computed 79 P flows in 381 ms.
Exported basis to /tmp/petrispot-output-683315341541109262.kers
Total runtime 397 ms.
[2026-05-28 18:15:53] [INFO ] Implicit Places using invariants in 4732 ms returned []
Implicit Place search using SMT only with invariants took 4733 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 4896 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 83089 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)&&F((X(G(p3))&&p2))))'
Stuttering acceptance computed with spot in 190 ms :[(OR (NOT p1) (NOT p2) (NOT p3)), true, (NOT p1), (OR (NOT p2) (NOT p3)), (NOT p3)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-12
Stuttering criterion allowed to conclude after 5 steps with 0 reset in 1 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-12 finished in 83338 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(p0)))'
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 154 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:15:59] [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-17576670242908494532.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-111818153932004621.kers'
[2026-05-28 18:15:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17576670242908494532.kers, --Pflows, --basisKERS=/tmp/petrispot-output-111818153932004621.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:15:59] [INFO ] Computed 79 invariants in 372 ms
Computed 79 P flows in 372 ms.
Exported basis to /tmp/petrispot-output-111818153932004621.kers
Total runtime 392 ms.
[2026-05-28 18:16:00] [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 66642ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 66746ms
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:17: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-1575664324050968217.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13559916845013071958.kers'
[2026-05-28 18:17:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1575664324050968217.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13559916845013071958.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:17:06] [INFO ] Computed 79 invariants in 415 ms
Computed 79 P flows in 415 ms.
Exported basis to /tmp/petrispot-output-13559916845013071958.kers
Total runtime 432 ms.
[2026-05-28 18:17:11] [INFO ] Implicit Places using invariants in 5456 ms returned []
Implicit Place search using SMT only with invariants took 5457 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 72535 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(F(p0)))'
Stuttering acceptance computed with spot in 72 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-13
Stuttering criterion allowed to conclude after 9 steps with 0 reset in 1 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-13 finished in 72661 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F((X((X(F(p0))&&(!p0||F(p1))))&&F(p2)))))'
Support contains 10 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 153 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:17: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-5377344532234802921.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8918687876920508274.kers'
[2026-05-28 18:17:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5377344532234802921.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8918687876920508274.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:17:12] [INFO ] Computed 79 invariants in 412 ms
Computed 79 P flows in 413 ms.
Exported basis to /tmp/petrispot-output-8918687876920508274.kers
Total runtime 428 ms.
[2026-05-28 18:17: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 68988ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69031ms
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:18:21] [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-10691824476496262587.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15286226191533282655.kers'
[2026-05-28 18:18:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10691824476496262587.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15286226191533282655.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 18:18:21] [INFO ] Computed 79 invariants in 368 ms
Computed 79 P flows in 369 ms.
Exported basis to /tmp/petrispot-output-15286226191533282655.kers
Total runtime 386 ms.
[2026-05-28 18:18:25] [INFO ] Implicit Places using invariants in 4806 ms returned []
Implicit Place search using SMT only with invariants took 4808 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 153 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 74176 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(F((X((X(F(p0))&&(!p0||F(p1))))&&F(p2)))))'
Stuttering acceptance computed with spot in 303 ms :[(OR (NOT p2) (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p1) (NOT p0)), (NOT p2), (NOT p0), (NOT p1), (AND (NOT p2) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-14
Stuttering criterion allowed to conclude after 8 steps with 0 reset in 2 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-14 finished in 74554 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 U (!p1&&X(X(X(G(p2))))))) U G(p3)))'
Support contains 8 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 151 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:18: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-6440166857348768721.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3215110100881221334.kers'
[2026-05-28 18:18:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6440166857348768721.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3215110100881221334.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:18:26] [INFO ] Computed 79 invariants in 399 ms
Computed 79 P flows in 399 ms.
Exported basis to /tmp/petrispot-output-3215110100881221334.kers
Total runtime 415 ms.
[2026-05-28 18:18: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 67925ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 67959ms
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:19:34] [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-1793669201644249723.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18228907010795003664.kers'
[2026-05-28 18:19:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1793669201644249723.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18228907010795003664.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:19:34] [INFO ] Computed 79 invariants in 381 ms
Computed 79 P flows in 382 ms.
Exported basis to /tmp/petrispot-output-18228907010795003664.kers
Total runtime 403 ms.
[2026-05-28 18:19:39] [INFO ] Implicit Places using invariants in 4657 ms returned []
Implicit Place search using SMT only with invariants took 4670 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 162 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 72959 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 U (!p1&&X(X(X(G(p2))))))) U G(p3)))'
Stuttering acceptance computed with spot in 719 ms :[(NOT p3), true, (NOT p2), (OR (NOT p2) p1), (OR (AND (NOT p2) p3) (AND p1 p3)), (NOT p3), (NOT p2), (AND (NOT p3) (NOT p2)), (NOT p2), (NOT p2), (NOT p2), (NOT p2), (AND (NOT p3) (NOT p2)), (NOT p2), (NOT p2), (NOT p2), (NOT p2), (AND (NOT p3) (NOT p2))]
Running random walk in product with property : PhilosophersDyn-PT-20-LTLFireability-15
Entered a terminal (fully accepting) state of product in 188 steps with 32 reset in 18 ms.
FORMULA PhilosophersDyn-PT-20-LTLFireability-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PhilosophersDyn-PT-20-LTLFireability-15 finished in 73802 ms.
All properties solved by simple procedures.
Total runtime 1334825 ms.
BK_STOP 1779992380230
--------------------
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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="LTLFireability"
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 LTLFireability"
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-177969942000252"
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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;