About the Execution of ITS-Tools for DatabaseWithMutex-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2811.523 | 3600000.00 | 3719474.00 | 10110.50 | FFFF?FFTF??F???? | 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.r082-smll-177946993500068.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 DatabaseWithMutex-PT-20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-smll-177946993500068
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 436K Mar 5 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Mar 5 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 550K Mar 5 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M Mar 5 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 274K Mar 15 08:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 873K Mar 15 08:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 177K Mar 15 08:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 657K Mar 15 08:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 449K Mar 5 14:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Mar 5 14:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 828K Mar 5 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.0M Mar 5 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 32K Mar 15 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 76K Mar 15 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 2.7M 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 DatabaseWithMutex-PT-20-LTLFireability-00
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-01
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-02
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-03
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-04
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-05
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-06
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-07
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-08
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-09
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-10
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-11
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-12
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-13
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-14
FORMULA_NAME DatabaseWithMutex-PT-20-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1779535879281
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DatabaseWithMutex-PT-20
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-05-23 11:31:21] [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-23 11:31:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-23 11:31:22] [INFO ] Load time of PNML (sax parser for PT used): 704 ms
[2026-05-23 11:31:22] [INFO ] Transformed 3260 places.
[2026-05-23 11:31:22] [INFO ] Transformed 3200 transitions.
[2026-05-23 11:31:22] [INFO ] Found NUPN structural information;
[2026-05-23 11:31:22] [INFO ] Parsed PT model containing 3260 places and 3200 transitions and 23200 arcs in 966 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 64 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 1 formulas.
[2026-05-23 11:31:22] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 11:31:22] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 11:31:22] [INFO ] Reduced 380 identical enabling conditions.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 3260 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 48 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4265937275580109250.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2559284087505554879.kers'
[2026-05-23 11:31:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4265937275580109250.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2559284087505554879.kers]
Culled 0 columns in 6 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 11:31:23] [INFO ] Computed 460 invariants in 66 ms
Computed 460 P flows in 67 ms.
Exported basis to /tmp/petrispot-output-2559284087505554879.kers
Total runtime 73 ms.
[2026-05-23 11:31:26] [INFO ] Implicit Places using invariants in 2511 ms returned []
[2026-05-23 11:31:26] [INFO ] Invariant cache hit.
[2026-05-23 11:31:31] [INFO ] Implicit Places using invariants and state equation in 5181 ms returned []
Implicit Place search using SMT with State Equation took 7826 ms to find 0 implicit places.
Running 2800 sub problems to find dead transitions.
[2026-05-23 11:31:31] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3240 variables, 3240/3240 constraints. Problems are: Problem set: 0 solved, 2800 unsolved
SMT process timed out in 32682ms, After SMT, problems are : Problem set: 0 solved, 2800 unsolved
Search for dead transitions found 0 dead transitions in 32735ms
Finished structural reductions in LTL mode , in 1 iterations and 40687 ms. Remains : 3260/3260 places, 3200/3200 transitions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 22 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:32:04] [INFO ] Invariant cache hit.
[2026-05-23 11:32:05] [INFO ] Implicit Places using invariants in 1535 ms returned []
[2026-05-23 11:32:05] [INFO ] Invariant cache hit.
[2026-05-23 11:32:10] [INFO ] Implicit Places using invariants and state equation in 4659 ms returned []
Implicit Place search using SMT with State Equation took 6199 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 6230 ms. Remains : 3260/3260 places, 3200/3200 transitions.
Support contains 3260 out of 3260 places after structural reductions.
[2026-05-23 11:32:11] [INFO ] Flatten gal took : 632 ms
[2026-05-23 11:32:12] [INFO ] Flatten gal took : 471 ms
[2026-05-23 11:32:13] [INFO ] Input system was already deterministic with 3200 transitions.
Reduction of identical properties reduced properties to check from 36 to 31
RANDOM walk for 40000 steps (8 resets) in 3689 ms. (10 steps per ms) remains 2/31 properties
BEST_FIRST walk for 40003 steps (8 resets) in 162 ms. (245 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 167 ms. (238 steps per ms) remains 1/2 properties
[2026-05-23 11:32:15] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 26/27 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/27 variables, 26/28 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/27 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 320/347 variables, 6/34 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/347 variables, 320/354 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/347 variables, 0/354 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 489/836 variables, 35/389 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/836 variables, 489/878 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/836 variables, 4/882 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/836 variables, 0/882 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 344/1180 variables, 18/900 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1180 variables, 344/1244 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1180 variables, 0/1244 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (OVERLAPS) 2079/3259 variables, 399/1643 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/3259 variables, 2079/3722 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/3259 variables, 0/3722 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (OVERLAPS) 1/3260 variables, 1/3723 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/3260 variables, 1/3724 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/3260 variables, 0/3724 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6460/6460 variables, and 6984 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5010 ms.
Refiners :[Domain max(s): 3260/3260 constraints, Positive P Invariants (semi-flows): 61/61 constraints, Generalized P Invariants (flows): 399/399 constraints, State Equation: 3260/3260 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 4/4 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/1 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 26/27 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/27 variables, 26/28 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/27 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 320/347 variables, 6/34 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/347 variables, 320/354 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/347 variables, 0/354 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 489/836 variables, 35/389 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/836 variables, 489/878 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/836 variables, 4/882 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/836 variables, 1/883 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/836 variables, 0/883 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 344/1180 variables, 18/901 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1180 variables, 344/1245 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1180 variables, 0/1245 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (OVERLAPS) 2079/3259 variables, 399/1644 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/3259 variables, 2079/3723 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/3259 variables, 0/3723 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (OVERLAPS) 1/3260 variables, 1/3724 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/3260 variables, 1/3725 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/3260 variables, 0/3725 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6460/6460 variables, and 6985 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4021 ms.
Refiners :[Domain max(s): 3260/3260 constraints, Positive P Invariants (semi-flows): 61/61 constraints, Generalized P Invariants (flows): 399/399 constraints, State Equation: 3260/3260 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 5/5 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 9079ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 130 steps, including 0 resets, run visited all 1 properties in 5 ms. (steps per millisecond=26 )
Parikh walk visited 1 properties in 20 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-00 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Computed a total of 0 stabilizing places and 0 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 820 out of 3260 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 400 transitions
Trivial Post-agglo rules discarded 400 transitions
Performed 400 trivial Post agglomeration. Transition count delta: 400
Iterating post reduction 0 with 400 rules applied. Total rules applied 400 place count 3260 transition count 2800
Reduce places removed 420 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 800 transitions
Trivial Post-agglo rules discarded 800 transitions
Performed 800 trivial Post agglomeration. Transition count delta: 800
Iterating post reduction 1 with 1220 rules applied. Total rules applied 1620 place count 2840 transition count 2000
Reduce places removed 800 places and 0 transitions.
Iterating post reduction 2 with 800 rules applied. Total rules applied 2420 place count 2040 transition count 2000
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 400 Pre rules applied. Total rules applied 2420 place count 2040 transition count 1600
Deduced a syphon composed of 400 places in 3 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 3 with 800 rules applied. Total rules applied 3220 place count 1640 transition count 1600
Applied a total of 3220 rules in 1064 ms. Remains 1640 /3260 variables (removed 1620) and now considering 1600/3200 (removed 1600) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11855819397180010748.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10934259929908948841.kers'
[2026-05-23 11:32:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11855819397180010748.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10934259929908948841.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 1600 rows 1640 cols 19200 entries
Finished phase 1 with 800 SingleSign rule and 400 generalized
[2026-05-23 11:32:26] [INFO ] Computed 440 invariants in 38 ms
Computed 440 P flows in 39 ms.
Exported basis to /tmp/petrispot-output-10934259929908948841.kers
Total runtime 44 ms.
[2026-05-23 11:32:58] [INFO ] Performed 48/1640 implicitness test of which 27 returned IMPLICIT in 31 seconds.
[2026-05-23 11:33:29] [INFO ] Performed 110/1640 implicitness test of which 55 returned IMPLICIT in 62 seconds.
[2026-05-23 11:34:00] [INFO ] Performed 163/1640 implicitness test of which 84 returned IMPLICIT in 93 seconds.
[2026-05-23 11:34:31] [INFO ] Performed 212/1640 implicitness test of which 105 returned IMPLICIT in 124 seconds.
[2026-05-23 11:35:02] [INFO ] Performed 270/1640 implicitness test of which 136 returned IMPLICIT in 155 seconds.
[2026-05-23 11:35:06] [INFO ] Implicit Places using invariants in 160071 ms returned [1, 2, 4, 6, 7, 8, 11, 13, 14, 15, 18, 22, 24, 25, 26, 27, 30, 31, 34, 37, 38, 39, 40, 41, 43, 47, 48, 50, 52, 53, 55, 61, 62, 63, 65, 66, 69, 70, 71, 73, 75, 77, 81, 83, 85, 87, 89, 92, 95, 96, 99, 102, 106, 107, 110, 112, 116, 117, 121, 124, 125, 126, 127, 131, 132, 134, 135, 136, 138, 140, 141, 144, 145, 146, 148, 149, 151, 153, 154, 156, 158, 160, 161, 163, 169, 172, 174, 176, 179, 180, 186, 187, 188, 189, 191, 197, 198, 201, 202, 204, 206, 208, 209, 211, 212, 214, 215, 217, 224, 225, 226, 229, 232, 234, 236, 238, 242, 243, 244, 245, 246, 247, 250, 251, 252, 253, 254, 256, 258, 259, 260, 261, 263, 268, 269, 270, 274, 276, 278, 280, 281]
[2026-05-23 11:35:06] [INFO ] Actually due to overlaps returned [2, 4, 6, 13, 25, 30, 31, 34, 37, 62, 73, 85, 87, 89, 112, 125, 146, 154, 163, 172, 24, 52, 149, 186]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 160082 ms to find 24 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 1616/3260 places, 1600/3200 transitions.
Applied a total of 0 rules in 115 ms. Remains 1616 /1616 variables (removed 0) and now considering 1600/1600 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 161261 ms. Remains : 1616/3260 places, 1600/3200 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 301 ms :[(NOT p0)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-01
Product exploration explored 100000 steps with 0 reset in 5115 ms.
Stack based approach found an accepted trace after 20922 steps with 0 reset with depth 20923 and stack size 20923 in 1017 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-01 FALSE TECHNIQUES STACK_TEST
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-01 finished in 167836 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(p1)&&p0))&&(!p2 U (p3||G(!p2)))))'
Support contains 840 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 376 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17016588666710817838.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-636462525443776412.kers'
[2026-05-23 11:35:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17016588666710817838.kers, --Pflows, --basisKERS=/tmp/petrispot-output-636462525443776412.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 11:35:13] [INFO ] Computed 460 invariants in 98 ms
Computed 460 P flows in 98 ms.
Exported basis to /tmp/petrispot-output-636462525443776412.kers
Total runtime 104 ms.
[2026-05-23 11:35:45] [INFO ] Performed 938/3260 implicitness test of which 116 returned IMPLICIT in 30 seconds.
[2026-05-23 11:36:15] [INFO ] Performed 1855/3260 implicitness test of which 242 returned IMPLICIT in 60 seconds.
[2026-05-23 11:36:45] [INFO ] Performed 2677/3260 implicitness test of which 334 returned IMPLICIT in 90 seconds.
[2026-05-23 11:37:04] [INFO ] Implicit Places using invariants in 110671 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 110693 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 254 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 111324 ms. Remains : 2860/3260 places, 3200/3200 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(p1)&&p0))&&(!p2 U (p3||G(!p2)))))'
Stuttering acceptance computed with spot in 305 ms :[(OR (NOT p1) (NOT p0) (AND p2 (NOT p3))), true, (OR (NOT p0) (NOT p1)), (AND (NOT p3) p2), (NOT p1)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-03
Entered a terminal (fully accepting) state of product in 25 steps with 0 reset in 14 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-03 finished in 111732 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))&&F((p2||X(F(p3))))))'
Support contains 1240 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 114 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:37:04] [INFO ] Invariant cache hit.
[2026-05-23 11:37:09] [INFO ] Implicit Places using invariants in 4349 ms returned []
[2026-05-23 11:37:09] [INFO ] Invariant cache hit.
[2026-05-23 11:37:19] [INFO ] Implicit Places using invariants and state equation in 10253 ms returned []
Implicit Place search using SMT with State Equation took 14604 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 14721 ms. Remains : 3260/3260 places, 3200/3200 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))&&F((p2||X(F(p3))))))'
Stuttering acceptance computed with spot in 194 ms :[(OR p1 (AND (NOT p2) (NOT p3))), (AND (NOT p0) p1), p1, (AND (NOT p2) (NOT p3)), (NOT p0)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-04
Product exploration explored 100000 steps with 10956 reset in 4504 ms.
Product exploration explored 100000 steps with 10769 reset in 3857 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 10 factoid took 135 ms. Reduced automaton from 5 states, 8 edges and 4 AP (stutter sensitive) to 5 states, 11 edges and 2 AP (stutter insensitive).
RANDOM walk for 1298 steps (0 resets) in 121 ms. (10 steps per ms) remains 0/6 properties
Knowledge based reduction with 10 factoid took 198 ms. Reduced automaton from 5 states, 11 edges and 2 AP (stutter insensitive) to 3 states, 3 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 120 ms :[(AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3))]
Knowledge-based reduction took 7522 ms.
Stuttering acceptance computed with spot in 119 ms :[(AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3))]
Support contains 440 out of 3260 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 136 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:37:35] [INFO ] Invariant cache hit.
[2026-05-23 11:37:40] [INFO ] Implicit Places using invariants in 4536 ms returned []
[2026-05-23 11:37:40] [INFO ] Invariant cache hit.
[2026-05-23 11:37:51] [INFO ] Implicit Places using invariants and state equation in 10560 ms returned []
Implicit Place search using SMT with State Equation took 15098 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 15237 ms. Remains : 3260/3260 places, 3200/3200 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 103 ms. Reduced automaton from 3 states, 3 edges and 2 AP (stutter sensitive) to 3 states, 3 edges and 2 AP (stutter sensitive).
RANDOM walk for 90 steps (0 resets) in 8 ms. (10 steps per ms) remains 0/3 properties
Knowledge based reduction with 2 factoid took 144 ms. Reduced automaton from 3 states, 3 edges and 2 AP (stutter sensitive) to 3 states, 3 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 117 ms :[(AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3))]
Knowledge-based reduction took 691 ms.
Stuttering acceptance computed with spot in 109 ms :[(AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3))]
Stuttering acceptance computed with spot in 107 ms :[(AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3))]
Product exploration explored 100000 steps with 4229 reset in 2783 ms.
Product exploration explored 100000 steps with 4225 reset in 2655 ms.
Spot run failed in 108 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/ltsmin3410702676943316467
[2026-05-23 11:37:57] [INFO ] Built C files in 104ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3410702676943316467
Running compilation step : cd /tmp/ltsmin3410702676943316467;'/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/ltsmin3410702676943316467;'/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/ltsmin3410702676943316467;'/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 440 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 182 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:38:00] [INFO ] Invariant cache hit.
[2026-05-23 11:38:32] [INFO ] Performed 1003/3260 implicitness test of which 127 returned IMPLICIT in 30 seconds.
[2026-05-23 11:39:02] [INFO ] Performed 1898/3260 implicitness test of which 249 returned IMPLICIT in 60 seconds.
[2026-05-23 11:39:32] [INFO ] Performed 2946/3260 implicitness test of which 365 returned IMPLICIT in 90 seconds.
[2026-05-23 11:39:42] [INFO ] Implicit Places using invariants in 102000 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 102018 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 138 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 102338 ms. Remains : 2860/3260 places, 3200/3200 transitions.
Built C files in :
/tmp/ltsmin17490333847604990013
[2026-05-23 11:39:43] [INFO ] Built C files in 66ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17490333847604990013
Running compilation step : cd /tmp/ltsmin17490333847604990013;'/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/ltsmin17490333847604990013;'/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/ltsmin17490333847604990013;'/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-23 11:39:46] [INFO ] Flatten gal took : 223 ms
[2026-05-23 11:39:47] [INFO ] Flatten gal took : 219 ms
[2026-05-23 11:39:47] [INFO ] Time to serialize gal into /tmp/LTL4862968563412418061.gal : 80 ms
[2026-05-23 11:39:47] [INFO ] Time to serialize properties into /tmp/LTL9628361890512268739.prop : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL4862968563412418061.gal' '-t' 'CGAL' '-hoa' '/tmp/aut6443213625576434748.hoa' '-atoms' '/tmp/LTL9628361890512268739.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/LTL9628361890512268739.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut6443213625576434748.hoa
Detected timeout of ITS tools.
[2026-05-23 11:40:02] [INFO ] Flatten gal took : 221 ms
[2026-05-23 11:40:03] [INFO ] Flatten gal took : 304 ms
[2026-05-23 11:40:03] [INFO ] Time to serialize gal into /tmp/LTL6807990977538708359.gal : 82 ms
[2026-05-23 11:40:03] [INFO ] Time to serialize properties into /tmp/LTL16973955353636762207.ltl : 64 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/LTL6807990977538708359.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16973955353636762207.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("(((((((((((Mutex_17==1)&&(WaitMutex_9_17==1))||((Mutex_6==1)&&(WaitMutex_10_6==1)))||(((WaitMutex_4_13==1)&&(Mutex_13==1))||((...231004
Formula 0 simplified : (G!"(((((((((((Mutex_17==1)&&(WaitMutex_9_17==1))||((Mutex_6==1)&&(WaitMutex_10_6==1)))||(((WaitMutex_4_13==1)&&(Mutex_13==1))||((Wa...230987
Detected timeout of ITS tools.
[2026-05-23 11:40:18] [INFO ] Flatten gal took : 199 ms
[2026-05-23 11:40:18] [INFO ] Applying decomposition
[2026-05-23 11:40:18] [INFO ] Flatten gal took : 212 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/graph10601045660538484044.txt' '-o' '/tmp/graph10601045660538484044.bin' '-w' '/tmp/graph10601045660538484044.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10601045660538484044.bin' '-l' '-1' '-v' '-w' '/tmp/graph10601045660538484044.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:40:19] [INFO ] Decomposing Gal with order
[2026-05-23 11:40:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:40:20] [INFO ] Removed a total of 14780 redundant transitions.
[2026-05-23 11:40:21] [INFO ] Flatten gal took : 927 ms
[2026-05-23 11:40:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 145 ms.
[2026-05-23 11:40:22] [INFO ] Time to serialize gal into /tmp/LTL17293371282349066148.gal : 66 ms
[2026-05-23 11:40:22] [INFO ] Time to serialize properties into /tmp/LTL11999582573543604597.ltl : 29 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/LTL17293371282349066148.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL11999582573543604597.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...256
Read 1 LTL properties
Checking formula 0 : !((((F("(((((((((((i10.u127.Mutex_17==1)&&(u548.WaitMutex_9_17==1))||((i53.u809.Mutex_6==1)&&(u812.WaitMutex_10_6==1)))||(((u264.WaitM...311744
Formula 0 simplified : (G!"(((((((((((i10.u127.Mutex_17==1)&&(u548.WaitMutex_9_17==1))||((i53.u809.Mutex_6==1)&&(u812.WaitMutex_10_6==1)))||(((u264.WaitMut...311727
Detected timeout of ITS tools.
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-04 finished in 212501 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(G(p0))))'
Support contains 400 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 177 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:40:37] [INFO ] Invariant cache hit.
[2026-05-23 11:41:09] [INFO ] Performed 938/3260 implicitness test of which 116 returned IMPLICIT in 30 seconds.
[2026-05-23 11:41:39] [INFO ] Performed 1763/3260 implicitness test of which 230 returned IMPLICIT in 60 seconds.
[2026-05-23 11:42:09] [INFO ] Performed 2638/3260 implicitness test of which 329 returned IMPLICIT in 90 seconds.
[2026-05-23 11:42:32] [INFO ] Implicit Places using invariants in 114711 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 114730 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 140 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 115047 ms. Remains : 2860/3260 places, 3200/3200 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(G(p0))))'
Stuttering acceptance computed with spot in 117 ms :[true, (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-05
Entered a terminal (fully accepting) state of product in 66 steps with 0 reset in 6 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-05 finished in 115219 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((p0&&(F(p1) U p2))))'
Support contains 1220 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 105 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:42:32] [INFO ] Invariant cache hit.
[2026-05-23 11:43:04] [INFO ] Performed 1045/3260 implicitness test of which 129 returned IMPLICIT in 30 seconds.
[2026-05-23 11:43:34] [INFO ] Performed 1974/3260 implicitness test of which 259 returned IMPLICIT in 60 seconds.
[2026-05-23 11:44:04] [INFO ] Performed 3025/3260 implicitness test of which 377 returned IMPLICIT in 90 seconds.
[2026-05-23 11:44:11] [INFO ] Implicit Places using invariants in 98656 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 98674 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 78 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 98861 ms. Remains : 2860/3260 places, 3200/3200 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) U p1)&&p2)))'
Stuttering acceptance computed with spot in 159 ms :[(OR (NOT p1) (NOT p2)), (OR (NOT p1) (NOT p2)), true, (NOT p0), (NOT p1)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-06
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 1 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-06 finished in 99068 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((F(X((!(p0 U p1)&&p0))) U p0))||G(p1))))'
Support contains 1220 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 107 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:44:11] [INFO ] Invariant cache hit.
[2026-05-23 11:44:15] [INFO ] Implicit Places using invariants in 4187 ms returned []
[2026-05-23 11:44:15] [INFO ] Invariant cache hit.
[2026-05-23 11:44:26] [INFO ] Implicit Places using invariants and state equation in 10364 ms returned []
Implicit Place search using SMT with State Equation took 14553 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 14661 ms. Remains : 3260/3260 places, 3200/3200 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((F(X((!(p0 U p1)&&p0))) U p0))||G(p1))))'
Stuttering acceptance computed with spot in 101 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-07
Product exploration explored 100000 steps with 50000 reset in 7362 ms.
Product exploration explored 100000 steps with 50000 reset in 6781 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 7 factoid took 12 ms. Proved property starting from automaton with 3 states, 4 edges and 2 AP (stutter sensitive
Knowledge-based reduction took 8345 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-07 TRUE TECHNIQUES KNOWLEDGE
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-07 finished in 37330 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((!p0 U (p1||X(((G(p2)||G(p0)) U (p1&&(G(p2)||G(p0))))))))'
Support contains 5 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 224 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:44:49] [INFO ] Invariant cache hit.
[2026-05-23 11:45:20] [INFO ] Performed 885/3260 implicitness test of which 111 returned IMPLICIT in 30 seconds.
[2026-05-23 11:45:50] [INFO ] Performed 1679/3260 implicitness test of which 222 returned IMPLICIT in 60 seconds.
[2026-05-23 11:46:20] [INFO ] Performed 2587/3260 implicitness test of which 323 returned IMPLICIT in 90 seconds.
[2026-05-23 11:46:44] [INFO ] Implicit Places using invariants in 115653 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 115670 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 176 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 116070 ms. Remains : 2860/3260 places, 3200/3200 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((!p0 U (p1||X(((G(p2)||G(p0)) U (p1&&(G(p2)||G(p0))))))))'
Stuttering acceptance computed with spot in 190 ms :[(NOT p1), (OR (NOT p1) (AND (NOT p0) (NOT p2))), true, (NOT p2), (NOT p0), (AND (NOT p2) (NOT p0))]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-08
Entered a terminal (fully accepting) state of product in 9104 steps with 15 reset in 182 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-08 finished in 116485 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((p1 U p2))&&p0)))'
Support contains 3 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 275 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:46:45] [INFO ] Invariant cache hit.
[2026-05-23 11:47:17] [INFO ] Performed 938/3260 implicitness test of which 116 returned IMPLICIT in 30 seconds.
[2026-05-23 11:47:47] [INFO ] Performed 1756/3260 implicitness test of which 228 returned IMPLICIT in 60 seconds.
[2026-05-23 11:48:17] [INFO ] Performed 2672/3260 implicitness test of which 332 returned IMPLICIT in 90 seconds.
[2026-05-23 11:48:40] [INFO ] Implicit Places using invariants in 114693 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 114709 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 176 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 115160 ms. Remains : 2860/3260 places, 3200/3200 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((p1 U p2))&&p0)))'
Stuttering acceptance computed with spot in 74 ms :[(OR (NOT p2) (NOT p0)), (NOT p2)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-09
Product exploration explored 100000 steps with 4 reset in 1959 ms.
Product exploration explored 100000 steps with 4 reset in 1824 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 209 ms. Reduced automaton from 2 states, 4 edges and 3 AP (stutter sensitive) to 2 states, 4 edges and 3 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 5 to 4
RANDOM walk for 39311 steps (8 resets) in 1245 ms. (31 steps per ms) remains 0/4 properties
Knowledge based reduction with 3 factoid took 367 ms. Reduced automaton from 2 states, 4 edges and 3 AP (stutter sensitive) to 2 states, 4 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 101 ms :[(OR (NOT p0) (NOT p2)), (NOT p2)]
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5113179227171572244.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16253672567252910772.kers'
[2026-05-23 11:48:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5113179227171572244.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16253672567252910772.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 3200 rows 2860 cols 22400 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 11:48:46] [INFO ] Computed 60 invariants in 251 ms
Computed 60 P flows in 252 ms.
Exported basis to /tmp/petrispot-output-16253672567252910772.kers
Total runtime 258 ms.
[2026-05-23 11:48:58] [INFO ] [Real]Absence check using 47 positive place invariants in 6709 ms returned unknown
Could not prove EG (NOT p0)
[2026-05-23 11:48:58] [INFO ] Invariant cache hit.
[2026-05-23 11:49:11] [INFO ] [Real]Absence check using 47 positive place invariants in 6529 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 27308 ms.
Stuttering acceptance computed with spot in 73 ms :[(OR (NOT p0) (NOT p2)), (NOT p2)]
Support contains 3 out of 2860 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Applied a total of 0 rules in 176 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:49:11] [INFO ] Invariant cache hit.
[2026-05-23 11:51:52] [INFO ] Performed 200/2860 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2026-05-23 11:51:52] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2026-05-23 11:51:52] [INFO ] Implicit Places using invariants in 160009 ms returned []
[2026-05-23 11:51:52] [INFO ] Invariant cache hit.
[2026-05-23 11:54:32] [INFO ] Implicit Places using invariants and state equation in 160016 ms returned []
Implicit Place search using SMT with State Equation took 320027 ms to find 0 implicit places.
Running 2800 sub problems to find dead transitions.
[2026-05-23 11:54:32] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/2840 variables, 2840/2840 constraints. Problems are: Problem set: 0 solved, 2800 unsolved
SMT process timed out in 32051ms, After SMT, problems are : Problem set: 0 solved, 2800 unsolved
Search for dead transitions found 0 dead transitions in 32067ms
Finished structural reductions in LTL mode , in 1 iterations and 352288 ms. Remains : 2860/2860 places, 3200/3200 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 336 ms. Reduced automaton from 2 states, 4 edges and 3 AP (stutter sensitive) to 2 states, 4 edges and 3 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 5 to 4
RANDOM walk for 40000 steps (8 resets) in 1086 ms. (36 steps per ms) remains 2/4 properties
BEST_FIRST walk for 36525 steps (7 resets) in 115 ms. (314 steps per ms) remains 0/2 properties
Knowledge based reduction with 3 factoid took 397 ms. Reduced automaton from 2 states, 4 edges and 3 AP (stutter sensitive) to 2 states, 4 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 111 ms :[(OR (NOT p0) (NOT p2)), (NOT p2)]
[2026-05-23 11:55:05] [INFO ] Invariant cache hit.
[2026-05-23 11:55:20] [INFO ] [Real]Absence check using 47 positive place invariants in 7138 ms returned unknown
Could not prove EG (NOT p0)
[2026-05-23 11:55:20] [INFO ] Invariant cache hit.
[2026-05-23 11:55:32] [INFO ] [Real]Absence check using 47 positive place invariants in 6710 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 28810 ms.
Stuttering acceptance computed with spot in 79 ms :[(OR (NOT p0) (NOT p2)), (NOT p2)]
Stuttering acceptance computed with spot in 72 ms :[(OR (NOT p0) (NOT p2)), (NOT p2)]
Product exploration explored 100000 steps with 4 reset in 1680 ms.
Product exploration explored 100000 steps with 4 reset in 1756 ms.
Spot run failed in 52 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/ltsmin10487052317834762509
[2026-05-23 11:55:36] [INFO ] Built C files in 60ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10487052317834762509
Running compilation step : cd /tmp/ltsmin10487052317834762509;'/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/ltsmin10487052317834762509;'/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/ltsmin10487052317834762509;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 3 out of 2860 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Applied a total of 0 rules in 176 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 11:55:39] [INFO ] Invariant cache hit.
[2026-05-23 11:58:19] [INFO ] Performed 200/2860 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2026-05-23 11:58:19] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2026-05-23 11:58:19] [INFO ] Implicit Places using invariants in 160012 ms returned []
[2026-05-23 11:58:19] [INFO ] Invariant cache hit.
[2026-05-23 12:00:59] [INFO ] Implicit Places using invariants and state equation in 160034 ms returned []
Implicit Place search using SMT with State Equation took 320051 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 320229 ms. Remains : 2860/2860 places, 3200/3200 transitions.
Built C files in :
/tmp/ltsmin13264254925124057846
[2026-05-23 12:01:00] [INFO ] Built C files in 94ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13264254925124057846
Running compilation step : cd /tmp/ltsmin13264254925124057846;'/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/ltsmin13264254925124057846;'/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/ltsmin13264254925124057846;'/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-23 12:01:03] [INFO ] Flatten gal took : 276 ms
[2026-05-23 12:01:03] [INFO ] Flatten gal took : 265 ms
[2026-05-23 12:01:03] [INFO ] Time to serialize gal into /tmp/LTL3200646166809942322.gal : 30 ms
[2026-05-23 12:01:03] [INFO ] Time to serialize properties into /tmp/LTL7694195367972224312.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/LTL3200646166809942322.gal' '-t' 'CGAL' '-hoa' '/tmp/aut6863089250461955826.hoa' '-atoms' '/tmp/LTL7694195367972224312.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/LTL7694195367972224312.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut6863089250461955826.hoa
Detected timeout of ITS tools.
[2026-05-23 12:01:19] [INFO ] Flatten gal took : 160 ms
[2026-05-23 12:01:19] [INFO ] Flatten gal took : 175 ms
[2026-05-23 12:01:19] [INFO ] Time to serialize gal into /tmp/LTL1633127276827730229.gal : 31 ms
[2026-05-23 12:01:19] [INFO ] Time to serialize properties into /tmp/LTL17082239337752669100.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/LTL1633127276827730229.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL17082239337752669100.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(("((Mutex_4==1)&&(WaitMutex_18_4==1))")&&(X(("(Modify_11_9==1)")U("((Mutex_4==1)&&(WaitMutex_18_4==1))"))))))
Formula 0 simplified : G(!"((Mutex_4==1)&&(WaitMutex_18_4==1))" | X(!"(Modify_11_9==1)" R !"((Mutex_4==1)&&(WaitMutex_18_4==1))"))
Detected timeout of ITS tools.
[2026-05-23 12:01:34] [INFO ] Flatten gal took : 153 ms
[2026-05-23 12:01:34] [INFO ] Applying decomposition
[2026-05-23 12:01:34] [INFO ] Flatten gal took : 157 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/graph14484594282320907493.txt' '-o' '/tmp/graph14484594282320907493.bin' '-w' '/tmp/graph14484594282320907493.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14484594282320907493.bin' '-l' '-1' '-v' '-w' '/tmp/graph14484594282320907493.weights' '-q' '0' '-e' '0.001'
[2026-05-23 12:01:35] [INFO ] Decomposing Gal with order
[2026-05-23 12:01:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 12:01:36] [INFO ] Removed a total of 15084 redundant transitions.
[2026-05-23 12:01:36] [INFO ] Flatten gal took : 373 ms
[2026-05-23 12:01:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 92 ms.
[2026-05-23 12:01:36] [INFO ] Time to serialize gal into /tmp/LTL14446826346117200527.gal : 40 ms
[2026-05-23 12:01:36] [INFO ] Time to serialize properties into /tmp/LTL10430631089118594837.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/LTL14446826346117200527.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL10430631089118594837.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...256
Read 1 LTL properties
Checking formula 0 : !((F(("((i3.u439.Mutex_4==1)&&(u280.WaitMutex_18_4==1))")&&(X(("(i52.u811.Modify_11_9==1)")U("((i3.u439.Mutex_4==1)&&(u280.WaitMutex_1...170
Formula 0 simplified : G(!"((i3.u439.Mutex_4==1)&&(u280.WaitMutex_18_4==1))" | X(!"(i52.u811.Modify_11_9==1)" R !"((i3.u439.Mutex_4==1)&&(u280.WaitMutex_18...165
Detected timeout of ITS tools.
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-09 finished in 906201 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&X(F(((!p0&&X(F(p1)))||G(F(p1)))))))'
Support contains 3 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 293 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8640132340838427207.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2428336935014065625.kers'
[2026-05-23 12:01:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8640132340838427207.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2428336935014065625.kers]
Culled 0 columns in 9 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 12:01:51] [INFO ] Computed 460 invariants in 91 ms
Computed 460 P flows in 92 ms.
Exported basis to /tmp/petrispot-output-2428336935014065625.kers
Total runtime 101 ms.
[2026-05-23 12:02:23] [INFO ] Performed 880/3260 implicitness test of which 109 returned IMPLICIT in 30 seconds.
[2026-05-23 12:02:54] [INFO ] Performed 1677/3260 implicitness test of which 221 returned IMPLICIT in 60 seconds.
[2026-05-23 12:03:24] [INFO ] Performed 2538/3260 implicitness test of which 318 returned IMPLICIT in 90 seconds.
[2026-05-23 12:03:50] [INFO ] Implicit Places using invariants in 118173 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 118203 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 218 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 118715 ms. Remains : 2860/3260 places, 3200/3200 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((F(p0)&&X(F(((!p0&&X(F(p1)))||G(F(p1)))))))'
Stuttering acceptance computed with spot in 213 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1)]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-10
Product exploration explored 100000 steps with 0 reset in 1968 ms.
Product exploration explored 100000 steps with 14 reset in 1645 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 163 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 876 ms. (45 steps per ms) remains 2/3 properties
BEST_FIRST walk for 1604 steps (0 resets) in 19 ms. (80 steps per ms) remains 0/2 properties
Knowledge based reduction with 3 factoid took 233 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 185 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1)]
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15461911057523258607.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1265749614719146414.kers'
[2026-05-23 12:03:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15461911057523258607.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1265749614719146414.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 3200 rows 2860 cols 22400 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 12:03:55] [INFO ] Computed 60 invariants in 257 ms
Computed 60 P flows in 258 ms.
Exported basis to /tmp/petrispot-output-1265749614719146414.kers
Total runtime 266 ms.
[2026-05-23 12:04:10] [INFO ] [Real]Absence check using 47 positive place invariants in 8196 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 16353 ms.
Stuttering acceptance computed with spot in 139 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1)]
Support contains 3 out of 2860 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Applied a total of 0 rules in 205 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 12:04:10] [INFO ] Invariant cache hit.
[2026-05-23 12:06:50] [INFO ] Performed 200/2860 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2026-05-23 12:06:50] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2026-05-23 12:06:50] [INFO ] Implicit Places using invariants in 160015 ms returned []
[2026-05-23 12:06:50] [INFO ] Invariant cache hit.
[2026-05-23 12:09:30] [INFO ] Implicit Places using invariants and state equation in 160032 ms returned []
Implicit Place search using SMT with State Equation took 320049 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 320256 ms. Remains : 2860/2860 places, 3200/3200 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 192 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 1189 ms. (33 steps per ms) remains 2/3 properties
BEST_FIRST walk for 1604 steps (0 resets) in 10 ms. (145 steps per ms) remains 0/2 properties
Knowledge based reduction with 3 factoid took 219 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 183 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1)]
[2026-05-23 12:09:32] [INFO ] Invariant cache hit.
[2026-05-23 12:09:46] [INFO ] [Real]Absence check using 47 positive place invariants in 8566 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15771 ms.
Stuttering acceptance computed with spot in 134 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1)]
Stuttering acceptance computed with spot in 132 ms :[(OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1), (NOT p1)]
Product exploration explored 100000 steps with 5 reset in 1648 ms.
Product exploration explored 100000 steps with 10 reset in 1814 ms.
Spot run failed in 53 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/ltsmin17329657977114581040
[2026-05-23 12:09:50] [INFO ] Built C files in 44ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17329657977114581040
Running compilation step : cd /tmp/ltsmin17329657977114581040;'/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/ltsmin17329657977114581040;'/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/ltsmin17329657977114581040;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 3 out of 2860 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Applied a total of 0 rules in 219 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 12:09:53] [INFO ] Invariant cache hit.
[2026-05-23 12:12:33] [INFO ] Performed 200/2860 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2026-05-23 12:12:33] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2026-05-23 12:12:33] [INFO ] Implicit Places using invariants in 160013 ms returned []
[2026-05-23 12:12:33] [INFO ] Invariant cache hit.
[2026-05-23 12:15:13] [INFO ] Implicit Places using invariants and state equation in 160029 ms returned []
Implicit Place search using SMT with State Equation took 320043 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 320264 ms. Remains : 2860/2860 places, 3200/3200 transitions.
Built C files in :
/tmp/ltsmin1301146285763772159
[2026-05-23 12:15:13] [INFO ] Built C files in 41ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1301146285763772159
Running compilation step : cd /tmp/ltsmin1301146285763772159;'/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/ltsmin1301146285763772159;'/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/ltsmin1301146285763772159;'/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-23 12:15:17] [INFO ] Flatten gal took : 194 ms
[2026-05-23 12:15:17] [INFO ] Flatten gal took : 263 ms
[2026-05-23 12:15:17] [INFO ] Time to serialize gal into /tmp/LTL16849208472734283406.gal : 43 ms
[2026-05-23 12:15:17] [INFO ] Time to serialize properties into /tmp/LTL12173885477425603907.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/LTL16849208472734283406.gal' '-t' 'CGAL' '-hoa' '/tmp/aut13518573942172728916.hoa' '-atoms' '/tmp/LTL12173885477425603907.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...320
Loading property file /tmp/LTL12173885477425603907.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut13518573942172728916.hoa
Detected timeout of ITS tools.
[2026-05-23 12:15:33] [INFO ] Flatten gal took : 260 ms
[2026-05-23 12:15:33] [INFO ] Flatten gal took : 202 ms
[2026-05-23 12:15:33] [INFO ] Time to serialize gal into /tmp/LTL12869277482060753728.gal : 27 ms
[2026-05-23 12:15:33] [INFO ] Time to serialize properties into /tmp/LTL14558564017194245844.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/LTL12869277482060753728.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14558564017194245844.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("((WaitMutex_14_18==1)&&(Mutex_18==1))"))&&(X(F((G(F("(updating_12_19==0)")))||(("((WaitMutex_14_18==0)||(Mutex_18==0))")&&(X(F(...185
Formula 0 simplified : G!"((WaitMutex_14_18==1)&&(Mutex_18==1))" | XG(FG!"(updating_12_19==0)" & (!"((WaitMutex_14_18==0)||(Mutex_18==0))" | XG!"(updating_...167
Detected timeout of ITS tools.
[2026-05-23 12:15:48] [INFO ] Flatten gal took : 155 ms
[2026-05-23 12:15:48] [INFO ] Applying decomposition
[2026-05-23 12:15:48] [INFO ] Flatten gal took : 157 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/graph9306167334721632268.txt' '-o' '/tmp/graph9306167334721632268.bin' '-w' '/tmp/graph9306167334721632268.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9306167334721632268.bin' '-l' '-1' '-v' '-w' '/tmp/graph9306167334721632268.weights' '-q' '0' '-e' '0.001'
[2026-05-23 12:15:49] [INFO ] Decomposing Gal with order
[2026-05-23 12:15:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 12:15:50] [INFO ] Removed a total of 15141 redundant transitions.
[2026-05-23 12:15:50] [INFO ] Flatten gal took : 345 ms
[2026-05-23 12:15:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 56 ms.
[2026-05-23 12:15:50] [INFO ] Time to serialize gal into /tmp/LTL11485564353657666530.gal : 37 ms
[2026-05-23 12:15:50] [INFO ] Time to serialize properties into /tmp/LTL11459867094509877107.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/LTL11485564353657666530.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL11459867094509877107.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...256
Read 1 LTL properties
Checking formula 0 : !(((F("((u660.WaitMutex_14_18==1)&&(i33.u493.Mutex_18==1))"))&&(X(F((G(F("(i10.u56.updating_12_19==0)")))||(("((u660.WaitMutex_14_18==...229
Formula 0 simplified : G!"((u660.WaitMutex_14_18==1)&&(i33.u493.Mutex_18==1))" | XG(FG!"(i10.u56.updating_12_19==0)" & (!"((u660.WaitMutex_14_18==0)||(i33....211
Detected timeout of ITS tools.
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-10 finished in 854167 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(((p1 U p2)||p0))))'
Support contains 4 out of 3260 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 760 transitions
Trivial Post-agglo rules discarded 760 transitions
Performed 760 trivial Post agglomeration. Transition count delta: 760
Iterating post reduction 0 with 760 rules applied. Total rules applied 760 place count 3260 transition count 2440
Reduce places removed 780 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 799 transitions
Trivial Post-agglo rules discarded 799 transitions
Performed 799 trivial Post agglomeration. Transition count delta: 799
Iterating post reduction 1 with 1579 rules applied. Total rules applied 2339 place count 2480 transition count 1641
Reduce places removed 799 places and 0 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 2 with 820 rules applied. Total rules applied 3159 place count 1681 transition count 1620
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 3 with 21 rules applied. Total rules applied 3180 place count 1660 transition count 1620
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 399 Pre rules applied. Total rules applied 3180 place count 1660 transition count 1221
Deduced a syphon composed of 399 places in 1 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 4 with 798 rules applied. Total rules applied 3978 place count 1261 transition count 1221
Applied a total of 3978 rules in 353 ms. Remains 1261 /3260 variables (removed 1999) and now considering 1221/3200 (removed 1979) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1235619714632992187.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14137909965478362997.kers'
[2026-05-23 12:16:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1235619714632992187.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14137909965478362997.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1221 rows 1261 cols 18442 entries
Finished phase 1 with 421 SingleSign rule and 400 generalized
[2026-05-23 12:16:06] [INFO ] Computed 440 invariants in 46 ms
Computed 440 P flows in 46 ms.
Exported basis to /tmp/petrispot-output-14137909965478362997.kers
Total runtime 50 ms.
[2026-05-23 12:16:37] [INFO ] Performed 85/1261 implicitness test of which 55 returned IMPLICIT in 30 seconds.
[2026-05-23 12:17:07] [INFO ] Performed 158/1261 implicitness test of which 98 returned IMPLICIT in 61 seconds.
[2026-05-23 12:17:38] [INFO ] Performed 231/1261 implicitness test of which 150 returned IMPLICIT in 91 seconds.
[2026-05-23 12:18:09] [INFO ] Performed 300/1261 implicitness test of which 196 returned IMPLICIT in 122 seconds.
[2026-05-23 12:18:39] [INFO ] Performed 416/1261 implicitness test of which 261 returned IMPLICIT in 152 seconds.
[2026-05-23 12:18:46] [INFO ] Implicit Places using invariants in 160068 ms returned [1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 15, 19, 20, 21, 22, 23, 26, 27, 30, 33, 34, 35, 36, 37, 39, 41, 42, 44, 46, 47, 49, 53, 54, 55, 57, 58, 60, 61, 62, 63, 65, 67, 68, 69, 71, 72, 74, 75, 78, 79, 80, 81, 83, 84, 85, 86, 90, 91, 95, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 111, 112, 113, 115, 116, 117, 119, 120, 122, 124, 126, 127, 129, 134, 136, 138, 140, 142, 143, 148, 149, 150, 151, 152, 155, 156, 158, 159, 160, 161, 162, 163, 164, 165, 167, 168, 170, 176, 177, 178, 180, 182, 184, 186, 188, 190, 191, 192, 193, 194, 195, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 212, 213, 214, 217, 218, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 233, 237, 239, 240, 242, 246, 247, 248, 250, 252, 253, 254, 255, 257, 262, 263, 264, 266, 267, 269, 270, 272, 273, 274, 277, 278, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 305, 313, 315, 316, 317, 319, 320, 322, 323, 325, 327, 328, 329, 331, 332, 335, 336, 338, 340, 342, 343, 346, 347, 350, 352, 353, 354, 355, 356, 357, 359, 361, 362, 364, 365, 366, 367, 369, 370, 372, 373, 375, 378, 379, 382, 383, 384, 388, 391, 393, 394, 395, 398, 399, 400, 401, 402, 408, 412, 414, 415, 416, 417, 420, 422, 423, 424, 425, 427, 429, 430, 431, 432, 433, 434]
[2026-05-23 12:18:46] [INFO ] Actually due to overlaps returned [2, 3, 4, 10, 21, 26, 27, 30, 33, 54, 63, 71, 72, 74, 86, 98, 113, 120, 129, 136, 20, 46, 116, 148, 253, 277, 297, 303, 322, 366]
Discarding 30 places :
Implicit Place search using SMT only with invariants took 160080 ms to find 30 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 1231/3260 places, 1221/3200 transitions.
Applied a total of 0 rules in 107 ms. Remains 1231 /1231 variables (removed 0) and now considering 1221/1221 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 160541 ms. Remains : 1231/3260 places, 1221/3200 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(((p1 U p2)||p0))))'
Stuttering acceptance computed with spot in 96 ms :[(AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-11
Product exploration explored 100000 steps with 1 reset in 4696 ms.
Stack based approach found an accepted trace after 32520 steps with 1 reset with depth 18243 and stack size 18203 in 1368 ms.
FORMULA DatabaseWithMutex-PT-20-LTLFireability-11 FALSE TECHNIQUES STACK_TEST
Treatment of property DatabaseWithMutex-PT-20-LTLFireability-11 finished in 166753 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((X((p0 U (G(p0)||p1))) U (G(X((p0 U (p1||G(p0)))))||(p2&&X((p0 U (p1||G(p0)))))))))))'
Support contains 5 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 228 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12193533541029193271.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2227459285723412209.kers'
[2026-05-23 12:18:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12193533541029193271.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2227459285723412209.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 12:18:52] [INFO ] Computed 460 invariants in 59 ms
Computed 460 P flows in 60 ms.
Exported basis to /tmp/petrispot-output-2227459285723412209.kers
Total runtime 66 ms.
[2026-05-23 12:19:24] [INFO ] Performed 876/3260 implicitness test of which 109 returned IMPLICIT in 30 seconds.
[2026-05-23 12:19:54] [INFO ] Performed 1661/3260 implicitness test of which 220 returned IMPLICIT in 60 seconds.
[2026-05-23 12:20:24] [INFO ] Performed 2446/3260 implicitness test of which 310 returned IMPLICIT in 90 seconds.
[2026-05-23 12:20:54] [INFO ] Performed 3249/3260 implicitness test of which 399 returned IMPLICIT in 120 seconds.
[2026-05-23 12:20:55] [INFO ] Implicit Places using invariants in 122393 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 122420 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 178 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 122828 ms. Remains : 2860/3260 places, 3200/3200 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(F((X((p0 U (G(p0)||p1))) U (G(X((p0 U (p1||G(p0)))))||(p2&&X((p0 U (p1||G(p0)))))))))))'
Stuttering acceptance computed with spot in 148 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : DatabaseWithMutex-PT-20-LTLFireability-12
Product exploration explored 100000 steps with 61 reset in 1827 ms.
Product exploration explored 100000 steps with 69 reset in 1770 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 8 factoid took 59 ms. Reduced automaton from 4 states, 9 edges and 3 AP (stutter sensitive) to 4 states, 9 edges and 3 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 1011 ms. (39 steps per ms) remains 1/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 443 ms. (90 steps per ms) remains 1/1 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16456813200868520746.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7286436898017748162.kers'
[2026-05-23 12:21:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16456813200868520746.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7286436898017748162.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 3200 rows 2860 cols 22400 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 12:21:00] [INFO ] Computed 60 invariants in 254 ms
Computed 60 P flows in 255 ms.
Exported basis to /tmp/petrispot-output-7286436898017748162.kers
Total runtime 265 ms.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/5 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 1306/1311 variables, 6/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1311 variables, 1306/1317 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1311 variables, 0/1317 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 1459/2770 variables, 41/1358 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2770 variables, 1459/2817 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2770 variables, 0/2817 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 90/2860 variables, 13/2830 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2860 variables, 90/2920 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2860 variables, 0/2920 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6060/6060 variables, and 5780 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5018 ms.
Refiners :[Domain max(s): 2860/2860 constraints, Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 2860/2860 constraints, PredecessorRefiner: 1/1 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/5 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/5 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 1306/1311 variables, 6/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1311 variables, 1306/1317 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SMT process timed out in 10684ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5 out of 2860 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 759 transitions
Trivial Post-agglo rules discarded 759 transitions
Performed 759 trivial Post agglomeration. Transition count delta: 759
Iterating post reduction 0 with 759 rules applied. Total rules applied 759 place count 2860 transition count 2441
Reduce places removed 776 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 679 transitions
Trivial Post-agglo rules discarded 679 transitions
Performed 679 trivial Post agglomeration. Transition count delta: 679
Iterating post reduction 1 with 1455 rules applied. Total rules applied 2214 place count 2084 transition count 1762
Reduce places removed 679 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 680 rules applied. Total rules applied 2894 place count 1405 transition count 1761
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 2895 place count 1404 transition count 1761
Performed 456 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 456 Pre rules applied. Total rules applied 2895 place count 1404 transition count 1305
Deduced a syphon composed of 456 places in 0 ms
Reduce places removed 456 places and 0 transitions.
Iterating global reduction 4 with 912 rules applied. Total rules applied 3807 place count 948 transition count 1305
Free-agglomeration rule applied 400 times.
Iterating global reduction 4 with 400 rules applied. Total rules applied 4207 place count 948 transition count 905
Reduce places removed 400 places and 0 transitions.
Iterating post reduction 4 with 400 rules applied. Total rules applied 4607 place count 548 transition count 905
Free-agglomeration rule (complex) applied 21 times.
Iterating global reduction 5 with 21 rules applied. Total rules applied 4628 place count 548 transition count 884
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 5 with 23 rules applied. Total rules applied 4651 place count 525 transition count 884
Performed 38 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 38 Pre rules applied. Total rules applied 4651 place count 525 transition count 846
Deduced a syphon composed of 38 places in 0 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 6 with 76 rules applied. Total rules applied 4727 place count 487 transition count 846
Applied a total of 4727 rules in 901 ms. Remains 487 /2860 variables (removed 2373) and now considering 846/3200 (removed 2354) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 901 ms. Remains : 487/2860 places, 846/3200 transitions.
RANDOM walk for 738 steps (0 resets) in 84 ms. (8 steps per ms) remains 0/1 properties
Knowledge based reduction with 8 factoid took 183 ms. Reduced automaton from 4 states, 9 edges and 3 AP (stutter sensitive) to 4 states, 9 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 175 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-23 12:21:12] [INFO ] Invariant cache hit.
[2026-05-23 12:21:25] [INFO ] [Real]Absence check using 47 positive place invariants in 6998 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 26282 ms.
Stuttering acceptance computed with spot in 139 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 5 out of 2860 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Applied a total of 0 rules in 214 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 12:21:25] [INFO ] Invariant cache hit.
[2026-05-23 12:24:05] [INFO ] Performed 200/2860 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2026-05-23 12:24:05] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2026-05-23 12:24:05] [INFO ] Implicit Places using invariants in 160012 ms returned []
[2026-05-23 12:24:05] [INFO ] Invariant cache hit.
[2026-05-23 12:26:45] [INFO ] Implicit Places using invariants and state equation in 160030 ms returned []
Implicit Place search using SMT with State Equation took 320044 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 320259 ms. Remains : 2860/2860 places, 3200/3200 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 8 factoid took 93 ms. Reduced automaton from 4 states, 9 edges and 3 AP (stutter sensitive) to 4 states, 9 edges and 3 AP (stutter sensitive).
RANDOM walk for 39383 steps (8 resets) in 1111 ms. (35 steps per ms) remains 0/8 properties
Knowledge based reduction with 8 factoid took 180 ms. Reduced automaton from 4 states, 9 edges and 3 AP (stutter sensitive) to 4 states, 9 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 209 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-23 12:26:47] [INFO ] Invariant cache hit.
[2026-05-23 12:27:00] [INFO ] [Real]Absence check using 47 positive place invariants in 7233 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 15190 ms.
Stuttering acceptance computed with spot in 143 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 204 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration explored 100000 steps with 67 reset in 1938 ms.
Product exploration explored 100000 steps with 64 reset in 1759 ms.
Spot run failed in 61 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/ltsmin9248918227710481392
[2026-05-23 12:27:05] [INFO ] Built C files in 52ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9248918227710481392
Running compilation step : cd /tmp/ltsmin9248918227710481392;'/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/ltsmin9248918227710481392;'/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/ltsmin9248918227710481392;'/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 5 out of 2860 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2860/2860 places, 3200/3200 transitions.
Applied a total of 0 rules in 278 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 12:27:08] [INFO ] Invariant cache hit.
[2026-05-23 12:29:48] [INFO ] Performed 200/2860 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2026-05-23 12:29:48] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2026-05-23 12:29:48] [INFO ] Implicit Places using invariants in 160014 ms returned []
[2026-05-23 12:29:48] [INFO ] Invariant cache hit.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DatabaseWithMutex-PT-20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is DatabaseWithMutex-PT-20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-smll-177946993500068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-20.tgz
mv DatabaseWithMutex-PT-20 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;