About the Execution of ITS-Tools for BlocksWorld-PT-17
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16209.216 | 3570448.00 | 5857636.00 | 85571.30 | TT?FFFFFFFFFFFFT | 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.r018-smll-177946788200420.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 BlocksWorld-PT-17, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-smll-177946788200420
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.8M
-rw-r--r-- 1 mcc users 8.3K Mar 5 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Mar 5 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Mar 5 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Mar 5 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Mar 15 07:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 15 07:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 15 07:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 15 07:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 5 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Mar 5 16:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Mar 5 16:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Mar 5 16:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 07:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 07:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 7.4M 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 BlocksWorld-PT-17-LTLFireability-00
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-01
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-02
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-03
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-04
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-05
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-06
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-07
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-08
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-09
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-10
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-11
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-12
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-13
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-14
FORMULA_NAME BlocksWorld-PT-17-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1779708019485
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BlocksWorld-PT-17
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-05-25 11:20:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 11:20:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 11:20:23] [INFO ] Load time of PNML (sax parser for PT used): 1231 ms
[2026-05-25 11:20:23] [INFO ] Transformed 7831 places.
[2026-05-25 11:20:23] [INFO ] Transformed 15313 transitions.
[2026-05-25 11:20:23] [INFO ] Found NUPN structural information;
[2026-05-25 11:20:23] [INFO ] Completing missing partition info from NUPN : creating a component with [pred_on_table_0, pred_arm_empty_0, pred_on_table_1, pred_on_table_2, pred_on_table_3, pred_on_table_4, pred_on_table_5, pred_on_table_6, pred_on_table_7, pred_on_table_8, pred_on_table_9, pred_on_table_10, pred_on_table_11, pred_on_table_12, pred_on_table_13, pred_on_table_14, pred_on_table_15, pred_on_table_16, pred_on_table_17, pred_on_table_18, pred_on_table_19, pred_on_table_20, pred_on_table_21, pred_on_table_22, pred_on_table_23, pred_on_table_24, pred_on_table_25, pred_on_table_26, pred_on_table_27, pred_on_table_28, pred_on_table_29, pred_on_table_30, pred_on_table_31, pred_on_table_32, pred_on_table_33, pred_on_table_34, pred_on_table_35, pred_on_table_36, pred_on_table_37, pred_on_table_38, pred_on_table_39, pred_on_table_40, pred_on_table_41, pred_on_table_42, pred_on_table_43, pred_on_table_44, pred_on_table_45, pred_on_table_46, pred_on_table_47, pred_on_table_48, pred_on_table_49, pred_on_table_50, pred_on_table_51, pred_on_table_52, pred_on_table_53, pred_on_table_54, pred_on_table_55, pred_on_table_56, pred_on_table_57, pred_on_table_58, pred_on_table_59, pred_on_table_60, pred_on_table_61, pred_on_table_62, pred_on_table_63, pred_on_table_64, pred_on_table_65, pred_on_table_66, pred_on_table_67, pred_on_table_68, pred_on_table_69, pred_on_table_70, pred_on_table_71, pred_on_table_72, pred_on_table_73, pred_on_table_74, pred_on_table_75, pred_on_table_76, pred_on_table_77, pred_on_table_78, pred_on_table_79, pred_on_table_80, pred_on_table_81, pred_on_table_82, pred_on_table_83, pred_on_table_84, pred_on_table_85, pred_on_table_86]
[2026-05-25 11:20:24] [INFO ] Parsed PT model containing 7831 places and 15313 transitions and 76536 arcs in 1668 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 33 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 4 formulas.
FORMULA BlocksWorld-PT-17-LTLFireability-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BlocksWorld-PT-17-LTLFireability-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BlocksWorld-PT-17-LTLFireability-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BlocksWorld-PT-17-LTLFireability-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 68 out of 7831 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7831/7831 places, 15313/15313 transitions.
Applied a total of 0 rules in 2152 ms. Remains 7831 /7831 variables (removed 0) and now considering 15313/15313 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7759749198350645303.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18440125174557058689.kers'
[2026-05-25 11:20:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7759749198350645303.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18440125174557058689.kers]
Normalized transition count is 15312 out of 15313 initially.
Culled 0 columns in 17 ms.
// Phase 1: matrix 15312 rows 7831 cols 76038 entries
Finished phase 1 with 7656 SingleSign rule and 0 generalized
[2026-05-25 11:20:27] [INFO ] Computed 175 invariants in 126 ms
Computed 175 P flows in 128 ms.
Exported basis to /tmp/petrispot-output-18440125174557058689.kers
Total runtime 146 ms.
[2026-05-25 11:20:51] [INFO ] Implicit Places using invariants in 24642 ms returned []
Implicit Place search using SMT only with invariants took 24706 ms to find 0 implicit places.
Running 15306 sub problems to find dead transitions.
[2026-05-25 11:20:51] [INFO ] Invariant cache hit.
[2026-05-25 11:20:52] [INFO ] State equation strengthened by 161 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD1 is UNSAT
Problem TDEAD88 is UNSAT
Problem TDEAD262 is UNSAT
Problem TDEAD350 is UNSAT
Problem TDEAD438 is UNSAT
Problem TDEAD526 is UNSAT
Problem TDEAD614 is UNSAT
Problem TDEAD702 is UNSAT
Problem TDEAD790 is UNSAT
Problem TDEAD878 is UNSAT
Problem TDEAD966 is UNSAT
Problem TDEAD1054 is UNSAT
Problem TDEAD1142 is UNSAT
Problem TDEAD1230 is UNSAT
Problem TDEAD1406 is UNSAT
Problem TDEAD1494 is UNSAT
Problem TDEAD1582 is UNSAT
Problem TDEAD1670 is UNSAT
Problem TDEAD1758 is UNSAT
Problem TDEAD1846 is UNSAT
Problem TDEAD1934 is UNSAT
Problem TDEAD2110 is UNSAT
Problem TDEAD2198 is UNSAT
Problem TDEAD2286 is UNSAT
Problem TDEAD2374 is UNSAT
Problem TDEAD2462 is UNSAT
Problem TDEAD2550 is UNSAT
Problem TDEAD2638 is UNSAT
Problem TDEAD2726 is UNSAT
Problem TDEAD2814 is UNSAT
Problem TDEAD2902 is UNSAT
Problem TDEAD2990 is UNSAT
Problem TDEAD3078 is UNSAT
Problem TDEAD3166 is UNSAT
Problem TDEAD3254 is UNSAT
Problem TDEAD3342 is UNSAT
Problem TDEAD3430 is UNSAT
Problem TDEAD3606 is UNSAT
Problem TDEAD3694 is UNSAT
Problem TDEAD3782 is UNSAT
Problem TDEAD3870 is UNSAT
Problem TDEAD3958 is UNSAT
Problem TDEAD4046 is UNSAT
Problem TDEAD4134 is UNSAT
Problem TDEAD4222 is UNSAT
Problem TDEAD4310 is UNSAT
Problem TDEAD4398 is UNSAT
Problem TDEAD4486 is UNSAT
Problem TDEAD4662 is UNSAT
Problem TDEAD4750 is UNSAT
Problem TDEAD4838 is UNSAT
Problem TDEAD4926 is UNSAT
Problem TDEAD5014 is UNSAT
Problem TDEAD5102 is UNSAT
Problem TDEAD5190 is UNSAT
Problem TDEAD5278 is UNSAT
Problem TDEAD5366 is UNSAT
Problem TDEAD5454 is UNSAT
Problem TDEAD5542 is UNSAT
Problem TDEAD5630 is UNSAT
Problem TDEAD5718 is UNSAT
Problem TDEAD5806 is UNSAT
Problem TDEAD5894 is UNSAT
Problem TDEAD5982 is UNSAT
Problem TDEAD6070 is UNSAT
Problem TDEAD6158 is UNSAT
Problem TDEAD6246 is UNSAT
Problem TDEAD6334 is UNSAT
Problem TDEAD6422 is UNSAT
Problem TDEAD6510 is UNSAT
Problem TDEAD6598 is UNSAT
Problem TDEAD6686 is UNSAT
Problem TDEAD6774 is UNSAT
Problem TDEAD6862 is UNSAT
Problem TDEAD6950 is UNSAT
Problem TDEAD7038 is UNSAT
Problem TDEAD7126 is UNSAT
Problem TDEAD7302 is UNSAT
Problem TDEAD7390 is UNSAT
Problem TDEAD7478 is UNSAT
Problem TDEAD7566 is UNSAT
Problem TDEAD7654 is UNSAT
Problem TDEAD7742 is UNSAT
Problem TDEAD7830 is UNSAT
Problem TDEAD8002 is UNSAT
Problem TDEAD8172 is UNSAT
Problem TDEAD8340 is UNSAT
Problem TDEAD8506 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/7824 variables, 163/163 constraints. Problems are: Problem set: 88 solved, 15218 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7824/23144 variables, and 163 constraints, problems are : Problem set: 88 solved, 15218 unsolved in 30979 ms.
Refiners :[Positive P Invariants (semi-flows): 163/175 constraints, State Equation: 0/7831 constraints, ReadFeed: 0/161 constraints, PredecessorRefiner: 15224/7656 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 88 solved, 15218 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7742 variables, 6/6 constraints. Problems are: Problem set: 88 solved, 15218 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7742/23144 variables, and 6 constraints, problems are : Problem set: 88 solved, 15218 unsolved in 30456 ms.
Refiners :[Positive P Invariants (semi-flows): 6/175 constraints, State Equation: 0/7831 constraints, ReadFeed: 0/161 constraints, PredecessorRefiner: 7568/7656 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 124672ms problems are : Problem set: 88 solved, 15218 unsolved
Search for dead transitions found 88 dead transitions in 124833ms
Found 88 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 88 transitions
Dead transitions reduction (with SMT) removed 88 transitions
Starting structural reductions in LTL mode, iteration 1 : 7831/7831 places, 15225/15313 transitions.
Reduce places removed 82 places and 0 transitions.
Iterating post reduction 0 with 82 rules applied. Total rules applied 82 place count 7749 transition count 15225
Applied a total of 82 rules in 2315 ms. Remains 7749 /7831 variables (removed 82) and now considering 15225/15225 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13506991769022256903.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4469219875064790221.kers'
[2026-05-25 11:22:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13506991769022256903.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4469219875064790221.kers]
Normalized transition count is 15224 out of 15225 initially.
Culled 0 columns in 16 ms.
// Phase 1: matrix 15224 rows 7749 cols 75698 entries
Finished phase 1 with 7574 SingleSign rule and 76 generalized
[2026-05-25 11:22:58] [INFO ] Computed 99 invariants in 117 ms
Computed 99 P flows in 118 ms.
Exported basis to /tmp/petrispot-output-4469219875064790221.kers
Total runtime 137 ms.
[2026-05-25 11:23:14] [INFO ] Implicit Places using invariants in 16069 ms returned []
Implicit Place search using SMT only with invariants took 16074 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 7749/7831 places, 15225/15313 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 170277 ms. Remains : 7749/7831 places, 15225/15313 transitions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 2078 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:23:16] [INFO ] Invariant cache hit.
[2026-05-25 11:23:32] [INFO ] Implicit Places using invariants in 15712 ms returned []
Implicit Place search using SMT only with invariants took 15717 ms to find 0 implicit places.
Running 15218 sub problems to find dead transitions.
[2026-05-25 11:23:32] [INFO ] Invariant cache hit.
[2026-05-25 11:23:32] [INFO ] State equation strengthened by 81 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/7742 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 15218 unsolved
SMT process timed out in 93577ms, After SMT, problems are : Problem set: 0 solved, 15218 unsolved
Search for dead transitions found 0 dead transitions in 93619ms
Finished structural reductions in LTL mode , in 1 iterations and 111464 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Support contains 68 out of 7749 places after structural reductions.
[2026-05-25 11:25:08] [INFO ] Flatten gal took : 1415 ms
[2026-05-25 11:25:09] [INFO ] Flatten gal took : 738 ms
[2026-05-25 11:25:10] [INFO ] Input system was already deterministic with 15225 transitions.
Support contains 64 out of 7749 places (down from 68) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 16031 ms. (2 steps per ms) remains 6/34 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1876 ms. (21 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1753 ms. (22 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1803 ms. (22 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1749 ms. (22 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1579 ms. (25 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1671 ms. (23 steps per ms) remains 6/6 properties
[2026-05-25 11:25:19] [INFO ] Invariant cache hit.
[2026-05-25 11:25:19] [INFO ] State equation strengthened by 81 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/15 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Problem AtomicPropp29 is UNSAT
At refinement iteration 1 (OVERLAPS) 86/101 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/101 variables, 0/1 constraints. Problems are: Problem set: 1 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 1809/1910 variables, 22/23 constraints. Problems are: Problem set: 1 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1910 variables, 0/23 constraints. Problems are: Problem set: 1 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 5839/7749 variables, 76/99 constraints. Problems are: Problem set: 1 solved, 5 unsolved
SMT process timed out in 26612ms, After SMT, problems are : Problem set: 1 solved, 5 unsolved
Fused 5 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 11 out of 7749 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 7749 transition count 15224
Applied a total of 1 rules in 203379 ms. Remains 7749 /7749 variables (removed 0) and now considering 15224/15225 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 203387 ms. Remains : 7749/7749 places, 15224/15225 transitions.
Successfully simplified 1 atomic propositions for a total of 12 simplifications.
Computed a total of 0 stabilizing places and 0 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((p0||X((!p1||X(p1)))) U (G((p0||X((!p1||X(p1)))))||(!p2&&(p0||X((!p1||X(p1)))))))))'
Support contains 6 out of 7749 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 1198 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:29:11] [INFO ] Invariant cache hit.
[2026-05-25 11:29:26] [INFO ] Implicit Places using invariants in 15271 ms returned []
Implicit Place search using SMT only with invariants took 15274 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 16476 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((p0||X((!p1||X(p1)))) U (G((p0||X((!p1||X(p1)))))||(!p2&&(p0||X((!p1||X(p1)))))))))'
Stuttering acceptance computed with spot in 393 ms :[false, false, false, (NOT p1), true]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-00
Product exploration explored 100000 steps with 50000 reset in 4419 ms.
Product exploration explored 100000 steps with 50000 reset in 3530 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 6 factoid took 15 ms. Proved property starting from automaton with 5 states, 6 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 81 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-00 TRUE TECHNIQUES KNOWLEDGE
Treatment of property BlocksWorld-PT-17-LTLFireability-00 finished in 25105 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((G(F((!p0||G(!p1))))||(F((!p0||G(!p1)))&&X((!p2||X(X(!p3))))))))'
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 901 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:29:35] [INFO ] Invariant cache hit.
[2026-05-25 11:29:52] [INFO ] Implicit Places using invariants in 17074 ms returned []
Implicit Place search using SMT only with invariants took 17076 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 17980 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((G(F((G(p1)||p0)))||(F((G(p1)||p2))&&X((X(X(p4))||p3))))))'
Stuttering acceptance computed with spot in 710 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p3) (NOT p4)) (AND (NOT p0) (NOT p1) (NOT p2))), (AND (NOT p0) (NOT p2) (NOT p1)), (AND (NOT p0) (NOT p2) (NOT p1)), (AND (NOT p0) (NOT p1) (NOT p3) (NOT p4)), (AND (NOT p0) (NOT p2) (NOT p1) (NOT p4)), (AND (NOT p0) (NOT p1) (NOT p3) (NOT p4)), (AND (NOT p0) (NOT p2) (NOT p1) (NOT p4)), (AND (NOT p0) (NOT p1) (NOT p3) (NOT p4)), (AND (NOT p0) (NOT p2) (NOT p1) (NOT p4)), (AND (NOT p0) (NOT p1) (NOT p3) (NOT p4)), (AND (NOT p0) (NOT p2) (NOT p1) (NOT p4)), (AND (NOT p0) (NOT p2) (NOT p1) (NOT p4))]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-01
Product exploration explored 100000 steps with 50000 reset in 3835 ms.
Product exploration explored 100000 steps with 50000 reset in 3464 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 16 factoid took 129 ms. Proved property starting from automaton with 12 states, 24 edges and 5 AP (stutter sensitive
Knowledge-based reduction took 178 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-01 TRUE TECHNIQUES KNOWLEDGE
Treatment of property BlocksWorld-PT-17-LTLFireability-01 finished in 26307 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p0)||G(F(!p1))) U (F(p3)&&p2))))'
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 1232 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:30:02] [INFO ] Invariant cache hit.
[2026-05-25 11:30:16] [INFO ] Implicit Places using invariants in 14156 ms returned []
Implicit Place search using SMT only with invariants took 14159 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 15393 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p0)||G(F(!p1))) U (F(p3)&&p2))))'
Stuttering acceptance computed with spot in 250 ms :[(OR (NOT p2) (NOT p3)), (OR (NOT p2) (NOT p3)), p1, p1, (AND p1 (NOT p0)), (NOT p3)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-02
Product exploration timeout after 39830 steps with 3 reset in 10002 ms.
Product exploration timeout after 39450 steps with 1 reset in 10002 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 18 factoid took 147 ms. Reduced automaton from 6 states, 13 edges and 4 AP (stutter sensitive) to 14 states, 40 edges and 4 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 11970 ms. (3 steps per ms) remains 12/17 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2015 ms. (19 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1922 ms. (20 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1421 ms. (28 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1445 ms. (27 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1402 ms. (28 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1539 ms. (25 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2163 ms. (18 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1845 ms. (21 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1286 ms. (31 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1414 ms. (28 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1660 ms. (24 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1530 ms. (26 steps per ms) remains 12/12 properties
[2026-05-25 11:30:45] [INFO ] Invariant cache hit.
[2026-05-25 11:30:45] [INFO ] State equation strengthened by 81 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 87/96 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/96 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (OVERLAPS) 1809/1905 variables, 22/23 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1905 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (OVERLAPS) 5844/7749 variables, 76/99 constraints. Problems are: Problem set: 0 solved, 12 unsolved
SMT process timed out in 23937ms, After SMT, problems are : Problem set: 0 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 7749 transition count 15224
Applied a total of 1 rules in 202066 ms. Remains 7749 /7749 variables (removed 0) and now considering 15224/15225 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 202068 ms. Remains : 7749/7749 places, 15224/15225 transitions.
Knowledge based reduction with 18 factoid took 150 ms. Reduced automaton from 14 states, 40 edges and 4 AP (stutter insensitive) to 14 states, 39 edges and 4 AP (stutter insensitive).
Stuttering acceptance computed with spot in 614 ms :[(OR (NOT p2) (NOT p3) p1), (OR (NOT p2) (NOT p3)), p1, p1, (AND p1 (NOT p0)), (NOT p3), (AND p2 (NOT p1) (NOT p0) (NOT p3)), false, (AND p2 p1 (NOT p0) (NOT p3)), false, (AND p2 (NOT p1) p0 (NOT p3)), false, (AND p2 p1 p0 (NOT p3)), false]
[2026-05-25 11:34:32] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
[2026-05-25 11:34:47] [INFO ] Invariant cache hit.
Could not prove EG (NOT p3)
Knowledge-based reduction took 265986 ms.
Stuttering acceptance computed with spot in 628 ms :[(OR (NOT p2) (NOT p3) p1), (OR (NOT p2) (NOT p3)), p1, p1, (AND p1 (NOT p0)), (NOT p3), (AND p2 (NOT p1) (NOT p0) (NOT p3)), false, (AND p2 p1 (NOT p0) (NOT p3)), false, (AND p2 (NOT p1) p0 (NOT p3)), false, (AND p2 p1 p0 (NOT p3)), false]
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 7094 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:35:10] [INFO ] Invariant cache hit.
[2026-05-25 11:35:25] [INFO ] Implicit Places using invariants in 14694 ms returned []
Implicit Place search using SMT only with invariants took 14698 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21794 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 34 factoid took 91 ms. Reduced automaton from 14 states, 39 edges and 4 AP (stutter insensitive) to 14 states, 39 edges and 4 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 10959 ms. (3 steps per ms) remains 7/17 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1437 ms. (27 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1389 ms. (28 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1318 ms. (30 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1384 ms. (28 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1440 ms. (27 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1423 ms. (28 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1345 ms. (29 steps per ms) remains 7/7 properties
[2026-05-25 11:35:30] [INFO ] Invariant cache hit.
[2026-05-25 11:35:31] [INFO ] State equation strengthened by 81 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 87/96 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/96 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (OVERLAPS) 1809/1905 variables, 22/23 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1905 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 5844/7749 variables, 76/99 constraints. Problems are: Problem set: 0 solved, 7 unsolved
SMT process timed out in 20790ms, After SMT, problems are : Problem set: 0 solved, 7 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 7749 transition count 15224
Applied a total of 1 rules in 204791 ms. Remains 7749 /7749 variables (removed 0) and now considering 15224/15225 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 204792 ms. Remains : 7749/7749 places, 15224/15225 transitions.
Knowledge based reduction with 34 factoid took 231 ms. Reduced automaton from 14 states, 39 edges and 4 AP (stutter insensitive) to 14 states, 39 edges and 4 AP (stutter insensitive).
Stuttering acceptance computed with spot in 570 ms :[(OR (NOT p2) (NOT p3) p1), (OR (NOT p2) (NOT p3)), p1, p1, (AND p1 (NOT p0)), (NOT p3), (AND p2 (NOT p1) (NOT p0) (NOT p3)), false, (AND p2 p1 (NOT p0) (NOT p3)), false, (AND p2 (NOT p1) p0 (NOT p3)), false, (AND p2 p1 p0 (NOT p3)), false]
[2026-05-25 11:39:17] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
[2026-05-25 11:39:32] [INFO ] Invariant cache hit.
Could not prove EG (NOT p3)
Knowledge-based reduction took 262256 ms.
Stuttering acceptance computed with spot in 546 ms :[(OR (NOT p2) (NOT p3) p1), (OR (NOT p2) (NOT p3)), p1, p1, (AND p1 (NOT p0)), (NOT p3), (AND p2 (NOT p1) (NOT p0) (NOT p3)), false, (AND p2 p1 (NOT p0) (NOT p3)), false, (AND p2 (NOT p1) p0 (NOT p3)), false, (AND p2 p1 p0 (NOT p3)), false]
Stuttering acceptance computed with spot in 540 ms :[(OR (NOT p2) (NOT p3) p1), (OR (NOT p2) (NOT p3)), p1, p1, (AND p1 (NOT p0)), (NOT p3), (AND p2 (NOT p1) (NOT p0) (NOT p3)), false, (AND p2 p1 (NOT p0) (NOT p3)), false, (AND p2 (NOT p1) p0 (NOT p3)), false, (AND p2 p1 p0 (NOT p3)), false]
Product exploration timeout after 41140 steps with 1 reset in 10002 ms.
Product exploration timeout after 42200 steps with 2 reset in 10002 ms.
Built C files in :
/tmp/ltsmin12208125284863050614
[2026-05-25 11:40:08] [INFO ] Too many transitions (15225) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:40:08] [INFO ] Built C files in 285ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12208125284863050614
Running compilation step : cd /tmp/ltsmin12208125284863050614;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin12208125284863050614;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin12208125284863050614;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6123 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:40:18] [INFO ] Invariant cache hit.
[2026-05-25 11:40:31] [INFO ] Implicit Places using invariants in 13672 ms returned []
Implicit Place search using SMT only with invariants took 13677 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 19807 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Built C files in :
/tmp/ltsmin10015929505482349089
[2026-05-25 11:40:31] [INFO ] Too many transitions (15225) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:40:32] [INFO ] Built C files in 203ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10015929505482349089
Running compilation step : cd /tmp/ltsmin10015929505482349089;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin10015929505482349089;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin10015929505482349089;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 11:40:36] [INFO ] Flatten gal took : 481 ms
[2026-05-25 11:40:36] [INFO ] Flatten gal took : 463 ms
[2026-05-25 11:40:36] [INFO ] Time to serialize gal into /tmp/LTL17436651844386827039.gal : 178 ms
[2026-05-25 11:40:36] [INFO ] Time to serialize properties into /tmp/LTL6485226217274887917.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL17436651844386827039.gal' '-t' 'CGAL' '-hoa' '/tmp/aut3099218317081075791.hoa' '-atoms' '/tmp/LTL6485226217274887917.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...318
Loading property file /tmp/LTL6485226217274887917.prop.
Loaded 4 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut3099218317081075791.hoa
Detected timeout of ITS tools.
[2026-05-25 11:40:52] [INFO ] Flatten gal took : 433 ms
[2026-05-25 11:40:53] [INFO ] Flatten gal took : 432 ms
[2026-05-25 11:40:53] [INFO ] Time to serialize gal into /tmp/LTL243513109129358755.gal : 106 ms
[2026-05-25 11:40:53] [INFO ] Time to serialize properties into /tmp/LTL2078081614496812657.ltl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL243513109129358755.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2078081614496812657.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...274
Read 1 LTL properties
Checking formula 0 : !((X(((G("(((pred_arm_empty_0>=1)&&(pred_clear_37>=1))&&(pred_on_4735>=1))"))||(G(F(!("(((pred_arm_empty_0>=1)&&(pred_clear_51>=1))&&(...329
Formula 0 simplified : X((F!"(((pred_arm_empty_0>=1)&&(pred_clear_37>=1))&&(pred_on_4735>=1))" & FG"(((pred_arm_empty_0>=1)&&(pred_clear_51>=1))&&(pred_on_...312
Detected timeout of ITS tools.
[2026-05-25 11:41:08] [INFO ] Flatten gal took : 426 ms
[2026-05-25 11:41:08] [INFO ] Applying decomposition
[2026-05-25 11:41:09] [INFO ] Flatten gal took : 437 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/graph16674545028207837856.txt' '-o' '/tmp/graph16674545028207837856.bin' '-w' '/tmp/graph16674545028207837856.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16674545028207837856.bin' '-l' '-1' '-v' '-w' '/tmp/graph16674545028207837856.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:41:10] [INFO ] Decomposing Gal with order
[2026-05-25 11:41:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:41:14] [INFO ] Removed a total of 29491 redundant transitions.
[2026-05-25 11:41:15] [INFO ] Flatten gal took : 3229 ms
[2026-05-25 11:41:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 1186 labels/synchronizations in 793 ms.
[2026-05-25 11:41:17] [INFO ] Time to serialize gal into /tmp/LTL10938895395361250119.gal : 192 ms
[2026-05-25 11:41:17] [INFO ] Time to serialize properties into /tmp/LTL9020885863584914823.ltl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL10938895395361250119.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9020885863584914823.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((X(((G("(((i6.u6.pred_arm_empty_0>=1)&&(u37.pred_clear_37>=1))&&(u54.pred_on_4735>=1))"))||(G(F(!("(((i6.u6.pred_arm_empty_0>=1)&&(u...388
Formula 0 simplified : X((F!"(((i6.u6.pred_arm_empty_0>=1)&&(u37.pred_clear_37>=1))&&(u54.pred_on_4735>=1))" & FG"(((i6.u6.pred_arm_empty_0>=1)&&(u51.pred_...371
Detected timeout of ITS tools.
Treatment of property BlocksWorld-PT-17-LTLFireability-02 finished in 691045 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G(p0) U ((X(p1) U p2)&&X(X(p2)))))'
Support contains 7 out of 7749 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 904 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:41:33] [INFO ] Invariant cache hit.
[2026-05-25 11:41:46] [INFO ] Implicit Places using invariants in 13736 ms returned []
Implicit Place search using SMT only with invariants took 13740 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 14646 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G(p0) U ((X(p1) U p2)&&X(X(p2)))))'
Stuttering acceptance computed with spot in 361 ms :[(NOT p2), (NOT p2), (OR (NOT p1) (NOT p2)), (NOT p2), (OR (NOT p2) (AND (NOT p0) (NOT p1))), (NOT p2), true, (NOT p2), (NOT p2), (NOT p0)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-03
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 1 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-03 finished in 15092 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 2 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6021 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:41:53] [INFO ] Invariant cache hit.
[2026-05-25 11:42:12] [INFO ] Implicit Places using invariants in 19585 ms returned []
Implicit Place search using SMT only with invariants took 19586 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 25610 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-05
Product exploration timeout after 43020 steps with 0 reset in 10001 ms.
Stack based approach found an accepted trace after 1512 steps with 0 reset with depth 1513 and stack size 1253 in 341 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-05 FALSE TECHNIQUES STACK_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-05 finished in 36053 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0 U X(p0))&&X(F(p1))))'
Support contains 7 out of 7749 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 1082 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:42:24] [INFO ] Invariant cache hit.
[2026-05-25 11:42:39] [INFO ] Implicit Places using invariants in 14622 ms returned []
Implicit Place search using SMT only with invariants took 14623 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 15710 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0 U X(p0))&&X(F(p1))))'
Stuttering acceptance computed with spot in 156 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p0), true]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-07
Entered a terminal (fully accepting) state of product in 22629 steps with 2 reset in 5662 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-07 finished in 21591 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&((p0 U (G(!p1)||(!p1&&F(p2)))) U p3)))'
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6283 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:42:51] [INFO ] Invariant cache hit.
[2026-05-25 11:43:04] [INFO ] Implicit Places using invariants in 13150 ms returned []
Implicit Place search using SMT only with invariants took 13151 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 19434 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&((p0 U (G(!p1)||(!p1&&F(p2)))) U p3)))'
Stuttering acceptance computed with spot in 277 ms :[(OR (NOT p0) (NOT p3)), true, (NOT p0), p1, (NOT p3), (AND (NOT p2) p1), (AND p1 (NOT p2)), (NOT p2)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-08
Product exploration timeout after 40290 steps with 4 reset in 10001 ms.
Stack based approach found an accepted trace after 1150 steps with 0 reset with depth 1151 and stack size 978 in 329 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-08 FALSE TECHNIQUES STACK_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-08 finished in 30113 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 2 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6070 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:43:21] [INFO ] Invariant cache hit.
[2026-05-25 11:43:37] [INFO ] Implicit Places using invariants in 16764 ms returned []
Implicit Place search using SMT only with invariants took 16765 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22836 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Stuttering acceptance computed with spot in 33 ms :[(NOT p0)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-10
Product exploration timeout after 42240 steps with 6 reset in 10001 ms.
Stack based approach found an accepted trace after 10 steps with 0 reset with depth 11 and stack size 11 in 4 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-10 FALSE TECHNIQUES STACK_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-10 finished in 32927 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(G(p0))&&F((!p1 U (G(!p1)||(F(!p3)&&p2))))))'
Support contains 9 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6541 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:43:54] [INFO ] Invariant cache hit.
[2026-05-25 11:44:10] [INFO ] Implicit Places using invariants in 15919 ms returned []
Implicit Place search using SMT only with invariants took 15920 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22463 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(G(p0))&&F((!p1 U (G(!p1)||(F(!p3)&&p2))))))'
Stuttering acceptance computed with spot in 160 ms :[(OR (NOT p0) (AND p1 (NOT p2)) (AND p1 p3)), (NOT p0), (OR (AND p1 (NOT p2)) (AND p1 p3)), (AND p3 p1)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-11
Product exploration timeout after 41470 steps with 0 reset in 10002 ms.
Product exploration timeout after 42300 steps with 0 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 19 factoid took 54 ms. Reduced automaton from 4 states, 10 edges and 4 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 31886 steps (6 resets) in 8657 ms. (3 steps per ms) remains 0/1 properties
Knowledge based reduction with 19 factoid took 62 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Knowledge-based reduction took 3062 ms.
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Support contains 3 out of 7749 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6282 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:44:40] [INFO ] Invariant cache hit.
[2026-05-25 11:44:53] [INFO ] Implicit Places using invariants in 13526 ms returned []
Implicit Place search using SMT only with invariants took 13527 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 19811 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 46 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 39681 steps (8 resets) in 10608 ms. (3 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 55 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Knowledge-based reduction took 2923 ms.
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Product exploration timeout after 42900 steps with 0 reset in 10002 ms.
Stack based approach found an accepted trace after 12181 steps with 0 reset with depth 12182 and stack size 10608 in 2800 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-11 FALSE TECHNIQUES STACK_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-11 finished in 81447 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Support contains 4 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6133 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:45:15] [INFO ] Invariant cache hit.
[2026-05-25 11:45:33] [INFO ] Implicit Places using invariants in 17686 ms returned []
Implicit Place search using SMT only with invariants took 17691 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 23826 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Stuttering acceptance computed with spot in 130 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-12
Product exploration timeout after 41640 steps with 1 reset in 10002 ms.
Stack based approach found an accepted trace after 29533 steps with 2 reset with depth 18594 and stack size 16501 in 7155 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-12 FALSE TECHNIQUES STACK_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-12 finished in 41173 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 3 out of 7749 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 6239 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:45:56] [INFO ] Invariant cache hit.
[2026-05-25 11:46:11] [INFO ] Implicit Places using invariants in 14763 ms returned []
Implicit Place search using SMT only with invariants took 14765 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21009 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Stuttering acceptance computed with spot in 70 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-13
Product exploration timeout after 42070 steps with 3 reset in 10001 ms.
Stack based approach found an accepted trace after 8 steps with 0 reset with depth 9 and stack size 9 in 3 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-13 FALSE TECHNIQUES STACK_TEST
Treatment of property BlocksWorld-PT-17-LTLFireability-13 finished in 31151 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&X((!p1 U (!p2||G(!p1))))))'
Support contains 6 out of 7749 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7749/7749 places, 15225/15225 transitions.
Applied a total of 0 rules in 896 ms. Remains 7749 /7749 variables (removed 0) and now considering 15225/15225 (removed 0) transitions.
[2026-05-25 11:46:22] [INFO ] Invariant cache hit.
[2026-05-25 11:46:39] [INFO ] Implicit Places using invariants in 17169 ms returned []
Implicit Place search using SMT only with invariants took 17170 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 18068 ms. Remains : 7749/7749 places, 15225/15225 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&X((!p1 U (!p2||G(!p1))))))'
Stuttering acceptance computed with spot in 118 ms :[(OR (NOT p0) (AND p1 p2)), (NOT p0), (AND p2 p1), true]
Running random walk in product with property : BlocksWorld-PT-17-LTLFireability-15
Product exploration explored 100000 steps with 50000 reset in 3482 ms.
Product exploration explored 100000 steps with 50000 reset in 3217 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 11 factoid took 12 ms. Proved property starting from automaton with 4 states, 6 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 54 ms.
FORMULA BlocksWorld-PT-17-LTLFireability-15 TRUE TECHNIQUES KNOWLEDGE
Treatment of property BlocksWorld-PT-17-LTLFireability-15 finished in 25000 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p0)||G(F(!p1))) U (F(p3)&&p2))))'
Spot run failed in 100 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-25 11:46:47] [INFO ] Flatten gal took : 446 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin12646568202163582427
[2026-05-25 11:46:47] [INFO ] Too many transitions (15225) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:46:47] [INFO ] Built C files in 173ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12646568202163582427
Running compilation step : cd /tmp/ltsmin12646568202163582427;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-25 11:46:47] [INFO ] Applying decomposition
[2026-05-25 11:46:48] [INFO ] Flatten gal took : 448 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/graph7808950595399181206.txt' '-o' '/tmp/graph7808950595399181206.bin' '-w' '/tmp/graph7808950595399181206.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7808950595399181206.bin' '-l' '-1' '-v' '-w' '/tmp/graph7808950595399181206.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:46:49] [INFO ] Decomposing Gal with order
[2026-05-25 11:46:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:46:53] [INFO ] Removed a total of 29491 redundant transitions.
[2026-05-25 11:46:53] [INFO ] Flatten gal took : 2807 ms
[2026-05-25 11:46:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 908 labels/synchronizations in 829 ms.
[2026-05-25 11:46:55] [INFO ] Time to serialize gal into /tmp/LTLFireability666553074304772600.gal : 102 ms
[2026-05-25 11:46:55] [INFO ] Time to serialize properties into /tmp/LTLFireability9641409318366027512.ltl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLFireability666553074304772600.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability9641409318366027512.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(((G("(((i63.u67.pred_arm_empty_0>=1)&&(u37.pred_clear_37>=1))&&(u37.pred_on_4735>=1))"))||(G(F(!("(((i63.u67.pred_arm_empty_0>=1)...393
Formula 0 simplified : X((F!"(((i63.u67.pred_arm_empty_0>=1)&&(u37.pred_clear_37>=1))&&(u37.pred_on_4735>=1))" & FG"(((i63.u67.pred_arm_empty_0>=1)&&(u51.p...376
Compilation finished in 249134 ms.
Running link step : cd /tmp/ltsmin12646568202163582427;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 366 ms.
Running LTSmin : cd /tmp/ltsmin12646568202163582427;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X((([]((LTLAPp0==true))||[](<>(!(LTLAPp1==true)))) U (<>((LTLAPp3==true))&&(LTLAPp2==true))))' '--buchi-type=spotba'
ITS-tools command line returned an error code 137
[2026-05-25 11:58:05] [INFO ] Applying decomposition
[2026-05-25 11:58:06] [INFO ] Flatten gal took : 605 ms
[2026-05-25 11:58:06] [INFO ] Decomposing Gal with order
[2026-05-25 11:58:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:58:23] [INFO ] Removed a total of 45067 redundant transitions.
[2026-05-25 11:58:25] [INFO ] Flatten gal took : 16409 ms
[2026-05-25 11:58:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1119 ms.
[2026-05-25 11:58:27] [INFO ] Time to serialize gal into /tmp/LTLFireability4505251216937747870.gal : 485 ms
[2026-05-25 11:58:27] [INFO ] Time to serialize properties into /tmp/LTLFireability9153554642336137629.ltl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLFireability4505251216937747870.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability9153554642336137629.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((X(((G("(((missing.pred_arm_empty_0>=1)&&(u126.pred_clear_37>=1))&&(u32.pred_on_4735>=1))"))||(G(F(!("(((missing.pred_arm_empty_0>=1...397
Formula 0 simplified : X((F!"(((missing.pred_arm_empty_0>=1)&&(u126.pred_clear_37>=1))&&(u32.pred_on_4735>=1))" & FG"(((missing.pred_arm_empty_0>=1)&&(u140...380
ITS-tools command line returned an error code 137
[2026-05-25 12:08:01] [INFO ] Flatten gal took : 5434 ms
[2026-05-25 12:08:35] [INFO ] Input system was already deterministic with 15225 transitions.
[2026-05-25 12:08:36] [INFO ] Transformed 7749 places.
[2026-05-25 12:08:36] [INFO ] Transformed 15225 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2026-05-25 12:08:46] [INFO ] Time to serialize gal into /tmp/LTLFireability9453039021674056245.gal : 451 ms
[2026-05-25 12:08:46] [INFO ] Time to serialize properties into /tmp/LTLFireability9403971275210036046.ltl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLFireability9453039021674056245.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability9403971275210036046.ltl' '-c' '-stutter-deadlock' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...342
Read 1 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((X(((G("(((pred_arm_empty_0>=1)&&(pred_clear_37>=1))&&(pred_on_4735>=1))"))||(G(F(!("(((pred_arm_empty_0>=1)&&(pred_clear_51>=1))&&(...329
Formula 0 simplified : X((F!"(((pred_arm_empty_0>=1)&&(pred_clear_37>=1))&&(pred_on_4735>=1))" & FG"(((pred_arm_empty_0>=1)&&(pred_clear_51>=1))&&(pred_on_...312
BK_STOP 1779711589933
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BlocksWorld-PT-17"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is BlocksWorld-PT-17, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-smll-177946788200420"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-17.tgz
mv BlocksWorld-PT-17 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;