About the Execution of ITS-Tools for PolyORBLF-PT-S04J06T10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16126.363 | 3600000.00 | 4578198.00 | 17051.70 | FFFF??F?FFFF?FFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r210-smll-177969942200500.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 PolyORBLF-PT-S04J06T10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-177969942200500
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.3M
-rw-r--r-- 1 mcc users 28K Mar 8 15:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 139K Mar 8 15:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 71K Mar 8 15:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 354K Mar 8 15:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 13K Mar 16 08:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Mar 16 08:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 16 08:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 54K Mar 16 08:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 53K Mar 8 15:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 235K Mar 8 15:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 353K Mar 8 15:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.6M Mar 8 15:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 16 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.1K Mar 16 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 4.3M 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 PolyORBLF-PT-S04J06T10-LTLFireability-00
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-01
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-02
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-03
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-04
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-05
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-06
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-07
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-08
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-09
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-10
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-11
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-12
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-13
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-14
FORMULA_NAME PolyORBLF-PT-S04J06T10-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1780294536045
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S04J06T10
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-06-01 06:15:37] [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-06-01 06:15:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 06:15:38] [INFO ] Load time of PNML (sax parser for PT used): 642 ms
[2026-06-01 06:15:38] [INFO ] Transformed 966 places.
[2026-06-01 06:15:38] [INFO ] Transformed 5354 transitions.
[2026-06-01 06:15:38] [INFO ] Parsed PT model containing 966 places and 5354 transitions and 36134 arcs in 850 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 25 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 1 formulas.
[2026-06-01 06:15:38] [INFO ] Reduced 60 identical enabling conditions.
Ensure Unique test removed 2710 transitions
Reduce redundant transitions removed 2710 transitions.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 277 out of 966 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 966/966 places, 2644/2644 transitions.
Ensure Unique test removed 4 places
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 962 transition count 2644
Applied a total of 4 rules in 177 ms. Remains 962 /966 variables (removed 4) and now considering 2644/2644 (removed 0) transitions.
Running 2640 sub problems to find dead transitions.
[2026-06-01 06:15:39] [INFO ] Flow matrix only has 2604 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15588792228932001110.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6760954959801882470.kers'
[2026-06-01 06:15:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15588792228932001110.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6760954959801882470.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2604 rows 957 cols 12102 entries
Finished phase 1 with 608 SingleSign rule and 296 generalized
[2026-06-01 06:15:39] [INFO ] Computed 58 invariants in 31 ms
Computed 58 P flows in 32 ms.
Exported basis to /tmp/petrispot-output-6760954959801882470.kers
Total runtime 37 ms.
[2026-06-01 06:15:39] [INFO ] State equation strengthened by 200 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/958 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2640 unsolved
SMT process timed out in 24149ms, After SMT, problems are : Problem set: 0 solved, 2640 unsolved
Search for dead transitions found 0 dead transitions in 24211ms
[2026-06-01 06:16:03] [INFO ] Flow matrix only has 2604 transitions (discarded 40 similar events)
[2026-06-01 06:16:03] [INFO ] Invariant cache hit.
[2026-06-01 06:16:05] [INFO ] Implicit Places using invariants in 1419 ms returned [102, 226, 281, 345, 472, 528, 563, 670, 724, 840]
Discarding 10 places :
Implicit Place search using SMT only with invariants took 1441 ms to find 10 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 952/966 places, 2644/2644 transitions.
Applied a total of 0 rules in 35 ms. Remains 952 /952 variables (removed 0) and now considering 2644/2644 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 25984 ms. Remains : 952/966 places, 2644/2644 transitions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Applied a total of 0 rules in 42 ms. Remains 952 /952 variables (removed 0) and now considering 2644/2644 (removed 0) transitions.
Running 2640 sub problems to find dead transitions.
[2026-06-01 06:16:05] [INFO ] Flow matrix only has 2604 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8506506502211036804.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16273187753837028327.kers'
[2026-06-01 06:16:05] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8506506502211036804.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16273187753837028327.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 3 ms.
// Phase 1: matrix 2604 rows 947 cols 12082 entries
Finished phase 1 with 618 SingleSign rule and 286 generalized
[2026-06-01 06:16:05] [INFO ] Computed 48 invariants in 35 ms
Computed 48 P flows in 37 ms.
Exported basis to /tmp/petrispot-output-16273187753837028327.kers
Total runtime 40 ms.
[2026-06-01 06:16:05] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/948 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2640 unsolved
SMT process timed out in 22988ms, After SMT, problems are : Problem set: 0 solved, 2640 unsolved
Search for dead transitions found 0 dead transitions in 23003ms
[2026-06-01 06:16:28] [INFO ] Flow matrix only has 2604 transitions (discarded 40 similar events)
[2026-06-01 06:16:28] [INFO ] Invariant cache hit.
[2026-06-01 06:16:29] [INFO ] Implicit Places using invariants in 1250 ms returned []
[2026-06-01 06:16:29] [INFO ] Flow matrix only has 2604 transitions (discarded 40 similar events)
[2026-06-01 06:16:29] [INFO ] Invariant cache hit.
[2026-06-01 06:16:33] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:17:04] [INFO ] Performed 341/952 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:17:35] [INFO ] Performed 748/952 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2026-06-01 06:17:53] [INFO ] Implicit Places using invariants and state equation in 83494 ms returned []
Implicit Place search using SMT with State Equation took 84756 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 107812 ms. Remains : 952/952 places, 2644/2644 transitions.
Support contains 277 out of 952 places after structural reductions.
[2026-06-01 06:17:53] [INFO ] Flatten gal took : 449 ms
[2026-06-01 06:17:54] [INFO ] Flatten gal took : 193 ms
[2026-06-01 06:17:54] [INFO ] Input system was already deterministic with 2644 transitions.
Reduction of identical properties reduced properties to check from 40 to 39
RANDOM walk for 25612 steps (6 resets) in 1826 ms. (14 steps per ms) remains 0/39 properties
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-06 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
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(G(p0))||(X(F(p1))&&(p0 U (p2||G(p0))))))'
Support contains 30 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Applied a total of 20 rules in 110 ms. Remains 942 /952 variables (removed 10) and now considering 2634/2644 (removed 10) transitions.
Running 2630 sub problems to find dead transitions.
[2026-06-01 06:17:55] [INFO ] Flow matrix only has 2594 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3477360204399082982.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4004924039448246861.kers'
[2026-06-01 06:17:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3477360204399082982.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4004924039448246861.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 3 ms.
// Phase 1: matrix 2594 rows 937 cols 12062 entries
Finished phase 1 with 608 SingleSign rule and 286 generalized
[2026-06-01 06:17:55] [INFO ] Computed 48 invariants in 32 ms
Computed 48 P flows in 33 ms.
Exported basis to /tmp/petrispot-output-4004924039448246861.kers
Total runtime 36 ms.
[2026-06-01 06:17:56] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/938 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2630 unsolved
SMT process timed out in 23527ms, After SMT, problems are : Problem set: 0 solved, 2630 unsolved
Search for dead transitions found 0 dead transitions in 23538ms
[2026-06-01 06:18:19] [INFO ] Flow matrix only has 2594 transitions (discarded 40 similar events)
[2026-06-01 06:18:19] [INFO ] Invariant cache hit.
[2026-06-01 06:18:21] [INFO ] Implicit Places using invariants in 2271 ms returned []
[2026-06-01 06:18:21] [INFO ] Flow matrix only has 2594 transitions (discarded 40 similar events)
[2026-06-01 06:18:21] [INFO ] Invariant cache hit.
[2026-06-01 06:18:25] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:18:56] [INFO ] Performed 272/942 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:19:27] [INFO ] Performed 770/942 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:19:40] [INFO ] Implicit Places using invariants and state equation in 78397 ms returned []
Implicit Place search using SMT with State Equation took 80672 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 942/952 places, 2634/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 104333 ms. Remains : 942/952 places, 2634/2644 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))||(X(F(p1))&&(p0 U (p2||G(p0))))))'
Stuttering acceptance computed with spot in 402 ms :[(OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p2) (NOT p0)), true, (NOT p1)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-00
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 3 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-00 finished in 104918 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(!(X(((F(p0)&&p1)||F(p2))) U (p0 U p3)))))'
Support contains 84 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 152 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Running 2620 sub problems to find dead transitions.
[2026-06-01 06:19:40] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13815909582838863452.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6864286849142393193.kers'
[2026-06-01 06:19:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13815909582838863452.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6864286849142393193.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2584 rows 927 cols 12042 entries
Finished phase 1 with 598 SingleSign rule and 286 generalized
[2026-06-01 06:19:40] [INFO ] Computed 48 invariants in 39 ms
Computed 48 P flows in 40 ms.
Exported basis to /tmp/petrispot-output-6864286849142393193.kers
Total runtime 43 ms.
[2026-06-01 06:19:40] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/928 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2620 unsolved
SMT process timed out in 23099ms, After SMT, problems are : Problem set: 0 solved, 2620 unsolved
Search for dead transitions found 0 dead transitions in 23112ms
[2026-06-01 06:20:03] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:20:03] [INFO ] Invariant cache hit.
[2026-06-01 06:20:05] [INFO ] Implicit Places using invariants in 1950 ms returned []
[2026-06-01 06:20:05] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:20:05] [INFO ] Invariant cache hit.
[2026-06-01 06:20:09] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:20:40] [INFO ] Performed 201/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:21:10] [INFO ] Performed 370/932 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:21:41] [INFO ] Performed 855/932 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2026-06-01 06:21:44] [INFO ] Implicit Places using invariants and state equation in 98844 ms returned []
Implicit Place search using SMT with State Equation took 100800 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 124080 ms. Remains : 932/952 places, 2624/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(!(X(((F(p0)&&p1)||F(p2))) U (p0 U p3)))))'
Stuttering acceptance computed with spot in 432 ms :[true, (OR p2 p0), p3, p3, p3, p3, p3, p2, (AND p2 p3), (OR (AND p0 p1 p3) (AND p2 p3))]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-01
Entered a terminal (fully accepting) state of product in 128 steps with 0 reset in 13 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-01 finished in 124601 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(X(X(G((p0 U p1))))) U G((G(p3)||p2))))'
Support contains 31 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 105 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Skipped dead transition search.
[2026-06-01 06:21:45] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:21:45] [INFO ] Invariant cache hit.
[2026-06-01 06:21:47] [INFO ] Implicit Places using invariants in 1932 ms returned []
[2026-06-01 06:21:47] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:21:47] [INFO ] Invariant cache hit.
[2026-06-01 06:21:50] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:22:21] [INFO ] Performed 180/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:22:51] [INFO ] Performed 407/932 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:23:21] [INFO ] Performed 655/932 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-06-01 06:23:52] [INFO ] Performed 811/932 implicitness test of which 0 returned IMPLICIT in 121 seconds.
[2026-06-01 06:23:52] [INFO ] Timeout of Implicit test with SMT after 121 seconds.
[2026-06-01 06:23:52] [INFO ] Implicit Places using invariants and state equation in 125342 ms returned []
Implicit Place search using SMT with State Equation took 127279 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 127388 ms. Remains : 932/952 places, 2624/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(X(X(G((p0 U p1))))) U G((G(p3)||p2))))'
Stuttering acceptance computed with spot in 789 ms :[(AND (NOT p2) (NOT p3)), (NOT p1), (AND (NOT p1) (NOT p3)), (AND (NOT p2) (NOT p3)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p1), (NOT p1), true, (NOT p1), (AND (NOT p1) (NOT p3)), (AND (NOT p1) (NOT p2) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p3), (AND (NOT p3) (NOT p2))]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-02
Entered a terminal (fully accepting) state of product in 3 steps with 0 reset in 1 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-02 finished in 128260 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(G(p0))))'
Support contains 10 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 143 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Skipped dead transition search.
[2026-06-01 06:23:53] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:23:53] [INFO ] Invariant cache hit.
[2026-06-01 06:23:56] [INFO ] Implicit Places using invariants in 2552 ms returned []
[2026-06-01 06:23:56] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:23:56] [INFO ] Invariant cache hit.
[2026-06-01 06:23:59] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:24:30] [INFO ] Performed 267/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:25:01] [INFO ] Performed 791/932 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:25:08] [INFO ] Implicit Places using invariants and state equation in 72239 ms returned []
Implicit Place search using SMT with State Equation took 74793 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 74938 ms. Remains : 932/952 places, 2624/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(G(p0))))'
Stuttering acceptance computed with spot in 114 ms :[true, (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-03
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 1 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-03 finished in 75102 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 12 out of 952 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 90 transitions
Trivial Post-agglo rules discarded 90 transitions
Performed 90 trivial Post agglomeration. Transition count delta: 90
Iterating post reduction 0 with 90 rules applied. Total rules applied 90 place count 952 transition count 2554
Reduce places removed 90 places and 0 transitions.
Iterating post reduction 1 with 90 rules applied. Total rules applied 180 place count 862 transition count 2554
Performed 120 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 120 Pre rules applied. Total rules applied 180 place count 862 transition count 2434
Deduced a syphon composed of 120 places in 3 ms
Reduce places removed 120 places and 0 transitions.
Iterating global reduction 2 with 240 rules applied. Total rules applied 420 place count 742 transition count 2434
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 426 place count 736 transition count 2428
Iterating global reduction 2 with 6 rules applied. Total rules applied 432 place count 736 transition count 2428
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 3 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 2 with 180 rules applied. Total rules applied 612 place count 646 transition count 2338
Applied a total of 612 rules in 484 ms. Remains 646 /952 variables (removed 306) and now considering 2338/2644 (removed 306) transitions.
Running 2334 sub problems to find dead transitions.
[2026-06-01 06:25:09] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1553104429255002906.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7549503436977930395.kers'
[2026-06-01 06:25:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1553104429255002906.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7549503436977930395.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 4 ms.
// Phase 1: matrix 2298 rows 641 cols 11754 entries
Finished phase 1 with 334 SingleSign rule and 264 generalized
[2026-06-01 06:25:09] [INFO ] Computed 48 invariants in 42 ms
Computed 48 P flows in 43 ms.
Exported basis to /tmp/petrispot-output-7549503436977930395.kers
Total runtime 49 ms.
[2026-06-01 06:25:09] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/642 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2334 unsolved
SMT process timed out in 23149ms, After SMT, problems are : Problem set: 0 solved, 2334 unsolved
Search for dead transitions found 0 dead transitions in 23166ms
[2026-06-01 06:25:32] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:25:32] [INFO ] Invariant cache hit.
[2026-06-01 06:25:35] [INFO ] Implicit Places using invariants in 3535 ms returned []
[2026-06-01 06:25:35] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:25:35] [INFO ] Invariant cache hit.
[2026-06-01 06:25:39] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:26:10] [INFO ] Performed 256/646 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:26:28] [INFO ] Implicit Places using invariants and state equation in 52653 ms returned []
Implicit Place search using SMT with State Equation took 56195 ms to find 0 implicit places.
[2026-06-01 06:26:28] [INFO ] Redundant transitions in 182 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 646/952 places, 2338/2644 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 80055 ms. Remains : 646/952 places, 2338/2644 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 42 ms :[(NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-04
Product exploration explored 100000 steps with 4272 reset in 1221 ms.
Product exploration explored 100000 steps with 4276 reset in 991 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 3 factoid took 56 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
RANDOM walk for 111 steps (0 resets) in 5 ms. (18 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 57 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
[2026-06-01 06:26:31] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:26:31] [INFO ] Invariant cache hit.
[2026-06-01 06:26:33] [INFO ] [Real]Absence check using 17 positive place invariants in 53 ms returned sat
[2026-06-01 06:26:35] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 1567 ms returned sat
[2026-06-01 06:26:46] [INFO ] [Real]Absence check using state equation in 11117 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15216 ms.
Stuttering acceptance computed with spot in 37 ms :[(NOT p0)]
Support contains 12 out of 646 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 646/646 places, 2338/2338 transitions.
Applied a total of 0 rules in 91 ms. Remains 646 /646 variables (removed 0) and now considering 2338/2338 (removed 0) transitions.
Skipped dead transition search.
[2026-06-01 06:26:46] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:26:46] [INFO ] Invariant cache hit.
[2026-06-01 06:26:49] [INFO ] Implicit Places using invariants in 3291 ms returned []
[2026-06-01 06:26:49] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:26:49] [INFO ] Invariant cache hit.
[2026-06-01 06:26:52] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:27:25] [INFO ] Performed 256/646 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-06-01 06:27:43] [INFO ] Implicit Places using invariants and state equation in 54294 ms returned []
Implicit Place search using SMT with State Equation took 57590 ms to find 0 implicit places.
[2026-06-01 06:27:44] [INFO ] Redundant transitions in 201 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 57892 ms. Remains : 646/646 places, 2338/2338 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 52 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
RANDOM walk for 119 steps (0 resets) in 6 ms. (17 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 67 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 41 ms :[(NOT p0)]
[2026-06-01 06:27:44] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:27:44] [INFO ] Invariant cache hit.
[2026-06-01 06:27:46] [INFO ] [Real]Absence check using 17 positive place invariants in 52 ms returned sat
[2026-06-01 06:27:48] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 1554 ms returned sat
[2026-06-01 06:27:59] [INFO ] [Real]Absence check using state equation in 10902 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15210 ms.
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Product exploration explored 100000 steps with 4313 reset in 864 ms.
Product exploration explored 100000 steps with 4245 reset in 1315 ms.
Built C files in :
/tmp/ltsmin4660092875479316164
[2026-06-01 06:28:01] [INFO ] Too many transitions (2338) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:28:01] [INFO ] Built C files in 81ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4660092875479316164
Running compilation step : cd /tmp/ltsmin4660092875479316164;'/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/ltsmin4660092875479316164;'/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/ltsmin4660092875479316164;'/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 12 out of 646 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 646/646 places, 2338/2338 transitions.
Applied a total of 0 rules in 72 ms. Remains 646 /646 variables (removed 0) and now considering 2338/2338 (removed 0) transitions.
Skipped dead transition search.
[2026-06-01 06:28:04] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:28:04] [INFO ] Invariant cache hit.
[2026-06-01 06:28:08] [INFO ] Implicit Places using invariants in 3436 ms returned []
[2026-06-01 06:28:08] [INFO ] Flow matrix only has 2298 transitions (discarded 40 similar events)
[2026-06-01 06:28:08] [INFO ] Invariant cache hit.
[2026-06-01 06:28:11] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:28:42] [INFO ] Performed 256/646 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:29:01] [INFO ] Implicit Places using invariants and state equation in 53652 ms returned []
Implicit Place search using SMT with State Equation took 57100 ms to find 0 implicit places.
[2026-06-01 06:29:02] [INFO ] Redundant transitions in 84 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 57264 ms. Remains : 646/646 places, 2338/2338 transitions.
Built C files in :
/tmp/ltsmin7010487251034604553
[2026-06-01 06:29:02] [INFO ] Too many transitions (2338) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:29:02] [INFO ] Built C files in 59ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7010487251034604553
Running compilation step : cd /tmp/ltsmin7010487251034604553;'/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/ltsmin7010487251034604553;'/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/ltsmin7010487251034604553;'/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-06-01 06:29:05] [INFO ] Flatten gal took : 189 ms
[2026-06-01 06:29:05] [INFO ] Flatten gal took : 128 ms
[2026-06-01 06:29:05] [INFO ] Time to serialize gal into /tmp/LTL2699625621833977744.gal : 48 ms
[2026-06-01 06:29:05] [INFO ] Time to serialize properties into /tmp/LTL11709793103026791921.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/LTL2699625621833977744.gal' '-t' 'CGAL' '-hoa' '/tmp/aut8063229174272225769.hoa' '-atoms' '/tmp/LTL11709793103026791921.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/LTL11709793103026791921.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut8063229174272225769.hoa
Detected timeout of ITS tools.
[2026-06-01 06:29:21] [INFO ] Flatten gal took : 98 ms
[2026-06-01 06:29:21] [INFO ] Flatten gal took : 100 ms
[2026-06-01 06:29:21] [INFO ] Time to serialize gal into /tmp/LTL18194348127542051756.gal : 30 ms
[2026-06-01 06:29:21] [INFO ] Time to serialize properties into /tmp/LTL12538140541661641982.ltl : 17 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/LTL18194348127542051756.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL12538140541661641982.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Checking formula 0 : !((F("(((((((NotifyEventEndOfCheckSourcesB_3>=1)&&(IsMonitoring>=1))&&(BlockedTasks>=1))||(((IsMonitoring>=1)&&(BlockedTasks>=1))&&(No...848
Formula 0 simplified : G!"(((((((NotifyEventEndOfCheckSourcesB_3>=1)&&(IsMonitoring>=1))&&(BlockedTasks>=1))||(((IsMonitoring>=1)&&(BlockedTasks>=1))&&(Not...844
Detected timeout of ITS tools.
[2026-06-01 06:29:36] [INFO ] Flatten gal took : 93 ms
[2026-06-01 06:29:36] [INFO ] Applying decomposition
[2026-06-01 06:29:36] [INFO ] Flatten gal took : 94 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/graph1571478909364469629.txt' '-o' '/tmp/graph1571478909364469629.bin' '-w' '/tmp/graph1571478909364469629.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1571478909364469629.bin' '-l' '-1' '-v' '-w' '/tmp/graph1571478909364469629.weights' '-q' '0' '-e' '0.001'
[2026-06-01 06:29:36] [INFO ] Decomposing Gal with order
[2026-06-01 06:29:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 06:29:37] [INFO ] Removed a total of 1543 redundant transitions.
[2026-06-01 06:29:38] [INFO ] Flatten gal took : 953 ms
[2026-06-01 06:29:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 760 labels/synchronizations in 109 ms.
[2026-06-01 06:29:38] [INFO ] Time to serialize gal into /tmp/LTL8488428864052936136.gal : 32 ms
[2026-06-01 06:29:38] [INFO ] Time to serialize properties into /tmp/LTL16218171138834581873.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL8488428864052936136.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16218171138834581873.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 : !((F("(((((((i4.u8.NotifyEventEndOfCheckSourcesB_3>=1)&&(i10.u31.IsMonitoring>=1))&&(i10.u13.BlockedTasks>=1))||(((i10.u31.IsMonitorin...1078
Formula 0 simplified : G!"(((((((i4.u8.NotifyEventEndOfCheckSourcesB_3>=1)&&(i10.u31.IsMonitoring>=1))&&(i10.u13.BlockedTasks>=1))||(((i10.u31.IsMonitoring...1074
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-04 finished in 284740 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(F(p0))&&(X(p1)||F(p2))))'
Support contains 37 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 101 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Running 2620 sub problems to find dead transitions.
[2026-06-01 06:29:53] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15502296073581987046.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17936726761178054857.kers'
[2026-06-01 06:29:53] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15502296073581987046.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17936726761178054857.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2584 rows 927 cols 12042 entries
Finished phase 1 with 598 SingleSign rule and 286 generalized
[2026-06-01 06:29:53] [INFO ] Computed 48 invariants in 32 ms
Computed 48 P flows in 33 ms.
Exported basis to /tmp/petrispot-output-17936726761178054857.kers
Total runtime 39 ms.
[2026-06-01 06:29:53] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/928 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2620 unsolved
SMT process timed out in 23445ms, After SMT, problems are : Problem set: 0 solved, 2620 unsolved
Search for dead transitions found 0 dead transitions in 23458ms
[2026-06-01 06:30:16] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:30:16] [INFO ] Invariant cache hit.
[2026-06-01 06:30:19] [INFO ] Implicit Places using invariants in 2488 ms returned []
[2026-06-01 06:30:19] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:30:19] [INFO ] Invariant cache hit.
[2026-06-01 06:30:22] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:30:53] [INFO ] Performed 223/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:31:23] [INFO ] Performed 507/932 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:31:55] [INFO ] Performed 811/932 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2026-06-01 06:32:06] [INFO ] Implicit Places using invariants and state equation in 107402 ms returned []
Implicit Place search using SMT with State Equation took 109898 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 133467 ms. Remains : 932/952 places, 2624/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(F(p0))&&(X(p1)||F(p2))))'
Stuttering acceptance computed with spot in 142 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (AND (NOT p2) (NOT p1)), (NOT p2)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-05
Product exploration explored 100000 steps with 4507 reset in 1077 ms.
Product exploration explored 100000 steps with 4483 reset in 902 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 7 factoid took 51 ms. Reduced automaton from 4 states, 5 edges and 3 AP (stutter sensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
RANDOM walk for 187 steps (0 resets) in 7 ms. (23 steps per ms) remains 0/1 properties
Knowledge based reduction with 7 factoid took 62 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 67 ms :[(NOT p0), (NOT p0)]
[2026-06-01 06:32:09] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:32:09] [INFO ] Invariant cache hit.
[2026-06-01 06:32:12] [INFO ] [Real]Absence check using 17 positive place invariants in 67 ms returned sat
[2026-06-01 06:32:14] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 1477 ms returned sat
[2026-06-01 06:32:24] [INFO ] [Real]Absence check using state equation in 9934 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15251 ms.
Stuttering acceptance computed with spot in 71 ms :[(NOT p0), (NOT p0)]
Support contains 11 out of 932 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 : 932/932 places, 2624/2624 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 60 transitions
Trivial Post-agglo rules discarded 60 transitions
Performed 60 trivial Post agglomeration. Transition count delta: 60
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 932 transition count 2564
Reduce places removed 60 places and 0 transitions.
Iterating post reduction 1 with 60 rules applied. Total rules applied 120 place count 872 transition count 2564
Performed 120 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 120 Pre rules applied. Total rules applied 120 place count 872 transition count 2444
Deduced a syphon composed of 120 places in 2 ms
Reduce places removed 120 places and 0 transitions.
Iterating global reduction 2 with 240 rules applied. Total rules applied 360 place count 752 transition count 2444
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 1 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 520 place count 672 transition count 2364
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 526 place count 666 transition count 2358
Iterating global reduction 2 with 6 rules applied. Total rules applied 532 place count 666 transition count 2358
Applied a total of 532 rules in 213 ms. Remains 666 /932 variables (removed 266) and now considering 2358/2624 (removed 266) transitions.
Running 2354 sub problems to find dead transitions.
[2026-06-01 06:32:24] [INFO ] Flow matrix only has 2318 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15107425589232602277.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2179617332878674652.kers'
[2026-06-01 06:32:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15107425589232602277.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2179617332878674652.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2318 rows 661 cols 11794 entries
Finished phase 1 with 354 SingleSign rule and 264 generalized
[2026-06-01 06:32:24] [INFO ] Computed 48 invariants in 27 ms
Computed 48 P flows in 28 ms.
Exported basis to /tmp/petrispot-output-2179617332878674652.kers
Total runtime 32 ms.
[2026-06-01 06:32:24] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2354 unsolved
SMT process timed out in 22792ms, After SMT, problems are : Problem set: 0 solved, 2354 unsolved
Search for dead transitions found 0 dead transitions in 22799ms
[2026-06-01 06:32:47] [INFO ] Flow matrix only has 2318 transitions (discarded 40 similar events)
[2026-06-01 06:32:47] [INFO ] Invariant cache hit.
[2026-06-01 06:32:49] [INFO ] Implicit Places using invariants in 2125 ms returned []
[2026-06-01 06:32:49] [INFO ] Flow matrix only has 2318 transitions (discarded 40 similar events)
[2026-06-01 06:32:49] [INFO ] Invariant cache hit.
[2026-06-01 06:32:51] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:33:22] [INFO ] Performed 259/666 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:33:42] [INFO ] Implicit Places using invariants and state equation in 53328 ms returned []
Implicit Place search using SMT with State Equation took 55455 ms to find 0 implicit places.
[2026-06-01 06:33:42] [INFO ] Redundant transitions in 90 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 666/932 places, 2358/2624 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 78571 ms. Remains : 666/932 places, 2358/2624 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 52 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
RANDOM walk for 134 steps (0 resets) in 7 ms. (16 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 55 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 71 ms :[(NOT p0), (NOT p0)]
[2026-06-01 06:33:43] [INFO ] Flow matrix only has 2318 transitions (discarded 40 similar events)
[2026-06-01 06:33:43] [INFO ] Invariant cache hit.
[2026-06-01 06:33:45] [INFO ] [Real]Absence check using 17 positive place invariants in 52 ms returned sat
[2026-06-01 06:33:45] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 169 ms returned sat
[2026-06-01 06:33:51] [INFO ] [Real]Absence check using state equation in 5854 ms returned sat
[2026-06-01 06:33:51] [INFO ] Solution in real domain found non-integer solution.
[2026-06-01 06:33:54] [INFO ] [Nat]Absence check using 17 positive place invariants in 33 ms returned sat
[2026-06-01 06:33:55] [INFO ] [Nat]Absence check using 17 positive and 31 generalized place invariants in 749 ms returned sat
[2026-06-01 06:34:06] [INFO ] [Nat]Absence check using state equation in 11802 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 23987 ms.
Stuttering acceptance computed with spot in 79 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 73 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 2958 reset in 949 ms.
Product exploration explored 100000 steps with 2939 reset in 1174 ms.
Built C files in :
/tmp/ltsmin10946302708804195756
[2026-06-01 06:34:09] [INFO ] Too many transitions (2358) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:34:09] [INFO ] Built C files in 34ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10946302708804195756
Running compilation step : cd /tmp/ltsmin10946302708804195756;'/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/ltsmin10946302708804195756;'/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/ltsmin10946302708804195756;'/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 11 out of 666 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 666/666 places, 2358/2358 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 666 transition count 2348
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 656 transition count 2348
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Deduced a syphon composed of 20 places in 1 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 60 place count 636 transition count 2328
Applied a total of 60 rules in 108 ms. Remains 636 /666 variables (removed 30) and now considering 2328/2358 (removed 30) transitions.
Running 2324 sub problems to find dead transitions.
[2026-06-01 06:34:12] [INFO ] Flow matrix only has 2288 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15203723359289033129.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3539324303540717544.kers'
[2026-06-01 06:34:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15203723359289033129.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3539324303540717544.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2288 rows 631 cols 11764 entries
Finished phase 1 with 324 SingleSign rule and 264 generalized
[2026-06-01 06:34:12] [INFO ] Computed 48 invariants in 26 ms
Computed 48 P flows in 26 ms.
Exported basis to /tmp/petrispot-output-3539324303540717544.kers
Total runtime 29 ms.
[2026-06-01 06:34:12] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/632 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2324 unsolved
SMT process timed out in 22956ms, After SMT, problems are : Problem set: 0 solved, 2324 unsolved
Search for dead transitions found 0 dead transitions in 22962ms
[2026-06-01 06:34:35] [INFO ] Flow matrix only has 2288 transitions (discarded 40 similar events)
[2026-06-01 06:34:35] [INFO ] Invariant cache hit.
[2026-06-01 06:34:38] [INFO ] Implicit Places using invariants in 3057 ms returned []
[2026-06-01 06:34:38] [INFO ] Flow matrix only has 2288 transitions (discarded 40 similar events)
[2026-06-01 06:34:38] [INFO ] Invariant cache hit.
[2026-06-01 06:34:41] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:35:12] [INFO ] Performed 268/636 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:35:47] [INFO ] Performed 434/636 implicitness test of which 0 returned IMPLICIT in 65 seconds.
[2026-06-01 06:36:02] [INFO ] Implicit Places using invariants and state equation in 83655 ms returned []
Implicit Place search using SMT with State Equation took 86715 ms to find 0 implicit places.
[2026-06-01 06:36:02] [INFO ] Redundant transitions in 88 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 636/666 places, 2328/2358 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 109888 ms. Remains : 636/666 places, 2328/2358 transitions.
Built C files in :
/tmp/ltsmin11307695669440344504
[2026-06-01 06:36:02] [INFO ] Too many transitions (2328) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:36:02] [INFO ] Built C files in 34ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11307695669440344504
Running compilation step : cd /tmp/ltsmin11307695669440344504;'/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/ltsmin11307695669440344504;'/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/ltsmin11307695669440344504;'/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-06-01 06:36:05] [INFO ] Flatten gal took : 93 ms
[2026-06-01 06:36:05] [INFO ] Flatten gal took : 102 ms
[2026-06-01 06:36:05] [INFO ] Time to serialize gal into /tmp/LTL3451697897825472563.gal : 17 ms
[2026-06-01 06:36:05] [INFO ] Time to serialize properties into /tmp/LTL13880412869122799205.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL3451697897825472563.gal' '-t' 'CGAL' '-hoa' '/tmp/aut11134104608630380778.hoa' '-atoms' '/tmp/LTL13880412869122799205.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL13880412869122799205.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut11134104608630380778.hoa
Detected timeout of ITS tools.
[2026-06-01 06:36:20] [INFO ] Flatten gal took : 94 ms
[2026-06-01 06:36:20] [INFO ] Flatten gal took : 89 ms
[2026-06-01 06:36:20] [INFO ] Time to serialize gal into /tmp/LTL8392579531779961723.gal : 17 ms
[2026-06-01 06:36:20] [INFO ] Time to serialize properties into /tmp/LTL212590359954550192.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/LTL8392579531779961723.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL212590359954550192.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(F("((((((P_1617_8>=1)&&(JobCnt>=1))||((JobCnt>=1)&&(P_1617_3>=1)))||(((P_1617_5>=1)&&(JobCnt>=1))||((P_1617_1>=1)&&(JobCnt>=1)))...10839
Formula 0 simplified : XG!"((((((P_1617_8>=1)&&(JobCnt>=1))||((JobCnt>=1)&&(P_1617_3>=1)))||(((P_1617_5>=1)&&(JobCnt>=1))||((P_1617_1>=1)&&(JobCnt>=1))))||...10827
Detected timeout of ITS tools.
[2026-06-01 06:36:35] [INFO ] Flatten gal took : 84 ms
[2026-06-01 06:36:35] [INFO ] Applying decomposition
[2026-06-01 06:36:36] [INFO ] Flatten gal took : 86 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/graph9036287865722405011.txt' '-o' '/tmp/graph9036287865722405011.bin' '-w' '/tmp/graph9036287865722405011.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9036287865722405011.bin' '-l' '-1' '-v' '-w' '/tmp/graph9036287865722405011.weights' '-q' '0' '-e' '0.001'
[2026-06-01 06:36:36] [INFO ] Decomposing Gal with order
[2026-06-01 06:36:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 06:36:36] [INFO ] Removed a total of 1572 redundant transitions.
[2026-06-01 06:36:36] [INFO ] Flatten gal took : 294 ms
[2026-06-01 06:36:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 303 labels/synchronizations in 53 ms.
[2026-06-01 06:36:36] [INFO ] Time to serialize gal into /tmp/LTL1232337814188587203.gal : 24 ms
[2026-06-01 06:36:36] [INFO ] Time to serialize properties into /tmp/LTL5954010090262440104.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL1232337814188587203.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL5954010090262440104.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...254
Read 1 LTL properties
Checking formula 0 : !(((X(F("((((((i11.u24.P_1617_8>=1)&&(i2.u40.JobCnt>=1))||((i2.u40.JobCnt>=1)&&(i11.u47.P_1617_3>=1)))||(((i11.u10.P_1617_5>=1)&&(i2.u...13388
Formula 0 simplified : XG!"((((((i11.u24.P_1617_8>=1)&&(i2.u40.JobCnt>=1))||((i2.u40.JobCnt>=1)&&(i11.u47.P_1617_3>=1)))||(((i11.u10.P_1617_5>=1)&&(i2.u40....13376
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-05 finished in 418466 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F((F(p0)&&F(p1)&&X(p2)))&&F(p3)))'
Support contains 59 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 92 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Running 2620 sub problems to find dead transitions.
[2026-06-01 06:36:51] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4648147743082230581.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16020158898491973538.kers'
[2026-06-01 06:36:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4648147743082230581.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16020158898491973538.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2584 rows 927 cols 12042 entries
Finished phase 1 with 598 SingleSign rule and 286 generalized
[2026-06-01 06:36:51] [INFO ] Computed 48 invariants in 31 ms
Computed 48 P flows in 32 ms.
Exported basis to /tmp/petrispot-output-16020158898491973538.kers
Total runtime 35 ms.
[2026-06-01 06:36:52] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/928 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2620 unsolved
SMT process timed out in 23057ms, After SMT, problems are : Problem set: 0 solved, 2620 unsolved
Search for dead transitions found 0 dead transitions in 23064ms
[2026-06-01 06:37:15] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:37:15] [INFO ] Invariant cache hit.
[2026-06-01 06:37:17] [INFO ] Implicit Places using invariants in 2504 ms returned []
[2026-06-01 06:37:17] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:37:17] [INFO ] Invariant cache hit.
[2026-06-01 06:37:20] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:37:53] [INFO ] Performed 171/932 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2026-06-01 06:38:23] [INFO ] Performed 427/932 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2026-06-01 06:38:54] [INFO ] Performed 731/932 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2026-06-01 06:39:13] [INFO ] Implicit Places using invariants and state equation in 115598 ms returned []
Implicit Place search using SMT with State Equation took 118106 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 141269 ms. Remains : 932/952 places, 2624/2644 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((F(p0)&&F(p1)&&X(p2)))&&F(p3)))'
Stuttering acceptance computed with spot in 259 ms :[(OR (NOT p3) (NOT p0) (NOT p1) (NOT p2)), (NOT p3), (NOT p0), (NOT p1), (NOT p2)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-07
Product exploration explored 100000 steps with 3640 reset in 1302 ms.
Product exploration explored 100000 steps with 3533 reset in 932 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 11 factoid took 121 ms. Reduced automaton from 5 states, 10 edges and 4 AP (stutter sensitive) to 13 states, 34 edges and 4 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 3429 ms. (11 steps per ms) remains 7/14 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1898 ms. (21 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40002 steps (9 resets) in 2592 ms. (15 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (8 resets) in 2162 ms. (18 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2178 ms. (18 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40001 steps (8 resets) in 1791 ms. (22 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40001 steps (8 resets) in 1828 ms. (21 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1949 ms. (20 steps per ms) remains 7/7 properties
[2026-06-01 06:39:20] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:39:20] [INFO ] Invariant cache hit.
[2026-06-01 06:39:20] [INFO ] State equation strengthened by 200 read => feed constraints.
Problem apf6 is UNSAT
Problem apf9 is UNSAT
Problem apf11 is UNSAT
Problem apf12 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/59 variables, 0/0 constraints. Problems are: Problem set: 4 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 280/339 variables, 6/6 constraints. Problems are: Problem set: 4 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/339 variables, 0/6 constraints. Problems are: Problem set: 4 solved, 3 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 9/348 variables, 2/8 constraints. Problems are: Problem set: 4 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/348 variables, 0/8 constraints. Problems are: Problem set: 4 solved, 3 unsolved
Problem apf1 is UNSAT
Problem apf7 is UNSAT
Problem apf8 is UNSAT
After SMT solving in domain Real declared 912/3516 variables, and 38 constraints, problems are : Problem set: 7 solved, 0 unsolved in 645 ms.
Refiners :[Positive P Invariants (semi-flows): 8/17 constraints, Generalized P Invariants (flows): 30/31 constraints, State Equation: 0/932 constraints, ReadFeed: 0/200 constraints, PredecessorRefiner: 3/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 692ms problems are : Problem set: 7 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Found 7 invariant AP formulas.
Knowledge based reduction with 18 factoid took 219 ms. Reduced automaton from 13 states, 34 edges and 4 AP (stutter insensitive) to 20 states, 72 edges and 4 AP (stutter insensitive).
Stuttering acceptance computed with spot in 810 ms :[(OR (NOT p0) (NOT p1) (NOT p2) (NOT p3)), (NOT p3), (NOT p0), (NOT p1), (NOT p2), false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]
[2026-06-01 06:39:22] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:39:22] [INFO ] Invariant cache hit.
[2026-06-01 06:39:28] [INFO ] [Real]Absence check using 17 positive place invariants in 123 ms returned sat
[2026-06-01 06:39:29] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 1199 ms returned sat
[2026-06-01 06:39:37] [INFO ] [Real]Absence check using state equation in 8174 ms returned unknown
Could not prove EG (NOT p0)
[2026-06-01 06:39:37] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:39:37] [INFO ] Invariant cache hit.
[2026-06-01 06:39:40] [INFO ] [Real]Absence check using 17 positive place invariants in 61 ms returned sat
[2026-06-01 06:39:43] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 2564 ms returned sat
[2026-06-01 06:39:52] [INFO ] [Real]Absence check using state equation in 9244 ms returned unknown
Could not prove EG (NOT p1)
[2026-06-01 06:39:52] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:39:52] [INFO ] Invariant cache hit.
[2026-06-01 06:39:57] [INFO ] [Real]Absence check using 17 positive place invariants in 109 ms returned sat
[2026-06-01 06:39:57] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 724 ms returned sat
[2026-06-01 06:40:07] [INFO ] [Real]Absence check using state equation in 9780 ms returned unknown
Could not prove EG (NOT p2)
[2026-06-01 06:40:07] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:40:07] [INFO ] Invariant cache hit.
[2026-06-01 06:40:10] [INFO ] [Real]Absence check using 17 positive place invariants in 71 ms returned sat
[2026-06-01 06:40:11] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 467 ms returned sat
[2026-06-01 06:40:22] [INFO ] [Real]Absence check using state equation in 11279 ms returned unknown
Could not prove EG (NOT p3)
Knowledge-based reduction took 66914 ms.
Stuttering acceptance computed with spot in 744 ms :[(OR (NOT p0) (NOT p1) (NOT p2) (NOT p3)), (NOT p3), (NOT p0), (NOT p1), (NOT p2), false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]
Support contains 59 out of 932 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 932/932 places, 2624/2624 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 20 transitions
Trivial Post-agglo rules discarded 20 transitions
Performed 20 trivial Post agglomeration. Transition count delta: 20
Iterating post reduction 0 with 20 rules applied. Total rules applied 20 place count 932 transition count 2604
Reduce places removed 20 places and 0 transitions.
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Iterating post reduction 1 with 40 rules applied. Total rules applied 60 place count 912 transition count 2584
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 2 with 20 rules applied. Total rules applied 80 place count 892 transition count 2584
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 80 place count 892 transition count 2454
Deduced a syphon composed of 130 places in 2 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 340 place count 762 transition count 2454
Performed 60 Post agglomeration using F-continuation condition.Transition count delta: 60
Deduced a syphon composed of 60 places in 2 ms
Reduce places removed 60 places and 0 transitions.
Iterating global reduction 3 with 120 rules applied. Total rules applied 460 place count 702 transition count 2394
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 466 place count 696 transition count 2388
Iterating global reduction 3 with 6 rules applied. Total rules applied 472 place count 696 transition count 2388
Applied a total of 472 rules in 206 ms. Remains 696 /932 variables (removed 236) and now considering 2388/2624 (removed 236) transitions.
Running 2384 sub problems to find dead transitions.
[2026-06-01 06:40:23] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13053302458775130598.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16286758300198059858.kers'
[2026-06-01 06:40:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13053302458775130598.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16286758300198059858.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2348 rows 691 cols 11674 entries
Finished phase 1 with 353 SingleSign rule and 295 generalized
[2026-06-01 06:40:23] [INFO ] Computed 48 invariants in 28 ms
Computed 48 P flows in 28 ms.
Exported basis to /tmp/petrispot-output-16286758300198059858.kers
Total runtime 31 ms.
[2026-06-01 06:40:23] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/692 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2384 unsolved
SMT process timed out in 23272ms, After SMT, problems are : Problem set: 0 solved, 2384 unsolved
Search for dead transitions found 0 dead transitions in 23279ms
[2026-06-01 06:40:46] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:40:46] [INFO ] Invariant cache hit.
[2026-06-01 06:40:50] [INFO ] Implicit Places using invariants in 3538 ms returned []
[2026-06-01 06:40:50] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:40:50] [INFO ] Invariant cache hit.
[2026-06-01 06:40:55] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:41:25] [INFO ] Performed 164/696 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:41:56] [INFO ] Performed 367/696 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:42:26] [INFO ] Performed 581/696 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-06-01 06:42:39] [INFO ] Implicit Places using invariants and state equation in 109341 ms returned []
Implicit Place search using SMT with State Equation took 112888 ms to find 0 implicit places.
[2026-06-01 06:42:39] [INFO ] Redundant transitions in 101 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 696/932 places, 2388/2624 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 136497 ms. Remains : 696/932 places, 2388/2624 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 40 factoid took 254 ms. Reduced automaton from 20 states, 72 edges and 4 AP (stutter insensitive) to 20 states, 72 edges and 4 AP (stutter insensitive).
RANDOM walk for 40000 steps (13 resets) in 5326 ms. (7 steps per ms) remains 11/21 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1874 ms. (21 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 2032 ms. (19 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2126 ms. (18 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 2371 ms. (16 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1836 ms. (21 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 2093 ms. (19 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (9 resets) in 2042 ms. (19 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (9 resets) in 1954 ms. (20 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (9 resets) in 2243 ms. (17 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 2323 ms. (17 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40002 steps (9 resets) in 2359 ms. (16 steps per ms) remains 11/11 properties
[2026-06-01 06:42:47] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:42:47] [INFO ] Invariant cache hit.
[2026-06-01 06:42:47] [INFO ] State equation strengthened by 200 read => feed constraints.
Problem apf7 is UNSAT
Problem apf14 is UNSAT
Problem apf16 is UNSAT
Problem apf17 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/59 variables, 0/0 constraints. Problems are: Problem set: 4 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 210/269 variables, 6/6 constraints. Problems are: Problem set: 4 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/269 variables, 0/6 constraints. Problems are: Problem set: 4 solved, 7 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 9/278 variables, 2/8 constraints. Problems are: Problem set: 4 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/278 variables, 0/8 constraints. Problems are: Problem set: 4 solved, 7 unsolved
Problem apf2 is UNSAT
Problem apf3 is UNSAT
Problem apf5 is UNSAT
Problem apf9 is UNSAT
Problem apf10 is UNSAT
Problem apf12 is UNSAT
Problem apf13 is UNSAT
After SMT solving in domain Real declared 676/3044 variables, and 38 constraints, problems are : Problem set: 11 solved, 0 unsolved in 933 ms.
Refiners :[Positive P Invariants (semi-flows): 8/17 constraints, Generalized P Invariants (flows): 30/31 constraints, State Equation: 0/696 constraints, ReadFeed: 0/200 constraints, PredecessorRefiner: 7/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 970ms problems are : Problem set: 11 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Found 11 invariant AP formulas.
Knowledge based reduction with 51 factoid took 298 ms. Reduced automaton from 20 states, 72 edges and 4 AP (stutter insensitive) to 20 states, 72 edges and 4 AP (stutter insensitive).
Stuttering acceptance computed with spot in 883 ms :[(OR (NOT p0) (NOT p1) (NOT p2) (NOT p3)), (NOT p3), (NOT p0), (NOT p1), (NOT p2), false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]
[2026-06-01 06:42:49] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:42:49] [INFO ] Invariant cache hit.
[2026-06-01 06:42:53] [INFO ] [Real]Absence check using 17 positive place invariants in 56 ms returned sat
[2026-06-01 06:42:56] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 2654 ms returned sat
[2026-06-01 06:43:04] [INFO ] [Real]Absence check using state equation in 8459 ms returned unknown
Could not prove EG (NOT p0)
[2026-06-01 06:43:04] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:43:04] [INFO ] Invariant cache hit.
[2026-06-01 06:43:07] [INFO ] [Real]Absence check using 17 positive place invariants in 44 ms returned sat
[2026-06-01 06:43:08] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 1697 ms returned sat
[2026-06-01 06:43:19] [INFO ] [Real]Absence check using state equation in 10352 ms returned sat
[2026-06-01 06:43:19] [INFO ] Solution in real domain found non-integer solution.
[2026-06-01 06:43:22] [INFO ] [Nat]Absence check using 17 positive place invariants in 52 ms returned sat
[2026-06-01 06:43:23] [INFO ] [Nat]Absence check using 17 positive and 31 generalized place invariants in 1138 ms returned sat
[2026-06-01 06:43:34] [INFO ] [Nat]Absence check using state equation in 11005 ms returned unknown
Could not prove EG (NOT p1)
[2026-06-01 06:43:34] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:43:34] [INFO ] Invariant cache hit.
[2026-06-01 06:43:37] [INFO ] [Real]Absence check using 17 positive place invariants in 45 ms returned sat
[2026-06-01 06:43:39] [INFO ] SMT solver returned unknown. Retrying;
[2026-06-01 06:43:41] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 3831 ms returned unknown
Could not prove EG (NOT p2)
[2026-06-01 06:43:41] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:43:41] [INFO ] Invariant cache hit.
[2026-06-01 06:43:43] [INFO ] [Real]Absence check using 17 positive place invariants in 50 ms returned sat
[2026-06-01 06:43:44] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 779 ms returned sat
[2026-06-01 06:43:56] [INFO ] [Real]Absence check using state equation in 11845 ms returned unknown
Could not prove EG (NOT p3)
Knowledge-based reduction took 76500 ms.
Stuttering acceptance computed with spot in 784 ms :[(OR (NOT p0) (NOT p1) (NOT p2) (NOT p3)), (NOT p3), (NOT p0), (NOT p1), (NOT p2), false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]
Stuttering acceptance computed with spot in 744 ms :[(OR (NOT p0) (NOT p1) (NOT p2) (NOT p3)), (NOT p3), (NOT p0), (NOT p1), (NOT p2), false, false, false, false, false, false, false, false, false, false, false, false, false, false, false]
Product exploration explored 100000 steps with 4290 reset in 1387 ms.
Product exploration explored 100000 steps with 4201 reset in 1620 ms.
Built C files in :
/tmp/ltsmin12941892650294516732
[2026-06-01 06:44:00] [INFO ] Too many transitions (2388) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:44:00] [INFO ] Built C files in 32ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12941892650294516732
Running compilation step : cd /tmp/ltsmin12941892650294516732;'/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/ltsmin12941892650294516732;'/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/ltsmin12941892650294516732;'/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 59 out of 696 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 696/696 places, 2388/2388 transitions.
Applied a total of 0 rules in 56 ms. Remains 696 /696 variables (removed 0) and now considering 2388/2388 (removed 0) transitions.
Skipped dead transition search.
[2026-06-01 06:44:04] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:44:04] [INFO ] Invariant cache hit.
[2026-06-01 06:44:07] [INFO ] Implicit Places using invariants in 3799 ms returned []
[2026-06-01 06:44:07] [INFO ] Flow matrix only has 2348 transitions (discarded 40 similar events)
[2026-06-01 06:44:07] [INFO ] Invariant cache hit.
[2026-06-01 06:44:13] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:44:43] [INFO ] Performed 165/696 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:45:13] [INFO ] Performed 378/696 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:45:43] [INFO ] Performed 589/696 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-06-01 06:45:56] [INFO ] Implicit Places using invariants and state equation in 108656 ms returned []
Implicit Place search using SMT with State Equation took 112458 ms to find 0 implicit places.
[2026-06-01 06:45:56] [INFO ] Redundant transitions in 154 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 112680 ms. Remains : 696/696 places, 2388/2388 transitions.
Built C files in :
/tmp/ltsmin16812157821529996157
[2026-06-01 06:45:56] [INFO ] Too many transitions (2388) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:45:56] [INFO ] Built C files in 52ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16812157821529996157
Running compilation step : cd /tmp/ltsmin16812157821529996157;'/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/ltsmin16812157821529996157;'/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/ltsmin16812157821529996157;'/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-06-01 06:45:59] [INFO ] Flatten gal took : 79 ms
[2026-06-01 06:45:59] [INFO ] Flatten gal took : 85 ms
[2026-06-01 06:45:59] [INFO ] Time to serialize gal into /tmp/LTL5313176890269140073.gal : 16 ms
[2026-06-01 06:45:59] [INFO ] Time to serialize properties into /tmp/LTL9571414971854387716.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL5313176890269140073.gal' '-t' 'CGAL' '-hoa' '/tmp/aut8340129338078232429.hoa' '-atoms' '/tmp/LTL9571414971854387716.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...317
Loading property file /tmp/LTL9571414971854387716.prop.
Loaded 4 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut8340129338078232429.hoa
Detected timeout of ITS tools.
[2026-06-01 06:46:15] [INFO ] Flatten gal took : 78 ms
[2026-06-01 06:46:15] [INFO ] Flatten gal took : 100 ms
[2026-06-01 06:46:15] [INFO ] Time to serialize gal into /tmp/LTL11592378159220224520.gal : 22 ms
[2026-06-01 06:46:15] [INFO ] Time to serialize properties into /tmp/LTL3287176945905083796.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL11592378159220224520.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL3287176945905083796.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !(((F(((F("((((((((((P_1716<1)||(FetchJobB_4<1))||(P_1712_1<1))&&(((P_1716<1)||(P_1712_5<1))||(FetchJobB_1<1)))&&((((P_1716<1)||(P_171...8379
Formula 0 simplified : G(G!"((((((((((P_1716<1)||(FetchJobB_4<1))||(P_1712_1<1))&&(((P_1716<1)||(P_1712_5<1))||(FetchJobB_1<1)))&&((((P_1716<1)||(P_1712_3<...8363
Detected timeout of ITS tools.
[2026-06-01 06:46:30] [INFO ] Flatten gal took : 78 ms
[2026-06-01 06:46:30] [INFO ] Applying decomposition
[2026-06-01 06:46:30] [INFO ] Flatten gal took : 84 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/graph18318510994136093142.txt' '-o' '/tmp/graph18318510994136093142.bin' '-w' '/tmp/graph18318510994136093142.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18318510994136093142.bin' '-l' '-1' '-v' '-w' '/tmp/graph18318510994136093142.weights' '-q' '0' '-e' '0.001'
[2026-06-01 06:46:30] [INFO ] Decomposing Gal with order
[2026-06-01 06:46:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 06:46:31] [INFO ] Removed a total of 1807 redundant transitions.
[2026-06-01 06:46:31] [INFO ] Flatten gal took : 418 ms
[2026-06-01 06:46:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 238 labels/synchronizations in 32 ms.
[2026-06-01 06:46:31] [INFO ] Time to serialize gal into /tmp/LTL14910369821519359703.gal : 23 ms
[2026-06-01 06:46:31] [INFO ] Time to serialize properties into /tmp/LTL11785739847459802506.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL14910369821519359703.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL11785739847459802506.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...256
Read 1 LTL properties
Checking formula 0 : !(((F(((F("((((((((((i2.u1.P_1716<1)||(i2.u1.FetchJobB_4<1))||(i2.u11.P_1712_1<1))&&(((i2.u1.P_1716<1)||(i2.u11.P_1712_5<1))||(i2.u1.F...11385
Formula 0 simplified : G(G!"((((((((((i2.u1.P_1716<1)||(i2.u1.FetchJobB_4<1))||(i2.u11.P_1712_1<1))&&(((i2.u1.P_1716<1)||(i2.u11.P_1712_5<1))||(i2.u1.Fetch...11369
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-07 finished in 594592 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(!p0) U G(p1)))'
Support contains 3 out of 952 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 89 transitions
Trivial Post-agglo rules discarded 89 transitions
Performed 89 trivial Post agglomeration. Transition count delta: 89
Iterating post reduction 0 with 89 rules applied. Total rules applied 89 place count 952 transition count 2555
Reduce places removed 89 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 90 rules applied. Total rules applied 179 place count 863 transition count 2554
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 180 place count 862 transition count 2554
Performed 120 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 120 Pre rules applied. Total rules applied 180 place count 862 transition count 2434
Deduced a syphon composed of 120 places in 1 ms
Reduce places removed 120 places and 0 transitions.
Iterating global reduction 3 with 240 rules applied. Total rules applied 420 place count 742 transition count 2434
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 426 place count 736 transition count 2428
Iterating global reduction 3 with 6 rules applied. Total rules applied 432 place count 736 transition count 2428
Performed 99 Post agglomeration using F-continuation condition.Transition count delta: 99
Deduced a syphon composed of 99 places in 2 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 3 with 198 rules applied. Total rules applied 630 place count 637 transition count 2329
Applied a total of 630 rules in 184 ms. Remains 637 /952 variables (removed 315) and now considering 2329/2644 (removed 315) transitions.
Running 2325 sub problems to find dead transitions.
[2026-06-01 06:46:46] [INFO ] Flow matrix only has 2289 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3727881788099432888.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12506118414660411512.kers'
[2026-06-01 06:46:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3727881788099432888.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12506118414660411512.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2289 rows 632 cols 11765 entries
Finished phase 1 with 321 SingleSign rule and 268 generalized
[2026-06-01 06:46:46] [INFO ] Computed 48 invariants in 24 ms
Computed 48 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-12506118414660411512.kers
Total runtime 28 ms.
[2026-06-01 06:46:46] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/633 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2325 unsolved
SMT process timed out in 23114ms, After SMT, problems are : Problem set: 0 solved, 2325 unsolved
Search for dead transitions found 0 dead transitions in 23120ms
[2026-06-01 06:47:09] [INFO ] Flow matrix only has 2289 transitions (discarded 40 similar events)
[2026-06-01 06:47:09] [INFO ] Invariant cache hit.
[2026-06-01 06:47:12] [INFO ] Implicit Places using invariants in 2984 ms returned []
[2026-06-01 06:47:12] [INFO ] Flow matrix only has 2289 transitions (discarded 40 similar events)
[2026-06-01 06:47:12] [INFO ] Invariant cache hit.
[2026-06-01 06:47:19] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:47:49] [INFO ] Performed 264/637 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:48:07] [INFO ] Implicit Places using invariants and state equation in 55006 ms returned []
Implicit Place search using SMT with State Equation took 57994 ms to find 0 implicit places.
[2026-06-01 06:48:07] [INFO ] Redundant transitions in 89 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 637/952 places, 2329/2644 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 81402 ms. Remains : 637/952 places, 2329/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(!p0) U G(p1)))'
Stuttering acceptance computed with spot in 72 ms :[(NOT p1), p0]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-09
Stuttering criterion allowed to conclude after 8374 steps with 5 reset in 63 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-09 finished in 81577 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((X(!(p0 U p1))||!(F(p0) U p2))))&&F(p2)))'
Support contains 6 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 91 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Running 2620 sub problems to find dead transitions.
[2026-06-01 06:48:08] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13272946345282378796.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13670938734204996289.kers'
[2026-06-01 06:48:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13272946345282378796.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13670938734204996289.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2584 rows 927 cols 12042 entries
Finished phase 1 with 598 SingleSign rule and 286 generalized
[2026-06-01 06:48:08] [INFO ] Computed 48 invariants in 30 ms
Computed 48 P flows in 30 ms.
Exported basis to /tmp/petrispot-output-13670938734204996289.kers
Total runtime 34 ms.
[2026-06-01 06:48:08] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/928 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2620 unsolved
SMT process timed out in 23563ms, After SMT, problems are : Problem set: 0 solved, 2620 unsolved
Search for dead transitions found 0 dead transitions in 23569ms
[2026-06-01 06:48:31] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:48:31] [INFO ] Invariant cache hit.
[2026-06-01 06:48:34] [INFO ] Implicit Places using invariants in 2872 ms returned []
[2026-06-01 06:48:34] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:48:34] [INFO ] Invariant cache hit.
[2026-06-01 06:48:38] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:49:08] [INFO ] Performed 242/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:49:40] [INFO ] Performed 665/932 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2026-06-01 06:50:00] [INFO ] Implicit Places using invariants and state equation in 85913 ms returned []
Implicit Place search using SMT with State Equation took 88790 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 112458 ms. Remains : 932/952 places, 2624/2644 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((X(!(p0 U p1))||!(F(p0) U p2))))&&F(p2)))'
Stuttering acceptance computed with spot in 341 ms :[(OR (NOT p2) p1), (AND p1 p2), (NOT p2), p1, (AND p2 p0 p1), (AND p1 p2), true, p0, (AND (NOT p1) p2), (AND p0 p2 (NOT p1))]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-10
Product exploration explored 100000 steps with 542 reset in 658 ms.
Stuttering criterion allowed to conclude after 27923 steps with 191 reset in 196 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-10 finished in 113707 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(((p0 U p1)&&(p1 U p2))) U (G(p3)||X(p0))))'
Support contains 9 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 97 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Skipped dead transition search.
[2026-06-01 06:50:01] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:50:01] [INFO ] Invariant cache hit.
[2026-06-01 06:50:03] [INFO ] Implicit Places using invariants in 2064 ms returned []
[2026-06-01 06:50:03] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:50:03] [INFO ] Invariant cache hit.
[2026-06-01 06:50:06] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:50:38] [INFO ] Performed 178/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:51:08] [INFO ] Performed 325/932 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2026-06-01 06:51:38] [INFO ] Performed 599/932 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2026-06-01 06:52:06] [INFO ] Implicit Places using invariants and state equation in 122378 ms returned []
Implicit Place search using SMT with State Equation took 124449 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 124547 ms. Remains : 932/952 places, 2624/2644 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 U p1)&&(p1 U p2))) U (G(p3)||X(p0))))'
Stuttering acceptance computed with spot in 278 ms :[(AND (NOT p0) (NOT p3)), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p3)), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p2) (NOT p3))), true, (NOT p2), (NOT p3), (AND (NOT p2) (NOT p3))]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-11
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 0 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-11 finished in 124877 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((G(F(p0)) U p1)))'
Support contains 3 out of 952 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 87 transitions
Trivial Post-agglo rules discarded 87 transitions
Performed 87 trivial Post agglomeration. Transition count delta: 87
Iterating post reduction 0 with 87 rules applied. Total rules applied 87 place count 952 transition count 2557
Reduce places removed 87 places and 0 transitions.
Iterating post reduction 1 with 87 rules applied. Total rules applied 174 place count 865 transition count 2557
Performed 121 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 121 Pre rules applied. Total rules applied 174 place count 865 transition count 2436
Deduced a syphon composed of 121 places in 2 ms
Reduce places removed 121 places and 0 transitions.
Iterating global reduction 2 with 242 rules applied. Total rules applied 416 place count 744 transition count 2436
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 422 place count 738 transition count 2430
Iterating global reduction 2 with 6 rules applied. Total rules applied 428 place count 738 transition count 2430
Performed 98 Post agglomeration using F-continuation condition.Transition count delta: 98
Deduced a syphon composed of 98 places in 2 ms
Reduce places removed 98 places and 0 transitions.
Iterating global reduction 2 with 196 rules applied. Total rules applied 624 place count 640 transition count 2332
Applied a total of 624 rules in 226 ms. Remains 640 /952 variables (removed 312) and now considering 2332/2644 (removed 312) transitions.
Running 2328 sub problems to find dead transitions.
[2026-06-01 06:52:06] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3424778742656591502.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1658348221940535172.kers'
[2026-06-01 06:52:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3424778742656591502.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1658348221940535172.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 4 ms.
// Phase 1: matrix 2292 rows 635 cols 11773 entries
Finished phase 1 with 328 SingleSign rule and 264 generalized
[2026-06-01 06:52:06] [INFO ] Computed 48 invariants in 42 ms
Computed 48 P flows in 42 ms.
Exported basis to /tmp/petrispot-output-1658348221940535172.kers
Total runtime 47 ms.
[2026-06-01 06:52:06] [INFO ] State equation strengthened by 200 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/636 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2328 unsolved
SMT process timed out in 23473ms, After SMT, problems are : Problem set: 0 solved, 2328 unsolved
Search for dead transitions found 0 dead transitions in 23484ms
[2026-06-01 06:52:30] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:52:30] [INFO ] Invariant cache hit.
[2026-06-01 06:52:33] [INFO ] Implicit Places using invariants in 2785 ms returned []
[2026-06-01 06:52:33] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:52:33] [INFO ] Invariant cache hit.
[2026-06-01 06:52:36] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:53:06] [INFO ] Performed 229/640 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:53:36] [INFO ] Performed 634/640 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:53:37] [INFO ] Implicit Places using invariants and state equation in 63972 ms returned []
Implicit Place search using SMT with State Equation took 66759 ms to find 0 implicit places.
[2026-06-01 06:53:37] [INFO ] Redundant transitions in 88 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 640/952 places, 2332/2644 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 90579 ms. Remains : 640/952 places, 2332/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((G(F(p0)) U p1)))'
Stuttering acceptance computed with spot in 142 ms :[(NOT p1), (NOT p0), (NOT p0), (NOT p1)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-12
Product exploration explored 100000 steps with 111 reset in 799 ms.
Product exploration explored 100000 steps with 88 reset in 1020 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 7 factoid took 56 ms. Reduced automaton from 4 states, 10 edges and 2 AP (stutter insensitive) to 4 states, 10 edges and 2 AP (stutter insensitive).
RANDOM walk for 2444 steps (1 resets) in 40 ms. (59 steps per ms) remains 0/3 properties
Knowledge based reduction with 7 factoid took 81 ms. Reduced automaton from 4 states, 10 edges and 2 AP (stutter insensitive) to 4 states, 10 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 142 ms :[(NOT p1), (NOT p0), (NOT p0), (NOT p1)]
[2026-06-01 06:53:39] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:53:39] [INFO ] Invariant cache hit.
[2026-06-01 06:53:41] [INFO ] [Real]Absence check using 17 positive place invariants in 45 ms returned sat
[2026-06-01 06:53:42] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 825 ms returned sat
[2026-06-01 06:53:54] [INFO ] [Real]Absence check using state equation in 11898 ms returned unknown
Could not prove EG (NOT p1)
Knowledge-based reduction took 15335 ms.
Stuttering acceptance computed with spot in 148 ms :[(NOT p1), (NOT p0), (NOT p0), (NOT p1)]
Support contains 3 out of 640 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 640/640 places, 2332/2332 transitions.
Applied a total of 0 rules in 50 ms. Remains 640 /640 variables (removed 0) and now considering 2332/2332 (removed 0) transitions.
Skipped dead transition search.
[2026-06-01 06:53:54] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:53:54] [INFO ] Invariant cache hit.
[2026-06-01 06:53:57] [INFO ] Implicit Places using invariants in 2536 ms returned []
[2026-06-01 06:53:57] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:53:57] [INFO ] Invariant cache hit.
[2026-06-01 06:54:00] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:54:31] [INFO ] Performed 228/640 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:55:01] [INFO ] Performed 591/640 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:55:03] [INFO ] Implicit Places using invariants and state equation in 66312 ms returned []
Implicit Place search using SMT with State Equation took 68855 ms to find 0 implicit places.
[2026-06-01 06:55:03] [INFO ] Redundant transitions in 84 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 68999 ms. Remains : 640/640 places, 2332/2332 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 7 factoid took 62 ms. Reduced automaton from 4 states, 10 edges and 2 AP (stutter insensitive) to 4 states, 10 edges and 2 AP (stutter insensitive).
RANDOM walk for 5377 steps (1 resets) in 86 ms. (61 steps per ms) remains 0/3 properties
Knowledge based reduction with 7 factoid took 94 ms. Reduced automaton from 4 states, 10 edges and 2 AP (stutter insensitive) to 4 states, 10 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 160 ms :[(NOT p1), (NOT p0), (NOT p0), (NOT p1)]
[2026-06-01 06:55:04] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:55:04] [INFO ] Invariant cache hit.
[2026-06-01 06:55:06] [INFO ] [Real]Absence check using 17 positive place invariants in 63 ms returned sat
[2026-06-01 06:55:07] [INFO ] [Real]Absence check using 17 positive and 31 generalized place invariants in 1076 ms returned sat
[2026-06-01 06:55:19] [INFO ] [Real]Absence check using state equation in 11210 ms returned unknown
Could not prove EG (NOT p1)
Knowledge-based reduction took 15424 ms.
Stuttering acceptance computed with spot in 147 ms :[(NOT p1), (NOT p0), (NOT p0), (NOT p1)]
Stuttering acceptance computed with spot in 140 ms :[(NOT p1), (NOT p0), (NOT p0), (NOT p1)]
Product exploration explored 100000 steps with 100 reset in 787 ms.
Product exploration explored 100000 steps with 90 reset in 824 ms.
Built C files in :
/tmp/ltsmin13936521011358897719
[2026-06-01 06:55:20] [INFO ] Too many transitions (2332) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:55:21] [INFO ] Built C files in 28ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13936521011358897719
Running compilation step : cd /tmp/ltsmin13936521011358897719;'/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/ltsmin13936521011358897719;'/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/ltsmin13936521011358897719;'/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 3 out of 640 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 640/640 places, 2332/2332 transitions.
Applied a total of 0 rules in 50 ms. Remains 640 /640 variables (removed 0) and now considering 2332/2332 (removed 0) transitions.
Skipped dead transition search.
[2026-06-01 06:55:24] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:55:24] [INFO ] Invariant cache hit.
[2026-06-01 06:55:26] [INFO ] Implicit Places using invariants in 2555 ms returned []
[2026-06-01 06:55:26] [INFO ] Flow matrix only has 2292 transitions (discarded 40 similar events)
[2026-06-01 06:55:26] [INFO ] Invariant cache hit.
[2026-06-01 06:55:29] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:56:00] [INFO ] Performed 234/640 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 06:56:30] [INFO ] Performed 629/640 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 06:56:31] [INFO ] Implicit Places using invariants and state equation in 64361 ms returned []
Implicit Place search using SMT with State Equation took 66920 ms to find 0 implicit places.
[2026-06-01 06:56:31] [INFO ] Redundant transitions in 86 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 67064 ms. Remains : 640/640 places, 2332/2332 transitions.
Built C files in :
/tmp/ltsmin6176307379044121074
[2026-06-01 06:56:31] [INFO ] Too many transitions (2332) to apply POR reductions. Disabling POR matrices.
[2026-06-01 06:56:31] [INFO ] Built C files in 28ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6176307379044121074
Running compilation step : cd /tmp/ltsmin6176307379044121074;'/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/ltsmin6176307379044121074;'/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/ltsmin6176307379044121074;'/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-06-01 06:56:34] [INFO ] Flatten gal took : 84 ms
[2026-06-01 06:56:34] [INFO ] Flatten gal took : 87 ms
[2026-06-01 06:56:34] [INFO ] Time to serialize gal into /tmp/LTL13745680852535952583.gal : 15 ms
[2026-06-01 06:56:34] [INFO ] Time to serialize properties into /tmp/LTL4206980142884918199.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL13745680852535952583.gal' '-t' 'CGAL' '-hoa' '/tmp/aut13935456721871364769.hoa' '-atoms' '/tmp/LTL4206980142884918199.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL4206980142884918199.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut13935456721871364769.hoa
Detected timeout of ITS tools.
[2026-06-01 06:56:49] [INFO ] Flatten gal took : 73 ms
[2026-06-01 06:56:49] [INFO ] Flatten gal took : 75 ms
[2026-06-01 06:56:49] [INFO ] Time to serialize gal into /tmp/LTL15659422446451675956.gal : 15 ms
[2026-06-01 06:56:49] [INFO ] Time to serialize properties into /tmp/LTL4954827906512689091.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/LTL15659422446451675956.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4954827906512689091.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((G((G(F("(Try_Check_Sources_E_10<1)")))U("((PollingAbort>=1)&&(ScheduleTaskB_3>=1))"))))
Formula 0 simplified : F(FG!"(Try_Check_Sources_E_10<1)" R !"((PollingAbort>=1)&&(ScheduleTaskB_3>=1))")
Detected timeout of ITS tools.
[2026-06-01 06:57:04] [INFO ] Flatten gal took : 72 ms
[2026-06-01 06:57:04] [INFO ] Applying decomposition
[2026-06-01 06:57:04] [INFO ] Flatten gal took : 78 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/graph375042630740001137.txt' '-o' '/tmp/graph375042630740001137.bin' '-w' '/tmp/graph375042630740001137.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph375042630740001137.bin' '-l' '-1' '-v' '-w' '/tmp/graph375042630740001137.weights' '-q' '0' '-e' '0.001'
[2026-06-01 06:57:05] [INFO ] Decomposing Gal with order
[2026-06-01 06:57:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 06:57:05] [INFO ] Removed a total of 1534 redundant transitions.
[2026-06-01 06:57:05] [INFO ] Flatten gal took : 388 ms
[2026-06-01 06:57:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 693 labels/synchronizations in 49 ms.
[2026-06-01 06:57:05] [INFO ] Time to serialize gal into /tmp/LTL10290083389604775352.gal : 26 ms
[2026-06-01 06:57:05] [INFO ] Time to serialize properties into /tmp/LTL14359657983389436865.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/LTL10290083389604775352.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14359657983389436865.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...256
Read 1 LTL properties
Checking formula 0 : !((G((G(F("(i3.u1.Try_Check_Sources_E_10<1)")))U("((i3.u13.PollingAbort>=1)&&(i3.u42.ScheduleTaskB_3>=1))"))))
Formula 0 simplified : F(FG!"(i3.u1.Try_Check_Sources_E_10<1)" R !"((i3.u13.PollingAbort>=1)&&(i3.u42.ScheduleTaskB_3>=1))")
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-12 finished in 314151 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) U p1)&&(p1 U X(p0))))))'
Support contains 5 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 93 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Running 2620 sub problems to find dead transitions.
[2026-06-01 06:57:20] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5086169465691161623.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9554395414182567452.kers'
[2026-06-01 06:57:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5086169465691161623.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9554395414182567452.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 2584 rows 927 cols 12042 entries
Finished phase 1 with 598 SingleSign rule and 286 generalized
[2026-06-01 06:57:20] [INFO ] Computed 48 invariants in 29 ms
Computed 48 P flows in 30 ms.
Exported basis to /tmp/petrispot-output-9554395414182567452.kers
Total runtime 34 ms.
[2026-06-01 06:57:20] [INFO ] State equation strengthened by 200 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/928 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 2620 unsolved
SMT process timed out in 23201ms, After SMT, problems are : Problem set: 0 solved, 2620 unsolved
Search for dead transitions found 0 dead transitions in 23207ms
[2026-06-01 06:57:44] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:57:44] [INFO ] Invariant cache hit.
[2026-06-01 06:57:46] [INFO ] Implicit Places using invariants in 2754 ms returned []
[2026-06-01 06:57:46] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:57:46] [INFO ] Invariant cache hit.
[2026-06-01 06:57:50] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:58:23] [INFO ] Performed 229/932 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2026-06-01 06:58:53] [INFO ] Performed 655/932 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2026-06-01 06:59:08] [INFO ] Implicit Places using invariants and state equation in 81661 ms returned []
Implicit Place search using SMT with State Equation took 84418 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 107726 ms. Remains : 932/952 places, 2624/2644 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(((F(p0) U p1)&&(p1 U X(p0))))))'
Stuttering acceptance computed with spot in 175 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1), (NOT p0), (NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-13
Stuttering criterion allowed to conclude after 64420 steps with 44 reset in 406 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-13 finished in 108350 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((X((p0||F(p1)))&&(X(X(p2))||F(p0)))))'
Support contains 4 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 106 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Skipped dead transition search.
[2026-06-01 06:59:09] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:59:09] [INFO ] Invariant cache hit.
[2026-06-01 06:59:11] [INFO ] Implicit Places using invariants in 2482 ms returned []
[2026-06-01 06:59:11] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 06:59:11] [INFO ] Invariant cache hit.
[2026-06-01 06:59:15] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 06:59:46] [INFO ] Performed 207/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 07:00:16] [INFO ] Performed 482/932 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 07:00:46] [INFO ] Performed 822/932 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-06-01 07:00:54] [INFO ] Implicit Places using invariants and state equation in 102870 ms returned []
Implicit Place search using SMT with State Equation took 105363 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 105469 ms. Remains : 932/952 places, 2624/2644 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((X((p0||F(p1)))&&(X(X(p2))||F(p0)))))'
Stuttering acceptance computed with spot in 269 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p1) (NOT p0)), (AND (NOT p0) (NOT p2)), (NOT p1), (AND (NOT p0) (NOT p2)), (NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-14
Stuttering criterion allowed to conclude after 24165 steps with 4 reset in 205 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-14 finished in 105997 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(((X(X(p0))&&F(!p1))||G(p0))))'
Support contains 4 out of 952 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 952/952 places, 2644/2644 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 942 transition count 2634
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 942 transition count 2634
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 932 transition count 2624
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 932 transition count 2624
Applied a total of 40 rules in 154 ms. Remains 932 /952 variables (removed 20) and now considering 2624/2644 (removed 20) transitions.
Skipped dead transition search.
[2026-06-01 07:00:55] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 07:00:55] [INFO ] Invariant cache hit.
[2026-06-01 07:00:57] [INFO ] Implicit Places using invariants in 2579 ms returned []
[2026-06-01 07:00:57] [INFO ] Flow matrix only has 2584 transitions (discarded 40 similar events)
[2026-06-01 07:00:57] [INFO ] Invariant cache hit.
[2026-06-01 07:01:01] [INFO ] State equation strengthened by 200 read => feed constraints.
[2026-06-01 07:01:31] [INFO ] Performed 289/932 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 07:02:03] [INFO ] Performed 686/932 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2026-06-01 07:02:20] [INFO ] Implicit Places using invariants and state equation in 83073 ms returned []
Implicit Place search using SMT with State Equation took 85654 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 932/952 places, 2624/2644 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 85809 ms. Remains : 932/952 places, 2624/2644 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)||(X(X(p0))&&F(p1)))))'
Stuttering acceptance computed with spot in 185 ms :[(NOT p0), (NOT p0), (AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : PolyORBLF-PT-S04J06T10-LTLFireability-15
Stuttering criterion allowed to conclude after 15059 steps with 33 reset in 242 ms.
FORMULA PolyORBLF-PT-S04J06T10-LTLFireability-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S04J06T10-LTLFireability-15 finished in 86295 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))'
Spot run failed in 153 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(F(p0))&&(X(p1)||F(p2))))'
Spot run failed in 83 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F((F(p0)&&F(p1)&&X(p2)))&&F(p3)))'
Spot run failed in 77 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((G(F(p0)) U p1)))'
Spot run failed in 76 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-06-01 07:02:22] [INFO ] Flatten gal took : 134 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11693856963995097329
[2026-06-01 07:02:22] [INFO ] Too many transitions (2644) to apply POR reductions. Disabling POR matrices.
[2026-06-01 07:02:22] [INFO ] Built C files in 57ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11693856963995097329
Running compilation step : cd /tmp/ltsmin11693856963995097329;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '180' '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-06-01 07:02:22] [INFO ] Applying decomposition
[2026-06-01 07:02:22] [INFO ] Flatten gal took : 133 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/graph17147203636296398196.txt' '-o' '/tmp/graph17147203636296398196.bin' '-w' '/tmp/graph17147203636296398196.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17147203636296398196.bin' '-l' '-1' '-v' '-w' '/tmp/graph17147203636296398196.weights' '-q' '0' '-e' '0.001'
[2026-06-01 07:02:22] [INFO ] Decomposing Gal with order
[2026-06-01 07:02:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 07:02:22] [INFO ] Removed a total of 2002 redundant transitions.
[2026-06-01 07:02:23] [INFO ] Flatten gal took : 279 ms
[2026-06-01 07:02:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 366 labels/synchronizations in 37 ms.
[2026-06-01 07:02:23] [INFO ] Time to serialize gal into /tmp/LTLFireability1601426700371817130.gal : 25 ms
[2026-06-01 07:02:23] [INFO ] Time to serialize properties into /tmp/LTLFireability3851077676584076.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLFireability1601426700371817130.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability3851077676584076.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...273
Read 4 LTL properties
Checking formula 0 : !((F("(((((((i6.i0.u56.NotifyEventEndOfCheckSourcesB_3>=1)&&(i3.i0.u126.IsMonitoring>=1))&&(i3.i0.u35.BlockedTasks>=1))||(((i3.i0.u126...1158
Formula 0 simplified : G!"(((((((i6.i0.u56.NotifyEventEndOfCheckSourcesB_3>=1)&&(i3.i0.u126.IsMonitoring>=1))&&(i3.i0.u35.BlockedTasks>=1))||(((i3.i0.u126....1154
Compilation finished in 12279 ms.
Running link step : cd /tmp/ltsmin11693856963995097329;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 110 ms.
Running LTSmin : cd /tmp/ltsmin11693856963995097329;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp0==true))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>225 s) on command cd /tmp/ltsmin11693856963995097329;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp0==true))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin11693856963995097329;'/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(<>((LTLAPp1==true)))&&(X((LTLAPp2==true))||<>((LTLAPp3==true))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>225 s) on command cd /tmp/ltsmin11693856963995097329;'/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(<>((LTLAPp1==true)))&&(X((LTLAPp2==true))||<>((LTLAPp3==true))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin11693856963995097329;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '(<>((<>((LTLAPp4==true))&&<>((LTLAPp5==true))&&X((LTLAPp6==true))))&&<>((LTLAPp7==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>225 s) on command cd /tmp/ltsmin11693856963995097329;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '(<>((<>((LTLAPp4==true))&&<>((LTLAPp5==true))&&X((LTLAPp6==true))))&&<>((LTLAPp7==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin11693856963995097329;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](([](<>((LTLAPp8==true))) U (LTLAPp9==true)))' '--buchi-type=spotba'
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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="PolyORBLF-PT-S04J06T10"
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 PolyORBLF-PT-S04J06T10, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r210-smll-177969942200500"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J06T10.tgz
mv PolyORBLF-PT-S04J06T10 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 ;