About the Execution of ITS-Tools for ErlangenMainframeV1-PT-aP12C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16211.155 | 3600000.00 | 4785208.00 | 55425.90 | FFF?FFFFFFFTFFFF | 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.r338-smll-178021499000028.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 ErlangenMainframeV1-PT-aP12C04, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r338-smll-178021499000028
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 85M
-rw-r--r-- 1 mcc users 6.3K May 27 08:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K May 27 08:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K May 27 08:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 27 08:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 27 10:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 27 10:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 27 10:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 27 10:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 14K May 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 157K May 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K May 27 08:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K May 27 08:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 8 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 84M May 26 18:17 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 ErlangenMainframeV1-PT-aP12C04-LTLFireability-00
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-01
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-02
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-03
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-04
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-05
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-06
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-07
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-08
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-09
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-10
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-11
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-12
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-13
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-14
FORMULA_NAME ErlangenMainframeV1-PT-aP12C04-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1780239028349
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ErlangenMainframeV1-PT-aP12C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-05-31 14:50:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-31 14:50:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-31 14:50:35] [INFO ] Load time of PNML (sax parser for PT used): 4324 ms
[2026-05-31 14:50:35] [INFO ] Transformed 98 places.
[2026-05-31 14:50:35] [INFO ] Transformed 62312 transitions.
[2026-05-31 14:50:35] [INFO ] Found NUPN structural information;
[2026-05-31 14:50:35] [INFO ] Parsed PT model containing 98 places and 62312 transitions and 1700773 arcs in 5059 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 42 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 60 out of 98 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 98/98 places, 62311/62311 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 92 transition count 62289
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 92 transition count 62289
Applied a total of 12 rules in 1079 ms. Remains 92 /98 variables (removed 6) and now considering 62289/62311 (removed 22) transitions.
[2026-05-31 14:50:38] [INFO ] Flow matrix only has 62285 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11912146198699975753.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7183475632142513577.kers'
[2026-05-31 14:50:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11912146198699975753.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7183475632142513577.kers]
Normalized transition count is 62284 out of 62285 initially.
Culled 0 columns in 303 ms.
// Phase 1: matrix 62284 rows 92 cols 1700577 entries
Finished phase 1 with 59 SingleSign rule and 3 generalized
[2026-05-31 14:50:40] [INFO ] Computed 30 invariants in 1360 ms
Computed 30 P flows in 1362 ms.
Exported basis to /tmp/petrispot-output-7183475632142513577.kers
Total runtime 1569 ms.
[2026-05-31 14:50:40] [INFO ] Implicit Places using invariants in 2702 ms returned []
Implicit Place search using SMT only with invariants took 2934 ms to find 0 implicit places.
Running 62288 sub problems to find dead transitions.
[2026-05-31 14:50:42] [INFO ] Flow matrix only has 62285 transitions (discarded 4 similar events)
[2026-05-31 14:50:42] [INFO ] Invariant cache hit.
[2026-05-31 14:50:43] [INFO ] State equation strengthened by 26 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SMT process timed out in 372479ms, After SMT, problems are : Problem set: 0 solved, 62288 unsolved
Search for dead transitions found 0 dead transitions in 373222ms
Starting structural reductions in LTL mode, iteration 1 : 92/98 places, 62289/62311 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 377851 ms. Remains : 92/98 places, 62289/62311 transitions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Applied a total of 0 rules in 329 ms. Remains 92 /92 variables (removed 0) and now considering 62289/62289 (removed 0) transitions.
[2026-05-31 14:56:55] [INFO ] Flow matrix only has 62285 transitions (discarded 4 similar events)
[2026-05-31 14:56:55] [INFO ] Invariant cache hit.
[2026-05-31 14:56:55] [INFO ] Implicit Places using invariants in 233 ms returned []
Implicit Place search using SMT only with invariants took 235 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 585 ms. Remains : 92/92 places, 62289/62289 transitions.
Support contains 60 out of 92 places after structural reductions.
[2026-05-31 14:57:10] [INFO ] Flatten gal took : 13633 ms
[2026-05-31 14:57:24] [INFO ] Flatten gal took : 13701 ms
[2026-05-31 14:57:40] [INFO ] Input system was already deterministic with 62289 transitions.
RANDOM walk for 40000 steps (8 resets) in 65140 ms. (0 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 31/32 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1024 ms. (3 steps per ms) remains 31/31 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1350 ms. (2 steps per ms) remains 31/31 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 30/31 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1971 ms. (2 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2036 ms. (1 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 29/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1342 ms. (2 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2205 ms. (1 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 768 ms. (5 steps per ms) remains 28/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1307 ms. (3 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 27/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1786 ms. (2 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 26/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 25/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 24/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1555 ms. (2 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1687 ms. (2 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 798 ms. (5 steps per ms) remains 23/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1760 ms. (2 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 22/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 806 ms. (4 steps per ms) remains 21/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 20/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 19/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 734 ms. (5 steps per ms) remains 18/19 properties
BEST_FIRST walk for 4003 steps (8 resets) in 742 ms. (5 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 17/18 properties
[2026-05-31 14:58:11] [INFO ] Flow matrix only has 62285 transitions (discarded 4 similar events)
[2026-05-31 14:58:11] [INFO ] Invariant cache hit.
[2026-05-31 14:58:12] [INFO ] State equation strengthened by 26 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 17 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp28 is UNSAT
At refinement iteration 1 (OVERLAPS) 7/65 variables, 14/14 constraints. Problems are: Problem set: 4 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/65 variables, 1/15 constraints. Problems are: Problem set: 4 solved, 13 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/65 variables, 0/15 constraints. Problems are: Problem set: 4 solved, 13 unsolved
At refinement iteration 4 (OVERLAPS) 14/79 variables, 4/19 constraints. Problems are: Problem set: 4 solved, 13 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 79/62377 variables, and 19 constraints, problems are : Problem set: 4 solved, 13 unsolved in 5071 ms.
Refiners :[Positive P Invariants (semi-flows): 18/18 constraints, Generalized P Invariants (flows): 1/12 constraints, State Equation: 0/92 constraints, ReadFeed: 0/26 constraints, PredecessorRefiner: 17/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 4 solved, 13 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 4 solved, 13 unsolved
Problem AtomicPropp9 is UNSAT
At refinement iteration 1 (OVERLAPS) 7/61 variables, 14/14 constraints. Problems are: Problem set: 5 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/61 variables, 1/15 constraints. Problems are: Problem set: 5 solved, 12 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 61/62377 variables, and 15 constraints, problems are : Problem set: 5 solved, 12 unsolved in 5093 ms.
Refiners :[Positive P Invariants (semi-flows): 14/18 constraints, Generalized P Invariants (flows): 1/12 constraints, State Equation: 0/92 constraints, ReadFeed: 0/26 constraints, PredecessorRefiner: 13/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 11465ms problems are : Problem set: 5 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 53 out of 92 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 92 transition count 62281
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 11 place count 89 transition count 62281
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 25 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 19 place count 85 transition count 62277
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 51 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 21 place count 84 transition count 62294
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 22 place count 84 transition count 62293
Free-agglomeration rule applied 6 times.
Iterating global reduction 3 with 6 rules applied. Total rules applied 28 place count 84 transition count 62287
Reduce places removed 6 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 38 place count 78 transition count 62283
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 40 place count 76 transition count 62268
Iterating global reduction 4 with 2 rules applied. Total rules applied 42 place count 76 transition count 62268
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 44 place count 76 transition count 62266
Free-agglomeration rule applied 2 times with reduction of 3 identical transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 46 place count 76 transition count 62261
Ensure Unique test removed 1 places
Reduce places removed 3 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 9 rules applied. Total rules applied 55 place count 73 transition count 62255
Applied a total of 55 rules in 13181 ms. Remains 73 /92 variables (removed 19) and now considering 62255/62289 (removed 34) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13186 ms. Remains : 73/92 places, 62255/62289 transitions.
RANDOM walk for 40000 steps (8 resets) in 90150 ms. (0 steps per ms) remains 12/12 properties
BEST_FIRST walk for 14611 steps (3 resets) in 20038 ms. (0 steps per ms) remains 12/12 properties
BEST_FIRST walk for 21463 steps (4 resets) in 20072 ms. (1 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6234 ms. (6 steps per ms) remains 11/12 properties
BEST_FIRST walk for 15561 steps (4 resets) in 20033 ms. (0 steps per ms) remains 11/11 properties
BEST_FIRST walk for 18959 steps (4 resets) in 20038 ms. (0 steps per ms) remains 11/11 properties
BEST_FIRST walk for 21606 steps (5 resets) in 20042 ms. (1 steps per ms) remains 11/11 properties
BEST_FIRST walk for 20072 steps (4 resets) in 20028 ms. (1 steps per ms) remains 11/11 properties
BEST_FIRST walk for 16727 steps (4 resets) in 20061 ms. (0 steps per ms) remains 11/11 properties
BEST_FIRST walk for 17100 steps (3 resets) in 20042 ms. (0 steps per ms) remains 11/11 properties
BEST_FIRST walk for 22084 steps (5 resets) in 20036 ms. (1 steps per ms) remains 11/11 properties
BEST_FIRST walk for 20235 steps (4 resets) in 20006 ms. (1 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6146 ms. (6 steps per ms) remains 10/11 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-671867155295968829.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12821633198540889121.kers'
[2026-05-31 14:59:53] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-671867155295968829.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12821633198540889121.kers]
Culling duplicate invariants (modulo rational): removing 3 columns.
Culled 3 columns in 292 ms.
// Phase 1: matrix 62255 rows 70 cols 1700485 entries
Finished phase 1 with 41 SingleSign rule and 3 generalized
[2026-05-31 14:59:54] [INFO ] Computed 29 invariants in 1310 ms
Computed 29 P flows in 1310 ms.
Exported basis to /tmp/petrispot-output-12821633198540889121.kers
Total runtime 1665 ms.
[2026-05-31 14:59:55] [INFO ] State equation strengthened by 18 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/29 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 5/34 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/34 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 8/42 variables, 4/17 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/42 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 31/73 variables, 12/29 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/73 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 62328/62328 variables, and 102 constraints, problems are : Problem set: 0 solved, 10 unsolved in 45019 ms.
Refiners :[Positive P Invariants (semi-flows): 17/17 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 73/73 constraints, ReadFeed: 0/18 constraints, PredecessorRefiner: 10/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/29 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 5/34 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/34 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 8/42 variables, 4/17 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/42 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 31/73 variables, 12/29 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/73 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 62328/62328 variables, and 102 constraints, problems are : Problem set: 0 solved, 10 unsolved in 45016 ms.
Refiners :[Positive P Invariants (semi-flows): 17/17 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 73/73 constraints, ReadFeed: 0/18 constraints, PredecessorRefiner: 10/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 93133ms problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 29 out of 73 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 73/73 places, 62255/62255 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 73 transition count 62250
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 68 transition count 62250
Free-agglomeration rule applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 68 transition count 62248
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 14 place count 66 transition count 62248
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 15 place count 65 transition count 41511
Iterating global reduction 3 with 1 rules applied. Total rules applied 16 place count 65 transition count 41511
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 18 place count 65 transition count 41509
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 19 place count 65 transition count 41509
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 20 place count 65 transition count 41508
Applied a total of 20 rules in 13870 ms. Remains 65 /73 variables (removed 8) and now considering 41508/62255 (removed 20747) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13871 ms. Remains : 65/73 places, 41508/62255 transitions.
Successfully simplified 5 atomic propositions for a total of 13 simplifications.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 1 stabilizing places and 1 stable transitions
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
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&&X(p1)))'
Support contains 27 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 88 transition count 45649
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 88 transition count 45649
Applied a total of 8 rules in 1558 ms. Remains 88 /92 variables (removed 4) and now considering 45649/62289 (removed 16640) transitions.
[2026-05-31 15:01:43] [INFO ] Flow matrix only has 45645 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7030426798495634253.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10692786439467517144.kers'
[2026-05-31 15:01:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7030426798495634253.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10692786439467517144.kers]
Normalized transition count is 45644 out of 45645 initially.
Culled 0 columns in 300 ms.
// Phase 1: matrix 45644 rows 88 cols 1267937 entries
Finished phase 1 with 56 SingleSign rule and 2 generalized
[2026-05-31 15:01:44] [INFO ] Computed 30 invariants in 1077 ms
Computed 30 P flows in 1078 ms.
Exported basis to /tmp/petrispot-output-10692786439467517144.kers
Total runtime 1244 ms.
[2026-05-31 15:01:55] [INFO ] Implicit Places using invariants in 12734 ms returned []
Implicit Place search using SMT only with invariants took 12739 ms to find 0 implicit places.
Running 45648 sub problems to find dead transitions.
[2026-05-31 15:01:56] [INFO ] Flow matrix only has 45645 transitions (discarded 4 similar events)
[2026-05-31 15:01:56] [INFO ] Invariant cache hit.
[2026-05-31 15:01:56] [INFO ] State equation strengthened by 26 read => feed constraints.
SMT process timed out in 219361ms, After SMT, problems are : Problem set: 0 solved, 45648 unsolved
Search for dead transitions found 0 dead transitions in 219635ms
Starting structural reductions in LTL mode, iteration 1 : 88/92 places, 45649/62289 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 234151 ms. Remains : 88/92 places, 45649/62289 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(p0)&&p1))'
Stuttering acceptance computed with spot in 381 ms :[(NOT p0), true, (OR (NOT p1) (NOT p0))]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-00
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 48 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-00 finished in 234936 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 14 out of 92 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 92 transition count 62285
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 88 transition count 62285
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 8 place count 88 transition count 62284
Deduced a syphon composed of 1 places in 23 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 87 transition count 62284
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 26 place count 71 transition count 41549
Ensure Unique test removed 12 places
Iterating global reduction 2 with 28 rules applied. Total rules applied 54 place count 59 transition count 41549
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 55 place count 58 transition count 27724
Iterating global reduction 2 with 1 rules applied. Total rules applied 56 place count 58 transition count 27724
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 9 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 62 place count 55 transition count 27721
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 64 place count 54 transition count 27738
Applied a total of 64 rules in 10931 ms. Remains 54 /92 variables (removed 38) and now considering 27738/62289 (removed 34551) transitions.
[2026-05-31 15:05:47] [INFO ] Flow matrix only has 27733 transitions (discarded 5 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11176177012439467417.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4715393058472241354.kers'
[2026-05-31 15:05:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11176177012439467417.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4715393058472241354.kers]
Normalized transition count is 27732 out of 27733 initially.
Culled 0 columns in 78 ms.
// Phase 1: matrix 27732 rows 54 cols 442687 entries
Finished phase 1 with 36 SingleSign rule and 0 generalized
[2026-05-31 15:05:47] [INFO ] Computed 18 invariants in 390 ms
Computed 18 P flows in 391 ms.
Exported basis to /tmp/petrispot-output-4715393058472241354.kers
Total runtime 454 ms.
[2026-05-31 15:05:54] [INFO ] Implicit Places using invariants in 7415 ms returned []
Implicit Place search using SMT only with invariants took 7416 ms to find 0 implicit places.
Running 27735 sub problems to find dead transitions.
[2026-05-31 15:05:55] [INFO ] Flow matrix only has 27733 transitions (discarded 5 similar events)
[2026-05-31 15:05:55] [INFO ] Invariant cache hit.
[2026-05-31 15:05:55] [INFO ] State equation strengthened by 39 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 53/27787 variables, and 0 constraints, problems are : Problem set: 0 solved, 27735 unsolved in 30597 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/54 constraints, ReadFeed: 0/39 constraints, PredecessorRefiner: 27735/46 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27735 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 53/27787 variables, and 0 constraints, problems are : Problem set: 0 solved, 27735 unsolved in 30576 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/54 constraints, ReadFeed: 0/39 constraints, PredecessorRefiner: 27689/46 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 161903ms problems are : Problem set: 0 solved, 27735 unsolved
Search for dead transitions found 0 dead transitions in 162066ms
Starting structural reductions in SI_LTL mode, iteration 1 : 54/92 places, 27738/62289 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 180504 ms. Remains : 54/92 places, 27738/62289 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 47 ms :[(NOT p0)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-03
Product exploration timeout after 13440 steps with 0 reset in 10005 ms.
Product exploration timeout after 13510 steps with 0 reset in 10003 ms.
Computed a total of 1 stabilizing places and 3 stable transitions
Computed a total of 1 stabilizing places and 3 stable transitions
Knowledge based reduction with 3 factoid took 80 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 38531 ms. (1 steps per ms) remains 1/1 properties
BEST_FIRST walk for 8208 steps (2 resets) in 591 ms. (13 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 75 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 43 ms :[(NOT p0)]
Knowledge-based reduction took 11989 ms.
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Support contains 14 out of 54 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 54/54 places, 27738/27738 transitions.
Applied a total of 0 rules in 391 ms. Remains 54 /54 variables (removed 0) and now considering 27738/27738 (removed 0) transitions.
[2026-05-31 15:09:09] [INFO ] Flow matrix only has 27733 transitions (discarded 5 similar events)
[2026-05-31 15:09:09] [INFO ] Invariant cache hit.
[2026-05-31 15:09:16] [INFO ] Implicit Places using invariants in 6459 ms returned []
Implicit Place search using SMT only with invariants took 6470 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 6867 ms. Remains : 54/54 places, 27738/27738 transitions.
Computed a total of 1 stabilizing places and 3 stable transitions
Computed a total of 1 stabilizing places and 3 stable transitions
Knowledge based reduction with 3 factoid took 59 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 38485 ms. (1 steps per ms) remains 1/1 properties
BEST_FIRST walk for 11343 steps (3 resets) in 730 ms. (15 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 59 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Knowledge-based reduction took 12700 ms.
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Product exploration timeout after 16220 steps with 0 reset in 10005 ms.
Product exploration timeout after 18060 steps with 0 reset in 10003 ms.
Built C files in :
/tmp/ltsmin18422558399593358973
[2026-05-31 15:09:48] [INFO ] Too many transitions (27738) to apply POR reductions. Disabling POR matrices.
[2026-05-31 15:09:49] [INFO ] Built C files in 740ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18422558399593358973
Running compilation step : cd /tmp/ltsmin18422558399593358973;'/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/ltsmin18422558399593358973;'/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/ltsmin18422558399593358973;'/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 14 out of 54 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 54/54 places, 27738/27738 transitions.
Applied a total of 0 rules in 312 ms. Remains 54 /54 variables (removed 0) and now considering 27738/27738 (removed 0) transitions.
[2026-05-31 15:09:53] [INFO ] Flow matrix only has 27733 transitions (discarded 5 similar events)
[2026-05-31 15:09:53] [INFO ] Invariant cache hit.
[2026-05-31 15:09:59] [INFO ] Implicit Places using invariants in 6418 ms returned []
Implicit Place search using SMT only with invariants took 6427 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 6743 ms. Remains : 54/54 places, 27738/27738 transitions.
Built C files in :
/tmp/ltsmin8978219419345188281
[2026-05-31 15:09:59] [INFO ] Too many transitions (27738) to apply POR reductions. Disabling POR matrices.
[2026-05-31 15:10:00] [INFO ] Built C files in 566ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8978219419345188281
Running compilation step : cd /tmp/ltsmin8978219419345188281;'/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/ltsmin8978219419345188281;'/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/ltsmin8978219419345188281;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-31 15:10:14] [INFO ] Flatten gal took : 4629 ms
[2026-05-31 15:10:17] [INFO ] Flatten gal took : 3263 ms
[2026-05-31 15:10:18] [INFO ] Time to serialize gal into /tmp/LTL3886425766924591828.gal : 572 ms
[2026-05-31 15:10:18] [INFO ] Time to serialize properties into /tmp/LTL15430522380307165507.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/LTL3886425766924591828.gal' '-t' 'CGAL' '-hoa' '/tmp/aut6129909739423607794.hoa' '-atoms' '/tmp/LTL15430522380307165507.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...318
Detected timeout of ITS tools.
[2026-05-31 15:10:43] [INFO ] Flatten gal took : 4152 ms
[2026-05-31 15:10:46] [INFO ] Flatten gal took : 3080 ms
[2026-05-31 15:10:47] [INFO ] Time to serialize gal into /tmp/LTL7290105431412402688.gal : 504 ms
[2026-05-31 15:10:47] [INFO ] Time to serialize properties into /tmp/LTL1006809503718267903.ltl : 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/LTL7290105431412402688.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL1006809503718267903.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...275
Read 1 LTL properties
Detected timeout of ITS tools.
[2026-05-31 15:11:06] [INFO ] Flatten gal took : 3427 ms
[2026-05-31 15:11:06] [INFO ] Applying decomposition
[2026-05-31 15:11:10] [INFO ] Flatten gal took : 3894 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/graph5866479232464998671.txt' '-o' '/tmp/graph5866479232464998671.bin' '-w' '/tmp/graph5866479232464998671.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5866479232464998671.bin' '-l' '-1' '-v' '-w' '/tmp/graph5866479232464998671.weights' '-q' '0' '-e' '0.001'
[2026-05-31 15:11:16] [INFO ] Decomposing Gal with order
[2026-05-31 15:11:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 15:11:42] [INFO ] Removed a total of 81128 redundant transitions.
[2026-05-31 15:11:44] [INFO ] Flatten gal took : 25543 ms
[2026-05-31 15:11:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 3397 labels/synchronizations in 3952 ms.
[2026-05-31 15:11:51] [INFO ] Time to serialize gal into /tmp/LTL7311608515881295146.gal : 48 ms
[2026-05-31 15:11:51] [INFO ] Time to serialize properties into /tmp/LTL4471780160205301336.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/LTL7311608515881295146.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4471780160205301336.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Checking formula 0 : !((F(G("(((((i2.u5.p1==0)||(i2.u2.p6==0))||((i2.u2.p15==0)||(u4.p20==0)))||(((i2.u2.p25==0)||(i2.u5.p26==0))||((i2.u5.p31==0)||(i2.u2....268
Formula 0 simplified : GF!"(((((i2.u5.p1==0)||(i2.u2.p6==0))||((i2.u2.p15==0)||(u4.p20==0)))||(((i2.u2.p25==0)||(i2.u5.p26==0))||((i2.u5.p31==0)||(i2.u2.p4...262
Detected timeout of ITS tools.
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-03 finished in 390046 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 13 out of 92 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 91 transition count 62280
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 83 transition count 62280
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 20 place count 79 transition count 45640
Iterating global reduction 2 with 4 rules applied. Total rules applied 24 place count 79 transition count 45640
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 26 place count 77 transition count 22598
Iterating global reduction 2 with 2 rules applied. Total rules applied 28 place count 77 transition count 22598
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 2 rules applied. Total rules applied 30 place count 77 transition count 22596
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 32 place count 75 transition count 22596
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 7 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 36 place count 73 transition count 22594
Applied a total of 36 rules in 7560 ms. Remains 73 /92 variables (removed 19) and now considering 22594/62289 (removed 39695) transitions.
[2026-05-31 15:12:14] [INFO ] Flow matrix only has 22590 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5767035085166777054.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17390131111207437584.kers'
[2026-05-31 15:12:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5767035085166777054.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17390131111207437584.kers]
Normalized transition count is 22589 out of 22590 initially.
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 110 ms.
// Phase 1: matrix 22589 rows 71 cols 622752 entries
Finished phase 1 with 41 SingleSign rule and 2 generalized
[2026-05-31 15:12:14] [INFO ] Computed 30 invariants in 452 ms
Computed 30 P flows in 453 ms.
Exported basis to /tmp/petrispot-output-17390131111207437584.kers
Total runtime 528 ms.
[2026-05-31 15:12:25] [INFO ] Implicit Places using invariants in 11174 ms returned []
Implicit Place search using SMT only with invariants took 11179 ms to find 0 implicit places.
Running 22582 sub problems to find dead transitions.
[2026-05-31 15:12:25] [INFO ] Flow matrix only has 22590 transitions (discarded 4 similar events)
[2026-05-31 15:12:25] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/72 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 22582 unsolved
SMT process timed out in 100398ms, After SMT, problems are : Problem set: 0 solved, 22582 unsolved
Search for dead transitions found 0 dead transitions in 100516ms
Starting structural reductions in SI_LTL mode, iteration 1 : 73/92 places, 22594/62289 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 119332 ms. Remains : 73/92 places, 22594/62289 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Stuttering acceptance computed with spot in 95 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-04
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 5 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-04 finished in 119778 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((G(p0)&&F(p1))))'
Support contains 35 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Applied a total of 0 rules in 844 ms. Remains 92 /92 variables (removed 0) and now considering 62289/62289 (removed 0) transitions.
[2026-05-31 15:14:07] [INFO ] Flow matrix only has 62285 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13776677625377494665.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17469197662167813833.kers'
[2026-05-31 15:14:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13776677625377494665.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17469197662167813833.kers]
Normalized transition count is 62284 out of 62285 initially.
Culled 0 columns in 308 ms.
// Phase 1: matrix 62284 rows 92 cols 1700577 entries
Finished phase 1 with 59 SingleSign rule and 3 generalized
[2026-05-31 15:14:09] [INFO ] Computed 30 invariants in 1504 ms
Computed 30 P flows in 1505 ms.
Exported basis to /tmp/petrispot-output-17469197662167813833.kers
Total runtime 1747 ms.
[2026-05-31 15:14:25] [INFO ] Implicit Places using invariants in 18233 ms returned []
Implicit Place search using SMT only with invariants took 18238 ms to find 0 implicit places.
Running 62288 sub problems to find dead transitions.
[2026-05-31 15:14:26] [INFO ] Flow matrix only has 62285 transitions (discarded 4 similar events)
[2026-05-31 15:14:26] [INFO ] Invariant cache hit.
[2026-05-31 15:14:27] [INFO ] State equation strengthened by 26 read => feed constraints.
SMT process timed out in 398978ms, After SMT, problems are : Problem set: 0 solved, 62288 unsolved
Search for dead transitions found 0 dead transitions in 399299ms
Finished structural reductions in LTL mode , in 1 iterations and 418610 ms. Remains : 92/92 places, 62289/62289 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((G(p0)&&F(p1))))'
Stuttering acceptance computed with spot in 152 ms :[(NOT p0), (OR (NOT p1) (NOT p0)), true, (OR (NOT p0) (NOT p1))]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-05
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 99 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-05 finished in 419443 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(G(p0)) U ((p1||G(p2)) U X(X(p3)))))'
Support contains 41 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 90 transition count 50769
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 90 transition count 50769
Applied a total of 4 rules in 2164 ms. Remains 90 /92 variables (removed 2) and now considering 50769/62289 (removed 11520) transitions.
[2026-05-31 15:21:08] [INFO ] Flow matrix only has 50765 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12393108000736517171.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9931123037635888637.kers'
[2026-05-31 15:21:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12393108000736517171.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9931123037635888637.kers]
Normalized transition count is 50764 out of 50765 initially.
Culled 0 columns in 237 ms.
// Phase 1: matrix 50764 rows 90 cols 1401057 entries
Finished phase 1 with 57 SingleSign rule and 3 generalized
[2026-05-31 15:21:09] [INFO ] Computed 30 invariants in 1102 ms
Computed 30 P flows in 1102 ms.
Exported basis to /tmp/petrispot-output-9931123037635888637.kers
Total runtime 1303 ms.
[2026-05-31 15:21:15] [INFO ] Implicit Places using invariants in 7465 ms returned []
Implicit Place search using SMT only with invariants took 7466 ms to find 0 implicit places.
Running 50768 sub problems to find dead transitions.
[2026-05-31 15:21:16] [INFO ] Flow matrix only has 50765 transitions (discarded 4 similar events)
[2026-05-31 15:21:16] [INFO ] Invariant cache hit.
[2026-05-31 15:21:17] [INFO ] State equation strengthened by 26 read => feed constraints.
SMT process timed out in 297132ms, After SMT, problems are : Problem set: 0 solved, 50768 unsolved
Search for dead transitions found 0 dead transitions in 297440ms
Starting structural reductions in LTL mode, iteration 1 : 90/92 places, 50769/62289 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 307273 ms. Remains : 90/92 places, 50769/62289 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(G(p0)) U ((G(p1)||p2) U X(X(p3)))))'
Stuttering acceptance computed with spot in 936 ms :[(NOT p3), (AND (NOT p3) (NOT p0)), (NOT p3), (AND (NOT p3) (NOT p1) (NOT p0)), (OR (AND (NOT p0) p2 (NOT p3)) (AND (NOT p0) p1 (NOT p3))), (NOT p3), (AND (NOT p0) (NOT p3)), true, (AND (NOT p3) (NOT p0)), (NOT p3), (AND (NOT p3) (NOT p0) (NOT p1)), (OR (AND (NOT p0) p2 (NOT p3)) (AND (NOT p0) p1 (NOT p3))), (AND (NOT p1) (NOT p3)), (AND (NOT p1) (NOT p0) (NOT p3)), (AND (NOT p3) p0), (AND (NOT p3) (NOT p1) p0), (OR (AND p2 (NOT p3)) (AND p1 (NOT p3)) (AND p0 (NOT p3))), (NOT p0), (NOT p1), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-06
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 21 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-06 finished in 308601 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G((p0 U p1))))'
Support contains 27 out of 92 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 92 transition count 62287
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 90 transition count 62287
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 8 place count 86 transition count 45647
Iterating global reduction 2 with 4 rules applied. Total rules applied 12 place count 86 transition count 45647
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 14 place count 84 transition count 22605
Iterating global reduction 2 with 2 rules applied. Total rules applied 16 place count 84 transition count 22605
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 20 place count 82 transition count 22603
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 22 place count 81 transition count 22620
Applied a total of 22 rules in 8665 ms. Remains 81 /92 variables (removed 11) and now considering 22620/62289 (removed 39669) transitions.
[2026-05-31 15:26:23] [INFO ] Flow matrix only has 22615 transitions (discarded 5 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2283999472085734261.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10582959133359955682.kers'
[2026-05-31 15:26:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2283999472085734261.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10582959133359955682.kers]
Normalized transition count is 22614 out of 22615 initially.
Culled 0 columns in 112 ms.
// Phase 1: matrix 22614 rows 81 cols 622903 entries
Finished phase 1 with 49 SingleSign rule and 2 generalized
[2026-05-31 15:26:23] [INFO ] Computed 30 invariants in 513 ms
Computed 30 P flows in 514 ms.
Exported basis to /tmp/petrispot-output-10582959133359955682.kers
Total runtime 593 ms.
[2026-05-31 15:26:29] [INFO ] Implicit Places using invariants in 6065 ms returned []
Implicit Place search using SMT only with invariants took 6073 ms to find 0 implicit places.
Running 22617 sub problems to find dead transitions.
[2026-05-31 15:26:29] [INFO ] Flow matrix only has 22615 transitions (discarded 5 similar events)
[2026-05-31 15:26:29] [INFO ] Invariant cache hit.
[2026-05-31 15:26:29] [INFO ] State equation strengthened by 39 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 22617 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 80/22696 variables, and 12 constraints, problems are : Problem set: 0 solved, 22617 unsolved in 30458 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/81 constraints, ReadFeed: 0/39 constraints, PredecessorRefiner: 22617/49 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22617 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 22617 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 80/22696 variables, and 12 constraints, problems are : Problem set: 0 solved, 22617 unsolved in 30426 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/81 constraints, ReadFeed: 0/39 constraints, PredecessorRefiner: 22568/49 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 126395ms problems are : Problem set: 0 solved, 22617 unsolved
Search for dead transitions found 0 dead transitions in 126564ms
Starting structural reductions in SI_LTL mode, iteration 1 : 81/92 places, 22620/62289 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 141373 ms. Remains : 81/92 places, 22620/62289 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 U p1))))'
Stuttering acceptance computed with spot in 107 ms :[(NOT p1), (NOT p1)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-07
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 23 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-07 finished in 141638 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X((p0 U X(p0)))&&(X(p1)||G(p2))))'
Support contains 36 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 91 transition count 55377
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 91 transition count 55377
Applied a total of 2 rules in 1100 ms. Remains 91 /92 variables (removed 1) and now considering 55377/62289 (removed 6912) transitions.
[2026-05-31 15:28:37] [INFO ] Flow matrix only has 55373 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17567614064964166236.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15098391753261140385.kers'
[2026-05-31 15:28:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17567614064964166236.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15098391753261140385.kers]
Normalized transition count is 55372 out of 55373 initially.
Culled 0 columns in 259 ms.
// Phase 1: matrix 55372 rows 91 cols 1520865 entries
Finished phase 1 with 58 SingleSign rule and 3 generalized
[2026-05-31 15:28:38] [INFO ] Computed 30 invariants in 1212 ms
Computed 30 P flows in 1212 ms.
Exported basis to /tmp/petrispot-output-15098391753261140385.kers
Total runtime 1434 ms.
[2026-05-31 15:28:50] [INFO ] Implicit Places using invariants in 13087 ms returned []
Implicit Place search using SMT only with invariants took 13089 ms to find 0 implicit places.
Running 55376 sub problems to find dead transitions.
[2026-05-31 15:28:50] [INFO ] Flow matrix only has 55373 transitions (discarded 4 similar events)
[2026-05-31 15:28:50] [INFO ] Invariant cache hit.
[2026-05-31 15:28:51] [INFO ] State equation strengthened by 26 read => feed constraints.
SMT process timed out in 321353ms, After SMT, problems are : Problem set: 0 solved, 55376 unsolved
Search for dead transitions found 0 dead transitions in 321623ms
Starting structural reductions in LTL mode, iteration 1 : 91/92 places, 55377/62289 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 335928 ms. Remains : 91/92 places, 55377/62289 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X((p0 U X(p0)))&&(X(p1)||G(p2))))'
Stuttering acceptance computed with spot in 303 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p1), (AND (NOT p2) (NOT p1)), (NOT p0), (NOT p0), true, (NOT p2)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-09
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 32 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-09 finished in 336539 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 14 out of 92 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 92 transition count 62285
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 88 transition count 62285
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 8 place count 88 transition count 62284
Deduced a syphon composed of 1 places in 26 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 87 transition count 62284
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 26 place count 71 transition count 41549
Ensure Unique test removed 12 places
Iterating global reduction 2 with 28 rules applied. Total rules applied 54 place count 59 transition count 41549
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 56 place count 57 transition count 18507
Iterating global reduction 2 with 2 rules applied. Total rules applied 58 place count 57 transition count 18507
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 62 place count 55 transition count 18505
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 64 place count 54 transition count 18522
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 2 with 10 rules applied. Total rules applied 74 place count 54 transition count 18512
Applied a total of 74 rules in 13981 ms. Remains 54 /92 variables (removed 38) and now considering 18512/62289 (removed 43777) transitions.
[2026-05-31 15:34:26] [INFO ] Flow matrix only has 18508 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5155936132307597954.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18388663316892209236.kers'
[2026-05-31 15:34:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5155936132307597954.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18388663316892209236.kers]
Normalized transition count is 18507 out of 18508 initially.
Culled 0 columns in 51 ms.
// Phase 1: matrix 18507 rows 54 cols 295188 entries
Finished phase 1 with 36 SingleSign rule and 0 generalized
[2026-05-31 15:34:26] [INFO ] Computed 18 invariants in 235 ms
Computed 18 P flows in 235 ms.
Exported basis to /tmp/petrispot-output-18388663316892209236.kers
Total runtime 276 ms.
[2026-05-31 15:34:31] [INFO ] Implicit Places using invariants in 5149 ms returned []
Implicit Place search using SMT only with invariants took 5151 ms to find 0 implicit places.
Running 18510 sub problems to find dead transitions.
[2026-05-31 15:34:31] [INFO ] Flow matrix only has 18508 transitions (discarded 4 similar events)
[2026-05-31 15:34:31] [INFO ] Invariant cache hit.
[2026-05-31 15:34:32] [INFO ] State equation strengthened by 31 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 53/18562 variables, and 0 constraints, problems are : Problem set: 0 solved, 18510 unsolved in 30541 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/54 constraints, ReadFeed: 0/31 constraints, PredecessorRefiner: 18510/38 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 18510 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 53/18562 variables, and 0 constraints, problems are : Problem set: 0 solved, 18510 unsolved in 30521 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/54 constraints, ReadFeed: 0/31 constraints, PredecessorRefiner: 18472/38 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 112319ms problems are : Problem set: 0 solved, 18510 unsolved
Search for dead transitions found 0 dead transitions in 112457ms
Starting structural reductions in SI_LTL mode, iteration 1 : 54/92 places, 18512/62289 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 131640 ms. Remains : 54/92 places, 18512/62289 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Stuttering acceptance computed with spot in 52 ms :[(NOT p0)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-10
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 12 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-10 finished in 131822 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 p1) U X((p0||X(F(!p2))))))'
Support contains 34 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 88 transition count 45649
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 88 transition count 45649
Applied a total of 8 rules in 1901 ms. Remains 88 /92 variables (removed 4) and now considering 45649/62289 (removed 16640) transitions.
[2026-05-31 15:36:26] [INFO ] Flow matrix only has 45645 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4734486447475853599.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13400190776270922145.kers'
[2026-05-31 15:36:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4734486447475853599.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13400190776270922145.kers]
Normalized transition count is 45644 out of 45645 initially.
Culled 0 columns in 217 ms.
// Phase 1: matrix 45644 rows 88 cols 1267937 entries
Finished phase 1 with 56 SingleSign rule and 2 generalized
[2026-05-31 15:36:27] [INFO ] Computed 30 invariants in 968 ms
Computed 30 P flows in 969 ms.
Exported basis to /tmp/petrispot-output-13400190776270922145.kers
Total runtime 1180 ms.
[2026-05-31 15:36:35] [INFO ] Implicit Places using invariants in 9534 ms returned []
Implicit Place search using SMT only with invariants took 9549 ms to find 0 implicit places.
Running 45648 sub problems to find dead transitions.
[2026-05-31 15:36:36] [INFO ] Flow matrix only has 45645 transitions (discarded 4 similar events)
[2026-05-31 15:36:36] [INFO ] Invariant cache hit.
[2026-05-31 15:36:36] [INFO ] State equation strengthened by 26 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 45648 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 87/45733 variables, and 12 constraints, problems are : Problem set: 0 solved, 45648 unsolved in 31209 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/88 constraints, ReadFeed: 0/26 constraints, PredecessorRefiner: 45648/38 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 45648 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 45648 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 87/45733 variables, and 12 constraints, problems are : Problem set: 0 solved, 45648 unsolved in 31103 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/88 constraints, ReadFeed: 0/26 constraints, PredecessorRefiner: 45610/38 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 254579ms problems are : Problem set: 0 solved, 45648 unsolved
Search for dead transitions found 0 dead transitions in 254794ms
Starting structural reductions in LTL mode, iteration 1 : 88/92 places, 45649/62289 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 266334 ms. Remains : 88/92 places, 45649/62289 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 p1) U X((X(F(!p2))||p0))))'
Stuttering acceptance computed with spot in 277 ms :[(AND (NOT p0) p2), (AND (NOT p1) (NOT p0) p2), (AND (NOT p0) p2), (AND (NOT p1) p2), (AND (NOT p1) p2 (NOT p0)), (AND (NOT p0) p2), (AND p0 p2)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-11
Product exploration timeout after 1860 steps with 620 reset in 10110 ms.
Product exploration timeout after 1960 steps with 653 reset in 10011 ms.
Computed a total of 1 stabilizing places and 1 stable transitions
Computed a total of 1 stabilizing places and 1 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 11 factoid took 34 ms. Proved property starting from automaton with 7 states, 11 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 1344 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-11 TRUE TECHNIQUES KNOWLEDGE
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-11 finished in 288312 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(p1))&&p0)))'
Support contains 23 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 76 transition count 41554
Ensure Unique test removed 11 places
Iterating global reduction 0 with 27 rules applied. Total rules applied 43 place count 65 transition count 41554
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 44 place count 64 transition count 27729
Iterating global reduction 0 with 1 rules applied. Total rules applied 45 place count 64 transition count 27729
Applied a total of 45 rules in 8852 ms. Remains 64 /92 variables (removed 28) and now considering 27729/62289 (removed 34560) transitions.
[2026-05-31 15:41:21] [INFO ] Flow matrix only has 27725 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8756124574578569952.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11260737675739924628.kers'
[2026-05-31 15:41:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8756124574578569952.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11260737675739924628.kers]
Normalized transition count is 27724 out of 27725 initially.
Culled 0 columns in 140 ms.
// Phase 1: matrix 27724 rows 64 cols 470254 entries
Finished phase 1 with 44 SingleSign rule and 1 generalized
[2026-05-31 15:41:22] [INFO ] Computed 19 invariants in 504 ms
Computed 19 P flows in 505 ms.
Exported basis to /tmp/petrispot-output-11260737675739924628.kers
Total runtime 656 ms.
[2026-05-31 15:41:25] [INFO ] Implicit Places using invariants in 4104 ms returned [37]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 4160 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 63/92 places, 27729/62289 transitions.
Applied a total of 0 rules in 129 ms. Remains 63 /63 variables (removed 0) and now considering 27729/27729 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 13142 ms. Remains : 63/92 places, 27729/62289 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(p1))&&p0)))'
Stuttering acceptance computed with spot in 173 ms :[true, (OR (NOT p1) (NOT p0)), (OR (NOT p0) (NOT p1)), (NOT p1)]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-12
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 11 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-12 finished in 13460 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||G(F(p1))))&&X(X(X(p1)))))'
Support contains 23 out of 92 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 92/92 places, 62289/62289 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 76 transition count 41554
Ensure Unique test removed 11 places
Iterating global reduction 0 with 27 rules applied. Total rules applied 43 place count 65 transition count 41554
Applied a total of 43 rules in 7231 ms. Remains 65 /92 variables (removed 27) and now considering 41554/62289 (removed 20735) transitions.
[2026-05-31 15:41:33] [INFO ] Flow matrix only has 41550 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15692215179827199058.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1301879126037130825.kers'
[2026-05-31 15:41:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15692215179827199058.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1301879126037130825.kers]
Normalized transition count is 41549 out of 41550 initially.
Culled 0 columns in 205 ms.
// Phase 1: matrix 41549 rows 65 cols 705264 entries
Finished phase 1 with 45 SingleSign rule and 1 generalized
[2026-05-31 15:41:34] [INFO ] Computed 19 invariants in 809 ms
Computed 19 P flows in 810 ms.
Exported basis to /tmp/petrispot-output-1301879126037130825.kers
Total runtime 942 ms.
[2026-05-31 15:41:41] [INFO ] Implicit Places using invariants in 7779 ms returned [38]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 7825 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 64/92 places, 41554/62289 transitions.
Applied a total of 0 rules in 126 ms. Remains 64 /64 variables (removed 0) and now considering 41554/41554 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 15184 ms. Remains : 64/92 places, 41554/62289 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||G(F(p1))))&&X(X(X(p1)))))'
Stuttering acceptance computed with spot in 257 ms :[(NOT p1), (AND (NOT p0) (NOT p1)), (NOT p1), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1), true]
Running random walk in product with property : ErlangenMainframeV1-PT-aP12C04-LTLFireability-15
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 25 ms.
FORMULA ErlangenMainframeV1-PT-aP12C04-LTLFireability-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV1-PT-aP12C04-LTLFireability-15 finished in 15691 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Spot run failed in 158 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-31 15:41:57] [INFO ] Flatten gal took : 13940 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin16996109074700672187
[2026-05-31 15:42:06] [INFO ] Too many transitions (62289) to apply POR reductions. Disabling POR matrices.
[2026-05-31 15:42:09] [INFO ] Built C files in 2838ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16996109074700672187
Running compilation step : cd /tmp/ltsmin16996109074700672187;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-31 15:42:16] [INFO ] Applying decomposition
[2026-05-31 15:42:30] [INFO ] Flatten gal took : 13730 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/graph7479456709655404506.txt' '-o' '/tmp/graph7479456709655404506.bin' '-w' '/tmp/graph7479456709655404506.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7479456709655404506.bin' '-l' '-1' '-v' '-w' '/tmp/graph7479456709655404506.weights' '-q' '0' '-e' '0.001'
[2026-05-31 15:43:04] [INFO ] Decomposing Gal with order
[2026-05-31 15:43:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 15:43:33] [INFO ] Removed a total of 998799 redundant transitions.
[2026-05-31 15:43:36] [INFO ] Flatten gal took : 23119 ms
[2026-05-31 15:44:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 39340 ms.
[2026-05-31 15:44:19] [INFO ] Time to serialize gal into /tmp/LTLFireability16186805361745724041.gal : 573 ms
[2026-05-31 15:44:19] [INFO ] Time to serialize properties into /tmp/LTLFireability14492575542363499583.ltl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLFireability16186805361745724041.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability14492575542363499583.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...278
Read 1 LTL properties
Checking formula 0 : !((F(G("(((((i2.u0.p1==0)||(i2.u2.p6==0))||((i1.u5.p15==0)||(i1.u7.p20==0)))||(((i1.u30.p25==0)||(i2.u9.p26==0))||((i2.u11.p31==0)||(i...286
Formula 0 simplified : GF!"(((((i2.u0.p1==0)||(i2.u2.p6==0))||((i1.u5.p15==0)||(i1.u7.p20==0)))||(((i1.u30.p25==0)||(i2.u9.p26==0))||((i2.u11.p31==0)||(i1....280
Compilation finished in 479367 ms.
Running link step : cd /tmp/ltsmin16996109074700672187;'gcc' '-shared' '-o' 'gal.so' 'model.o'
/usr/bin/ld: cannot find model.o: No such file or directory
collect2: error: ld returned 1 exit status
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Could not link executable .cd /tmp/ltsmin16996109074700672187;'gcc' '-shared' '-o' 'gal.so' 'model.o'
java.lang.RuntimeException: Could not link executable .cd /tmp/ltsmin16996109074700672187;'gcc' '-shared' '-o' 'gal.so' 'model.o'
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner.linkPINS(LTSminRunner.java:348)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:92)
at java.base/java.lang.Thread.run(Thread.java:1583)
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="ErlangenMainframeV1-PT-aP12C04"
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 ErlangenMainframeV1-PT-aP12C04, 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 r338-smll-178021499000028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV1-PT-aP12C04.tgz
mv ErlangenMainframeV1-PT-aP12C04 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 ;