About the Execution of ITS-Tools for ErlangenMainframeV2-PT-aP10C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7129.283 | 3600000.00 | 4373791.00 | 9920.20 | FFTFFFFFFFFFF??F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r338-smll-178021499100172.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 ErlangenMainframeV2-PT-aP10C08, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r338-smll-178021499100172
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 100M
-rw-r--r-- 1 mcc users 5.9K May 27 09:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K May 27 09:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K May 27 08:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 27 08:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 27 10:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 27 10:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 27 10:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 10:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 12K May 27 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K May 27 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 27 09:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K May 27 09:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:38 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 99M 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 ErlangenMainframeV2-PT-aP10C08-LTLFireability-00
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-01
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-02
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-03
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-04
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-05
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-06
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-07
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-08
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-09
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-10
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-11
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-12
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-13
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-14
FORMULA_NAME ErlangenMainframeV2-PT-aP10C08-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1780337408372
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ErlangenMainframeV2-PT-aP10C08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-06-01 18:10:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-06-01 18:10:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 18:10:16] [INFO ] Load time of PNML (sax parser for PT used): 5265 ms
[2026-06-01 18:10:16] [INFO ] Transformed 102 places.
[2026-06-01 18:10:16] [INFO ] Transformed 78842 transitions.
[2026-06-01 18:10:16] [INFO ] Found NUPN structural information;
[2026-06-01 18:10:16] [INFO ] Parsed PT model containing 102 places and 78842 transitions and 1994996 arcs in 6089 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 46 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 5 formulas.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 65 out of 102 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 102/102 places, 78841/78841 transitions.
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 9 place count 93 transition count 78816
Iterating global reduction 0 with 9 rules applied. Total rules applied 18 place count 93 transition count 78816
Applied a total of 18 rules in 1419 ms. Remains 93 /102 variables (removed 9) and now considering 78816/78841 (removed 25) transitions.
[2026-06-01 18:10:19] [INFO ] Flow matrix only has 78812 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-15736432622394036519.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10139729876078050387.kers'
[2026-06-01 18:10:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15736432622394036519.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10139729876078050387.kers]
Normalized transition count is 78811 out of 78812 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 358 ms.
// Phase 1: matrix 78811 rows 92 cols 1916045 entries
Finished phase 1 with 62 SingleSign rule and 3 generalized
[2026-06-01 18:10:22] [INFO ] Computed 28 invariants in 1886 ms
Computed 28 P flows in 1888 ms.
Exported basis to /tmp/petrispot-output-10139729876078050387.kers
Total runtime 2292 ms.
[2026-06-01 18:10:22] [INFO ] Implicit Places using invariants in 3560 ms returned []
Implicit Place search using SMT only with invariants took 3609 ms to find 0 implicit places.
Running 78815 sub problems to find dead transitions.
[2026-06-01 18:10:24] [INFO ] Flow matrix only has 78812 transitions (discarded 4 similar events)
[2026-06-01 18:10:24] [INFO ] Invariant cache hit.
[2026-06-01 18:10:26] [INFO ] State equation strengthened by 30 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SMT process timed out in 528845ms, After SMT, problems are : Problem set: 0 solved, 78815 unsolved
Search for dead transitions found 0 dead transitions in 529510ms
Starting structural reductions in LTL mode, iteration 1 : 93/102 places, 78816/78841 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 535069 ms. Remains : 93/102 places, 78816/78841 transitions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Applied a total of 0 rules in 386 ms. Remains 93 /93 variables (removed 0) and now considering 78816/78816 (removed 0) transitions.
[2026-06-01 18:19:13] [INFO ] Flow matrix only has 78812 transitions (discarded 4 similar events)
[2026-06-01 18:19:13] [INFO ] Invariant cache hit.
[2026-06-01 18:19:13] [INFO ] Implicit Places using invariants in 156 ms returned []
Implicit Place search using SMT only with invariants took 157 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 556 ms. Remains : 93/93 places, 78816/78816 transitions.
Support contains 65 out of 93 places after structural reductions.
[2026-06-01 18:19:29] [INFO ] Flatten gal took : 14573 ms
[2026-06-01 18:19:44] [INFO ] Flatten gal took : 14511 ms
[2026-06-01 18:20:03] [INFO ] Input system was already deterministic with 78816 transitions.
RANDOM walk for 40000 steps (8 resets) in 53036 ms. (0 steps per ms) remains 27/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 629 ms. (6 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 619 ms. (6 steps per ms) remains 26/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 728 ms. (5 steps per ms) remains 25/26 properties
BEST_FIRST walk for 4003 steps (8 resets) in 727 ms. (5 steps per ms) remains 24/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 655 ms. (6 steps per ms) remains 22/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 767 ms. (5 steps per ms) remains 21/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 737 ms. (5 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 20/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 601 ms. (6 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1247 ms. (3 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 998 ms. (4 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1015 ms. (3 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 19/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1409 ms. (2 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4003 steps (8 resets) in 800 ms. (4 steps per ms) remains 18/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 633 ms. (6 steps per ms) remains 17/18 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (8 resets) in 770 ms. (5 steps per ms) remains 16/17 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 16/16 properties
[2026-06-01 18:20:26] [INFO ] Flow matrix only has 78812 transitions (discarded 4 similar events)
[2026-06-01 18:20:26] [INFO ] Invariant cache hit.
[2026-06-01 18:20:28] [INFO ] State equation strengthened by 30 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/59 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/59 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (OVERLAPS) 6/65 variables, 13/14 constraints. Problems are: Problem set: 0 solved, 16 unsolved
SMT process timed out in 32298ms, After SMT, problems are : Problem set: 0 solved, 16 unsolved
Fused 16 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 59 out of 93 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 93 transition count 78809
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 91 transition count 78809
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 42 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 13 place count 89 transition count 78807
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 27 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 15 place count 88 transition count 78824
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 16 place count 88 transition count 78823
Free-agglomeration rule applied 6 times.
Iterating global reduction 3 with 6 rules applied. Total rules applied 22 place count 88 transition count 78817
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 32 place count 82 transition count 78813
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 34 place count 80 transition count 78798
Iterating global reduction 4 with 2 rules applied. Total rules applied 36 place count 80 transition count 78798
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 38 place count 80 transition count 78796
Free-agglomeration rule applied 2 times with reduction of 3 identical transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 40 place count 80 transition count 78791
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 49 place count 77 transition count 78785
Applied a total of 49 rules in 15279 ms. Remains 77 /93 variables (removed 16) and now considering 78785/78816 (removed 31) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 15294 ms. Remains : 77/93 places, 78785/78816 transitions.
RANDOM walk for 40000 steps (8 resets) in 73446 ms. (0 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (8 resets) in 824 ms. (4 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 15/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 14/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 13/14 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1086 ms. (3 steps per ms) remains 13/13 properties
BEST_FIRST walk for 4004 steps (8 resets) in 764 ms. (5 steps per ms) remains 13/13 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 12/13 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 11/12 properties
BEST_FIRST walk for 4002 steps (8 resets) in 781 ms. (5 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4003 steps (8 resets) in 810 ms. (4 steps per ms) remains 11/11 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 10/11 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4003 steps (8 resets) in 786 ms. (5 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4004 steps (8 resets) in 758 ms. (5 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4004 steps (8 resets) in 771 ms. (5 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4004 steps (8 resets) in 764 ms. (5 steps per ms) remains 10/10 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11518718120472182115.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16880256022100339844.kers'
[2026-06-01 18:21:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11518718120472182115.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16880256022100339844.kers]
Culling duplicate invariants (modulo rational): removing 4 columns.
Culled 4 columns in 451 ms.
// Phase 1: matrix 78785 rows 73 cols 1915951 entries
Finished phase 1 with 47 SingleSign rule and 3 generalized
[2026-06-01 18:21:39] [INFO ] Computed 27 invariants in 2190 ms
Computed 27 P flows in 2190 ms.
Exported basis to /tmp/petrispot-output-16880256022100339844.kers
Total runtime 2511 ms.
[2026-06-01 18:21:41] [INFO ] State equation strengthened by 22 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/30 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 3/33 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/33 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 8/41 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/41 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 36/77 variables, 11/27 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/77 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 10 unsolved
SMT process timed out in 49147ms, After SMT, problems are : Problem set: 0 solved, 10 unsolved
Fused 10 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 30 out of 77 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 77/77 places, 78785/78785 transitions.
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 0 with 2 rules applied. Total rules applied 2 place count 77 transition count 78783
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 75 transition count 78783
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 21 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 14 place count 70 transition count 78778
Applied a total of 14 rules in 5459 ms. Remains 70 /77 variables (removed 7) and now considering 78778/78785 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5459 ms. Remains : 70/77 places, 78778/78785 transitions.
Computed a total of 1 stabilizing places and 1 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(((F(p0)||G(p1))&&(p2||X(X(G(p3))))))))'
Support contains 35 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 9 place count 84 transition count 53595
Iterating global reduction 0 with 9 rules applied. Total rules applied 18 place count 84 transition count 53595
Applied a total of 18 rules in 4455 ms. Remains 84 /93 variables (removed 9) and now considering 53595/78816 (removed 25221) transitions.
[2026-06-01 18:22:38] [INFO ] Flow matrix only has 53591 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-16410830263306419865.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4263258113756474176.kers'
[2026-06-01 18:22:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16410830263306419865.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4263258113756474176.kers]
Normalized transition count is 53590 out of 53591 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 386 ms.
// Phase 1: matrix 53590 rows 83 cols 1335983 entries
Finished phase 1 with 54 SingleSign rule and 2 generalized
[2026-06-01 18:22:39] [INFO ] Computed 28 invariants in 1280 ms
Computed 28 P flows in 1281 ms.
Exported basis to /tmp/petrispot-output-4263258113756474176.kers
Total runtime 1490 ms.
[2026-06-01 18:22:48] [INFO ] Implicit Places using invariants in 10164 ms returned []
Implicit Place search using SMT only with invariants took 10166 ms to find 0 implicit places.
Running 53594 sub problems to find dead transitions.
[2026-06-01 18:22:48] [INFO ] Flow matrix only has 53591 transitions (discarded 4 similar events)
[2026-06-01 18:22:48] [INFO ] Invariant cache hit.
[2026-06-01 18:22:49] [INFO ] State equation strengthened by 30 read => feed constraints.
SMT process timed out in 330922ms, After SMT, problems are : Problem set: 0 solved, 53594 unsolved
Search for dead transitions found 0 dead transitions in 331374ms
Starting structural reductions in LTL mode, iteration 1 : 84/93 places, 53595/78816 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 346142 ms. Remains : 84/93 places, 53595/78816 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(((F(p0)||G(p1))&&(X(X(G(p2)))||p3)))))'
Stuttering acceptance computed with spot in 639 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p2) (NOT p3))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p2) (NOT p3))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p2) (NOT p3))), (NOT p0), (AND (NOT p0) (NOT p1)), (NOT p2), (NOT p2), true]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-01
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 110 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-01 finished in 347379 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(p0)) U !(!G(p0) U (!X(p1)||!p2))))'
Support contains 25 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 19 place count 74 transition count 52572
Ensure Unique test removed 10 places
Iterating global reduction 0 with 29 rules applied. Total rules applied 48 place count 64 transition count 52572
Applied a total of 48 rules in 8266 ms. Remains 64 /93 variables (removed 29) and now considering 52572/78816 (removed 26244) transitions.
[2026-06-01 18:28:29] [INFO ] Flow matrix only has 52568 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-4020267460457559720.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3475444127837445424.kers'
[2026-06-01 18:28:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4020267460457559720.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3475444127837445424.kers]
Normalized transition count is 52567 out of 52568 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 216 ms.
// Phase 1: matrix 52567 rows 63 cols 787564 entries
Finished phase 1 with 45 SingleSign rule and 1 generalized
[2026-06-01 18:28:30] [INFO ] Computed 18 invariants in 917 ms
Computed 18 P flows in 918 ms.
Exported basis to /tmp/petrispot-output-3475444127837445424.kers
Total runtime 1046 ms.
[2026-06-01 18:28:33] [INFO ] Implicit Places using invariants in 4602 ms returned [37]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 4686 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 63/93 places, 52572/78816 transitions.
Applied a total of 0 rules in 176 ms. Remains 63 /63 variables (removed 0) and now considering 52572/52572 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 13130 ms. Remains : 63/93 places, 52572/78816 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(p0)) U !(!G(p0) U (!X(p1)||!p2))))'
Stuttering acceptance computed with spot in 714 ms :[(OR (NOT p2) (NOT p1)), (NOT p0), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p1), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (NOT p0), true, (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (AND (NOT p0) (NOT p1)), (NOT p1), (OR (AND (NOT p1) p2) (AND p1 (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (AND (NOT p0) p2 (NOT p1))]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-03
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 27 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-03 finished in 14097 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G((X(!F(!p0)) U X((F(p1)||X(p2))))) U p2))'
Support contains 26 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 85 transition count 53596
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 85 transition count 53596
Applied a total of 16 rules in 4925 ms. Remains 85 /93 variables (removed 8) and now considering 53596/78816 (removed 25220) transitions.
[2026-06-01 18:28:39] [INFO ] Flow matrix only has 53592 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-10519233713064516296.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8351711084324402561.kers'
[2026-06-01 18:28:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10519233713064516296.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8351711084324402561.kers]
Normalized transition count is 53591 out of 53592 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 239 ms.
// Phase 1: matrix 53591 rows 84 cols 1335985 entries
Finished phase 1 with 55 SingleSign rule and 2 generalized
[2026-06-01 18:28:41] [INFO ] Computed 28 invariants in 1418 ms
Computed 28 P flows in 1419 ms.
Exported basis to /tmp/petrispot-output-8351711084324402561.kers
Total runtime 1611 ms.
[2026-06-01 18:28:54] [INFO ] Implicit Places using invariants in 15159 ms returned []
Implicit Place search using SMT only with invariants took 15161 ms to find 0 implicit places.
Running 53595 sub problems to find dead transitions.
[2026-06-01 18:28:55] [INFO ] Flow matrix only has 53592 transitions (discarded 4 similar events)
[2026-06-01 18:28:55] [INFO ] Invariant cache hit.
[2026-06-01 18:28:55] [INFO ] State equation strengthened by 30 read => feed constraints.
SMT process timed out in 311772ms, After SMT, problems are : Problem set: 0 solved, 53595 unsolved
Search for dead transitions found 0 dead transitions in 311995ms
Starting structural reductions in LTL mode, iteration 1 : 85/93 places, 53596/78816 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 332278 ms. Remains : 85/93 places, 53596/78816 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G((X(!F(!p0)) U X((F(p1)||X(p2))))) U p2))'
Stuttering acceptance computed with spot in 412 ms :[(NOT p2), (NOT p2), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p2)), (NOT p1), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-04
Stuttering criterion allowed to conclude after 1 steps with 0 reset in 35 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-04 finished in 333023 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((p0&&X(X((G(p1)||X(p0))))))))'
Support contains 15 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 9 place count 84 transition count 53595
Iterating global reduction 0 with 9 rules applied. Total rules applied 18 place count 84 transition count 53595
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 19 place count 83 transition count 36098
Iterating global reduction 0 with 1 rules applied. Total rules applied 20 place count 83 transition count 36098
Applied a total of 20 rules in 7439 ms. Remains 83 /93 variables (removed 10) and now considering 36098/78816 (removed 42718) transitions.
[2026-06-01 18:34:15] [INFO ] Flow matrix only has 36094 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-7088896730719271937.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-573179305068130131.kers'
[2026-06-01 18:34:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7088896730719271937.kers, --Pflows, --basisKERS=/tmp/petrispot-output-573179305068130131.kers]
Normalized transition count is 36093 out of 36094 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 274 ms.
// Phase 1: matrix 36093 rows 82 cols 898581 entries
Finished phase 1 with 53 SingleSign rule and 2 generalized
[2026-06-01 18:34:16] [INFO ] Computed 28 invariants in 1076 ms
Computed 28 P flows in 1076 ms.
Exported basis to /tmp/petrispot-output-573179305068130131.kers
Total runtime 1290 ms.
[2026-06-01 18:34:33] [INFO ] Implicit Places using invariants in 17797 ms returned []
Implicit Place search using SMT only with invariants took 17798 ms to find 0 implicit places.
Running 36097 sub problems to find dead transitions.
[2026-06-01 18:34:33] [INFO ] Flow matrix only has 36094 transitions (discarded 4 similar events)
[2026-06-01 18:34:33] [INFO ] Invariant cache hit.
[2026-06-01 18:34:33] [INFO ] State equation strengthened by 30 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/82 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 36097 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 82/36177 variables, and 11 constraints, problems are : Problem set: 0 solved, 36097 unsolved in 30797 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/83 constraints, ReadFeed: 0/30 constraints, PredecessorRefiner: 36097/36 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 36097 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/82 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 36097 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 82/36177 variables, and 11 constraints, problems are : Problem set: 0 solved, 36097 unsolved in 30635 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/83 constraints, ReadFeed: 0/30 constraints, PredecessorRefiner: 36061/36 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 198753ms problems are : Problem set: 0 solved, 36097 unsolved
Search for dead transitions found 0 dead transitions in 198905ms
Starting structural reductions in LTL mode, iteration 1 : 83/93 places, 36098/78816 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 224210 ms. Remains : 83/93 places, 36098/78816 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((X(X((G(p0)||X(p1))))&&p1))))'
Stuttering acceptance computed with spot in 302 ms :[true, (NOT p1), (NOT p1), (AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-05
Stuttering criterion allowed to conclude after 34 steps with 5 reset in 286 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-05 finished in 224979 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||G(p1))))'
Support contains 22 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 19 place count 74 transition count 52572
Ensure Unique test removed 10 places
Iterating global reduction 0 with 29 rules applied. Total rules applied 48 place count 64 transition count 52572
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 50 place count 62 transition count 23410
Iterating global reduction 0 with 2 rules applied. Total rules applied 52 place count 62 transition count 23410
Applied a total of 52 rules in 10757 ms. Remains 62 /93 variables (removed 31) and now considering 23410/78816 (removed 55406) transitions.
[2026-06-01 18:38:03] [INFO ] Flow matrix only has 23406 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-7264658376431017010.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3357866698091151789.kers'
[2026-06-01 18:38:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7264658376431017010.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3357866698091151789.kers]
Normalized transition count is 23405 out of 23406 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 63 ms.
// Phase 1: matrix 23405 rows 61 cols 350160 entries
Finished phase 1 with 43 SingleSign rule and 1 generalized
[2026-06-01 18:38:04] [INFO ] Computed 18 invariants in 301 ms
Computed 18 P flows in 302 ms.
Exported basis to /tmp/petrispot-output-3357866698091151789.kers
Total runtime 368 ms.
[2026-06-01 18:38:04] [INFO ] Implicit Places using invariants in 1112 ms returned [35]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1177 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 61/93 places, 23410/78816 transitions.
Applied a total of 0 rules in 130 ms. Remains 61 /61 variables (removed 0) and now considering 23410/23410 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 12066 ms. Remains : 61/93 places, 23410/78816 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)||p1)))'
Stuttering acceptance computed with spot in 174 ms :[true, (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-06
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 16 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-06 finished in 12471 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 (F(p1)&&X(p2)))&&X(p3)))'
Support contains 36 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 9 place count 84 transition count 53595
Iterating global reduction 0 with 9 rules applied. Total rules applied 18 place count 84 transition count 53595
Applied a total of 18 rules in 4637 ms. Remains 84 /93 variables (removed 9) and now considering 53595/78816 (removed 25221) transitions.
[2026-06-01 18:38:10] [INFO ] Flow matrix only has 53591 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-7281751276950924495.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12654684423024474140.kers'
[2026-06-01 18:38:10] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7281751276950924495.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12654684423024474140.kers]
Normalized transition count is 53590 out of 53591 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 240 ms.
// Phase 1: matrix 53590 rows 83 cols 1335983 entries
Finished phase 1 with 54 SingleSign rule and 2 generalized
[2026-06-01 18:38:11] [INFO ] Computed 28 invariants in 1304 ms
Computed 28 P flows in 1308 ms.
Exported basis to /tmp/petrispot-output-12654684423024474140.kers
Total runtime 1520 ms.
[2026-06-01 18:38:17] [INFO ] Implicit Places using invariants in 7034 ms returned []
Implicit Place search using SMT only with invariants took 7036 ms to find 0 implicit places.
Running 53594 sub problems to find dead transitions.
[2026-06-01 18:38:17] [INFO ] Flow matrix only has 53591 transitions (discarded 4 similar events)
[2026-06-01 18:38:17] [INFO ] Invariant cache hit.
[2026-06-01 18:38:18] [INFO ] State equation strengthened by 30 read => feed constraints.
SMT process timed out in 330237ms, After SMT, problems are : Problem set: 0 solved, 53594 unsolved
Search for dead transitions found 0 dead transitions in 330485ms
Starting structural reductions in LTL mode, iteration 1 : 84/93 places, 53595/78816 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 342270 ms. Remains : 84/93 places, 53595/78816 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 (F(p1)&&X(p2)))&&X(p3)))'
Stuttering acceptance computed with spot in 247 ms :[(OR (NOT p3) (NOT p1) (NOT p2)), (NOT p3), (NOT p1), (AND (NOT p0) (NOT p2)), (NOT p2), true, (NOT p0)]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-08
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 31 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-08 finished in 342788 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 12 out of 93 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 92 transition count 78811
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 78811
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 16 place count 80 transition count 53591
Iterating global reduction 2 with 8 rules applied. Total rules applied 24 place count 80 transition count 53591
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 26 place count 78 transition count 24429
Iterating global reduction 2 with 2 rules applied. Total rules applied 28 place count 78 transition count 24429
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 78 transition count 24427
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 32 place count 76 transition count 24427
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 14 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 42 place count 71 transition count 24422
Applied a total of 42 rules in 13081 ms. Remains 71 /93 variables (removed 22) and now considering 24422/78816 (removed 54394) transitions.
[2026-06-01 18:44:01] [INFO ] Flow matrix only has 24418 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-7799593277393756166.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7929373597863443475.kers'
[2026-06-01 18:44:01] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7799593277393756166.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7929373597863443475.kers]
Normalized transition count is 24417 out of 24418 initially.
Culling duplicate invariants (modulo rational): removing 4 columns.
Culled 4 columns in 184 ms.
// Phase 1: matrix 24417 rows 67 cols 582570 entries
Finished phase 1 with 41 SingleSign rule and 2 generalized
[2026-06-01 18:44:02] [INFO ] Computed 28 invariants in 620 ms
Computed 28 P flows in 621 ms.
Exported basis to /tmp/petrispot-output-7929373597863443475.kers
Total runtime 782 ms.
[2026-06-01 18:44:12] [INFO ] Implicit Places using invariants in 11748 ms returned []
Implicit Place search using SMT only with invariants took 11757 ms to find 0 implicit places.
Running 24410 sub problems to find dead transitions.
[2026-06-01 18:44:13] [INFO ] Flow matrix only has 24418 transitions (discarded 4 similar events)
[2026-06-01 18:44:13] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 24410 unsolved
SMT process timed out in 99909ms, After SMT, problems are : Problem set: 0 solved, 24410 unsolved
Search for dead transitions found 0 dead transitions in 100073ms
Starting structural reductions in SI_LTL mode, iteration 1 : 71/93 places, 24422/78816 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 125001 ms. Remains : 71/93 places, 24422/78816 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 54 ms :[(NOT p0)]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-09
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 2 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-09 finished in 125213 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(((X(F(p1)) U (p2 U p1))&&p0)) U (p3 U p4)))'
Support contains 39 out of 93 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 92 transition count 78815
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 92 transition count 78815
Applied a total of 2 rules in 1119 ms. Remains 92 /93 variables (removed 1) and now considering 78815/78816 (removed 1) transitions.
[2026-06-01 18:45:54] [INFO ] Flow matrix only has 78811 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-453391475499770383.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5998803150905740423.kers'
[2026-06-01 18:45:54] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-453391475499770383.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5998803150905740423.kers]
Normalized transition count is 78810 out of 78811 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 344 ms.
// Phase 1: matrix 78810 rows 91 cols 1916043 entries
Finished phase 1 with 61 SingleSign rule and 3 generalized
[2026-06-01 18:45:57] [INFO ] Computed 28 invariants in 1785 ms
Computed 28 P flows in 1785 ms.
Exported basis to /tmp/petrispot-output-5998803150905740423.kers
Total runtime 2307 ms.
[2026-06-01 18:46:10] [INFO ] Implicit Places using invariants in 15625 ms returned []
Implicit Place search using SMT only with invariants took 15631 ms to find 0 implicit places.
Running 78814 sub problems to find dead transitions.
[2026-06-01 18:46:10] [INFO ] Flow matrix only has 78811 transitions (discarded 4 similar events)
[2026-06-01 18:46:10] [INFO ] Invariant cache hit.
[2026-06-01 18:46:11] [INFO ] State equation strengthened by 30 read => feed constraints.
SMT process timed out in 567011ms, After SMT, problems are : Problem set: 0 solved, 78814 unsolved
Search for dead transitions found 0 dead transitions in 567609ms
Starting structural reductions in LTL mode, iteration 1 : 92/93 places, 78815/78816 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 584532 ms. Remains : 92/93 places, 78815/78816 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(((X(F(p1)) U (p2 U p1))&&p0)) U (p3 U p4)))'
Stuttering acceptance computed with spot in 255 ms :[(NOT p4), (OR (NOT p0) (NOT p1)), (OR (AND (NOT p0) (NOT p3) (NOT p4)) (AND (NOT p1) (NOT p3) (NOT p4))), true, (NOT p1), (AND p0 (NOT p4)), (AND (NOT p0) (NOT p1) (NOT p4))]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-10
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 23 ms.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-10 finished in 585143 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||X(X(X(X(p1))))))))'
Support contains 21 out of 93 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 19 place count 74 transition count 52572
Ensure Unique test removed 10 places
Iterating global reduction 0 with 29 rules applied. Total rules applied 48 place count 64 transition count 52572
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 49 place count 63 transition count 35075
Iterating global reduction 0 with 1 rules applied. Total rules applied 50 place count 63 transition count 35075
Applied a total of 50 rules in 9905 ms. Remains 63 /93 variables (removed 30) and now considering 35075/78816 (removed 43741) transitions.
[2026-06-01 18:55:48] [INFO ] Flow matrix only has 35071 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-9697710308553581557.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3776410914913085779.kers'
[2026-06-01 18:55:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9697710308553581557.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3776410914913085779.kers]
Normalized transition count is 35070 out of 35071 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 94 ms.
// Phase 1: matrix 35070 rows 62 cols 525122 entries
Finished phase 1 with 44 SingleSign rule and 1 generalized
[2026-06-01 18:55:48] [INFO ] Computed 18 invariants in 410 ms
Computed 18 P flows in 411 ms.
Exported basis to /tmp/petrispot-output-3776410914913085779.kers
Total runtime 486 ms.
[2026-06-01 18:55:51] [INFO ] Implicit Places using invariants in 2997 ms returned [36]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3053 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 62/93 places, 35075/78816 transitions.
Applied a total of 0 rules in 121 ms. Remains 62 /62 variables (removed 0) and now considering 35075/35075 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 13081 ms. Remains : 62/93 places, 35075/78816 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((X(X(X(X(p0))))||p1))))'
Stuttering acceptance computed with spot in 175 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-11
Product exploration timeout after 5080 steps with 847 reset in 10012 ms.
Product exploration timeout after 5160 steps with 866 reset in 10021 ms.
Computed a total of 1 stabilizing places and 1 stable transitions
Computed a total of 1 stabilizing places and 1 stable transitions
Knowledge based reduction with 1 factoid took 120 ms. Reduced automaton from 5 states, 6 edges and 2 AP (stutter sensitive) to 5 states, 6 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 29952 ms. (1 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3005 ms. (13 steps per ms) remains 1/2 properties
BEST_FIRST walk for 7316 steps (1 resets) in 431 ms. (16 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 91 ms. Reduced automaton from 5 states, 6 edges and 2 AP (stutter sensitive) to 5 states, 6 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 180 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 10434 ms.
Stuttering acceptance computed with spot in 188 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Support contains 21 out of 62 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 62/62 places, 35075/35075 transitions.
Applied a total of 0 rules in 156 ms. Remains 62 /62 variables (removed 0) and now considering 35075/35075 (removed 0) transitions.
[2026-06-01 18:56:22] [INFO ] Flow matrix only has 35071 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-10374125804358095849.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12062050403293383711.kers'
[2026-06-01 18:56:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10374125804358095849.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12062050403293383711.kers]
Normalized transition count is 35070 out of 35071 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 152 ms.
// Phase 1: matrix 35070 rows 61 cols 490129 entries
Finished phase 1 with 45 SingleSign rule and 0 generalized
[2026-06-01 18:56:23] [INFO ] Computed 17 invariants in 566 ms
Computed 17 P flows in 570 ms.
Exported basis to /tmp/petrispot-output-12062050403293383711.kers
Total runtime 688 ms.
[2026-06-01 18:56:26] [INFO ] Implicit Places using invariants in 3608 ms returned []
Implicit Place search using SMT only with invariants took 3612 ms to find 0 implicit places.
Running 35074 sub problems to find dead transitions.
[2026-06-01 18:56:26] [INFO ] Flow matrix only has 35071 transitions (discarded 4 similar events)
[2026-06-01 18:56:26] [INFO ] Invariant cache hit.
[2026-06-01 18:56:26] [INFO ] State equation strengthened by 30 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/61 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 35074 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 61/35133 variables, and 1 constraints, problems are : Problem set: 0 solved, 35074 unsolved in 30753 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/62 constraints, ReadFeed: 0/30 constraints, PredecessorRefiner: 35074/37 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 35074 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/61 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 35074 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 61/35133 variables, and 1 constraints, problems are : Problem set: 0 solved, 35074 unsolved in 30775 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/62 constraints, ReadFeed: 0/30 constraints, PredecessorRefiner: 35037/37 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 197729ms problems are : Problem set: 0 solved, 35074 unsolved
Search for dead transitions found 0 dead transitions in 197874ms
Finished structural reductions in LTL mode , in 1 iterations and 201706 ms. Remains : 62/62 places, 35075/35075 transitions.
Computed a total of 1 stabilizing places and 1 stable transitions
Computed a total of 1 stabilizing places and 1 stable transitions
Knowledge based reduction with 1 factoid took 70 ms. Reduced automaton from 5 states, 6 edges and 2 AP (stutter sensitive) to 5 states, 6 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 29270 ms. (1 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 3275 ms. (12 steps per ms) remains 1/2 properties
BEST_FIRST walk for 4530 steps (1 resets) in 350 ms. (12 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 89 ms. Reduced automaton from 5 states, 6 edges and 2 AP (stutter sensitive) to 5 states, 6 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 183 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 9954 ms.
Stuttering acceptance computed with spot in 178 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Stuttering acceptance computed with spot in 207 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration timeout after 4470 steps with 739 reset in 10007 ms.
Product exploration timeout after 4740 steps with 790 reset in 10022 ms.
Spot run failed in 115 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin15069981007670399366
[2026-06-01 19:00:15] [INFO ] Built C files in 994ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15069981007670399366
Running compilation step : cd /tmp/ltsmin15069981007670399366;'/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/ltsmin15069981007670399366;'/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/ltsmin15069981007670399366;'/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 21 out of 62 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 62/62 places, 35075/35075 transitions.
Applied a total of 0 rules in 113 ms. Remains 62 /62 variables (removed 0) and now considering 35075/35075 (removed 0) transitions.
[2026-06-01 19:00:19] [INFO ] Flow matrix only has 35071 transitions (discarded 4 similar events)
[2026-06-01 19:00:19] [INFO ] Invariant cache hit.
[2026-06-01 19:00:21] [INFO ] Implicit Places using invariants in 2524 ms returned []
Implicit Place search using SMT only with invariants took 2539 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 2654 ms. Remains : 62/62 places, 35075/35075 transitions.
Built C files in :
/tmp/ltsmin15105852588033477687
[2026-06-01 19:00:22] [INFO ] Built C files in 880ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15105852588033477687
Running compilation step : cd /tmp/ltsmin15105852588033477687;'/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/ltsmin15105852588033477687;'/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/ltsmin15105852588033477687;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-06-01 19:00:39] [INFO ] Flatten gal took : 5774 ms
[2026-06-01 19:00:43] [INFO ] Flatten gal took : 3816 ms
[2026-06-01 19:00:43] [INFO ] Time to serialize gal into /tmp/LTL6751918822289338005.gal : 774 ms
[2026-06-01 19:00:43] [INFO ] Time to serialize properties into /tmp/LTL15986815868465261637.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/LTL6751918822289338005.gal' '-t' 'CGAL' '-hoa' '/tmp/aut13388496947184794919.hoa' '-atoms' '/tmp/LTL15986815868465261637.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Detected timeout of ITS tools.
[2026-06-01 19:01:14] [INFO ] Flatten gal took : 4573 ms
[2026-06-01 19:01:18] [INFO ] Flatten gal took : 3708 ms
[2026-06-01 19:01:18] [INFO ] Time to serialize gal into /tmp/LTL14607263568951686030.gal : 637 ms
[2026-06-01 19:01:18] [INFO ] Time to serialize properties into /tmp/LTL18112211730449494275.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/LTL14607263568951686030.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL18112211730449494275.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Detected timeout of ITS tools.
[2026-06-01 19:01:38] [INFO ] Flatten gal took : 4244 ms
[2026-06-01 19:01:38] [INFO ] Applying decomposition
[2026-06-01 19:01:42] [INFO ] Flatten gal took : 3999 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/graph5216937183032866505.txt' '-o' '/tmp/graph5216937183032866505.bin' '-w' '/tmp/graph5216937183032866505.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5216937183032866505.bin' '-l' '-1' '-v' '-w' '/tmp/graph5216937183032866505.weights' '-q' '0' '-e' '0.001'
[2026-06-01 19:01:53] [INFO ] Decomposing Gal with order
[2026-06-01 19:01:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 19:02:13] [INFO ] Removed a total of 104226 redundant transitions.
[2026-06-01 19:02:14] [INFO ] Flatten gal took : 18577 ms
[2026-06-01 19:02:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 1634 labels/synchronizations in 5981 ms.
[2026-06-01 19:02:22] [INFO ] Time to serialize gal into /tmp/LTL10784663384017529535.gal : 15 ms
[2026-06-01 19:02:22] [INFO ] Time to serialize properties into /tmp/LTL4069035437036594363.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/LTL10784663384017529535.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4069035437036594363.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((F(G((X(X(X(X("(((((u5.p1==0)||(i2.u2.p3==0))||((i2.u2.p12==0)||(i2.u6.p17==0)))||(((i2.u2.p25==0)||(i2.u2.p36==0))||((i2.u6.p37==0)...494
Formula 0 simplified : GF(!"(((((u5.p1==1)&&(i2.u2.p3==1))&&((i2.u2.p8==1)&&(i2.u2.p13==1)))&&(((i2.u2.p21==1)&&(i2.u6.p29==1))&&((u5.p44==1)&&(i2.u2.p49==...480
Reverse transition relation is NOT exact ! Due to transitions t19692, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total...167
7 unique states visited
7 strongly connected components in search stack
8 transitions explored
7 items max in DFS search stack
337 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.72781,55012,1,0,15116,69716,1965,69622,6947,332591,15057
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA ErlangenMainframeV2-PT-aP10C08-LTLFireability-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Treatment of property ErlangenMainframeV2-PT-aP10C08-LTLFireability-11 finished in 407900 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 13 out of 93 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 93/93 places, 78816/78816 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 93 transition count 78815
Reduce places removed 1 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 3 rules applied. Total rules applied 4 place count 92 transition count 78813
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 6 place count 90 transition count 78813
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 6 place count 90 transition count 78812
Deduced a syphon composed of 1 places in 40 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 3 rules applied. Total rules applied 9 place count 88 transition count 78812
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 27 place count 70 transition count 52569
Ensure Unique test removed 10 places
Iterating global reduction 3 with 28 rules applied. Total rules applied 55 place count 60 transition count 52569
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 56 place count 59 transition count 35072
Iterating global reduction 3 with 1 rules applied. Total rules applied 57 place count 59 transition count 35072
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 19 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 3 with 12 rules applied. Total rules applied 69 place count 53 transition count 35066
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 71 place count 52 transition count 35083
Applied a total of 71 rules in 19277 ms. Remains 52 /93 variables (removed 41) and now considering 35083/78816 (removed 43733) transitions.
[2026-06-01 19:02:45] [INFO ] Flow matrix only has 35078 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-2583687139162344952.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14004004262085292938.kers'
[2026-06-01 19:02:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2583687139162344952.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14004004262085292938.kers]
Normalized transition count is 35077 out of 35078 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 94 ms.
// Phase 1: matrix 35077 rows 51 cols 490205 entries
Finished phase 1 with 35 SingleSign rule and 0 generalized
[2026-06-01 19:02:46] [INFO ] Computed 17 invariants in 487 ms
Computed 17 P flows in 488 ms.
Exported basis to /tmp/petrispot-output-14004004262085292938.kers
Total runtime 610 ms.
[2026-06-01 19:02:54] [INFO ] Implicit Places using invariants in 9114 ms returned []
Implicit Place search using SMT only with invariants took 9116 ms to find 0 implicit places.
Running 35080 sub problems to find dead transitions.
[2026-06-01 19:02:55] [INFO ] Flow matrix only has 35078 transitions (discarded 5 similar events)
[2026-06-01 19:02:55] [INFO ] Invariant cache hit.
[2026-06-01 19:02:55] [INFO ] State equation strengthened by 43 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/51 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 35080 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 51/35130 variables, and 1 constraints, problems are : Problem set: 0 solved, 35080 unsolved in 30646 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/52 constraints, ReadFeed: 0/43 constraints, PredecessorRefiner: 35080/43 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 35080 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/51 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 35080 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 51/35130 variables, and 1 constraints, problems are : Problem set: 0 solved, 35080 unsolved in 30635 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/52 constraints, ReadFeed: 0/43 constraints, PredecessorRefiner: 35037/43 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 212783ms problems are : Problem set: 0 solved, 35080 unsolved
Search for dead transitions found 0 dead transitions in 212970ms
Starting structural reductions in SI_LTL mode, iteration 1 : 52/93 places, 35083/78816 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 241447 ms. Remains : 52/93 places, 35083/78816 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 41 ms :[(NOT p0)]
Running random walk in product with property : ErlangenMainframeV2-PT-aP10C08-LTLFireability-13
Product exploration timeout after 22120 steps with 0 reset in 10004 ms.
Product exploration timeout after 23590 steps with 0 reset in 10002 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 69 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 43222 ms. (0 steps per ms) remains 1/1 properties
BEST_FIRST walk for 8009 steps (2 resets) in 645 ms. (12 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 74 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 44 ms :[(NOT p0)]
Knowledge-based reduction took 13418 ms.
Stuttering acceptance computed with spot in 43 ms :[(NOT p0)]
Support contains 13 out of 52 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 52/52 places, 35083/35083 transitions.
Applied a total of 0 rules in 928 ms. Remains 52 /52 variables (removed 0) and now considering 35083/35083 (removed 0) transitions.
[2026-06-01 19:07:02] [INFO ] Flow matrix only has 35078 transitions (discarded 5 similar events)
[2026-06-01 19:07:02] [INFO ] Invariant cache hit.
[2026-06-01 19:07:11] [INFO ] Implicit Places using invariants in 9336 ms returned []
Implicit Place search using SMT only with invariants took 9337 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10310 ms. Remains : 52/52 places, 35083/35083 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 62 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 46570 ms. (0 steps per ms) remains 1/1 properties
BEST_FIRST walk for 1652 steps (0 resets) in 162 ms. (10 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 64 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 37 ms :[(NOT p0)]
Knowledge-based reduction took 12652 ms.
Stuttering acceptance computed with spot in 39 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Product exploration timeout after 14640 steps with 0 reset in 10001 ms.
Product exploration timeout after 13830 steps with 0 reset in 10001 ms.
Built C files in :
/tmp/ltsmin5991922188737339388
[2026-06-01 19:07:44] [INFO ] Too many transitions (35083) to apply POR reductions. Disabling POR matrices.
[2026-06-01 19:07:45] [INFO ] Built C files in 1225ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5991922188737339388
Running compilation step : cd /tmp/ltsmin5991922188737339388;'/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/ltsmin5991922188737339388;'/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/ltsmin5991922188737339388;'/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 13 out of 52 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 52/52 places, 35083/35083 transitions.
Applied a total of 0 rules in 451 ms. Remains 52 /52 variables (removed 0) and now considering 35083/35083 (removed 0) transitions.
[2026-06-01 19:07:49] [INFO ] Flow matrix only has 35078 transitions (discarded 5 similar events)
[2026-06-01 19:07:49] [INFO ] Invariant cache hit.
[2026-06-01 19:07:58] [INFO ] Implicit Places using invariants in 8663 ms returned []
Implicit Place search using SMT only with invariants took 8665 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 9120 ms. Remains : 52/52 places, 35083/35083 transitions.
Built C files in :
/tmp/ltsmin12543430399240670980
[2026-06-01 19:07:58] [INFO ] Too many transitions (35083) to apply POR reductions. Disabling POR matrices.
[2026-06-01 19:07:58] [INFO ] Built C files in 562ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12543430399240670980
Running compilation step : cd /tmp/ltsmin12543430399240670980;'/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/ltsmin12543430399240670980;'/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/ltsmin12543430399240670980;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-06-01 19:08:18] [INFO ] Flatten gal took : 6276 ms
[2026-06-01 19:08:22] [INFO ] Flatten gal took : 3918 ms
[2026-06-01 19:08:22] [INFO ] Time to serialize gal into /tmp/LTL2886287788687133550.gal : 693 ms
[2026-06-01 19:08:22] [INFO ] Time to serialize properties into /tmp/LTL4109068624910975293.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/LTL2886287788687133550.gal' '-t' 'CGAL' '-hoa' '/tmp/aut16531862623390067626.hoa' '-atoms' '/tmp/LTL4109068624910975293.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-06-01 19:08:51] [INFO ] Flatten gal took : 4233 ms
[2026-06-01 19:08:55] [INFO ] Flatten gal took : 3783 ms
[2026-06-01 19:08:56] [INFO ] Time to serialize gal into /tmp/LTL16094606972141304294.gal : 539 ms
[2026-06-01 19:08:56] [INFO ] Time to serialize properties into /tmp/LTL12690008620775207350.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16094606972141304294.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL12690008620775207350.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Detected timeout of ITS tools.
[2026-06-01 19:09:16] [INFO ] Flatten gal took : 4982 ms
[2026-06-01 19:09:16] [INFO ] Applying decomposition
[2026-06-01 19:09:20] [INFO ] Flatten gal took : 3735 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/graph5100611837770611854.txt' '-o' '/tmp/graph5100611837770611854.bin' '-w' '/tmp/graph5100611837770611854.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5100611837770611854.bin' '-l' '-1' '-v' '-w' '/tmp/graph5100611837770611854.weights' '-q' '0' '-e' '0.001'
[2026-06-01 19:09:28] [INFO ] Decomposing Gal with order
[2026-06-01 19:09:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 19:09:48] [INFO ] Removed a total of 103380 redundant transitions.
[2026-06-01 19:09:50] [INFO ] Flatten gal took : 18391 ms
[2026-06-01 19:09:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 2842 labels/synchronizations in 5897 ms.
[2026-06-01 19:09:58] [INFO ] Time to serialize gal into /tmp/LTL805841838270279992.gal : 26 ms
[2026-06-01 19:09:58] [INFO ] Time to serialize properties into /tmp/LTL12069299974100512973.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/LTL805841838270279992.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL12069299974100512973.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.u0.p1!=1)||(u4.p3!=1))||((i2.u0.p12!=1)||(i2.u5.p17!=1)))||(((i2.u0.p28!=1)||(i2.u5.p33!=1))||((i2.u0.p44!=1)||(i2.u5....250
Formula 0 simplified : GF!"(((((i2.u0.p1!=1)||(u4.p3!=1))||((i2.u0.p12!=1)||(i2.u5.p17!=1)))||(((i2.u0.p28!=1)||(i2.u5.p33!=1))||((i2.u0.p44!=1)||(i2.u5.p4...244
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//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
++ perl -pe 's/.*\.//g'
+ 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="ErlangenMainframeV2-PT-aP10C08"
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 ErlangenMainframeV2-PT-aP10C08, 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-178021499100172"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV2-PT-aP10C08.tgz
mv ErlangenMainframeV2-PT-aP10C08 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 ;