About the Execution of ITS-Tools for PolyORBLF-PT-S02J06T08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2232.859 | 1404703.00 | 1582622.00 | 4933.80 | TFTTFFFTFFFTFFFF | 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-177969942200444.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-S02J06T08, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-177969942200444
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 26K Mar 8 15:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 149K Mar 8 15:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Mar 8 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 95K Mar 8 15:04 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 8.3K Mar 16 08:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Mar 16 08:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Mar 16 08:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 71K Mar 16 08:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 51K Mar 8 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 255K Mar 8 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 35K Mar 8 15:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 196K Mar 8 15:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Mar 16 08:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Mar 16 08:42 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 807K 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-S02J06T08-LTLFireability-00
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-01
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-02
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-03
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-04
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-05
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-06
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-07
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-08
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-09
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-10
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-11
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-12
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-13
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-14
FORMULA_NAME PolyORBLF-PT-S02J06T08-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1780219025098
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-S02J06T08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-05-31 09:17:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-31 09:17:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-31 09:17:08] [INFO ] Load time of PNML (sax parser for PT used): 438 ms
[2026-05-31 09:17:08] [INFO ] Transformed 690 places.
[2026-05-31 09:17:08] [INFO ] Transformed 1434 transitions.
[2026-05-31 09:17:08] [INFO ] Parsed PT model containing 690 places and 1434 transitions and 6564 arcs in 679 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 36 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 1 formulas.
[2026-05-31 09:17:08] [INFO ] Reduced 88 identical enabling conditions.
Ensure Unique test removed 128 transitions
Reduce redundant transitions removed 128 transitions.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 280 out of 690 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 690/690 places, 1306/1306 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 689 transition count 1306
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 8 place count 682 transition count 1299
Iterating global reduction 1 with 7 rules applied. Total rules applied 15 place count 682 transition count 1299
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 21 place count 676 transition count 1293
Iterating global reduction 1 with 6 rules applied. Total rules applied 27 place count 676 transition count 1293
Applied a total of 27 rules in 229 ms. Remains 676 /690 variables (removed 14) and now considering 1293/1306 (removed 13) transitions.
Running 1291 sub problems to find dead transitions.
[2026-05-31 09:17:09] [INFO ] Flow matrix only has 1277 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12526703655790518024.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13425997066533229203.kers'
[2026-05-31 09:17:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12526703655790518024.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13425997066533229203.kers]
Culling duplicate invariants (modulo rational): removing 6 columns.
Culled 6 columns in 1 ms.
// Phase 1: matrix 1277 rows 670 cols 5084 entries
Finished phase 1 with 425 SingleSign rule and 198 generalized
[2026-05-31 09:17:09] [INFO ] Computed 53 invariants in 14 ms
Computed 53 P flows in 15 ms.
Exported basis to /tmp/petrispot-output-13425997066533229203.kers
Total runtime 18 ms.
[2026-05-31 09:17:09] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/673 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1291 unsolved
SMT process timed out in 22080ms, After SMT, problems are : Problem set: 0 solved, 1291 unsolved
Search for dead transitions found 0 dead transitions in 22148ms
[2026-05-31 09:17:31] [INFO ] Flow matrix only has 1277 transitions (discarded 16 similar events)
[2026-05-31 09:17:31] [INFO ] Invariant cache hit.
[2026-05-31 09:17:33] [INFO ] Implicit Places using invariants in 1980 ms returned [68, 180, 292, 344, 461, 485, 565, 572]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 2004 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 668/690 places, 1293/1306 transitions.
Applied a total of 0 rules in 35 ms. Remains 668 /668 variables (removed 0) and now considering 1293/1293 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 24550 ms. Remains : 668/690 places, 1293/1306 transitions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Applied a total of 0 rules in 32 ms. Remains 668 /668 variables (removed 0) and now considering 1293/1293 (removed 0) transitions.
Running 1291 sub problems to find dead transitions.
[2026-05-31 09:17:33] [INFO ] Flow matrix only has 1277 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-638466372490697058.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5801156161595606612.kers'
[2026-05-31 09:17:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-638466372490697058.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5801156161595606612.kers]
Culling duplicate invariants (modulo rational): removing 6 columns.
Culled 6 columns in 2 ms.
// Phase 1: matrix 1277 rows 662 cols 5068 entries
Finished phase 1 with 425 SingleSign rule and 198 generalized
[2026-05-31 09:17:33] [INFO ] Computed 45 invariants in 21 ms
Computed 45 P flows in 22 ms.
Exported basis to /tmp/petrispot-output-5801156161595606612.kers
Total runtime 24 ms.
[2026-05-31 09:17:33] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/665 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1291 unsolved
SMT process timed out in 21193ms, After SMT, problems are : Problem set: 0 solved, 1291 unsolved
Search for dead transitions found 0 dead transitions in 21202ms
[2026-05-31 09:17:54] [INFO ] Flow matrix only has 1277 transitions (discarded 16 similar events)
[2026-05-31 09:17:54] [INFO ] Invariant cache hit.
[2026-05-31 09:17:56] [INFO ] Implicit Places using invariants in 1745 ms returned []
[2026-05-31 09:17:56] [INFO ] Flow matrix only has 1277 transitions (discarded 16 similar events)
[2026-05-31 09:17:56] [INFO ] Invariant cache hit.
[2026-05-31 09:17:58] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:18:10] [INFO ] Implicit Places using invariants and state equation in 13976 ms returned []
Implicit Place search using SMT with State Equation took 15730 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 36974 ms. Remains : 668/668 places, 1293/1293 transitions.
Support contains 280 out of 668 places after structural reductions.
[2026-05-31 09:18:10] [INFO ] Flatten gal took : 233 ms
[2026-05-31 09:18:11] [INFO ] Flatten gal took : 190 ms
[2026-05-31 09:18:11] [INFO ] Input system was already deterministic with 1293 transitions.
Reduction of identical properties reduced properties to check from 37 to 33
RANDOM walk for 40000 steps (11 resets) in 2757 ms. (14 steps per ms) remains 3/33 properties
BEST_FIRST walk for 40004 steps (35 resets) in 612 ms. (65 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40002 steps (10 resets) in 287 ms. (138 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40002 steps (9 resets) in 180 ms. (221 steps per ms) remains 3/3 properties
[2026-05-31 09:18:12] [INFO ] Flow matrix only has 1277 transitions (discarded 16 similar events)
[2026-05-31 09:18:12] [INFO ] Invariant cache hit.
[2026-05-31 09:18:12] [INFO ] State equation strengthened by 96 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/45 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Problem AtomicPropp12 is UNSAT
At refinement iteration 1 (OVERLAPS) 368/413 variables, 10/10 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/413 variables, 0/10 constraints. Problems are: Problem set: 1 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 41/454 variables, 3/13 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/454 variables, 0/13 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 2/456 variables, 1/14 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/456 variables, 0/14 constraints. Problems are: Problem set: 1 solved, 2 unsolved
Problem AtomicPropp31 is UNSAT
At refinement iteration 7 (OVERLAPS) 206/662 variables, 25/39 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/662 variables, 0/39 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 5/667 variables, 5/44 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/667 variables, 0/44 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 1/668 variables, 1/45 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/668 variables, 0/45 constraints. Problems are: Problem set: 2 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1945/1945 variables, and 713 constraints, problems are : Problem set: 2 solved, 1 unsolved in 2945 ms.
Refiners :[Positive P Invariants (semi-flows): 19/19 constraints, Generalized P Invariants (flows): 26/26 constraints, State Equation: 668/668 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 3/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 2 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 365/373 variables, 4/4 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/373 variables, 0/4 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 60/433 variables, 6/10 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/433 variables, 0/10 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 4/437 variables, 3/13 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/437 variables, 0/13 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 223/660 variables, 25/38 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/660 variables, 7/45 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/660 variables, 0/45 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 5/665 variables, 5/50 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/665 variables, 0/50 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 1/666 variables, 1/51 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/666 variables, 0/51 constraints. Problems are: Problem set: 2 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1943/1945 variables, and 717 constraints, problems are : Problem set: 2 solved, 1 unsolved in 5011 ms.
Refiners :[Positive P Invariants (semi-flows): 18/19 constraints, Generalized P Invariants (flows): 26/26 constraints, State Equation: 666/668 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/2 constraints, Known Traps: 7/7 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 7984ms problems are : Problem set: 2 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8 out of 668 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 59 rules applied. Total rules applied 59 place count 667 transition count 1235
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 117 place count 609 transition count 1235
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 80 Pre rules applied. Total rules applied 117 place count 609 transition count 1155
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 277 place count 529 transition count 1155
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 278 place count 528 transition count 1154
Iterating global reduction 2 with 1 rules applied. Total rules applied 279 place count 528 transition count 1154
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 3 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 2 with 130 rules applied. Total rules applied 409 place count 463 transition count 1089
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 412 place count 460 transition count 1086
Iterating global reduction 2 with 3 rules applied. Total rules applied 415 place count 460 transition count 1086
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 2 with 16 rules applied. Total rules applied 431 place count 460 transition count 1070
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 447 place count 444 transition count 1070
Applied a total of 447 rules in 420 ms. Remains 444 /668 variables (removed 224) and now considering 1070/1293 (removed 223) transitions.
Running 1068 sub problems to find dead transitions.
[2026-05-31 09:18:21] [INFO ] Flow matrix only has 1054 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13214183449738934129.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5972757212365481053.kers'
[2026-05-31 09:18:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13214183449738934129.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5972757212365481053.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 1054 rows 439 cols 4970 entries
Finished phase 1 with 210 SingleSign rule and 190 generalized
[2026-05-31 09:18:21] [INFO ] Computed 44 invariants in 16 ms
Computed 44 P flows in 16 ms.
Exported basis to /tmp/petrispot-output-5972757212365481053.kers
Total runtime 18 ms.
[2026-05-31 09:18:21] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/442 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1068 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/442 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1068 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 442/1498 variables, and 53 constraints, problems are : Problem set: 0 solved, 1068 unsolved in 20036 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 26/28 constraints, State Equation: 0/444 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1068/1068 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1068 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/442 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1068 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/442 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1068 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/442 variables, 11/53 constraints. Problems are: Problem set: 0 solved, 1068 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 442/1498 variables, and 53 constraints, problems are : Problem set: 0 solved, 1068 unsolved in 20044 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 26/28 constraints, State Equation: 0/444 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/1068 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41027ms problems are : Problem set: 0 solved, 1068 unsolved
Search for dead transitions found 0 dead transitions in 41035ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 41462 ms. Remains : 444/668 places, 1070/1293 transitions.
RANDOM walk for 40000 steps (23 resets) in 373 ms. (106 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40003 steps (10 resets) in 158 ms. (251 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 153926 steps, run timeout after 3001 ms. (steps per millisecond=51 ) properties seen :0 out of 1
Probabilistic random walk after 153926 steps, saw 94436 distinct states, run finished after 3010 ms. (steps per millisecond=51 ) properties seen :0
[2026-05-31 09:19:05] [INFO ] Flow matrix only has 1054 transitions (discarded 16 similar events)
[2026-05-31 09:19:05] [INFO ] Invariant cache hit.
[2026-05-31 09:19:05] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 29/37 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 218/255 variables, 5/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/255 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 36/291 variables, 6/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/291 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 4/295 variables, 3/15 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/295 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 142/437 variables, 23/38 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/437 variables, 7/45 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/437 variables, 0/45 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 5/442 variables, 5/50 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/442 variables, 0/50 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (OVERLAPS) 1054/1496 variables, 442/492 constraints. Problems are: Problem set: 0 solved, 1 unsolved
All remaining problems are real, not stopping.
At refinement iteration 15 (INCLUDED_ONLY) 0/1496 variables, 96/588 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1496 variables, 0/588 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (OVERLAPS) 2/1498 variables, 2/590 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1498 variables, 1/591 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1498 variables, 0/591 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (OVERLAPS) 0/1498 variables, 0/591 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1498/1498 variables, and 591 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4958 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 28/28 constraints, State Equation: 444/444 constraints, ReadFeed: 96/96 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 7/7 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 29/37 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 218/255 variables, 5/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/255 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 36/291 variables, 6/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/291 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 4/295 variables, 3/15 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/295 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 142/437 variables, 23/38 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/437 variables, 7/45 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/437 variables, 1/46 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/437 variables, 0/46 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 5/442 variables, 5/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/442 variables, 0/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (OVERLAPS) 1054/1496 variables, 442/493 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1496 variables, 96/589 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1496 variables, 1/590 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/1496 variables, 0/590 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (OVERLAPS) 2/1498 variables, 2/592 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/1498 variables, 1/593 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/1498 variables, 0/593 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (OVERLAPS) 0/1498 variables, 0/593 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1498/1498 variables, and 593 constraints, problems are : Problem set: 0 solved, 1 unsolved in 2990 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 28/28 constraints, State Equation: 444/444 constraints, ReadFeed: 96/96 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 8/8 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 7974ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 148 ms.
Support contains 8 out of 444 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 444/444 places, 1070/1070 transitions.
Applied a total of 0 rules in 55 ms. Remains 444 /444 variables (removed 0) and now considering 1070/1070 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 55 ms. Remains : 444/444 places, 1070/1070 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 444/444 places, 1070/1070 transitions.
Applied a total of 0 rules in 55 ms. Remains 444 /444 variables (removed 0) and now considering 1070/1070 (removed 0) transitions.
[2026-05-31 09:19:13] [INFO ] Flow matrix only has 1054 transitions (discarded 16 similar events)
[2026-05-31 09:19:13] [INFO ] Invariant cache hit.
[2026-05-31 09:19:15] [INFO ] Implicit Places using invariants in 2081 ms returned []
[2026-05-31 09:19:15] [INFO ] Flow matrix only has 1054 transitions (discarded 16 similar events)
[2026-05-31 09:19:15] [INFO ] Invariant cache hit.
[2026-05-31 09:19:18] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:19:33] [INFO ] Implicit Places using invariants and state equation in 17858 ms returned []
Implicit Place search using SMT with State Equation took 19946 ms to find 0 implicit places.
[2026-05-31 09:19:33] [INFO ] Redundant transitions in 79 ms returned []
Skipped dead transition search.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 20097 ms. Remains : 444/444 places, 1070/1070 transitions.
Attempting over-approximation, by ignoring read arcs.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 16 place count 444 transition count 1054
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 8 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 1 with 16 rules applied. Total rules applied 32 place count 436 transition count 1086
Drop transitions (Redundant composition of simpler transitions.) removed 32 transitions
Redundant transition composition rules discarded 32 transitions
Iterating global reduction 1 with 32 rules applied. Total rules applied 64 place count 436 transition count 1054
Free-agglomeration rule applied 8 times.
Iterating global reduction 1 with 8 rules applied. Total rules applied 72 place count 436 transition count 1046
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 80 place count 428 transition count 1046
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 88 place count 428 transition count 1038
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 96 place count 420 transition count 1038
Applied a total of 96 rules in 136 ms. Remains 420 /444 variables (removed 24) and now considering 1038/1070 (removed 32) transitions.
Running SMT prover for 1 properties.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1958473333296468402.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11855672929517407779.kers'
[2026-05-31 09:19:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1958473333296468402.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11855672929517407779.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1038 rows 415 cols 5106 entries
Finished phase 1 with 182 SingleSign rule and 194 generalized
[2026-05-31 09:19:33] [INFO ] Computed 44 invariants in 9 ms
Computed 44 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-11855672929517407779.kers
Total runtime 13 ms.
[2026-05-31 09:19:34] [INFO ] [Real]Absence check using 16 positive place invariants in 10 ms returned sat
[2026-05-31 09:19:34] [INFO ] [Real]Absence check using 16 positive and 28 generalized place invariants in 56 ms returned sat
[2026-05-31 09:19:36] [INFO ] After 2537ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2026-05-31 09:19:36] [INFO ] [Nat]Absence check using 16 positive place invariants in 10 ms returned sat
[2026-05-31 09:19:36] [INFO ] [Nat]Absence check using 16 positive and 28 generalized place invariants in 47 ms returned sat
[2026-05-31 09:19:38] [INFO ] After 1756ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
TRAPS : Iteration 0
[2026-05-31 09:19:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1718 ms
TRAPS : Iteration 1
[2026-05-31 09:19:40] [INFO ] After 3802ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
[2026-05-31 09:19:40] [INFO ] After 4108ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Over-approximation ignoring read arcs solved 0 properties in 6857 ms.
Successfully simplified 2 atomic propositions for a total of 15 simplifications.
Computed a total of 0 stabilizing places and 0 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((X((X(X(!p1)) U (p2&&X(X(!p1)))))||p0)))'
Support contains 16 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 65 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Running 1288 sub problems to find dead transitions.
[2026-05-31 09:19:41] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16104072000646027344.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16423182723800539499.kers'
[2026-05-31 09:19:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16104072000646027344.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16423182723800539499.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 1274 rows 659 cols 5062 entries
Finished phase 1 with 422 SingleSign rule and 198 generalized
[2026-05-31 09:19:41] [INFO ] Computed 44 invariants in 19 ms
Computed 44 P flows in 20 ms.
Exported basis to /tmp/petrispot-output-16423182723800539499.kers
Total runtime 22 ms.
[2026-05-31 09:19:41] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1288 unsolved
SMT process timed out in 20890ms, After SMT, problems are : Problem set: 0 solved, 1288 unsolved
Search for dead transitions found 0 dead transitions in 20898ms
[2026-05-31 09:20:02] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:20:02] [INFO ] Invariant cache hit.
[2026-05-31 09:20:04] [INFO ] Implicit Places using invariants in 2261 ms returned []
[2026-05-31 09:20:04] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:20:04] [INFO ] Invariant cache hit.
[2026-05-31 09:20:06] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:20:22] [INFO ] Implicit Places using invariants and state equation in 18378 ms returned []
Implicit Place search using SMT with State Equation took 20643 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 41617 ms. Remains : 664/668 places, 1290/1293 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((X((X(X(!p1)) U (p2&&X(X(!p1)))))||p0)))'
Stuttering acceptance computed with spot in 453 ms :[(AND (NOT p0) p1), (AND (NOT p0) p1), (AND (NOT p0) p1), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) p1)), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) p1))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-00
Product exploration explored 100000 steps with 10841 reset in 991 ms.
Product exploration explored 100000 steps with 10815 reset in 726 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 9 factoid took 95 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 5 states, 9 edges and 3 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 7 to 5
RANDOM walk for 40000 steps (9 resets) in 534 ms. (74 steps per ms) remains 2/5 properties
BEST_FIRST walk for 40002 steps (9 resets) in 450 ms. (88 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40002 steps (8 resets) in 442 ms. (90 steps per ms) remains 2/2 properties
[2026-05-31 09:20:25] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:20:25] [INFO ] Invariant cache hit.
[2026-05-31 09:20:25] [INFO ] State equation strengthened by 96 read => feed constraints.
Problem apf1 is UNSAT
Problem apf2 is UNSAT
After SMT solving in domain Real declared 16/1938 variables, and 0 constraints, problems are : Problem set: 2 solved, 0 unsolved in 22 ms.
Refiners :[Positive P Invariants (semi-flows): 0/19 constraints, Generalized P Invariants (flows): 0/25 constraints, State Equation: 0/664 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 46ms problems are : Problem set: 2 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Found 2 invariant AP formulas.
Knowledge based reduction with 11 factoid took 112 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 73 ms :[(NOT p0), (NOT p0)]
[2026-05-31 09:20:25] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:20:25] [INFO ] Invariant cache hit.
[2026-05-31 09:20:27] [INFO ] [Real]Absence check using 19 positive place invariants in 41 ms returned sat
[2026-05-31 09:20:27] [INFO ] [Real]Absence check using 19 positive and 25 generalized place invariants in 629 ms returned sat
[2026-05-31 09:20:33] [INFO ] [Real]Absence check using state equation in 6091 ms returned sat
[2026-05-31 09:20:33] [INFO ] Solution in real domain found non-integer solution.
[2026-05-31 09:20:35] [INFO ] [Nat]Absence check using 19 positive place invariants in 44 ms returned sat
[2026-05-31 09:20:37] [INFO ] [Nat]Absence check using 19 positive and 25 generalized place invariants in 2059 ms returned sat
[2026-05-31 09:20:48] [INFO ] [Nat]Absence check using state equation in 11571 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 23891 ms.
Stuttering acceptance computed with spot in 70 ms :[(NOT p0), (NOT p0)]
Support contains 8 out of 664 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 : 664/664 places, 1290/1290 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 40 transitions
Trivial Post-agglo rules discarded 40 transitions
Performed 40 trivial Post agglomeration. Transition count delta: 40
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 664 transition count 1250
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 1 with 40 rules applied. Total rules applied 80 place count 624 transition count 1250
Performed 88 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 88 Pre rules applied. Total rules applied 80 place count 624 transition count 1162
Deduced a syphon composed of 88 places in 1 ms
Reduce places removed 88 places and 0 transitions.
Iterating global reduction 2 with 176 rules applied. Total rules applied 256 place count 536 transition count 1162
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Deduced a syphon composed of 48 places in 1 ms
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 2 with 96 rules applied. Total rules applied 352 place count 488 transition count 1114
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 356 place count 484 transition count 1110
Iterating global reduction 2 with 4 rules applied. Total rules applied 360 place count 484 transition count 1110
Applied a total of 360 rules in 142 ms. Remains 484 /664 variables (removed 180) and now considering 1110/1290 (removed 180) transitions.
Running 1108 sub problems to find dead transitions.
[2026-05-31 09:20:49] [INFO ] Flow matrix only has 1094 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7687803885446902730.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3509916736689653554.kers'
[2026-05-31 09:20:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7687803885446902730.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3509916736689653554.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1094 rows 479 cols 4754 entries
Finished phase 1 with 242 SingleSign rule and 198 generalized
[2026-05-31 09:20:49] [INFO ] Computed 44 invariants in 11 ms
Computed 44 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-3509916736689653554.kers
Total runtime 13 ms.
[2026-05-31 09:20:49] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/482 variables, 18/18 constraints. Problems are: Problem set: 0 solved, 1108 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/482 variables, 24/42 constraints. Problems are: Problem set: 0 solved, 1108 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 482/1578 variables, and 42 constraints, problems are : Problem set: 0 solved, 1108 unsolved in 20038 ms.
Refiners :[Positive P Invariants (semi-flows): 18/18 constraints, Generalized P Invariants (flows): 24/26 constraints, State Equation: 0/484 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1108/1108 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1108 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/482 variables, 18/18 constraints. Problems are: Problem set: 0 solved, 1108 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/482 variables, 24/42 constraints. Problems are: Problem set: 0 solved, 1108 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 482/1578 variables, and 52 constraints, problems are : Problem set: 0 solved, 1108 unsolved in 20030 ms.
Refiners :[Positive P Invariants (semi-flows): 18/18 constraints, Generalized P Invariants (flows): 24/26 constraints, State Equation: 0/484 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/1108 constraints, Known Traps: 10/10 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41081ms problems are : Problem set: 0 solved, 1108 unsolved
Search for dead transitions found 0 dead transitions in 41086ms
[2026-05-31 09:21:30] [INFO ] Flow matrix only has 1094 transitions (discarded 16 similar events)
[2026-05-31 09:21:30] [INFO ] Invariant cache hit.
[2026-05-31 09:21:32] [INFO ] Implicit Places using invariants in 2210 ms returned []
[2026-05-31 09:21:32] [INFO ] Flow matrix only has 1094 transitions (discarded 16 similar events)
[2026-05-31 09:21:32] [INFO ] Invariant cache hit.
[2026-05-31 09:21:35] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:21:51] [INFO ] Implicit Places using invariants and state equation in 18526 ms returned []
Implicit Place search using SMT with State Equation took 20738 ms to find 0 implicit places.
[2026-05-31 09:21:51] [INFO ] Redundant transitions in 65 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 484/664 places, 1110/1290 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 62042 ms. Remains : 484/664 places, 1110/1290 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 56 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 33 steps (0 resets) in 4 ms. (6 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 57 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 70 ms :[(NOT p0), (NOT p0)]
[2026-05-31 09:21:51] [INFO ] Flow matrix only has 1094 transitions (discarded 16 similar events)
[2026-05-31 09:21:51] [INFO ] Invariant cache hit.
[2026-05-31 09:21:52] [INFO ] [Real]Absence check using 18 positive place invariants in 28 ms returned sat
[2026-05-31 09:21:53] [INFO ] [Real]Absence check using 18 positive and 26 generalized place invariants in 786 ms returned sat
[2026-05-31 09:22:06] [INFO ] [Real]Absence check using state equation in 12907 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15209 ms.
Stuttering acceptance computed with spot in 70 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 73 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 10818 reset in 469 ms.
Product exploration explored 100000 steps with 10811 reset in 780 ms.
Built C files in :
/tmp/ltsmin8276004692805437476
[2026-05-31 09:22:07] [INFO ] Computing symmetric may disable matrix : 1110 transitions.
[2026-05-31 09:22:07] [INFO ] Computation of Complete disable matrix. took 16 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:22:07] [INFO ] Computing symmetric may enable matrix : 1110 transitions.
[2026-05-31 09:22:07] [INFO ] Computation of Complete enable matrix. took 5 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:22:08] [INFO ] Computing Do-Not-Accords matrix : 1110 transitions.
[2026-05-31 09:22:08] [INFO ] Computation of Completed DNA matrix. took 61 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:22:08] [INFO ] Built C files in 412ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8276004692805437476
Running compilation step : cd /tmp/ltsmin8276004692805437476;'/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/ltsmin8276004692805437476;'/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/ltsmin8276004692805437476;'/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 8 out of 484 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 484/484 places, 1110/1110 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 484 transition count 1102
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 476 transition count 1102
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 32 place count 468 transition count 1094
Applied a total of 32 rules in 79 ms. Remains 468 /484 variables (removed 16) and now considering 1094/1110 (removed 16) transitions.
Running 1092 sub problems to find dead transitions.
[2026-05-31 09:22:11] [INFO ] Flow matrix only has 1078 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8021274144279230476.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3740500904425702816.kers'
[2026-05-31 09:22:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8021274144279230476.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3740500904425702816.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1078 rows 463 cols 4730 entries
Finished phase 1 with 234 SingleSign rule and 190 generalized
[2026-05-31 09:22:11] [INFO ] Computed 44 invariants in 15 ms
Computed 44 P flows in 15 ms.
Exported basis to /tmp/petrispot-output-3740500904425702816.kers
Total runtime 17 ms.
[2026-05-31 09:22:11] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/466 variables, 18/18 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/466 variables, 24/42 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 466/1546 variables, and 47 constraints, problems are : Problem set: 0 solved, 1092 unsolved in 20041 ms.
Refiners :[Positive P Invariants (semi-flows): 18/18 constraints, Generalized P Invariants (flows): 24/26 constraints, State Equation: 0/468 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1092/1092 constraints, Known Traps: 5/5 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1092 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/466 variables, 18/18 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/466 variables, 24/42 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/466 variables, 5/47 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 466/1546 variables, and 47 constraints, problems are : Problem set: 0 solved, 1092 unsolved in 20049 ms.
Refiners :[Positive P Invariants (semi-flows): 18/18 constraints, Generalized P Invariants (flows): 24/26 constraints, State Equation: 0/468 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/1092 constraints, Known Traps: 5/5 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41035ms problems are : Problem set: 0 solved, 1092 unsolved
Search for dead transitions found 0 dead transitions in 41041ms
[2026-05-31 09:22:52] [INFO ] Flow matrix only has 1078 transitions (discarded 16 similar events)
[2026-05-31 09:22:52] [INFO ] Invariant cache hit.
[2026-05-31 09:22:54] [INFO ] Implicit Places using invariants in 1748 ms returned []
[2026-05-31 09:22:54] [INFO ] Flow matrix only has 1078 transitions (discarded 16 similar events)
[2026-05-31 09:22:54] [INFO ] Invariant cache hit.
[2026-05-31 09:22:56] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:23:13] [INFO ] Implicit Places using invariants and state equation in 19297 ms returned []
Implicit Place search using SMT with State Equation took 21047 ms to find 0 implicit places.
[2026-05-31 09:23:13] [INFO ] Redundant transitions in 28 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 468/484 places, 1094/1110 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 62207 ms. Remains : 468/484 places, 1094/1110 transitions.
Built C files in :
/tmp/ltsmin11168994442421553167
[2026-05-31 09:23:13] [INFO ] Computing symmetric may disable matrix : 1094 transitions.
[2026-05-31 09:23:13] [INFO ] Computation of Complete disable matrix. took 5 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:23:13] [INFO ] Computing symmetric may enable matrix : 1094 transitions.
[2026-05-31 09:23:13] [INFO ] Computation of Complete enable matrix. took 4 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:23:13] [INFO ] Computing Do-Not-Accords matrix : 1094 transitions.
[2026-05-31 09:23:13] [INFO ] Computation of Completed DNA matrix. took 50 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:23:13] [INFO ] Built C files in 312ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11168994442421553167
Running compilation step : cd /tmp/ltsmin11168994442421553167;'/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/ltsmin11168994442421553167;'/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/ltsmin11168994442421553167;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 09:23:16] [INFO ] Flatten gal took : 67 ms
[2026-05-31 09:23:17] [INFO ] Flatten gal took : 61 ms
[2026-05-31 09:23:17] [INFO ] Time to serialize gal into /tmp/LTL2587852867428146624.gal : 22 ms
[2026-05-31 09:23:17] [INFO ] Time to serialize properties into /tmp/LTL1938534355779088976.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/LTL2587852867428146624.gal' '-t' 'CGAL' '-hoa' '/tmp/aut900822571210244836.hoa' '-atoms' '/tmp/LTL1938534355779088976.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...316
Loading property file /tmp/LTL1938534355779088976.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut900822571210244836.hoa
Detected timeout of ITS tools.
[2026-05-31 09:23:32] [INFO ] Flatten gal took : 52 ms
[2026-05-31 09:23:32] [INFO ] Flatten gal took : 48 ms
[2026-05-31 09:23:32] [INFO ] Time to serialize gal into /tmp/LTL18068900773765706338.gal : 13 ms
[2026-05-31 09:23:32] [INFO ] Time to serialize properties into /tmp/LTL14421374410926298705.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/LTL18068900773765706338.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14421374410926298705.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(("((((QueueJobE_8>=1)||(QueueJobE_1>=1))||((QueueJobE_3>=1)||(QueueJobE_4>=1)))||(((QueueJobE_2>=1)||(QueueJobE_6>=1))||((QueueJo...795
Formula 0 simplified : G(!"((((QueueJobE_8>=1)||(QueueJobE_1>=1))||((QueueJobE_3>=1)||(QueueJobE_4>=1)))||(((QueueJobE_2>=1)||(QueueJobE_6>=1))||((QueueJob...561
Detected timeout of ITS tools.
[2026-05-31 09:23:47] [INFO ] Flatten gal took : 45 ms
[2026-05-31 09:23:47] [INFO ] Applying decomposition
[2026-05-31 09:23:47] [INFO ] Flatten gal took : 47 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/graph13874435714090641212.txt' '-o' '/tmp/graph13874435714090641212.bin' '-w' '/tmp/graph13874435714090641212.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13874435714090641212.bin' '-l' '-1' '-v' '-w' '/tmp/graph13874435714090641212.weights' '-q' '0' '-e' '0.001'
[2026-05-31 09:23:47] [INFO ] Decomposing Gal with order
[2026-05-31 09:23:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 09:23:47] [INFO ] Removed a total of 821 redundant transitions.
[2026-05-31 09:23:48] [INFO ] Flatten gal took : 371 ms
[2026-05-31 09:23:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 422 labels/synchronizations in 90 ms.
[2026-05-31 09:23:48] [INFO ] Time to serialize gal into /tmp/LTL8216311163125186610.gal : 28 ms
[2026-05-31 09:23:48] [INFO ] Time to serialize properties into /tmp/LTL2223033943696189855.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/LTL8216311163125186610.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2223033943696189855.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 : !((F(("((((i4.u21.QueueJobE_8>=1)||(i4.u21.QueueJobE_1>=1))||((i4.u21.QueueJobE_3>=1)||(i4.u21.QueueJobE_4>=1)))||(((i4.u21.QueueJobE_...1015
Formula 0 simplified : G(!"((((i4.u21.QueueJobE_8>=1)||(i4.u21.QueueJobE_1>=1))||((i4.u21.QueueJobE_3>=1)||(i4.u21.QueueJobE_4>=1)))||(((i4.u21.QueueJobE_2...727
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-00 finished in 262197 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((F(p0) U X((p1 U X(X(p2)))))||(p1 U p3)))'
Support contains 34 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 61 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Running 1288 sub problems to find dead transitions.
[2026-05-31 09:24:03] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10551550387431135865.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10201946270959071632.kers'
[2026-05-31 09:24:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10551550387431135865.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10201946270959071632.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 1274 rows 659 cols 5062 entries
Finished phase 1 with 422 SingleSign rule and 198 generalized
[2026-05-31 09:24:03] [INFO ] Computed 44 invariants in 18 ms
Computed 44 P flows in 19 ms.
Exported basis to /tmp/petrispot-output-10201946270959071632.kers
Total runtime 21 ms.
[2026-05-31 09:24:03] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1288 unsolved
SMT process timed out in 20994ms, After SMT, problems are : Problem set: 0 solved, 1288 unsolved
Search for dead transitions found 0 dead transitions in 21002ms
[2026-05-31 09:24:24] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:24:24] [INFO ] Invariant cache hit.
[2026-05-31 09:24:26] [INFO ] Implicit Places using invariants in 1858 ms returned []
[2026-05-31 09:24:26] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:24:26] [INFO ] Invariant cache hit.
[2026-05-31 09:24:28] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:24:43] [INFO ] Implicit Places using invariants and state equation in 17090 ms returned []
Implicit Place search using SMT with State Equation took 18951 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 40022 ms. Remains : 664/668 places, 1290/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((F(p0) U X((p1 U X(X(p2)))))||(p1 U p3)))'
Stuttering acceptance computed with spot in 741 ms :[(AND (NOT p2) (NOT p3)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p3) (NOT p1) (NOT p2)), (AND (NOT p2) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p3) (NOT p1) (NOT p2)), (AND (NOT p2) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p3) (NOT p1) (NOT p2)), (AND (NOT p2) (NOT p3)), (NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-01
Stuttering criterion allowed to conclude after 1466 steps with 0 reset in 8 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-01 finished in 40840 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)||(F(p2)&&p1))))'
Support contains 84 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 43 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Skipped dead transition search.
[2026-05-31 09:24:44] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:24:44] [INFO ] Invariant cache hit.
[2026-05-31 09:24:46] [INFO ] Implicit Places using invariants in 1988 ms returned []
[2026-05-31 09:24:46] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:24:46] [INFO ] Invariant cache hit.
[2026-05-31 09:24:48] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:25:07] [INFO ] Implicit Places using invariants and state equation in 21444 ms returned []
Implicit Place search using SMT with State Equation took 23437 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 23481 ms. Remains : 664/668 places, 1290/1293 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)||(F(p2)&&p1))))'
Stuttering acceptance computed with spot in 153 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (NOT p0), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-02
Product exploration explored 100000 steps with 50000 reset in 1746 ms.
Product exploration explored 100000 steps with 50000 reset in 1274 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 9 factoid took 49 ms. Proved property starting from automaton with 4 states, 5 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 62 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-02 TRUE TECHNIQUES KNOWLEDGE
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-02 finished in 26764 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(F((G(p1)||p0)))))'
Support contains 78 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 36 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Skipped dead transition search.
[2026-05-31 09:25:11] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:25:11] [INFO ] Invariant cache hit.
[2026-05-31 09:25:13] [INFO ] Implicit Places using invariants in 2262 ms returned []
[2026-05-31 09:25:13] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:25:13] [INFO ] Invariant cache hit.
[2026-05-31 09:25:15] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:25:35] [INFO ] Implicit Places using invariants and state equation in 22146 ms returned []
Implicit Place search using SMT with State Equation took 24410 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 24447 ms. Remains : 664/668 places, 1290/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(F((G(p1)||p0)))))'
Stuttering acceptance computed with spot in 103 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-03
Product exploration explored 100000 steps with 2970 reset in 1402 ms.
Product exploration explored 100000 steps with 2966 reset in 1197 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 5 factoid took 47 ms. Reduced automaton from 3 states, 4 edges and 2 AP (stutter sensitive) to 3 states, 4 edges and 2 AP (stutter sensitive).
RANDOM walk for 133 steps (0 resets) in 9 ms. (13 steps per ms) remains 0/4 properties
Knowledge based reduction with 5 factoid took 105 ms. Reduced automaton from 3 states, 4 edges and 2 AP (stutter sensitive) to 3 states, 4 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 138 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-31 09:25:38] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:25:38] [INFO ] Invariant cache hit.
[2026-05-31 09:25:42] [INFO ] [Real]Absence check using 19 positive place invariants in 641 ms returned sat
[2026-05-31 09:25:43] [INFO ] [Real]Absence check using 19 positive and 25 generalized place invariants in 943 ms returned sat
[2026-05-31 09:25:53] [INFO ] [Real]Absence check using state equation in 10026 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 15388 ms.
Stuttering acceptance computed with spot in 109 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 78 out of 664 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 664/664 places, 1290/1290 transitions.
Applied a total of 0 rules in 12 ms. Remains 664 /664 variables (removed 0) and now considering 1290/1290 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 09:25:53] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:25:53] [INFO ] Invariant cache hit.
[2026-05-31 09:25:56] [INFO ] Implicit Places using invariants in 2465 ms returned []
[2026-05-31 09:25:56] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:25:56] [INFO ] Invariant cache hit.
[2026-05-31 09:25:57] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:26:18] [INFO ] Implicit Places using invariants and state equation in 22430 ms returned []
Implicit Place search using SMT with State Equation took 24899 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 24912 ms. Remains : 664/664 places, 1290/1290 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 5 factoid took 49 ms. Reduced automaton from 3 states, 4 edges and 2 AP (stutter sensitive) to 3 states, 4 edges and 2 AP (stutter sensitive).
RANDOM walk for 143 steps (0 resets) in 9 ms. (14 steps per ms) remains 0/4 properties
Knowledge based reduction with 5 factoid took 91 ms. Reduced automaton from 3 states, 4 edges and 2 AP (stutter sensitive) to 3 states, 4 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 111 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-31 09:26:18] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:26:18] [INFO ] Invariant cache hit.
[2026-05-31 09:26:23] [INFO ] [Real]Absence check using 19 positive place invariants in 662 ms returned sat
[2026-05-31 09:26:24] [INFO ] [Real]Absence check using 19 positive and 25 generalized place invariants in 1158 ms returned sat
[2026-05-31 09:26:33] [INFO ] [Real]Absence check using state equation in 9705 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 15330 ms.
Stuttering acceptance computed with spot in 107 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 102 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration explored 100000 steps with 2954 reset in 2291 ms.
Product exploration explored 100000 steps with 2964 reset in 1884 ms.
Spot run failed in 115 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/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin13943054690251323123
[2026-05-31 09:26:38] [INFO ] Built C files in 20ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13943054690251323123
Running compilation step : cd /tmp/ltsmin13943054690251323123;'/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/ltsmin13943054690251323123;'/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/ltsmin13943054690251323123;'/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 78 out of 664 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 664/664 places, 1290/1290 transitions.
Applied a total of 0 rules in 12 ms. Remains 664 /664 variables (removed 0) and now considering 1290/1290 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 09:26:41] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:26:41] [INFO ] Invariant cache hit.
[2026-05-31 09:26:43] [INFO ] Implicit Places using invariants in 2163 ms returned []
[2026-05-31 09:26:43] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:26:43] [INFO ] Invariant cache hit.
[2026-05-31 09:26:45] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:27:07] [INFO ] Implicit Places using invariants and state equation in 23900 ms returned []
Implicit Place search using SMT with State Equation took 26066 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 26078 ms. Remains : 664/664 places, 1290/1290 transitions.
Built C files in :
/tmp/ltsmin11947445675135298197
[2026-05-31 09:27:07] [INFO ] Built C files in 31ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11947445675135298197
Running compilation step : cd /tmp/ltsmin11947445675135298197;'/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/ltsmin11947445675135298197;'/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/ltsmin11947445675135298197;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 09:27:10] [INFO ] Flatten gal took : 46 ms
[2026-05-31 09:27:10] [INFO ] Flatten gal took : 43 ms
[2026-05-31 09:27:10] [INFO ] Time to serialize gal into /tmp/LTL1765919542532798130.gal : 9 ms
[2026-05-31 09:27:10] [INFO ] Time to serialize properties into /tmp/LTL13812671846480127921.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/LTL1765919542532798130.gal' '-t' 'CGAL' '-hoa' '/tmp/aut15914086406756383415.hoa' '-atoms' '/tmp/LTL13812671846480127921.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/LTL13812671846480127921.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut15914086406756383415.hoa
Detected timeout of ITS tools.
[2026-05-31 09:27:25] [INFO ] Flatten gal took : 36 ms
[2026-05-31 09:27:25] [INFO ] Flatten gal took : 38 ms
[2026-05-31 09:27:25] [INFO ] Time to serialize gal into /tmp/LTL5610692946929972453.gal : 9 ms
[2026-05-31 09:27:25] [INFO ] Time to serialize properties into /tmp/LTL198797422348616793.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/LTL5610692946929972453.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL198797422348616793.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(X(F((((((((G("((((Try_Check_Sources_B_2>=1)||(Try_Check_Sources_B_7>=1))||((Try_Check_Sources_B_6>=1)||(Try_Check_Sources_B_3>=1)...6464
Formula 0 simplified : XXG(!"((((((((CreatedJobs_1_1>=1)&&(ScheduleTaskE_Work_8_1>=1))||((CreatedJobs_2_1>=1)&&(ScheduleTaskE_Work_4_2>=1)))||(((CreatedJob...6442
Detected timeout of ITS tools.
[2026-05-31 09:27:41] [INFO ] Flatten gal took : 35 ms
[2026-05-31 09:27:41] [INFO ] Applying decomposition
[2026-05-31 09:27:41] [INFO ] Flatten gal took : 35 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/graph14202634878823523813.txt' '-o' '/tmp/graph14202634878823523813.bin' '-w' '/tmp/graph14202634878823523813.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14202634878823523813.bin' '-l' '-1' '-v' '-w' '/tmp/graph14202634878823523813.weights' '-q' '0' '-e' '0.001'
[2026-05-31 09:27:41] [INFO ] Decomposing Gal with order
[2026-05-31 09:27:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 09:27:41] [INFO ] Removed a total of 1068 redundant transitions.
[2026-05-31 09:27:41] [INFO ] Flatten gal took : 124 ms
[2026-05-31 09:27:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 235 labels/synchronizations in 46 ms.
[2026-05-31 09:27:41] [INFO ] Time to serialize gal into /tmp/LTL5477024629925033737.gal : 14 ms
[2026-05-31 09:27:41] [INFO ] Time to serialize properties into /tmp/LTL6656067750312174152.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/LTL5477024629925033737.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6656067750312174152.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(X(F((((((((G("((((i9.i4.u69.Try_Check_Sources_B_2>=1)||(i9.i4.u69.Try_Check_Sources_B_7>=1))||((i9.i4.u69.Try_Check_Sources_B_6>=...8136
Formula 0 simplified : XXG(!"((((((((u32.CreatedJobs_1_1>=1)&&(i5.u40.ScheduleTaskE_Work_8_1>=1))||((i4.u78.CreatedJobs_2_1>=1)&&(i5.u113.ScheduleTaskE_Wor...8114
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-03 finished in 165602 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(!p0)))'
Support contains 10 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 43 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Skipped dead transition search.
[2026-05-31 09:27:56] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:27:56] [INFO ] Invariant cache hit.
[2026-05-31 09:27:58] [INFO ] Implicit Places using invariants in 2263 ms returned []
[2026-05-31 09:27:58] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:27:58] [INFO ] Invariant cache hit.
[2026-05-31 09:28:01] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:28:14] [INFO ] Implicit Places using invariants and state equation in 16097 ms returned []
Implicit Place search using SMT with State Equation took 18365 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18409 ms. Remains : 664/668 places, 1290/1293 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)))'
Stuttering acceptance computed with spot in 79 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-04
Entered a terminal (fully accepting) state of product in 26 steps with 0 reset in 1 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-04 finished in 18523 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(G(p1))||p0))||((F(G(p3))||p2) U p4)))'
Support contains 25 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 36 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Skipped dead transition search.
[2026-05-31 09:28:15] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:28:15] [INFO ] Invariant cache hit.
[2026-05-31 09:28:17] [INFO ] Implicit Places using invariants in 2569 ms returned []
[2026-05-31 09:28:17] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:28:17] [INFO ] Invariant cache hit.
[2026-05-31 09:28:19] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:28:33] [INFO ] Implicit Places using invariants and state equation in 15902 ms returned []
Implicit Place search using SMT with State Equation took 18476 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18515 ms. Remains : 664/668 places, 1290/1293 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(G(p1))||p0))||((F(G(p3))||p2) U p4)))'
Stuttering acceptance computed with spot in 320 ms :[(AND (NOT p0) (NOT p1) (NOT p4)), (OR (AND (NOT p0) (NOT p1) (NOT p3) p4) (AND (NOT p0) (NOT p1) p2 (NOT p3))), (AND (NOT p0) (NOT p1) (NOT p4)), (AND (NOT p3) (NOT p1)), (AND (NOT p1) (NOT p4))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-05
Stuttering criterion allowed to conclude after 10438 steps with 0 reset in 150 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-05 finished in 19044 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 18 out of 668 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 42 transitions
Trivial Post-agglo rules discarded 42 transitions
Performed 42 trivial Post agglomeration. Transition count delta: 42
Iterating post reduction 0 with 42 rules applied. Total rules applied 42 place count 667 transition count 1251
Reduce places removed 42 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 50 rules applied. Total rules applied 92 place count 625 transition count 1243
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 100 place count 617 transition count 1243
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 80 Pre rules applied. Total rules applied 100 place count 617 transition count 1163
Deduced a syphon composed of 80 places in 2 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 3 with 160 rules applied. Total rules applied 260 place count 537 transition count 1163
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 261 place count 536 transition count 1162
Iterating global reduction 3 with 1 rules applied. Total rules applied 262 place count 536 transition count 1162
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 2 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 3 with 130 rules applied. Total rules applied 392 place count 471 transition count 1097
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 395 place count 468 transition count 1094
Iterating global reduction 3 with 3 rules applied. Total rules applied 398 place count 468 transition count 1094
Applied a total of 398 rules in 172 ms. Remains 468 /668 variables (removed 200) and now considering 1094/1293 (removed 199) transitions.
Running 1092 sub problems to find dead transitions.
[2026-05-31 09:28:34] [INFO ] Flow matrix only has 1078 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11211201399964344716.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13320886681735183146.kers'
[2026-05-31 09:28:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11211201399964344716.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13320886681735183146.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1078 rows 463 cols 4890 entries
Finished phase 1 with 234 SingleSign rule and 190 generalized
[2026-05-31 09:28:34] [INFO ] Computed 44 invariants in 16 ms
Computed 44 P flows in 17 ms.
Exported basis to /tmp/petrispot-output-13320886681735183146.kers
Total runtime 19 ms.
[2026-05-31 09:28:34] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/466 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/466 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1092 unsolved
SMT process timed out in 21506ms, After SMT, problems are : Problem set: 0 solved, 1092 unsolved
Search for dead transitions found 0 dead transitions in 21513ms
[2026-05-31 09:28:55] [INFO ] Flow matrix only has 1078 transitions (discarded 16 similar events)
[2026-05-31 09:28:55] [INFO ] Invariant cache hit.
[2026-05-31 09:28:57] [INFO ] Implicit Places using invariants in 1604 ms returned []
[2026-05-31 09:28:57] [INFO ] Flow matrix only has 1078 transitions (discarded 16 similar events)
[2026-05-31 09:28:57] [INFO ] Invariant cache hit.
[2026-05-31 09:28:59] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:29:07] [INFO ] Implicit Places using invariants and state equation in 9926 ms returned []
Implicit Place search using SMT with State Equation took 11536 ms to find 0 implicit places.
[2026-05-31 09:29:07] [INFO ] Redundant transitions in 18 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 468/668 places, 1094/1293 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 33251 ms. Remains : 468/668 places, 1094/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-06
Product exploration explored 100000 steps with 44 reset in 703 ms.
Stack based approach found an accepted trace after 987 steps with 2 reset with depth 263 and stack size 263 in 9 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-06 FALSE TECHNIQUES STACK_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-06 finished in 34061 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((p0||G(p1)))))'
Support contains 127 out of 668 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 667 transition count 1235
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 116 place count 609 transition count 1235
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 24 Pre rules applied. Total rules applied 116 place count 609 transition count 1211
Deduced a syphon composed of 24 places in 1 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 164 place count 585 transition count 1211
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 165 place count 584 transition count 1210
Iterating global reduction 2 with 1 rules applied. Total rules applied 166 place count 584 transition count 1210
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 1 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 2 with 130 rules applied. Total rules applied 296 place count 519 transition count 1145
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 299 place count 516 transition count 1142
Iterating global reduction 2 with 3 rules applied. Total rules applied 302 place count 516 transition count 1142
Applied a total of 302 rules in 87 ms. Remains 516 /668 variables (removed 152) and now considering 1142/1293 (removed 151) transitions.
Running 1140 sub problems to find dead transitions.
[2026-05-31 09:29:08] [INFO ] Flow matrix only has 1126 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12494649157010105239.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3485631886220813504.kers'
[2026-05-31 09:29:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12494649157010105239.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3485631886220813504.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1126 rows 511 cols 4986 entries
Finished phase 1 with 282 SingleSign rule and 190 generalized
[2026-05-31 09:29:08] [INFO ] Computed 44 invariants in 12 ms
Computed 44 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-3485631886220813504.kers
Total runtime 14 ms.
[2026-05-31 09:29:08] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/514 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1140 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/514 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1140 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 514/1642 variables, and 45 constraints, problems are : Problem set: 0 solved, 1140 unsolved in 20030 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 26/28 constraints, State Equation: 0/516 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1140/1140 constraints, Known Traps: 3/3 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1140 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/514 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1140 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/514 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1140 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/514 variables, 3/45 constraints. Problems are: Problem set: 0 solved, 1140 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 514/1642 variables, and 45 constraints, problems are : Problem set: 0 solved, 1140 unsolved in 20036 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 26/28 constraints, State Equation: 0/516 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/1140 constraints, Known Traps: 3/3 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41017ms problems are : Problem set: 0 solved, 1140 unsolved
Search for dead transitions found 0 dead transitions in 41020ms
[2026-05-31 09:29:49] [INFO ] Flow matrix only has 1126 transitions (discarded 16 similar events)
[2026-05-31 09:29:49] [INFO ] Invariant cache hit.
[2026-05-31 09:29:50] [INFO ] Implicit Places using invariants in 1272 ms returned []
[2026-05-31 09:29:50] [INFO ] Flow matrix only has 1126 transitions (discarded 16 similar events)
[2026-05-31 09:29:50] [INFO ] Invariant cache hit.
[2026-05-31 09:29:51] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:30:08] [INFO ] Implicit Places using invariants and state equation in 18370 ms returned []
Implicit Place search using SMT with State Equation took 19646 ms to find 0 implicit places.
[2026-05-31 09:30:09] [INFO ] Redundant transitions in 35 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 516/668 places, 1142/1293 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 60802 ms. Remains : 516/668 places, 1142/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((G(p0)||p1))))'
Stuttering acceptance computed with spot in 112 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-07
Product exploration explored 100000 steps with 39 reset in 1224 ms.
Product exploration explored 100000 steps with 34 reset in 1132 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 9 factoid took 198 ms. Reduced automaton from 2 states, 4 edges and 2 AP (stutter insensitive) to 2 states, 4 edges and 2 AP (stutter insensitive).
RANDOM walk for 40000 steps (13 resets) in 619 ms. (64 steps per ms) remains 1/4 properties
BEST_FIRST walk for 40002 steps (9 resets) in 1935 ms. (20 steps per ms) remains 1/1 properties
[2026-05-31 09:30:12] [INFO ] Flow matrix only has 1126 transitions (discarded 16 similar events)
[2026-05-31 09:30:12] [INFO ] Invariant cache hit.
[2026-05-31 09:30:12] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/127 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 44/171 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/171 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/171 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 298/469 variables, 16/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/469 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 14/483 variables, 6/30 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/483 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 2/485 variables, 2/32 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/485 variables, 0/32 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 514/1642 variables, and 43 constraints, problems are : Problem set: 0 solved, 1 unsolved in 2123 ms.
Refiners :[Positive P Invariants (semi-flows): 15/16 constraints, Generalized P Invariants (flows): 28/28 constraints, State Equation: 0/516 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/127 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 44/171 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/171 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/171 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 298/469 variables, 16/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/469 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 14/483 variables, 6/30 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/483 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 2/485 variables, 2/32 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/485 variables, 0/32 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 514/1642 variables, and 43 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1431 ms.
Refiners :[Positive P Invariants (semi-flows): 15/16 constraints, Generalized P Invariants (flows): 28/28 constraints, State Equation: 0/516 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 3575ms problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 127 out of 516 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 516/516 places, 1142/1142 transitions.
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 516 transition count 1126
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 32 place count 500 transition count 1126
Applied a total of 32 rules in 80 ms. Remains 500 /516 variables (removed 16) and now considering 1126/1142 (removed 16) transitions.
Running 1124 sub problems to find dead transitions.
[2026-05-31 09:30:16] [INFO ] Flow matrix only has 1110 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9319029746279846843.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4498028835042771297.kers'
[2026-05-31 09:30:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9319029746279846843.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4498028835042771297.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1110 rows 495 cols 5082 entries
Finished phase 1 with 266 SingleSign rule and 190 generalized
[2026-05-31 09:30:16] [INFO ] Computed 44 invariants in 10 ms
Computed 44 P flows in 10 ms.
Exported basis to /tmp/petrispot-output-4498028835042771297.kers
Total runtime 11 ms.
[2026-05-31 09:30:16] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/498 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1124 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/498 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1124 unsolved
SMT process timed out in 21410ms, After SMT, problems are : Problem set: 0 solved, 1124 unsolved
Search for dead transitions found 0 dead transitions in 21415ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 21502 ms. Remains : 500/516 places, 1126/1142 transitions.
RANDOM walk for 40000 steps (19 resets) in 739 ms. (54 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (12 resets) in 1042 ms. (38 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 139349 steps, run timeout after 3001 ms. (steps per millisecond=46 ) properties seen :0 out of 1
Probabilistic random walk after 139349 steps, saw 85712 distinct states, run finished after 3001 ms. (steps per millisecond=46 ) properties seen :0
[2026-05-31 09:30:40] [INFO ] Flow matrix only has 1110 transitions (discarded 16 similar events)
[2026-05-31 09:30:40] [INFO ] Invariant cache hit.
[2026-05-31 09:30:40] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/127 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 44/171 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/171 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/171 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 281/452 variables, 16/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/452 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 14/466 variables, 6/30 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/466 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 2/468 variables, 2/32 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/468 variables, 0/32 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
Problem apf1 is UNSAT
After SMT solving in domain Real declared 498/1610 variables, and 43 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5726 ms.
Refiners :[Positive P Invariants (semi-flows): 15/16 constraints, Generalized P Invariants (flows): 28/28 constraints, State Equation: 0/500 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
After SMT solving in domain Int declared 127/1610 variables, and 0 constraints, problems are : Problem set: 1 solved, 0 unsolved in 44 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 0/28 constraints, State Equation: 0/500 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 5781ms problems are : Problem set: 1 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Found 1 invariant AP formulas.
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 10 factoid took 12 ms. Proved property starting from automaton with 2 states, 4 edges and 2 AP (stutter insensitive
Knowledge-based reduction took 35269 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-07 TRUE TECHNIQUES KNOWLEDGE
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-07 finished in 98587 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((X(!(X(F(p0)) U X(X((p1 U p2)))))&&!p1))))'
Support contains 4 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 72 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Running 1288 sub problems to find dead transitions.
[2026-05-31 09:30:46] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2586363684921728632.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3056403207367597623.kers'
[2026-05-31 09:30:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2586363684921728632.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3056403207367597623.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1274 rows 659 cols 5062 entries
Finished phase 1 with 422 SingleSign rule and 198 generalized
[2026-05-31 09:30:46] [INFO ] Computed 44 invariants in 11 ms
Computed 44 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-3056403207367597623.kers
Total runtime 14 ms.
[2026-05-31 09:30:46] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1288 unsolved
SMT process timed out in 20660ms, After SMT, problems are : Problem set: 0 solved, 1288 unsolved
Search for dead transitions found 0 dead transitions in 20662ms
[2026-05-31 09:31:07] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:31:07] [INFO ] Invariant cache hit.
[2026-05-31 09:31:09] [INFO ] Implicit Places using invariants in 2266 ms returned []
[2026-05-31 09:31:09] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:31:09] [INFO ] Invariant cache hit.
[2026-05-31 09:31:11] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:31:28] [INFO ] Implicit Places using invariants and state equation in 18975 ms returned []
Implicit Place search using SMT with State Equation took 21243 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 41982 ms. Remains : 664/668 places, 1290/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((X(!(X(F(p0)) U X(X((p1 U p2)))))&&!p1))))'
Stuttering acceptance computed with spot in 462 ms :[true, (OR p2 p1), (AND p0 p2), p0, (OR p1 p2), p2, p2, p2, (OR p1 p2), p2]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-08
Entered a terminal (fully accepting) state of product in 601 steps with 0 reset in 4 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-08 finished in 42494 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0) U X((G(F(p1)) U p2))))'
Support contains 11 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 666 transition count 1291
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 666 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 665 transition count 1290
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 665 transition count 1290
Applied a total of 6 rules in 55 ms. Remains 665 /668 variables (removed 3) and now considering 1290/1293 (removed 3) transitions.
Running 1288 sub problems to find dead transitions.
[2026-05-31 09:31:29] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6862585896855788825.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9086590363605871033.kers'
[2026-05-31 09:31:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6862585896855788825.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9086590363605871033.kers]
Culling duplicate invariants (modulo rational): removing 6 columns.
Culled 6 columns in 2 ms.
// Phase 1: matrix 1274 rows 659 cols 5062 entries
Finished phase 1 with 422 SingleSign rule and 198 generalized
[2026-05-31 09:31:29] [INFO ] Computed 45 invariants in 20 ms
Computed 45 P flows in 20 ms.
Exported basis to /tmp/petrispot-output-9086590363605871033.kers
Total runtime 22 ms.
[2026-05-31 09:31:29] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1288 unsolved
SMT process timed out in 21029ms, After SMT, problems are : Problem set: 0 solved, 1288 unsolved
Search for dead transitions found 0 dead transitions in 21033ms
[2026-05-31 09:31:50] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:31:50] [INFO ] Invariant cache hit.
[2026-05-31 09:31:52] [INFO ] Implicit Places using invariants in 1821 ms returned []
[2026-05-31 09:31:52] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:31:52] [INFO ] Invariant cache hit.
[2026-05-31 09:31:53] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:32:15] [INFO ] Implicit Places using invariants and state equation in 22923 ms returned []
Implicit Place search using SMT with State Equation took 24746 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 665/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 45841 ms. Remains : 665/668 places, 1290/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0) U X((G(F(p1)) U p2))))'
Stuttering acceptance computed with spot in 186 ms :[(NOT p2), (AND (NOT p0) (NOT p2) (NOT p1)), (NOT p2), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-09
Product exploration explored 100000 steps with 13721 reset in 661 ms.
Product exploration explored 100000 steps with 13818 reset in 479 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 2 factoid took 280 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 5 states, 9 edges and 3 AP (stutter sensitive).
RANDOM walk for 27 steps (0 resets) in 5 ms. (4 steps per ms) remains 0/6 properties
Knowledge based reduction with 2 factoid took 480 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 5 states, 9 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 265 ms :[(NOT p2), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-31 09:32:17] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:32:17] [INFO ] Invariant cache hit.
[2026-05-31 09:32:19] [INFO ] [Real]Absence check using 19 positive place invariants in 77 ms returned sat
[2026-05-31 09:32:20] [INFO ] [Real]Absence check using 19 positive and 26 generalized place invariants in 1139 ms returned sat
[2026-05-31 09:32:32] [INFO ] [Real]Absence check using state equation in 12016 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 16061 ms.
Stuttering acceptance computed with spot in 195 ms :[(NOT p2), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 11 out of 665 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 665/665 places, 1290/1290 transitions.
Applied a total of 0 rules in 11 ms. Remains 665 /665 variables (removed 0) and now considering 1290/1290 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 09:32:32] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:32:32] [INFO ] Invariant cache hit.
[2026-05-31 09:32:34] [INFO ] Implicit Places using invariants in 1871 ms returned []
[2026-05-31 09:32:34] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:32:34] [INFO ] Invariant cache hit.
[2026-05-31 09:32:35] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:32:57] [INFO ] Implicit Places using invariants and state equation in 22588 ms returned []
Implicit Place search using SMT with State Equation took 24463 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 24475 ms. Remains : 665/665 places, 1290/1290 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 2 factoid took 359 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 5 states, 9 edges and 3 AP (stutter sensitive).
RANDOM walk for 9 steps (0 resets) in 4 ms. (1 steps per ms) remains 0/6 properties
Knowledge based reduction with 2 factoid took 507 ms. Reduced automaton from 5 states, 9 edges and 3 AP (stutter sensitive) to 5 states, 9 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 268 ms :[(NOT p2), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-31 09:32:58] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:32:58] [INFO ] Invariant cache hit.
[2026-05-31 09:33:00] [INFO ] [Real]Absence check using 19 positive place invariants in 57 ms returned sat
[2026-05-31 09:33:01] [INFO ] [Real]Absence check using 19 positive and 26 generalized place invariants in 945 ms returned sat
[2026-05-31 09:33:13] [INFO ] [Real]Absence check using state equation in 12312 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 16174 ms.
Stuttering acceptance computed with spot in 252 ms :[(NOT p2), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 229 ms :[(NOT p2), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration explored 100000 steps with 13773 reset in 721 ms.
Product exploration explored 100000 steps with 13855 reset in 606 ms.
Spot run failed in 55 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/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin13371602397686505865
[2026-05-31 09:33:15] [INFO ] Built C files in 18ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13371602397686505865
Running compilation step : cd /tmp/ltsmin13371602397686505865;'/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/ltsmin13371602397686505865;'/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/ltsmin13371602397686505865;'/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 665 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 665/665 places, 1290/1290 transitions.
Applied a total of 0 rules in 19 ms. Remains 665 /665 variables (removed 0) and now considering 1290/1290 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 09:33:18] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:33:18] [INFO ] Invariant cache hit.
[2026-05-31 09:33:20] [INFO ] Implicit Places using invariants in 2256 ms returned []
[2026-05-31 09:33:20] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:33:20] [INFO ] Invariant cache hit.
[2026-05-31 09:33:22] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:33:42] [INFO ] Implicit Places using invariants and state equation in 22300 ms returned []
Implicit Place search using SMT with State Equation took 24562 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 24583 ms. Remains : 665/665 places, 1290/1290 transitions.
Built C files in :
/tmp/ltsmin5290423173113770096
[2026-05-31 09:33:42] [INFO ] Built C files in 18ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5290423173113770096
Running compilation step : cd /tmp/ltsmin5290423173113770096;'/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/ltsmin5290423173113770096;'/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/ltsmin5290423173113770096;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 09:33:46] [INFO ] Flatten gal took : 36 ms
[2026-05-31 09:33:46] [INFO ] Flatten gal took : 34 ms
[2026-05-31 09:33:46] [INFO ] Time to serialize gal into /tmp/LTL4101914354964072182.gal : 8 ms
[2026-05-31 09:33:46] [INFO ] Time to serialize properties into /tmp/LTL5683999041887568293.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/LTL4101914354964072182.gal' '-t' 'CGAL' '-hoa' '/tmp/aut12904180916503475735.hoa' '-atoms' '/tmp/LTL5683999041887568293.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/LTL5683999041887568293.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut12904180916503475735.hoa
Detected timeout of ITS tools.
[2026-05-31 09:34:01] [INFO ] Flatten gal took : 35 ms
[2026-05-31 09:34:01] [INFO ] Flatten gal took : 34 ms
[2026-05-31 09:34:01] [INFO ] Time to serialize gal into /tmp/LTL2901670279456057652.gal : 7 ms
[2026-05-31 09:34:01] [INFO ] Time to serialize properties into /tmp/LTL16782983550452528624.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/LTL2901670279456057652.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16782983550452528624.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("(((CanInjectEvent>=1)&&(Check_Sources_B_1>=1))&&(ModifiedSrc_2>=1))"))U(X((G(F("(((cSources>=1)&&(CanInjectEvent>=1))&&((PlaceS...358
Formula 0 simplified : G!"(((CanInjectEvent>=1)&&(Check_Sources_B_1>=1))&&(ModifiedSrc_2>=1))" R X(FG!"(((cSources>=1)&&(CanInjectEvent>=1))&&((PlaceSource...348
Detected timeout of ITS tools.
[2026-05-31 09:34:16] [INFO ] Flatten gal took : 32 ms
[2026-05-31 09:34:16] [INFO ] Applying decomposition
[2026-05-31 09:34:16] [INFO ] Flatten gal took : 33 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/graph8606436151123776215.txt' '-o' '/tmp/graph8606436151123776215.bin' '-w' '/tmp/graph8606436151123776215.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8606436151123776215.bin' '-l' '-1' '-v' '-w' '/tmp/graph8606436151123776215.weights' '-q' '0' '-e' '0.001'
[2026-05-31 09:34:16] [INFO ] Decomposing Gal with order
[2026-05-31 09:34:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 09:34:16] [INFO ] Removed a total of 1022 redundant transitions.
[2026-05-31 09:34:16] [INFO ] Flatten gal took : 171 ms
[2026-05-31 09:34:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 140 labels/synchronizations in 42 ms.
[2026-05-31 09:34:16] [INFO ] Time to serialize gal into /tmp/LTL146540982618913988.gal : 21 ms
[2026-05-31 09:34:16] [INFO ] Time to serialize properties into /tmp/LTL13017479093721114324.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/LTL146540982618913988.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL13017479093721114324.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 : !(((F("(((i1.u6.CanInjectEvent>=1)&&(i8.i2.u88.Check_Sources_B_1>=1))&&(i1.u6.ModifiedSrc_2>=1))"))U(X((G(F("(((i1.u6.cSources>=1)&&(i...467
Formula 0 simplified : G!"(((i1.u6.CanInjectEvent>=1)&&(i8.i2.u88.Check_Sources_B_1>=1))&&(i1.u6.ModifiedSrc_2>=1))" R X(FG!"(((i1.u6.cSources>=1)&&(i1.u6....457
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-09 finished in 182557 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((G(p0) U X(p1))&&X((p0||F(p2)))))'
Support contains 7 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 69 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Running 1288 sub problems to find dead transitions.
[2026-05-31 09:34:31] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12032198847040169437.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7249345812113152739.kers'
[2026-05-31 09:34:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12032198847040169437.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7249345812113152739.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 2 ms.
// Phase 1: matrix 1274 rows 659 cols 5062 entries
Finished phase 1 with 422 SingleSign rule and 198 generalized
[2026-05-31 09:34:31] [INFO ] Computed 44 invariants in 18 ms
Computed 44 P flows in 19 ms.
Exported basis to /tmp/petrispot-output-7249345812113152739.kers
Total runtime 21 ms.
[2026-05-31 09:34:31] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1288 unsolved
SMT process timed out in 21144ms, After SMT, problems are : Problem set: 0 solved, 1288 unsolved
Search for dead transitions found 0 dead transitions in 21149ms
[2026-05-31 09:34:53] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:34:53] [INFO ] Invariant cache hit.
[2026-05-31 09:34:55] [INFO ] Implicit Places using invariants in 2159 ms returned []
[2026-05-31 09:34:55] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:34:55] [INFO ] Invariant cache hit.
[2026-05-31 09:34:57] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:35:24] [INFO ] Implicit Places using invariants and state equation in 29376 ms returned []
Implicit Place search using SMT with State Equation took 31539 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 52764 ms. Remains : 664/668 places, 1290/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((G(p0) U X(p1))&&X((p0||F(p2)))))'
Stuttering acceptance computed with spot in 321 ms :[(NOT p0), (NOT p2), (OR (NOT p0) (NOT p1)), true, (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (NOT p1) (AND (NOT p0) (NOT p2))), (OR (NOT p1) (AND (NOT p0) (NOT p2)))]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-10
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 0 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-10 finished in 53131 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(p0)))'
Support contains 1 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 68 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Skipped dead transition search.
[2026-05-31 09:35:25] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:35:25] [INFO ] Invariant cache hit.
[2026-05-31 09:35:27] [INFO ] Implicit Places using invariants in 1969 ms returned []
[2026-05-31 09:35:27] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:35:27] [INFO ] Invariant cache hit.
[2026-05-31 09:35:29] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:35:45] [INFO ] Implicit Places using invariants and state equation in 18959 ms returned []
Implicit Place search using SMT with State Equation took 20930 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 20998 ms. Remains : 664/668 places, 1290/1293 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)))'
Stuttering acceptance computed with spot in 80 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-12
Entered a terminal (fully accepting) state of product in 388 steps with 0 reset in 1 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-12 finished in 21113 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0&&F(p1)))))'
Support contains 4 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 667 transition count 1293
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3 place count 665 transition count 1291
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 665 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 664 transition count 1290
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 664 transition count 1290
Applied a total of 7 rules in 41 ms. Remains 664 /668 variables (removed 4) and now considering 1290/1293 (removed 3) transitions.
Skipped dead transition search.
[2026-05-31 09:35:46] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:35:46] [INFO ] Invariant cache hit.
[2026-05-31 09:35:48] [INFO ] Implicit Places using invariants in 2351 ms returned []
[2026-05-31 09:35:48] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:35:48] [INFO ] Invariant cache hit.
[2026-05-31 09:35:50] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:36:10] [INFO ] Implicit Places using invariants and state equation in 21916 ms returned []
Implicit Place search using SMT with State Equation took 24271 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 664/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 24313 ms. Remains : 664/668 places, 1290/1293 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0&&F(p1)))))'
Stuttering acceptance computed with spot in 128 ms :[(OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (NOT p1)]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-13
Entered a terminal (fully accepting) state of product in 291 steps with 0 reset in 1 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-13 finished in 24475 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(G(!X((p0 U (X(p1)||F(p0))))))) U X(p1)))'
Support contains 9 out of 668 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 666 transition count 1291
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 666 transition count 1291
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 665 transition count 1290
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 665 transition count 1290
Applied a total of 6 rules in 36 ms. Remains 665 /668 variables (removed 3) and now considering 1290/1293 (removed 3) transitions.
Running 1288 sub problems to find dead transitions.
[2026-05-31 09:36:10] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8850338150998532497.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13640528676689786816.kers'
[2026-05-31 09:36:10] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8850338150998532497.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13640528676689786816.kers]
Culling duplicate invariants (modulo rational): removing 6 columns.
Culled 6 columns in 1 ms.
// Phase 1: matrix 1274 rows 659 cols 5062 entries
Finished phase 1 with 422 SingleSign rule and 198 generalized
[2026-05-31 09:36:10] [INFO ] Computed 45 invariants in 12 ms
Computed 45 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-13640528676689786816.kers
Total runtime 14 ms.
[2026-05-31 09:36:10] [INFO ] State equation strengthened by 96 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/662 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 1288 unsolved
SMT process timed out in 21035ms, After SMT, problems are : Problem set: 0 solved, 1288 unsolved
Search for dead transitions found 0 dead transitions in 21038ms
[2026-05-31 09:36:31] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:36:31] [INFO ] Invariant cache hit.
[2026-05-31 09:36:33] [INFO ] Implicit Places using invariants in 2275 ms returned []
[2026-05-31 09:36:33] [INFO ] Flow matrix only has 1274 transitions (discarded 16 similar events)
[2026-05-31 09:36:33] [INFO ] Invariant cache hit.
[2026-05-31 09:36:35] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:36:55] [INFO ] Implicit Places using invariants and state equation in 21283 ms returned []
Implicit Place search using SMT with State Equation took 23562 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 665/668 places, 1290/1293 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 44640 ms. Remains : 665/668 places, 1290/1293 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(G(!X((p0 U (X(p1)||F(p0))))))) U X(p1)))'
Stuttering acceptance computed with spot in 158 ms :[(NOT p1), (NOT p1), true, (OR p0 p1), true]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-14
Entered a terminal (fully accepting) state of product in 6 steps with 2 reset in 0 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-14 finished in 44837 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 X(X(p1))))))'
Support contains 2 out of 668 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 668/668 places, 1293/1293 transitions.
Ensure Unique test removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 667 transition count 1237
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 1 with 56 rules applied. Total rules applied 112 place count 611 transition count 1237
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 80 Pre rules applied. Total rules applied 112 place count 611 transition count 1157
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 272 place count 531 transition count 1157
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Deduced a syphon composed of 64 places in 0 ms
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 2 with 128 rules applied. Total rules applied 400 place count 467 transition count 1093
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 403 place count 464 transition count 1090
Iterating global reduction 2 with 3 rules applied. Total rules applied 406 place count 464 transition count 1090
Applied a total of 406 rules in 75 ms. Remains 464 /668 variables (removed 204) and now considering 1090/1293 (removed 203) transitions.
Running 1088 sub problems to find dead transitions.
[2026-05-31 09:36:55] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10967253137414501097.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7984467186337074287.kers'
[2026-05-31 09:36:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10967253137414501097.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7984467186337074287.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 1 ms.
// Phase 1: matrix 1074 rows 459 cols 4883 entries
Finished phase 1 with 230 SingleSign rule and 190 generalized
[2026-05-31 09:36:55] [INFO ] Computed 44 invariants in 11 ms
Computed 44 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-7984467186337074287.kers
Total runtime 15 ms.
[2026-05-31 09:36:55] [INFO ] State equation strengthened by 96 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/462 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1088 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/462 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1088 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 462/1538 variables, and 54 constraints, problems are : Problem set: 0 solved, 1088 unsolved in 20028 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 26/28 constraints, State Equation: 0/464 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 1088/1088 constraints, Known Traps: 12/12 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1088 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/462 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1088 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/462 variables, 26/42 constraints. Problems are: Problem set: 0 solved, 1088 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/462 variables, 12/54 constraints. Problems are: Problem set: 0 solved, 1088 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 462/1538 variables, and 54 constraints, problems are : Problem set: 0 solved, 1088 unsolved in 20030 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 26/28 constraints, State Equation: 0/464 constraints, ReadFeed: 0/96 constraints, PredecessorRefiner: 0/1088 constraints, Known Traps: 12/12 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 40912ms problems are : Problem set: 0 solved, 1088 unsolved
Search for dead transitions found 0 dead transitions in 40915ms
[2026-05-31 09:37:36] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:37:36] [INFO ] Invariant cache hit.
[2026-05-31 09:37:37] [INFO ] Implicit Places using invariants in 1384 ms returned []
[2026-05-31 09:37:37] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:37:37] [INFO ] Invariant cache hit.
[2026-05-31 09:37:39] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:37:51] [INFO ] Implicit Places using invariants and state equation in 13976 ms returned []
Implicit Place search using SMT with State Equation took 15363 ms to find 0 implicit places.
[2026-05-31 09:37:51] [INFO ] Redundant transitions in 19 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 464/668 places, 1090/1293 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 56385 ms. Remains : 464/668 places, 1090/1293 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 X(X(p1))))))'
Stuttering acceptance computed with spot in 346 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), false]
Running random walk in product with property : PolyORBLF-PT-S02J06T08-LTLFireability-15
Product exploration explored 100000 steps with 10471 reset in 536 ms.
Product exploration explored 100000 steps with 10545 reset in 488 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 5 factoid took 64 ms. Reduced automaton from 7 states, 15 edges and 2 AP (stutter insensitive) to 6 states, 18 edges and 2 AP (stutter insensitive).
RANDOM walk for 4541 steps (2 resets) in 29 ms. (151 steps per ms) remains 0/4 properties
Knowledge based reduction with 5 factoid took 100 ms. Reduced automaton from 6 states, 18 edges and 2 AP (stutter insensitive) to 5 states, 16 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 182 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), false]
[2026-05-31 09:37:53] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:37:53] [INFO ] Invariant cache hit.
[2026-05-31 09:37:54] [INFO ] [Real]Absence check using 16 positive place invariants in 21 ms returned sat
[2026-05-31 09:37:55] [INFO ] [Real]Absence check using 16 positive and 28 generalized place invariants in 813 ms returned sat
[2026-05-31 09:37:59] [INFO ] [Real]Absence check using state equation in 4438 ms returned sat
[2026-05-31 09:37:59] [INFO ] Solution in real domain found non-integer solution.
[2026-05-31 09:38:00] [INFO ] [Nat]Absence check using 16 positive place invariants in 14 ms returned sat
[2026-05-31 09:38:01] [INFO ] [Nat]Absence check using 16 positive and 28 generalized place invariants in 585 ms returned sat
[2026-05-31 09:38:07] [INFO ] [Nat]Absence check using state equation in 5816 ms returned sat
[2026-05-31 09:38:07] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:38:07] [INFO ] [Nat]Added 96 Read/Feed constraints in 430 ms returned sat
[2026-05-31 09:38:10] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 2764 ms
[2026-05-31 09:38:10] [INFO ] Computed and/alt/rep : 421/1506/413 causal constraints (skipped 659 transitions) in 135 ms.
[2026-05-31 09:38:13] [INFO ] Added : 108 causal constraints over 22 iterations in 2893 ms. Result :sat
Could not prove EG (NOT p1)
Knowledge-based reduction took 20193 ms.
Stuttering acceptance computed with spot in 210 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), false]
Support contains 2 out of 464 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 464/464 places, 1090/1090 transitions.
Applied a total of 0 rules in 27 ms. Remains 464 /464 variables (removed 0) and now considering 1090/1090 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 09:38:13] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:38:13] [INFO ] Invariant cache hit.
[2026-05-31 09:38:15] [INFO ] Implicit Places using invariants in 1410 ms returned []
[2026-05-31 09:38:15] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:38:15] [INFO ] Invariant cache hit.
[2026-05-31 09:38:16] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:38:28] [INFO ] Implicit Places using invariants and state equation in 13730 ms returned []
Implicit Place search using SMT with State Equation took 15143 ms to find 0 implicit places.
[2026-05-31 09:38:28] [INFO ] Redundant transitions in 18 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 15196 ms. Remains : 464/464 places, 1090/1090 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 9 factoid took 79 ms. Reduced automaton from 5 states, 16 edges and 2 AP (stutter insensitive) to 5 states, 15 edges and 2 AP (stutter insensitive).
RANDOM walk for 3610 steps (2 resets) in 33 ms. (106 steps per ms) remains 0/4 properties
Knowledge based reduction with 9 factoid took 149 ms. Reduced automaton from 5 states, 15 edges and 2 AP (stutter insensitive) to 5 states, 15 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 277 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), false]
[2026-05-31 09:38:29] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:38:29] [INFO ] Invariant cache hit.
[2026-05-31 09:38:30] [INFO ] [Real]Absence check using 16 positive place invariants in 20 ms returned sat
[2026-05-31 09:38:31] [INFO ] [Real]Absence check using 16 positive and 28 generalized place invariants in 780 ms returned sat
[2026-05-31 09:38:35] [INFO ] [Real]Absence check using state equation in 4295 ms returned sat
[2026-05-31 09:38:35] [INFO ] Solution in real domain found non-integer solution.
[2026-05-31 09:38:36] [INFO ] [Nat]Absence check using 16 positive place invariants in 20 ms returned sat
[2026-05-31 09:38:37] [INFO ] [Nat]Absence check using 16 positive and 28 generalized place invariants in 625 ms returned sat
[2026-05-31 09:38:43] [INFO ] [Nat]Absence check using state equation in 6169 ms returned sat
[2026-05-31 09:38:43] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:38:44] [INFO ] [Nat]Added 96 Read/Feed constraints in 421 ms returned sat
[2026-05-31 09:38:47] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 3049 ms
[2026-05-31 09:38:47] [INFO ] Computed and/alt/rep : 421/1506/413 causal constraints (skipped 659 transitions) in 104 ms.
[2026-05-31 09:38:49] [INFO ] Added : 108 causal constraints over 22 iterations in 2816 ms. Result :sat
Could not prove EG (NOT p1)
Knowledge-based reduction took 21147 ms.
Stuttering acceptance computed with spot in 178 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), false]
Stuttering acceptance computed with spot in 172 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1), false]
Product exploration explored 100000 steps with 26280 reset in 464 ms.
Product exploration explored 100000 steps with 26101 reset in 482 ms.
Built C files in :
/tmp/ltsmin1436309761429168888
[2026-05-31 09:38:51] [INFO ] Computing symmetric may disable matrix : 1090 transitions.
[2026-05-31 09:38:51] [INFO ] Computation of Complete disable matrix. took 5 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:38:51] [INFO ] Computing symmetric may enable matrix : 1090 transitions.
[2026-05-31 09:38:51] [INFO ] Computation of Complete enable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:38:51] [INFO ] Computing Do-Not-Accords matrix : 1090 transitions.
[2026-05-31 09:38:51] [INFO ] Computation of Completed DNA matrix. took 40 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:38:51] [INFO ] Built C files in 258ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1436309761429168888
Running compilation step : cd /tmp/ltsmin1436309761429168888;'/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/ltsmin1436309761429168888;'/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/ltsmin1436309761429168888;'/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 2 out of 464 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 464/464 places, 1090/1090 transitions.
Applied a total of 0 rules in 19 ms. Remains 464 /464 variables (removed 0) and now considering 1090/1090 (removed 0) transitions.
Skipped dead transition search.
[2026-05-31 09:38:54] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:38:54] [INFO ] Invariant cache hit.
[2026-05-31 09:38:55] [INFO ] Implicit Places using invariants in 1365 ms returned []
[2026-05-31 09:38:55] [INFO ] Flow matrix only has 1074 transitions (discarded 16 similar events)
[2026-05-31 09:38:55] [INFO ] Invariant cache hit.
[2026-05-31 09:38:57] [INFO ] State equation strengthened by 96 read => feed constraints.
[2026-05-31 09:39:09] [INFO ] Implicit Places using invariants and state equation in 13916 ms returned []
Implicit Place search using SMT with State Equation took 15285 ms to find 0 implicit places.
[2026-05-31 09:39:09] [INFO ] Redundant transitions in 18 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 15327 ms. Remains : 464/464 places, 1090/1090 transitions.
Built C files in :
/tmp/ltsmin3745066629764812749
[2026-05-31 09:39:09] [INFO ] Computing symmetric may disable matrix : 1090 transitions.
[2026-05-31 09:39:09] [INFO ] Computation of Complete disable matrix. took 5 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:39:09] [INFO ] Computing symmetric may enable matrix : 1090 transitions.
[2026-05-31 09:39:09] [INFO ] Computation of Complete enable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:39:10] [INFO ] Computing Do-Not-Accords matrix : 1090 transitions.
[2026-05-31 09:39:10] [INFO ] Computation of Completed DNA matrix. took 42 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:39:10] [INFO ] Built C files in 256ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3745066629764812749
Running compilation step : cd /tmp/ltsmin3745066629764812749;'/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/ltsmin3745066629764812749;'/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/ltsmin3745066629764812749;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 09:39:13] [INFO ] Flatten gal took : 32 ms
[2026-05-31 09:39:13] [INFO ] Flatten gal took : 32 ms
[2026-05-31 09:39:13] [INFO ] Time to serialize gal into /tmp/LTL2628343852365069174.gal : 7 ms
[2026-05-31 09:39:13] [INFO ] Time to serialize properties into /tmp/LTL9701637858893231804.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/LTL2628343852365069174.gal' '-t' 'CGAL' '-hoa' '/tmp/aut1582661781919634453.hoa' '-atoms' '/tmp/LTL9701637858893231804.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/LTL9701637858893231804.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut1582661781919634453.hoa
Detected timeout of ITS tools.
[2026-05-31 09:39:28] [INFO ] Flatten gal took : 28 ms
[2026-05-31 09:39:28] [INFO ] Flatten gal took : 29 ms
[2026-05-31 09:39:28] [INFO ] Time to serialize gal into /tmp/LTL15164623736877550064.gal : 6 ms
[2026-05-31 09:39:28] [INFO ] Time to serialize properties into /tmp/LTL5388462708639385863.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/LTL15164623736877550064.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL5388462708639385863.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(G((F("(NotifyEventEndOfCheckSourcesE_2>=1)"))U(X(X("(Perform_Work_E_3>=1)")))))))
Formula 0 simplified : GF(G!"(NotifyEventEndOfCheckSourcesE_2>=1)" R XX!"(Perform_Work_E_3>=1)")
Detected timeout of ITS tools.
[2026-05-31 09:39:43] [INFO ] Flatten gal took : 29 ms
[2026-05-31 09:39:43] [INFO ] Applying decomposition
[2026-05-31 09:39:43] [INFO ] Flatten gal took : 28 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/graph18437302544630302608.txt' '-o' '/tmp/graph18437302544630302608.bin' '-w' '/tmp/graph18437302544630302608.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18437302544630302608.bin' '-l' '-1' '-v' '-w' '/tmp/graph18437302544630302608.weights' '-q' '0' '-e' '0.001'
[2026-05-31 09:39:43] [INFO ] Decomposing Gal with order
[2026-05-31 09:39:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 09:39:43] [INFO ] Removed a total of 874 redundant transitions.
[2026-05-31 09:39:43] [INFO ] Flatten gal took : 125 ms
[2026-05-31 09:39:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 621 labels/synchronizations in 26 ms.
[2026-05-31 09:39:43] [INFO ] Time to serialize gal into /tmp/LTL10349227037133914138.gal : 11 ms
[2026-05-31 09:39:43] [INFO ] Time to serialize properties into /tmp/LTL8316247677683500831.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/LTL10349227037133914138.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8316247677683500831.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(G((F("(i5.u2.NotifyEventEndOfCheckSourcesE_2>=1)"))U(X(X("(i5.u16.Perform_Work_E_3>=1)")))))))
Formula 0 simplified : GF(G!"(i5.u2.NotifyEventEndOfCheckSourcesE_2>=1)" R XX!"(i5.u16.Perform_Work_E_3>=1)")
Detected timeout of ITS tools.
Treatment of property PolyORBLF-PT-S02J06T08-LTLFireability-15 finished in 183426 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(X(!p1)) U (p2&&X(X(!p1)))))||p0)))'
Spot run failed in 78 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(X(F((G(p1)||p0)))))'
Spot run failed in 72 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(p0) U X((G(F(p1)) U p2))))'
Spot run failed in 71 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(G((F(p0) U X(X(p1))))))'
Spot run failed in 71 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-31 09:39:59] [INFO ] Flatten gal took : 53 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11094487658709746864
[2026-05-31 09:39:59] [INFO ] Computing symmetric may disable matrix : 1293 transitions.
[2026-05-31 09:39:59] [INFO ] Computation of Complete disable matrix. took 8 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:39:59] [INFO ] Applying decomposition
[2026-05-31 09:39:59] [INFO ] Computing symmetric may enable matrix : 1293 transitions.
[2026-05-31 09:39:59] [INFO ] Computation of Complete enable matrix. took 5 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:39:59] [INFO ] Flatten gal took : 55 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/graph2817289740047300614.txt' '-o' '/tmp/graph2817289740047300614.bin' '-w' '/tmp/graph2817289740047300614.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2817289740047300614.bin' '-l' '-1' '-v' '-w' '/tmp/graph2817289740047300614.weights' '-q' '0' '-e' '0.001'
[2026-05-31 09:39:59] [INFO ] Decomposing Gal with order
[2026-05-31 09:39:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 09:39:59] [INFO ] Removed a total of 1296 redundant transitions.
[2026-05-31 09:39:59] [INFO ] Flatten gal took : 155 ms
[2026-05-31 09:39:59] [INFO ] Computing Do-Not-Accords matrix : 1293 transitions.
[2026-05-31 09:39:59] [INFO ] Computation of Completed DNA matrix. took 67 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-31 09:39:59] [INFO ] Built C files in 531ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11094487658709746864
Running compilation step : cd /tmp/ltsmin11094487658709746864;'/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-05-31 09:39:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 280 labels/synchronizations in 32 ms.
[2026-05-31 09:39:59] [INFO ] Time to serialize gal into /tmp/LTLFireability3524610449064378431.gal : 17 ms
[2026-05-31 09:39:59] [INFO ] Time to serialize properties into /tmp/LTLFireability18267458920034846773.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/LTLFireability3524610449064378431.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability18267458920034846773.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...277
Read 4 LTL properties
Checking formula 0 : !((F(("((((i11.u77.QueueJobE_8>=1)||(i11.u77.QueueJobE_1>=1))||((i11.u77.QueueJobE_3>=1)||(i11.u77.QueueJobE_4>=1)))||(((i11.u77.Queue...1079
Formula 0 simplified : G(!"((((i11.u77.QueueJobE_8>=1)||(i11.u77.QueueJobE_1>=1))||((i11.u77.QueueJobE_3>=1)||(i11.u77.QueueJobE_4>=1)))||(((i11.u77.QueueJ...767
Compilation finished in 7459 ms.
Running link step : cd /tmp/ltsmin11094487658709746864;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 179 ms.
Running LTSmin : cd /tmp/ltsmin11094487658709746864;'/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((X(X(!(LTLAPp1==true))) U ((LTLAPp2==true)&&X(X(!(LTLAPp1==true))))))||(LTLAPp0==true)))' '--buchi-type=spotba'
LTSmin run took 416 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-00 TRUE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
Running LTSmin : cd /tmp/ltsmin11094487658709746864;'/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(X(<>(([]((LTLAPp4==true))||(LTLAPp3==true)))))' '--buchi-type=spotba'
LTSmin run took 20779 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-03 TRUE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
Running LTSmin : cd /tmp/ltsmin11094487658709746864;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '(<>((LTLAPp5==true)) U X(([](<>((LTLAPp6==true))) U (LTLAPp7==true))))' '--buchi-type=spotba'
LTSmin run took 474 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-09 FALSE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
Running LTSmin : cd /tmp/ltsmin11094487658709746864;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '<>([]((<>((LTLAPp8==true)) U X(X((LTLAPp9==true))))))' '--buchi-type=spotba'
LTSmin run took 559 ms.
FORMULA PolyORBLF-PT-S02J06T08-LTLFireability-15 FALSE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
ITS tools runner thread asked to quit. Dying gracefully.
Total runtime 1402098 ms.
BK_STOP 1780220429801
--------------------
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-S02J06T08"
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-S02J06T08, 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-177969942200444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J06T08.tgz
mv PolyORBLF-PT-S02J06T08 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 ;