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 |
| 13592.352 | 3600000.00 | 3927210.00 | 7961.80 | ?????????T?????? | 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-177969942000250.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-177969942000250
=====================================================================
--------------------
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-CTLFireability-2024-00
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-01
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-02
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-03
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-04
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-05
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-06
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-07
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-08
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-09
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-10
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-11
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-12
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-13
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-14
FORMULA_NAME PhilosophersDyn-PT-20-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779987424477
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
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
CTLFireability PT
Running Version 202604301425
[2026-05-28 16:57:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-28 16:57:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 16:57:07] [INFO ] Load time of PNML (sax parser for PT used): 1020 ms
[2026-05-28 16:57:07] [INFO ] Transformed 540 places.
[2026-05-28 16:57:07] [INFO ] Transformed 17220 transitions.
[2026-05-28 16:57:07] [INFO ] Parsed PT model containing 540 places and 17220 transitions and 140780 arcs in 1333 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 554 ms.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
[2026-05-28 16:57:08] [INFO ] Reduced 379 identical enabling conditions.
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
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 190 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 16:57:10] [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-13568663529269205105.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14174433295065908977.kers'
[2026-05-28 16:57:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13568663529269205105.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14174433295065908977.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15510 rows 540 cols 84380 entries
Finished phase 1 with 100 SingleSign rule and 361 generalized
[2026-05-28 16:57:11] [INFO ] Computed 79 invariants in 346 ms
Computed 79 P flows in 348 ms.
Exported basis to /tmp/petrispot-output-14174433295065908977.kers
Total runtime 367 ms.
[2026-05-28 16:57:12] [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 71247ms, After SMT, problems are : Problem set: 794 solved, 16046 unsolved
Search for dead transitions found 794 dead transitions in 71471ms
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 16:58:22] [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-7169570202280335775.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15855105744599763855.kers'
[2026-05-28 16:58:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7169570202280335775.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15855105744599763855.kers]
Culled 0 columns in 16 ms.
// Phase 1: matrix 15504 rows 540 cols 84359 entries
Finished phase 1 with 97 SingleSign rule and 364 generalized
[2026-05-28 16:58:22] [INFO ] Computed 79 invariants in 404 ms
Computed 79 P flows in 405 ms.
Exported basis to /tmp/petrispot-output-15855105744599763855.kers
Total runtime 422 ms.
[2026-05-28 16:58:22] [INFO ] Implicit Places using invariants in 646 ms returned []
Implicit Place search using SMT only with invariants took 653 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 118 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 72691 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 112 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 16:58:23] [INFO ] Flow matrix only has 15504 transitions (discarded 732 similar events)
[2026-05-28 16:58:23] [INFO ] Invariant cache hit.
[2026-05-28 16:58:23] [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 70739ms, After SMT, problems are : Problem set: 234 solved, 15812 unsolved
Search for dead transitions found 234 dead transitions in 70809ms
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 16:59:34] [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-8620393997868050867.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15275971629732822660.kers'
[2026-05-28 16:59:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8620393997868050867.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15275971629732822660.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 16:59:34] [INFO ] Computed 79 invariants in 409 ms
Computed 79 P flows in 409 ms.
Exported basis to /tmp/petrispot-output-15275971629732822660.kers
Total runtime 425 ms.
[2026-05-28 16:59:34] [INFO ] Implicit Places using invariants in 632 ms returned []
Implicit Place search using SMT only with invariants took 637 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 115 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 71716 ms. Remains : 540/540 places, 16002/16236 transitions.
Support contains 540 out of 540 places after structural reductions.
[2026-05-28 16:59:40] [INFO ] Flatten gal took : 2201 ms
[2026-05-28 16:59:50] [INFO ] Flatten gal took : 3138 ms
[2026-05-28 17:00:00] [INFO ] Input system was already deterministic with 16002 transitions.
Reduction of identical properties reduced properties to check from 55 to 49
RANDOM walk for 40000 steps (4574 resets) in 28989 ms. (1 steps per ms) remains 12/49 properties
BEST_FIRST walk for 11136 steps (32 resets) in 21306 ms. (0 steps per ms) remains 12/12 properties
BEST_FIRST walk for 11800 steps (31 resets) in 20603 ms. (0 steps per ms) remains 12/12 properties
BEST_FIRST walk for 11192 steps (44 resets) in 20765 ms. (0 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (126 resets) in 631 ms. (63 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (133 resets) in 604 ms. (66 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (168 resets) in 699 ms. (57 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (130 resets) in 878 ms. (45 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (131 resets) in 572 ms. (69 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (168 resets) in 588 ms. (67 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (130 resets) in 697 ms. (57 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (116 resets) in 516 ms. (77 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (127 resets) in 520 ms. (76 steps per ms) remains 11/12 properties
[2026-05-28 17:00:28] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
[2026-05-28 17:00:28] [INFO ] Invariant cache hit.
[2026-05-28 17:00:30] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp40 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/520 variables, 28/28 constraints. Problems are: Problem set: 3 solved, 8 unsolved
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp37 is UNSAT
At refinement iteration 1 (INCLUDED_ONLY) 0/520 variables, 27/55 constraints. Problems are: Problem set: 5 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/520 variables, 0/55 constraints. Problems are: Problem set: 5 solved, 6 unsolved
Problem AtomicPropp4 is UNSAT
At refinement iteration 3 (OVERLAPS) 15/535 variables, 15/70 constraints. Problems are: Problem set: 6 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/535 variables, 4/74 constraints. Problems are: Problem set: 6 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/535 variables, 0/74 constraints. Problems are: Problem set: 6 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 5/540 variables, 5/79 constraints. Problems are: Problem set: 6 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/540 variables, 0/79 constraints. Problems are: Problem set: 6 solved, 5 unsolved
SMT process timed out in 6564ms, After SMT, problems are : Problem set: 6 solved, 5 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 481 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 4262 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:00:39] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
[2026-05-28 17:00:39] [INFO ] Invariant cache hit.
[2026-05-28 17:00:40] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 68955ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69025ms
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 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 3885 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 77211 ms. Remains : 540/540 places, 15888/16002 transitions.
Successfully simplified 6 atomic propositions for a total of 16 simplifications.
[2026-05-28 17:01:56] [INFO ] Flatten gal took : 1107 ms
[2026-05-28 17:02:07] [INFO ] Flatten gal took : 2641 ms
[2026-05-28 17:02:15] [INFO ] Input system was already deterministic with 16002 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 96 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:02:16] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
[2026-05-28 17:02:16] [INFO ] Invariant cache hit.
[2026-05-28 17:02:17] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 73112ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 73174ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:03:29] [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-13122075246833286048.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12911802879704001972.kers'
[2026-05-28 17:03:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13122075246833286048.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12911802879704001972.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:03:30] [INFO ] Computed 79 invariants in 405 ms
Computed 79 P flows in 406 ms.
Exported basis to /tmp/petrispot-output-12911802879704001972.kers
Total runtime 430 ms.
[2026-05-28 17:03:30] [INFO ] Implicit Places using invariants in 679 ms returned []
Implicit Place search using SMT only with invariants took 679 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 98 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 74089 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:03:31] [INFO ] Flatten gal took : 602 ms
[2026-05-28 17:03:32] [INFO ] Flatten gal took : 940 ms
[2026-05-28 17:03:33] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:03:35] [INFO ] Flatten gal took : 860 ms
[2026-05-28 17:03:35] [INFO ] Flatten gal took : 880 ms
[2026-05-28 17:03:36] [INFO ] Time to serialize gal into /tmp/CTLFireability18213641342993349979.gal : 254 ms
[2026-05-28 17:03:36] [INFO ] Time to serialize properties into /tmp/CTLFireability122833969490918132.ctl : 226 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18213641342993349979.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability122833969490918132.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:04:07] [INFO ] Flatten gal took : 934 ms
[2026-05-28 17:04:07] [INFO ] Applying decomposition
[2026-05-28 17:04:08] [INFO ] Flatten gal took : 848 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9659239857951478468.txt' '-o' '/tmp/graph9659239857951478468.bin' '-w' '/tmp/graph9659239857951478468.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9659239857951478468.bin' '-l' '-1' '-v' '-w' '/tmp/graph9659239857951478468.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:04:10] [INFO ] Decomposing Gal with order
[2026-05-28 17:04:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:04:21] [INFO ] Removed a total of 26046 redundant transitions.
[2026-05-28 17:04:23] [INFO ] Flatten gal took : 11139 ms
[2026-05-28 17:04:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 179 ms.
[2026-05-28 17:04:25] [INFO ] Time to serialize gal into /tmp/CTLFireability10476778878994354578.gal : 180 ms
[2026-05-28 17:04:25] [INFO ] Time to serialize properties into /tmp/CTLFireability11246613631081749038.ctl : 188 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10476778878994354578.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11246613631081749038.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 114 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:04:55] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13870456087540230673.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16143758763214114079.kers'
[2026-05-28 17:04:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13870456087540230673.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16143758763214114079.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 17:04:56] [INFO ] Computed 79 invariants in 580 ms
Computed 79 P flows in 581 ms.
Exported basis to /tmp/petrispot-output-16143758763214114079.kers
Total runtime 607 ms.
[2026-05-28 17:04:57] [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 71979ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 72027ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:06: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-1880982042740863601.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13790342134671751563.kers'
[2026-05-28 17:06:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1880982042740863601.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13790342134671751563.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:06:08] [INFO ] Computed 79 invariants in 574 ms
Computed 79 P flows in 574 ms.
Exported basis to /tmp/petrispot-output-13790342134671751563.kers
Total runtime 602 ms.
[2026-05-28 17:06:10] [INFO ] Implicit Places using invariants in 2521 ms returned []
Implicit Place search using SMT only with invariants took 2529 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 156 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 74853 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:06:11] [INFO ] Flatten gal took : 629 ms
[2026-05-28 17:06:11] [INFO ] Flatten gal took : 634 ms
[2026-05-28 17:06:12] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:06:13] [INFO ] Flatten gal took : 562 ms
[2026-05-28 17:06:14] [INFO ] Flatten gal took : 634 ms
[2026-05-28 17:06:14] [INFO ] Time to serialize gal into /tmp/CTLFireability6750146227551385443.gal : 103 ms
[2026-05-28 17:06:14] [INFO ] Time to serialize properties into /tmp/CTLFireability8008269358541816239.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6750146227551385443.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8008269358541816239.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:06:45] [INFO ] Flatten gal took : 562 ms
[2026-05-28 17:06:45] [INFO ] Applying decomposition
[2026-05-28 17:06:45] [INFO ] Flatten gal took : 581 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph4581782972707993363.txt' '-o' '/tmp/graph4581782972707993363.bin' '-w' '/tmp/graph4581782972707993363.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4581782972707993363.bin' '-l' '-1' '-v' '-w' '/tmp/graph4581782972707993363.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:06:46] [INFO ] Decomposing Gal with order
[2026-05-28 17:06:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:06:54] [INFO ] Removed a total of 27189 redundant transitions.
[2026-05-28 17:06:55] [INFO ] Flatten gal took : 8070 ms
[2026-05-28 17:06:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 137 ms.
[2026-05-28 17:06:57] [INFO ] Time to serialize gal into /tmp/CTLFireability8968818933155141073.gal : 121 ms
[2026-05-28 17:06:57] [INFO ] Time to serialize properties into /tmp/CTLFireability11882483464347084132.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8968818933155141073.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11882483464347084132.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 125 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:07:27] [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-14925060435073655470.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13784383390484695947.kers'
[2026-05-28 17:07:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14925060435073655470.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13784383390484695947.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:07:28] [INFO ] Computed 79 invariants in 550 ms
Computed 79 P flows in 551 ms.
Exported basis to /tmp/petrispot-output-13784383390484695947.kers
Total runtime 582 ms.
[2026-05-28 17:07:28] [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 70199ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70257ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:08:37] [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-4741922184150007265.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-368940424832263015.kers'
[2026-05-28 17:08:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4741922184150007265.kers, --Pflows, --basisKERS=/tmp/petrispot-output-368940424832263015.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 17:08:38] [INFO ] Computed 79 invariants in 378 ms
Computed 79 P flows in 379 ms.
Exported basis to /tmp/petrispot-output-368940424832263015.kers
Total runtime 394 ms.
[2026-05-28 17:08:39] [INFO ] Implicit Places using invariants in 1683 ms returned []
Implicit Place search using SMT only with invariants took 1684 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 157 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 72259 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:08:40] [INFO ] Flatten gal took : 770 ms
[2026-05-28 17:08:41] [INFO ] Flatten gal took : 654 ms
[2026-05-28 17:08:42] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:08:43] [INFO ] Flatten gal took : 628 ms
[2026-05-28 17:08:43] [INFO ] Flatten gal took : 655 ms
[2026-05-28 17:08:43] [INFO ] Time to serialize gal into /tmp/CTLFireability2066257788519537224.gal : 121 ms
[2026-05-28 17:08:43] [INFO ] Time to serialize properties into /tmp/CTLFireability7237375858338844140.ctl : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2066257788519537224.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7237375858338844140.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:09:14] [INFO ] Flatten gal took : 572 ms
[2026-05-28 17:09:14] [INFO ] Applying decomposition
[2026-05-28 17:09:15] [INFO ] Flatten gal took : 592 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11059121337850635586.txt' '-o' '/tmp/graph11059121337850635586.bin' '-w' '/tmp/graph11059121337850635586.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11059121337850635586.bin' '-l' '-1' '-v' '-w' '/tmp/graph11059121337850635586.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:09:16] [INFO ] Decomposing Gal with order
[2026-05-28 17:09:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:09:25] [INFO ] Removed a total of 26571 redundant transitions.
[2026-05-28 17:09:26] [INFO ] Flatten gal took : 9090 ms
[2026-05-28 17:09:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 105 ms.
[2026-05-28 17:09:27] [INFO ] Time to serialize gal into /tmp/CTLFireability12764567876019040445.gal : 126 ms
[2026-05-28 17:09:27] [INFO ] Time to serialize properties into /tmp/CTLFireability6075228087439842285.ctl : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12764567876019040445.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6075228087439842285.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 124 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:09:58] [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-16743233227206171672.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6090412754995910894.kers'
[2026-05-28 17:09:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16743233227206171672.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6090412754995910894.kers]
Culled 0 columns in 23 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:09:58] [INFO ] Computed 79 invariants in 536 ms
Computed 79 P flows in 537 ms.
Exported basis to /tmp/petrispot-output-6090412754995910894.kers
Total runtime 560 ms.
[2026-05-28 17:09:59] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 71260ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 71315ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:11: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-12884877491306747078.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6725987974091504974.kers'
[2026-05-28 17:11:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12884877491306747078.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6725987974091504974.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:11:09] [INFO ] Computed 79 invariants in 552 ms
Computed 79 P flows in 553 ms.
Exported basis to /tmp/petrispot-output-6725987974091504974.kers
Total runtime 577 ms.
[2026-05-28 17:11:10] [INFO ] Implicit Places using invariants in 855 ms returned []
Implicit Place search using SMT only with invariants took 856 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 138 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 72465 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:11:11] [INFO ] Flatten gal took : 645 ms
[2026-05-28 17:11:12] [INFO ] Flatten gal took : 775 ms
[2026-05-28 17:11:13] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:11:14] [INFO ] Flatten gal took : 808 ms
[2026-05-28 17:11:15] [INFO ] Flatten gal took : 824 ms
[2026-05-28 17:11:15] [INFO ] Time to serialize gal into /tmp/CTLFireability17456139422545903320.gal : 111 ms
[2026-05-28 17:11:15] [INFO ] Time to serialize properties into /tmp/CTLFireability5130816385618875102.ctl : 163 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17456139422545903320.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5130816385618875102.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:11:47] [INFO ] Flatten gal took : 986 ms
[2026-05-28 17:11:47] [INFO ] Applying decomposition
[2026-05-28 17:11:47] [INFO ] Flatten gal took : 819 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph15569499703146311575.txt' '-o' '/tmp/graph15569499703146311575.bin' '-w' '/tmp/graph15569499703146311575.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15569499703146311575.bin' '-l' '-1' '-v' '-w' '/tmp/graph15569499703146311575.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:11:49] [INFO ] Decomposing Gal with order
[2026-05-28 17:11:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:11:59] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:12:00] [INFO ] Flatten gal took : 10413 ms
[2026-05-28 17:12:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 90 ms.
[2026-05-28 17:12:01] [INFO ] Time to serialize gal into /tmp/CTLFireability9631334636914295488.gal : 93 ms
[2026-05-28 17:12:01] [INFO ] Time to serialize properties into /tmp/CTLFireability11175454058241065241.ctl : 101 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9631334636914295488.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11175454058241065241.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 95 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:12:32] [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-7790520744848108138.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8816767621063508045.kers'
[2026-05-28 17:12:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7790520744848108138.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8816767621063508045.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:12:32] [INFO ] Computed 79 invariants in 401 ms
Computed 79 P flows in 402 ms.
Exported basis to /tmp/petrispot-output-8816767621063508045.kers
Total runtime 420 ms.
[2026-05-28 17:12:33] [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 73572ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 73613ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:13: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-14601067356367877569.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14089149830620685201.kers'
[2026-05-28 17:13:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14601067356367877569.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14089149830620685201.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:13:46] [INFO ] Computed 79 invariants in 558 ms
Computed 79 P flows in 558 ms.
Exported basis to /tmp/petrispot-output-14089149830620685201.kers
Total runtime 575 ms.
[2026-05-28 17:13:46] [INFO ] Implicit Places using invariants in 875 ms returned []
Implicit Place search using SMT only with invariants took 876 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 92 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 74713 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:13:47] [INFO ] Flatten gal took : 682 ms
[2026-05-28 17:13:49] [INFO ] Flatten gal took : 1289 ms
[2026-05-28 17:13:51] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:13:53] [INFO ] Flatten gal took : 1192 ms
[2026-05-28 17:13:54] [INFO ] Flatten gal took : 1214 ms
[2026-05-28 17:13:54] [INFO ] Time to serialize gal into /tmp/CTLFireability17724058887672829249.gal : 108 ms
[2026-05-28 17:13:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3765562132516377124.ctl : 248 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17724058887672829249.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3765562132516377124.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:14:26] [INFO ] Flatten gal took : 1263 ms
[2026-05-28 17:14:26] [INFO ] Applying decomposition
[2026-05-28 17:14:28] [INFO ] Flatten gal took : 1204 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9815483655107841380.txt' '-o' '/tmp/graph9815483655107841380.bin' '-w' '/tmp/graph9815483655107841380.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9815483655107841380.bin' '-l' '-1' '-v' '-w' '/tmp/graph9815483655107841380.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:14:29] [INFO ] Decomposing Gal with order
[2026-05-28 17:14:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:14:39] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:14:41] [INFO ] Flatten gal took : 10355 ms
[2026-05-28 17:14:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 62 ms.
[2026-05-28 17:14:42] [INFO ] Time to serialize gal into /tmp/CTLFireability1945483376564251815.gal : 85 ms
[2026-05-28 17:14:42] [INFO ] Time to serialize properties into /tmp/CTLFireability4086308516007961453.ctl : 339 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1945483376564251815.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4086308516007961453.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 5317 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:15:18] [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-6957553212954058483.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7194839931838856643.kers'
[2026-05-28 17:15:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6957553212954058483.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7194839931838856643.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:15:18] [INFO ] Computed 79 invariants in 359 ms
Computed 79 P flows in 359 ms.
Exported basis to /tmp/petrispot-output-7194839931838856643.kers
Total runtime 375 ms.
[2026-05-28 17:15:19] [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 70131ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70168ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:16: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-17461969355738979962.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10304387392536248476.kers'
[2026-05-28 17:16:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17461969355738979962.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10304387392536248476.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:16:28] [INFO ] Computed 79 invariants in 374 ms
Computed 79 P flows in 375 ms.
Exported basis to /tmp/petrispot-output-10304387392536248476.kers
Total runtime 390 ms.
[2026-05-28 17:16:29] [INFO ] Implicit Places using invariants in 625 ms returned []
Implicit Place search using SMT only with invariants took 626 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 5456 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 81587 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:16:35] [INFO ] Flatten gal took : 693 ms
[2026-05-28 17:16:36] [INFO ] Flatten gal took : 660 ms
[2026-05-28 17:16:37] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:16:38] [INFO ] Flatten gal took : 981 ms
[2026-05-28 17:16:39] [INFO ] Flatten gal took : 664 ms
[2026-05-28 17:16:39] [INFO ] Time to serialize gal into /tmp/CTLFireability3776655551763205884.gal : 106 ms
[2026-05-28 17:16:39] [INFO ] Time to serialize properties into /tmp/CTLFireability3741522302710044298.ctl : 35 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3776655551763205884.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3741522302710044298.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:17:10] [INFO ] Flatten gal took : 644 ms
[2026-05-28 17:17:10] [INFO ] Applying decomposition
[2026-05-28 17:17:10] [INFO ] Flatten gal took : 663 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12789291581695227067.txt' '-o' '/tmp/graph12789291581695227067.bin' '-w' '/tmp/graph12789291581695227067.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12789291581695227067.bin' '-l' '-1' '-v' '-w' '/tmp/graph12789291581695227067.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:17:12] [INFO ] Decomposing Gal with order
[2026-05-28 17:17:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:17:21] [INFO ] Removed a total of 25234 redundant transitions.
[2026-05-28 17:17:22] [INFO ] Flatten gal took : 9318 ms
[2026-05-28 17:17:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 104 ms.
[2026-05-28 17:17:24] [INFO ] Time to serialize gal into /tmp/CTLFireability10509988939219781083.gal : 122 ms
[2026-05-28 17:17:24] [INFO ] Time to serialize properties into /tmp/CTLFireability746885701358215104.ctl : 42 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10509988939219781083.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability746885701358215104.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 84 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:17:54] [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-9861685191201907721.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17869577751517667440.kers'
[2026-05-28 17:17:54] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9861685191201907721.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17869577751517667440.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:17:54] [INFO ] Computed 79 invariants in 395 ms
Computed 79 P flows in 395 ms.
Exported basis to /tmp/petrispot-output-17869577751517667440.kers
Total runtime 410 ms.
[2026-05-28 17:17:55] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 72575ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 72610ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:19: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-3631811393908843384.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7381047629795957731.kers'
[2026-05-28 17:19:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3631811393908843384.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7381047629795957731.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 17:19:07] [INFO ] Computed 79 invariants in 384 ms
Computed 79 P flows in 384 ms.
Exported basis to /tmp/petrispot-output-7381047629795957731.kers
Total runtime 411 ms.
[2026-05-28 17:19:07] [INFO ] Implicit Places using invariants in 586 ms returned []
Implicit Place search using SMT only with invariants took 587 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 89 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 73388 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:19:08] [INFO ] Flatten gal took : 637 ms
[2026-05-28 17:19:09] [INFO ] Flatten gal took : 1091 ms
[2026-05-28 17:19:11] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:19:12] [INFO ] Flatten gal took : 995 ms
[2026-05-28 17:19:14] [INFO ] Flatten gal took : 1013 ms
[2026-05-28 17:19:14] [INFO ] Time to serialize gal into /tmp/CTLFireability7292684031367482252.gal : 107 ms
[2026-05-28 17:19:14] [INFO ] Time to serialize properties into /tmp/CTLFireability14345180424272477723.ctl : 183 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7292684031367482252.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14345180424272477723.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:19:46] [INFO ] Flatten gal took : 1144 ms
[2026-05-28 17:19:46] [INFO ] Applying decomposition
[2026-05-28 17:19:47] [INFO ] Flatten gal took : 986 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14792103708676668811.txt' '-o' '/tmp/graph14792103708676668811.bin' '-w' '/tmp/graph14792103708676668811.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14792103708676668811.bin' '-l' '-1' '-v' '-w' '/tmp/graph14792103708676668811.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:19:49] [INFO ] Decomposing Gal with order
[2026-05-28 17:19:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:19:58] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:20:00] [INFO ] Flatten gal took : 10089 ms
[2026-05-28 17:20:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 64 ms.
[2026-05-28 17:20:01] [INFO ] Time to serialize gal into /tmp/CTLFireability6584740381213118820.gal : 89 ms
[2026-05-28 17:20:01] [INFO ] Time to serialize properties into /tmp/CTLFireability17193896280617704885.ctl : 177 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6584740381213118820.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17193896280617704885.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 92 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:20:31] [INFO ] Flow matrix only has 15498 transitions (discarded 504 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9764555203238730415.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6878329872086534504.kers'
[2026-05-28 17:20:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9764555203238730415.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6878329872086534504.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:20:32] [INFO ] Computed 79 invariants in 385 ms
Computed 79 P flows in 386 ms.
Exported basis to /tmp/petrispot-output-6878329872086534504.kers
Total runtime 404 ms.
[2026-05-28 17:20:32] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 73240ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 73277ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:21:44] [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-1253373538534130465.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-300586755551581080.kers'
[2026-05-28 17:21:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1253373538534130465.kers, --Pflows, --basisKERS=/tmp/petrispot-output-300586755551581080.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:21:45] [INFO ] Computed 79 invariants in 569 ms
Computed 79 P flows in 572 ms.
Exported basis to /tmp/petrispot-output-300586755551581080.kers
Total runtime 600 ms.
[2026-05-28 17:21:45] [INFO ] Implicit Places using invariants in 996 ms returned []
Implicit Place search using SMT only with invariants took 997 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 144 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 74531 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:21:46] [INFO ] Flatten gal took : 543 ms
[2026-05-28 17:21:47] [INFO ] Flatten gal took : 753 ms
[2026-05-28 17:21:48] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:21:50] [INFO ] Flatten gal took : 934 ms
[2026-05-28 17:21:51] [INFO ] Flatten gal took : 948 ms
[2026-05-28 17:21:51] [INFO ] Time to serialize gal into /tmp/CTLFireability13174628316336500335.gal : 105 ms
[2026-05-28 17:21:51] [INFO ] Time to serialize properties into /tmp/CTLFireability5438408681838241522.ctl : 92 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13174628316336500335.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5438408681838241522.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:22:22] [INFO ] Flatten gal took : 987 ms
[2026-05-28 17:22:22] [INFO ] Applying decomposition
[2026-05-28 17:22:23] [INFO ] Flatten gal took : 776 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6444241480001592375.txt' '-o' '/tmp/graph6444241480001592375.bin' '-w' '/tmp/graph6444241480001592375.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6444241480001592375.bin' '-l' '-1' '-v' '-w' '/tmp/graph6444241480001592375.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:22:25] [INFO ] Decomposing Gal with order
[2026-05-28 17:22:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:22:34] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:22:35] [INFO ] Flatten gal took : 9945 ms
[2026-05-28 17:22:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 65 ms.
[2026-05-28 17:22:36] [INFO ] Time to serialize gal into /tmp/CTLFireability1016632240312881681.gal : 90 ms
[2026-05-28 17:22:36] [INFO ] Time to serialize properties into /tmp/CTLFireability12569408209740175846.ctl : 73 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1016632240312881681.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12569408209740175846.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 309 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:23: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-10279424174110739396.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2622445504442800806.kers'
[2026-05-28 17:23:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10279424174110739396.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2622445504442800806.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 17:23:07] [INFO ] Computed 79 invariants in 524 ms
Computed 79 P flows in 524 ms.
Exported basis to /tmp/petrispot-output-2622445504442800806.kers
Total runtime 540 ms.
[2026-05-28 17:23: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 75163ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 75200ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:24:22] [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-9124173139246926525.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5870611232753382909.kers'
[2026-05-28 17:24:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9124173139246926525.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5870611232753382909.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:24:22] [INFO ] Computed 79 invariants in 375 ms
Computed 79 P flows in 376 ms.
Exported basis to /tmp/petrispot-output-5870611232753382909.kers
Total runtime 404 ms.
[2026-05-28 17:24:27] [INFO ] Implicit Places using invariants in 5614 ms returned []
Implicit Place search using SMT only with invariants took 5616 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 242 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 81386 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:24:29] [INFO ] Flatten gal took : 687 ms
[2026-05-28 17:24:29] [INFO ] Flatten gal took : 565 ms
[2026-05-28 17:24:30] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:24:31] [INFO ] Flatten gal took : 614 ms
[2026-05-28 17:24:31] [INFO ] Flatten gal took : 541 ms
[2026-05-28 17:24:32] [INFO ] Time to serialize gal into /tmp/CTLFireability11046950156267586728.gal : 104 ms
[2026-05-28 17:24:32] [INFO ] Time to serialize properties into /tmp/CTLFireability17946221025110387945.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11046950156267586728.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17946221025110387945.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:25:02] [INFO ] Flatten gal took : 750 ms
[2026-05-28 17:25:02] [INFO ] Applying decomposition
[2026-05-28 17:25:03] [INFO ] Flatten gal took : 579 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13730184875901339950.txt' '-o' '/tmp/graph13730184875901339950.bin' '-w' '/tmp/graph13730184875901339950.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13730184875901339950.bin' '-l' '-1' '-v' '-w' '/tmp/graph13730184875901339950.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:25:04] [INFO ] Decomposing Gal with order
[2026-05-28 17:25:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:25:14] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:25:14] [INFO ] Flatten gal took : 9585 ms
[2026-05-28 17:25:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 59 ms.
[2026-05-28 17:25:15] [INFO ] Time to serialize gal into /tmp/CTLFireability12680307698005748685.gal : 89 ms
[2026-05-28 17:25:15] [INFO ] Time to serialize properties into /tmp/CTLFireability14749012921714563614.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12680307698005748685.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14749012921714563614.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 245 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:25:46] [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-12338589683429625152.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11938386478256407684.kers'
[2026-05-28 17:25:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12338589683429625152.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11938386478256407684.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:25:46] [INFO ] Computed 79 invariants in 394 ms
Computed 79 P flows in 395 ms.
Exported basis to /tmp/petrispot-output-11938386478256407684.kers
Total runtime 411 ms.
[2026-05-28 17:25:46] [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 70087ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70123ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:26:56] [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-12371232124078931792.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9301958504585276366.kers'
[2026-05-28 17:26:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12371232124078931792.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9301958504585276366.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 17:26:56] [INFO ] Computed 79 invariants in 386 ms
Computed 79 P flows in 386 ms.
Exported basis to /tmp/petrispot-output-9301958504585276366.kers
Total runtime 401 ms.
[2026-05-28 17:27:01] [INFO ] Implicit Places using invariants in 5186 ms returned []
Implicit Place search using SMT only with invariants took 5188 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 246 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 75820 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:27:02] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-28 17:27:02] [INFO ] Flatten gal took : 563 ms
FORMULA PhilosophersDyn-PT-20-CTLFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-28 17:27:02] [INFO ] Flatten gal took : 563 ms
[2026-05-28 17:27:03] [INFO ] Input system was already deterministic with 15888 transitions.
Support contains 0 out of 540 places (down from 15) after GAL structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 212 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:27:04] [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-16327314069602196239.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14132377635723147736.kers'
[2026-05-28 17:27:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16327314069602196239.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14132377635723147736.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:27:04] [INFO ] Computed 79 invariants in 563 ms
Computed 79 P flows in 564 ms.
Exported basis to /tmp/petrispot-output-14132377635723147736.kers
Total runtime 593 ms.
[2026-05-28 17:27:05] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
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 70259ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70311ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:28:14] [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-13089086385099310194.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14366504170685212721.kers'
[2026-05-28 17:28:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13089086385099310194.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14366504170685212721.kers]
Culled 0 columns in 25 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:28:14] [INFO ] Computed 79 invariants in 527 ms
Computed 79 P flows in 528 ms.
Exported basis to /tmp/petrispot-output-14366504170685212721.kers
Total runtime 557 ms.
[2026-05-28 17:28:21] [INFO ] Implicit Places using invariants in 7422 ms returned []
Implicit Place search using SMT only with invariants took 7424 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 256 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 78230 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:28:22] [INFO ] Flatten gal took : 571 ms
[2026-05-28 17:28:23] [INFO ] Flatten gal took : 580 ms
[2026-05-28 17:28:24] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:28:24] [INFO ] Flatten gal took : 565 ms
[2026-05-28 17:28:25] [INFO ] Flatten gal took : 579 ms
[2026-05-28 17:28:25] [INFO ] Time to serialize gal into /tmp/CTLFireability15289423376287392291.gal : 108 ms
[2026-05-28 17:28:25] [INFO ] Time to serialize properties into /tmp/CTLFireability5498780041771560639.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15289423376287392291.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5498780041771560639.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:28:56] [INFO ] Flatten gal took : 560 ms
[2026-05-28 17:28:56] [INFO ] Applying decomposition
[2026-05-28 17:28:56] [INFO ] Flatten gal took : 583 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13349644847912673933.txt' '-o' '/tmp/graph13349644847912673933.bin' '-w' '/tmp/graph13349644847912673933.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13349644847912673933.bin' '-l' '-1' '-v' '-w' '/tmp/graph13349644847912673933.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:28:58] [INFO ] Decomposing Gal with order
[2026-05-28 17:28:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:29:07] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:29:08] [INFO ] Flatten gal took : 9525 ms
[2026-05-28 17:29:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 59 ms.
[2026-05-28 17:29:09] [INFO ] Time to serialize gal into /tmp/CTLFireability946966897110699248.gal : 88 ms
[2026-05-28 17:29:09] [INFO ] Time to serialize properties into /tmp/CTLFireability4009954594257294232.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability946966897110699248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4009954594257294232.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 4525 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:29:43] [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-5612773050094565924.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8804504864631990275.kers'
[2026-05-28 17:29:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5612773050094565924.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8804504864631990275.kers]
Culled 0 columns in 27 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:29:44] [INFO ] Computed 79 invariants in 639 ms
Computed 79 P flows in 640 ms.
Exported basis to /tmp/petrispot-output-8804504864631990275.kers
Total runtime 656 ms.
[2026-05-28 17:29:45] [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 68995ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 69029ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:30:52] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14729451266472733644.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10293335026834850750.kers'
[2026-05-28 17:30:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14729451266472733644.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10293335026834850750.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:30:53] [INFO ] Computed 79 invariants in 605 ms
Computed 79 P flows in 606 ms.
Exported basis to /tmp/petrispot-output-10293335026834850750.kers
Total runtime 631 ms.
[2026-05-28 17:31:00] [INFO ] Implicit Places using invariants in 7598 ms returned []
Implicit Place search using SMT only with invariants took 7599 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 5073 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 86250 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:31:06] [INFO ] Flatten gal took : 493 ms
[2026-05-28 17:31:06] [INFO ] Flatten gal took : 586 ms
[2026-05-28 17:31:07] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:31:08] [INFO ] Flatten gal took : 589 ms
[2026-05-28 17:31:08] [INFO ] Flatten gal took : 579 ms
[2026-05-28 17:31:09] [INFO ] Time to serialize gal into /tmp/CTLFireability7216160802904990028.gal : 108 ms
[2026-05-28 17:31:09] [INFO ] Time to serialize properties into /tmp/CTLFireability12840904836899825100.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7216160802904990028.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12840904836899825100.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:31:39] [INFO ] Flatten gal took : 761 ms
[2026-05-28 17:31:39] [INFO ] Applying decomposition
[2026-05-28 17:31:40] [INFO ] Flatten gal took : 582 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph8041050542994446199.txt' '-o' '/tmp/graph8041050542994446199.bin' '-w' '/tmp/graph8041050542994446199.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8041050542994446199.bin' '-l' '-1' '-v' '-w' '/tmp/graph8041050542994446199.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:31:41] [INFO ] Decomposing Gal with order
[2026-05-28 17:31:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:31:51] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:31:52] [INFO ] Flatten gal took : 9755 ms
[2026-05-28 17:31:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 65 ms.
[2026-05-28 17:31:52] [INFO ] Time to serialize gal into /tmp/CTLFireability4842595161931742681.gal : 90 ms
[2026-05-28 17:31:52] [INFO ] Time to serialize properties into /tmp/CTLFireability544417630561623861.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4842595161931742681.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability544417630561623861.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 156 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:32:23] [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-11477050874038499059.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13212080634494811402.kers'
[2026-05-28 17:32:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11477050874038499059.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13212080634494811402.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 17:32:23] [INFO ] Computed 79 invariants in 402 ms
Computed 79 P flows in 403 ms.
Exported basis to /tmp/petrispot-output-13212080634494811402.kers
Total runtime 419 ms.
[2026-05-28 17:32:24] [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 70711ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70748ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:33:33] [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-8246815277372440228.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18220231794293507327.kers'
[2026-05-28 17:33:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8246815277372440228.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18220231794293507327.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 17:33:34] [INFO ] Computed 79 invariants in 543 ms
Computed 79 P flows in 544 ms.
Exported basis to /tmp/petrispot-output-18220231794293507327.kers
Total runtime 569 ms.
[2026-05-28 17:33:39] [INFO ] Implicit Places using invariants in 5442 ms returned []
Implicit Place search using SMT only with invariants took 5444 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 76528 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:33:40] [INFO ] Flatten gal took : 614 ms
[2026-05-28 17:33:40] [INFO ] Flatten gal took : 641 ms
[2026-05-28 17:33:41] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:33:42] [INFO ] Flatten gal took : 677 ms
[2026-05-28 17:33:43] [INFO ] Flatten gal took : 567 ms
[2026-05-28 17:33:43] [INFO ] Time to serialize gal into /tmp/CTLFireability15613376795606022847.gal : 108 ms
[2026-05-28 17:33:43] [INFO ] Time to serialize properties into /tmp/CTLFireability8738230458659366075.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15613376795606022847.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8738230458659366075.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:34:14] [INFO ] Flatten gal took : 672 ms
[2026-05-28 17:34:14] [INFO ] Applying decomposition
[2026-05-28 17:34:14] [INFO ] Flatten gal took : 635 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph5019996452998467023.txt' '-o' '/tmp/graph5019996452998467023.bin' '-w' '/tmp/graph5019996452998467023.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5019996452998467023.bin' '-l' '-1' '-v' '-w' '/tmp/graph5019996452998467023.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:34:16] [INFO ] Decomposing Gal with order
[2026-05-28 17:34:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:34:25] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:34:26] [INFO ] Flatten gal took : 9774 ms
[2026-05-28 17:34:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 73 ms.
[2026-05-28 17:34:27] [INFO ] Time to serialize gal into /tmp/CTLFireability13564306441305206610.gal : 91 ms
[2026-05-28 17:34:27] [INFO ] Time to serialize properties into /tmp/CTLFireability4582133479910627332.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13564306441305206610.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4582133479910627332.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 17:34: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-12641800868663560482.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8998187341574796946.kers'
[2026-05-28 17:34:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12641800868663560482.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8998187341574796946.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 17:34:57] [INFO ] Computed 79 invariants in 563 ms
Computed 79 P flows in 564 ms.
Exported basis to /tmp/petrispot-output-8998187341574796946.kers
Total runtime 585 ms.
[2026-05-28 17:34: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
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 70468ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 70503ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:36: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-6441065392580758990.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1245967394540582726.kers'
[2026-05-28 17:36:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6441065392580758990.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1245967394540582726.kers]
Culled 0 columns in 22 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:36:08] [INFO ] Computed 79 invariants in 562 ms
Computed 79 P flows in 563 ms.
Exported basis to /tmp/petrispot-output-1245967394540582726.kers
Total runtime 588 ms.
[2026-05-28 17:36:14] [INFO ] Implicit Places using invariants in 6626 ms returned []
Implicit Place search using SMT only with invariants took 6627 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 230 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 77530 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:36:15] [INFO ] Flatten gal took : 708 ms
[2026-05-28 17:36:16] [INFO ] Flatten gal took : 563 ms
[2026-05-28 17:36:16] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:36:17] [INFO ] Flatten gal took : 576 ms
[2026-05-28 17:36:18] [INFO ] Flatten gal took : 640 ms
[2026-05-28 17:36:18] [INFO ] Time to serialize gal into /tmp/CTLFireability9566000047377971808.gal : 101 ms
[2026-05-28 17:36:18] [INFO ] Time to serialize properties into /tmp/CTLFireability6935137297980901726.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9566000047377971808.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6935137297980901726.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:36:49] [INFO ] Flatten gal took : 588 ms
[2026-05-28 17:36:49] [INFO ] Applying decomposition
[2026-05-28 17:36:49] [INFO ] Flatten gal took : 610 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1116689764074411339.txt' '-o' '/tmp/graph1116689764074411339.bin' '-w' '/tmp/graph1116689764074411339.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1116689764074411339.bin' '-l' '-1' '-v' '-w' '/tmp/graph1116689764074411339.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:36:50] [INFO ] Decomposing Gal with order
[2026-05-28 17:36:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:37:00] [INFO ] Removed a total of 25314 redundant transitions.
[2026-05-28 17:37:00] [INFO ] Flatten gal took : 9306 ms
[2026-05-28 17:37:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 93 ms.
[2026-05-28 17:37:01] [INFO ] Time to serialize gal into /tmp/CTLFireability13361405554440257864.gal : 127 ms
[2026-05-28 17:37:01] [INFO ] Time to serialize properties into /tmp/CTLFireability1152220836708032040.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13361405554440257864.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1152220836708032040.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 146 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:37:32] [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-9279131672745765086.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6424494288357694446.kers'
[2026-05-28 17:37:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9279131672745765086.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6424494288357694446.kers]
Culled 0 columns in 24 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:37:32] [INFO ] Computed 79 invariants in 540 ms
Computed 79 P flows in 540 ms.
Exported basis to /tmp/petrispot-output-6424494288357694446.kers
Total runtime 565 ms.
[2026-05-28 17:37:33] [INFO ] State equation strengthened by 8048 read => feed constraints.
Problem TDEAD380 is UNSAT
Problem TDEAD492 is UNSAT
Problem TDEAD502 is UNSAT
Problem TDEAD592 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD1034 is UNSAT
Problem TDEAD1161 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1329 is UNSAT
Problem TDEAD1356 is UNSAT
Problem TDEAD1418 is UNSAT
Problem TDEAD1528 is UNSAT
Problem TDEAD1853 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1933 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2529 is UNSAT
Problem TDEAD2539 is UNSAT
Problem TDEAD2708 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2892 is UNSAT
Problem TDEAD2954 is UNSAT
Problem TDEAD3141 is UNSAT
Problem TDEAD3192 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3634 is UNSAT
Problem TDEAD3662 is UNSAT
Problem TDEAD4256 is UNSAT
Problem TDEAD4263 is UNSAT
Problem TDEAD4289 is UNSAT
Problem TDEAD4721 is UNSAT
Problem TDEAD4868 is UNSAT
Problem TDEAD4920 is UNSAT
Problem TDEAD5164 is UNSAT
Problem TDEAD5597 is UNSAT
Problem TDEAD5808 is UNSAT
Problem TDEAD5870 is UNSAT
Problem TDEAD5907 is UNSAT
Problem TDEAD5947 is UNSAT
Problem TDEAD5976 is UNSAT
Problem TDEAD6543 is UNSAT
Problem TDEAD6560 is UNSAT
Problem TDEAD6785 is UNSAT
Problem TDEAD6889 is UNSAT
Problem TDEAD7045 is UNSAT
Problem TDEAD7213 is UNSAT
Problem TDEAD7242 is UNSAT
Problem TDEAD7388 is UNSAT
Problem TDEAD7520 is UNSAT
Problem TDEAD7734 is UNSAT
Problem TDEAD7843 is UNSAT
Problem TDEAD7936 is UNSAT
Problem TDEAD8009 is UNSAT
Problem TDEAD8016 is UNSAT
Problem TDEAD8072 is UNSAT
Problem TDEAD8464 is UNSAT
Problem TDEAD8551 is UNSAT
Problem TDEAD8579 is UNSAT
Problem TDEAD8728 is UNSAT
Problem TDEAD8743 is UNSAT
Problem TDEAD9031 is UNSAT
Problem TDEAD9055 is UNSAT
Problem TDEAD9144 is UNSAT
Problem TDEAD9178 is UNSAT
Problem TDEAD9263 is UNSAT
Problem TDEAD9491 is UNSAT
Problem TDEAD9900 is UNSAT
Problem TDEAD10359 is UNSAT
Problem TDEAD10624 is UNSAT
Problem TDEAD10699 is UNSAT
Problem TDEAD10715 is UNSAT
Problem TDEAD10799 is UNSAT
Problem TDEAD10915 is UNSAT
Problem TDEAD10916 is UNSAT
Problem TDEAD10958 is UNSAT
Problem TDEAD11021 is UNSAT
Problem TDEAD11051 is UNSAT
Problem TDEAD11144 is UNSAT
Problem TDEAD11231 is UNSAT
Problem TDEAD11255 is UNSAT
Problem TDEAD11272 is UNSAT
Problem TDEAD11377 is UNSAT
Problem TDEAD11425 is UNSAT
Problem TDEAD11635 is UNSAT
Problem TDEAD11703 is UNSAT
Problem TDEAD11922 is UNSAT
Problem TDEAD12019 is UNSAT
Problem TDEAD12143 is UNSAT
Problem TDEAD12286 is UNSAT
Problem TDEAD12338 is UNSAT
Problem TDEAD12398 is UNSAT
Problem TDEAD12425 is UNSAT
Problem TDEAD12908 is UNSAT
Problem TDEAD12920 is UNSAT
Problem TDEAD12927 is UNSAT
Problem TDEAD13013 is UNSAT
Problem TDEAD13193 is UNSAT
Problem TDEAD13740 is UNSAT
Problem TDEAD13862 is UNSAT
Problem TDEAD13893 is UNSAT
Problem TDEAD14051 is UNSAT
Problem TDEAD14275 is UNSAT
Problem TDEAD14560 is UNSAT
Problem TDEAD14737 is UNSAT
Problem TDEAD14804 is UNSAT
Problem TDEAD14868 is UNSAT
Problem TDEAD15198 is UNSAT
Problem TDEAD15268 is UNSAT
Problem TDEAD15326 is UNSAT
Problem TDEAD15529 is UNSAT
Problem TDEAD15795 is UNSAT
Problem TDEAD15850 is UNSAT
Problem TDEAD15967 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/540 variables, 43/43 constraints. Problems are: Problem set: 114 solved, 15698 unsolved
SMT process timed out in 71037ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 71220ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:38:43] [INFO ] Flow matrix only has 15492 transitions (discarded 396 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8136305146282638743.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17157734981051612519.kers'
[2026-05-28 17:38:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8136305146282638743.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17157734981051612519.kers]
Culled 0 columns in 15 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:38:43] [INFO ] Computed 79 invariants in 403 ms
Computed 79 P flows in 403 ms.
Exported basis to /tmp/petrispot-output-17157734981051612519.kers
Total runtime 419 ms.
[2026-05-28 17:38:48] [INFO ] Implicit Places using invariants in 5197 ms returned []
Implicit Place search using SMT only with invariants took 5198 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 540/540 places, 15888/16002 transitions.
Applied a total of 0 rules in 259 ms. Remains 540 /540 variables (removed 0) and now considering 15888/15888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 76841 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:38:49] [INFO ] Flatten gal took : 688 ms
[2026-05-28 17:38:50] [INFO ] Flatten gal took : 631 ms
[2026-05-28 17:38:51] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:38:52] [INFO ] Flatten gal took : 615 ms
[2026-05-28 17:38:52] [INFO ] Flatten gal took : 646 ms
[2026-05-28 17:38:52] [INFO ] Time to serialize gal into /tmp/CTLFireability4700056734881822156.gal : 118 ms
[2026-05-28 17:38:52] [INFO ] Time to serialize properties into /tmp/CTLFireability5636192511851563984.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4700056734881822156.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5636192511851563984.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:39:23] [INFO ] Flatten gal took : 565 ms
[2026-05-28 17:39:23] [INFO ] Applying decomposition
[2026-05-28 17:39:24] [INFO ] Flatten gal took : 589 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6013902010545747831.txt' '-o' '/tmp/graph6013902010545747831.bin' '-w' '/tmp/graph6013902010545747831.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6013902010545747831.bin' '-l' '-1' '-v' '-w' '/tmp/graph6013902010545747831.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:39:25] [INFO ] Decomposing Gal with order
[2026-05-28 17:39:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:39:34] [INFO ] Removed a total of 24931 redundant transitions.
[2026-05-28 17:39:35] [INFO ] Flatten gal took : 9747 ms
[2026-05-28 17:39:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 62 ms.
[2026-05-28 17:39:36] [INFO ] Time to serialize gal into /tmp/CTLFireability10745530587118309828.gal : 98 ms
[2026-05-28 17:39:36] [INFO ] Time to serialize properties into /tmp/CTLFireability13943040071469349308.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10745530587118309828.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13943040071469349308.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 540/540 places, 16002/16002 transitions.
Applied a total of 0 rules in 146 ms. Remains 540 /540 variables (removed 0) and now considering 16002/16002 (removed 0) transitions.
Running 15812 sub problems to find dead transitions.
[2026-05-28 17:40:06] [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-18223254434929317274.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4676258914669921276.kers'
[2026-05-28 17:40:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18223254434929317274.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4676258914669921276.kers]
Culled 0 columns in 14 ms.
// Phase 1: matrix 15498 rows 540 cols 84338 entries
Finished phase 1 with 94 SingleSign rule and 367 generalized
[2026-05-28 17:40:07] [INFO ] Computed 79 invariants in 529 ms
Computed 79 P flows in 529 ms.
Exported basis to /tmp/petrispot-output-4676258914669921276.kers
Total runtime 544 ms.
[2026-05-28 17:40:07] [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 72898ms, After SMT, problems are : Problem set: 114 solved, 15698 unsolved
Search for dead transitions found 114 dead transitions in 72932ms
Found 114 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 114 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 114 transitions.
[2026-05-28 17:41:19] [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-15676502651928048979.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4051577269211222879.kers'
[2026-05-28 17:41:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15676502651928048979.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4051577269211222879.kers]
Culled 0 columns in 20 ms.
// Phase 1: matrix 15492 rows 540 cols 84317 entries
Finished phase 1 with 91 SingleSign rule and 370 generalized
[2026-05-28 17:41:20] [INFO ] Computed 79 invariants in 494 ms
Computed 79 P flows in 494 ms.
Exported basis to /tmp/petrispot-output-4051577269211222879.kers
Total runtime 515 ms.
[2026-05-28 17:41:26] [INFO ] Implicit Places using invariants in 6769 ms returned []
Implicit Place search using SMT only with invariants took 6771 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 163 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 80031 ms. Remains : 540/540 places, 15888/16002 transitions.
[2026-05-28 17:41:27] [INFO ] Flatten gal took : 492 ms
[2026-05-28 17:41:27] [INFO ] Flatten gal took : 578 ms
[2026-05-28 17:41:28] [INFO ] Input system was already deterministic with 15888 transitions.
[2026-05-28 17:41:29] [INFO ] Flatten gal took : 552 ms
[2026-05-28 17:41:29] [INFO ] Flatten gal took : 646 ms
[2026-05-28 17:41:30] [INFO ] Time to serialize gal into /tmp/CTLFireability14419029943202337798.gal : 98 ms
[2026-05-28 17:41:30] [INFO ] Time to serialize properties into /tmp/CTLFireability16568255150147456550.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14419029943202337798.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16568255150147456550.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:42:00] [INFO ] Flatten gal took : 568 ms
[2026-05-28 17:42:00] [INFO ] Applying decomposition
[2026-05-28 17:42:01] [INFO ] Flatten gal took : 592 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11645697509644537995.txt' '-o' '/tmp/graph11645697509644537995.bin' '-w' '/tmp/graph11645697509644537995.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11645697509644537995.bin' '-l' '-1' '-v' '-w' '/tmp/graph11645697509644537995.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:42:02] [INFO ] Decomposing Gal with order
[2026-05-28 17:42:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:42:11] [INFO ] Removed a total of 26485 redundant transitions.
[2026-05-28 17:42:12] [INFO ] Flatten gal took : 9395 ms
[2026-05-28 17:42:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 151 ms.
[2026-05-28 17:42:13] [INFO ] Time to serialize gal into /tmp/CTLFireability13662731124269353741.gal : 86 ms
[2026-05-28 17:42:13] [INFO ] Time to serialize properties into /tmp/CTLFireability9733105804370155299.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13662731124269353741.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9733105804370155299.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 17:42:47] [INFO ] Flatten gal took : 2650 ms
[2026-05-28 17:42:54] [INFO ] Flatten gal took : 2749 ms
[2026-05-28 17:43:01] [INFO ] Applying decomposition
[2026-05-28 17:43:04] [INFO ] Flatten gal took : 2758 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11846583144654137987.txt' '-o' '/tmp/graph11846583144654137987.bin' '-w' '/tmp/graph11846583144654137987.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11846583144654137987.bin' '-l' '-1' '-v' '-w' '/tmp/graph11846583144654137987.weights' '-q' '0' '-e' '0.001'
[2026-05-28 17:43:09] [INFO ] Decomposing Gal with order
[2026-05-28 17:43:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 17:43:21] [INFO ] Removed a total of 25005 redundant transitions.
[2026-05-28 17:43:25] [INFO ] Flatten gal took : 13422 ms
[2026-05-28 17:43:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 72 ms.
[2026-05-28 17:43:27] [INFO ] Time to serialize gal into /tmp/CTLFireability9317182039093139495.gal : 87 ms
[2026-05-28 17:43:27] [INFO ] Time to serialize properties into /tmp/CTLFireability10631285947476180184.ctl : 749 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9317182039093139495.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10631285947476180184.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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="CTLFireability"
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 CTLFireability"
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-177969942000250"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;