About the Execution of ITS-Tools for ErlangenMainframeV1-PT-aP11C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14760.792 | 3600000.00 | 4892146.00 | 8748.40 | ????FTT?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-178021499000018.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is ErlangenMainframeV1-PT-aP11C06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r338-smll-178021499000018
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 89M
-rw-r--r-- 1 mcc users 6.6K May 27 08:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K May 27 08:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 27 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 27 08:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 27 10:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 27 10:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 27 10:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 10:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 8.5K May 27 08:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K May 27 08:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K May 27 08:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K May 27 08:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 8 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 88M May 26 18:17 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-00
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-01
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-02
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-03
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-04
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-05
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-06
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-07
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-08
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-09
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-10
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-11
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-12
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-13
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-14
FORMULA_NAME ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1780230570872
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ErlangenMainframeV1-PT-aP11C06
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-31 12:29:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-31 12:29:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-31 12:29:38] [INFO ] Load time of PNML (sax parser for PT used): 4517 ms
[2026-05-31 12:29:38] [INFO ] Transformed 99 places.
[2026-05-31 12:29:38] [INFO ] Transformed 70091 transitions.
[2026-05-31 12:29:38] [INFO ] Found NUPN structural information;
[2026-05-31 12:29:38] [INFO ] Parsed PT model containing 99 places and 70091 transitions and 1773362 arcs in 5269 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 42 ms.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Support contains 60 out of 99 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 99/99 places, 70090/70090 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 91 transition count 70066
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 91 transition count 70066
Applied a total of 16 rules in 1118 ms. Remains 91 /99 variables (removed 8) and now considering 70066/70090 (removed 24) transitions.
[2026-05-31 12:29:40] [INFO ] Flow matrix only has 70062 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-8053463449326868013.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1212906429430926320.kers'
[2026-05-31 12:29:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8053463449326868013.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1212906429430926320.kers]
Normalized transition count is 70061 out of 70062 initially.
Culled 0 columns in 446 ms.
// Phase 1: matrix 70061 rows 91 cols 1773156 entries
Finished phase 1 with 60 SingleSign rule and 3 generalized
[2026-05-31 12:29:43] [INFO ] Computed 28 invariants in 1602 ms
Computed 28 P flows in 1604 ms.
Exported basis to /tmp/petrispot-output-1212906429430926320.kers
Total runtime 1975 ms.
[2026-05-31 12:29:43] [INFO ] Implicit Places using invariants in 3157 ms returned []
Implicit Place search using SMT only with invariants took 3305 ms to find 0 implicit places.
Running 70065 sub problems to find dead transitions.
[2026-05-31 12:29:44] [INFO ] Flow matrix only has 70062 transitions (discarded 4 similar events)
[2026-05-31 12:29:44] [INFO ] Invariant cache hit.
[2026-05-31 12:29:46] [INFO ] State equation strengthened by 27 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SMT process timed out in 429820ms, After SMT, problems are : Problem set: 0 solved, 70065 unsolved
Search for dead transitions found 0 dead transitions in 430468ms
Starting structural reductions in LTL mode, iteration 1 : 91/99 places, 70066/70090 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 435432 ms. Remains : 91/99 places, 70066/70090 transitions.
Starting structural reductions in LTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Applied a total of 0 rules in 375 ms. Remains 91 /91 variables (removed 0) and now considering 70066/70066 (removed 0) transitions.
[2026-05-31 12:36:55] [INFO ] Flow matrix only has 70062 transitions (discarded 4 similar events)
[2026-05-31 12:36:55] [INFO ] Invariant cache hit.
[2026-05-31 12:36:55] [INFO ] Implicit Places using invariants in 205 ms returned []
Implicit Place search using SMT only with invariants took 206 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 594 ms. Remains : 91/91 places, 70066/70066 transitions.
Support contains 60 out of 91 places after structural reductions.
[2026-05-31 12:37:09] [INFO ] Flatten gal took : 12910 ms
[2026-05-31 12:37:22] [INFO ] Flatten gal took : 12832 ms
[2026-05-31 12:37:39] [INFO ] Input system was already deterministic with 70066 transitions.
RANDOM walk for 40000 steps (8 resets) in 61419 ms. (0 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1595 ms. (2 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 68/69 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 67/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 66/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3605 ms. (1 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 65/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 64/65 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 63/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 62/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 62/62 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 61/62 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 60/61 properties
BEST_FIRST walk for 4003 steps (8 resets) in 920 ms. (4 steps per ms) remains 59/60 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 58/59 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2583 ms. (1 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1767 ms. (2 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 57/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1863 ms. (2 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 56/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1822 ms. (2 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 55/56 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 54/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 53/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 52/53 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 51/52 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1298 ms. (3 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 765 ms. (5 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1451 ms. (2 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (8 resets) in 759 ms. (5 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1423 ms. (2 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2128 ms. (1 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1787 ms. (2 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1478 ms. (2 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (8 resets) in 983 ms. (4 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1944 ms. (2 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (8 resets) in 763 ms. (5 steps per ms) remains 50/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 49/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1775 ms. (2 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 48/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1667 ms. (2 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1517 ms. (2 steps per ms) remains 48/48 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 47/48 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1680 ms. (2 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1806 ms. (2 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 929 ms. (4 steps per ms) remains 46/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1211 ms. (3 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4003 steps (8 resets) in 836 ms. (4 steps per ms) remains 45/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 44/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 43/44 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (8 resets) in 874 ms. (4 steps per ms) remains 42/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 41/42 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 40/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1309 ms. (3 steps per ms) remains 40/40 properties
BEST_FIRST walk for 4003 steps (8 resets) in 893 ms. (4 steps per ms) remains 39/40 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1726 ms. (2 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1330 ms. (3 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1544 ms. (2 steps per ms) remains 39/39 properties
[2026-05-31 12:38:28] [INFO ] Flow matrix only has 70062 transitions (discarded 4 similar events)
[2026-05-31 12:38:28] [INFO ] Invariant cache hit.
[2026-05-31 12:38:29] [INFO ] State equation strengthened by 27 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/60 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 39 unsolved
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp68 is UNSAT
At refinement iteration 1 (OVERLAPS) 7/67 variables, 13/13 constraints. Problems are: Problem set: 6 solved, 33 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/67 variables, 1/14 constraints. Problems are: Problem set: 6 solved, 33 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/67 variables, 0/14 constraints. Problems are: Problem set: 6 solved, 33 unsolved
At refinement iteration 4 (OVERLAPS) 14/81 variables, 4/18 constraints. Problems are: Problem set: 6 solved, 33 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/81 variables, 0/18 constraints. Problems are: Problem set: 6 solved, 33 unsolved
Problem AtomicPropp22 is UNSAT
At refinement iteration 6 (OVERLAPS) 10/91 variables, 10/28 constraints. Problems are: Problem set: 7 solved, 32 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 91/70153 variables, and 28 constraints, problems are : Problem set: 7 solved, 32 unsolved in 5449 ms.
Refiners :[Positive P Invariants (semi-flows): 17/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/91 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 39/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 7 solved, 32 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/60 variables, 0/0 constraints. Problems are: Problem set: 7 solved, 32 unsolved
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp60 is UNSAT
At refinement iteration 1 (OVERLAPS) 7/67 variables, 13/13 constraints. Problems are: Problem set: 9 solved, 30 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/67 variables, 1/14 constraints. Problems are: Problem set: 9 solved, 30 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 67/70153 variables, and 14 constraints, problems are : Problem set: 9 solved, 30 unsolved in 5491 ms.
Refiners :[Positive P Invariants (semi-flows): 13/17 constraints, Generalized P Invariants (flows): 1/11 constraints, State Equation: 0/91 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 32/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 12555ms problems are : Problem set: 9 solved, 30 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 60 out of 91 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 91 transition count 70061
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 21 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 90 transition count 70078
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 8 place count 90 transition count 70077
Free-agglomeration rule applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 14 place count 90 transition count 70071
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 2 with 10 rules applied. Total rules applied 24 place count 84 transition count 70067
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 26 place count 82 transition count 70052
Iterating global reduction 3 with 2 rules applied. Total rules applied 28 place count 82 transition count 70052
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 30 place count 82 transition count 70050
Free-agglomeration rule applied 2 times with reduction of 3 identical transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 32 place count 82 transition count 70045
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 4 with 9 rules applied. Total rules applied 41 place count 79 transition count 70039
Applied a total of 41 rules in 10922 ms. Remains 79 /91 variables (removed 12) and now considering 70039/70066 (removed 27) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10925 ms. Remains : 79/91 places, 70039/70066 transitions.
RANDOM walk for 40000 steps (8 resets) in 70957 ms. (0 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1546 ms. (2 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 29/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1612 ms. (2 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1246 ms. (3 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1886 ms. (2 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2872 ms. (1 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2032 ms. (1 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1153 ms. (3 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1720 ms. (2 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1105 ms. (3 steps per ms) remains 28/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2177 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1380 ms. (2 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1610 ms. (2 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2597 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2773 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2408 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2221 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2334 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2081 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2034 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2708 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2013 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2051 ms. (1 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 27/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 26/27 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1442 ms. (2 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2140 ms. (1 steps per ms) remains 26/26 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12862108091576693594.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2882842524625917222.kers'
[2026-05-31 12:39:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12862108091576693594.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2882842524625917222.kers]
Culling duplicate invariants (modulo rational): removing 3 columns.
Culled 3 columns in 366 ms.
// Phase 1: matrix 70039 rows 76 cols 1773074 entries
Finished phase 1 with 49 SingleSign rule and 3 generalized
[2026-05-31 12:39:35] [INFO ] Computed 27 invariants in 1569 ms
Computed 27 P flows in 1570 ms.
Exported basis to /tmp/petrispot-output-2882842524625917222.kers
Total runtime 1903 ms.
[2026-05-31 12:39:36] [INFO ] State equation strengthened by 19 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/59 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 1 (OVERLAPS) 6/65 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/65 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/65 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 4 (OVERLAPS) 3/68 variables, 3/17 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/68 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 6 (OVERLAPS) 11/79 variables, 10/27 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/79 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 26 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 70118/70118 variables, and 106 constraints, problems are : Problem set: 0 solved, 26 unsolved in 45018 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 79/79 constraints, ReadFeed: 0/19 constraints, PredecessorRefiner: 26/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 26 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/59 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 1 (OVERLAPS) 6/65 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/65 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/65 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 4 (OVERLAPS) 3/68 variables, 3/17 constraints. Problems are: Problem set: 0 solved, 26 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 68/70118 variables, and 17 constraints, problems are : Problem set: 0 solved, 26 unsolved in 46301 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 1/11 constraints, State Equation: 0/79 constraints, ReadFeed: 0/19 constraints, PredecessorRefiner: 26/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 94858ms problems are : Problem set: 0 solved, 26 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 59 out of 79 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 79/79 places, 70039/70039 transitions.
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 79 transition count 70039
Applied a total of 1 rules in 3626 ms. Remains 79 /79 variables (removed 0) and now considering 70039/70039 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3626 ms. Remains : 79/79 places, 70039/70039 transitions.
Successfully simplified 9 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-31 12:41:26] [INFO ] Flatten gal took : 14069 ms
[2026-05-31 12:41:39] [INFO ] Flatten gal took : 12354 ms
[2026-05-31 12:41:56] [INFO ] Input system was already deterministic with 70066 transitions.
Computed a total of 1 stabilizing places and 1 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 89 transition count 57106
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 89 transition count 57106
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 20 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 6 place count 88 transition count 57105
Applied a total of 6 rules in 4316 ms. Remains 88 /91 variables (removed 3) and now considering 57105/70066 (removed 12961) transitions.
[2026-05-31 12:42:02] [INFO ] Flow matrix only has 57101 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-9130563001843500315.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9479474920538930621.kers'
[2026-05-31 12:42:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9130563001843500315.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9479474920538930621.kers]
Normalized transition count is 57100 out of 57101 initially.
Culled 0 columns in 245 ms.
// Phase 1: matrix 57100 rows 88 cols 1462114 entries
Finished phase 1 with 57 SingleSign rule and 3 generalized
[2026-05-31 12:42:04] [INFO ] Computed 28 invariants in 1008 ms
Computed 28 P flows in 1009 ms.
Exported basis to /tmp/petrispot-output-9479474920538930621.kers
Total runtime 1184 ms.
[2026-05-31 12:42:08] [INFO ] Implicit Places using invariants in 6009 ms returned []
Implicit Place search using SMT only with invariants took 6012 ms to find 0 implicit places.
Running 57104 sub problems to find dead transitions.
[2026-05-31 12:42:09] [INFO ] Flow matrix only has 57101 transitions (discarded 4 similar events)
[2026-05-31 12:42:09] [INFO ] Invariant cache hit.
[2026-05-31 12:42:10] [INFO ] State equation strengthened by 27 read => feed constraints.
SMT process timed out in 338171ms, After SMT, problems are : Problem set: 0 solved, 57104 unsolved
Search for dead transitions found 0 dead transitions in 338784ms
Starting structural reductions in SI_CTL mode, iteration 1 : 88/91 places, 57105/70066 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 349410 ms. Remains : 88/91 places, 57105/70066 transitions.
[2026-05-31 12:47:58] [INFO ] Flatten gal took : 10612 ms
[2026-05-31 12:48:09] [INFO ] Flatten gal took : 10756 ms
[2026-05-31 12:48:24] [INFO ] Input system was already deterministic with 57105 transitions.
[2026-05-31 12:48:36] [INFO ] Flatten gal took : 10588 ms
[2026-05-31 12:48:46] [INFO ] Flatten gal took : 9836 ms
[2026-05-31 12:48:48] [INFO ] Time to serialize gal into /tmp/CTLFireability4663241159515179499.gal : 1742 ms
[2026-05-31 12:48:48] [INFO ] Time to serialize properties into /tmp/CTLFireability12461772136973135838.ctl : 6 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4663241159515179499.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12461772136973135838.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-31 12:49:29] [INFO ] Flatten gal took : 10232 ms
[2026-05-31 12:49:29] [INFO ] Applying decomposition
[2026-05-31 12:49:39] [INFO ] Flatten gal took : 9916 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/graph13981005919154488992.txt' '-o' '/tmp/graph13981005919154488992.bin' '-w' '/tmp/graph13981005919154488992.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13981005919154488992.bin' '-l' '-1' '-v' '-w' '/tmp/graph13981005919154488992.weights' '-q' '0' '-e' '0.001'
[2026-05-31 12:50:04] [INFO ] Decomposing Gal with order
[2026-05-31 12:50:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 12:50:30] [INFO ] Removed a total of 794893 redundant transitions.
[2026-05-31 12:50:32] [INFO ] Flatten gal took : 21882 ms
[2026-05-31 12:50:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 26 labels/synchronizations in 9915 ms.
[2026-05-31 12:50:45] [INFO ] Time to serialize gal into /tmp/CTLFireability4607763740117221503.gal : 350 ms
[2026-05-31 12:50:45] [INFO ] Time to serialize properties into /tmp/CTLFireability3784500324922370442.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4607763740117221503.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3784500324922370442.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Applied a total of 0 rules in 640 ms. Remains 91 /91 variables (removed 0) and now considering 70066/70066 (removed 0) transitions.
[2026-05-31 12:51:16] [INFO ] Flow matrix only has 70062 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-5273411533263313960.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11485434369020162242.kers'
[2026-05-31 12:51:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5273411533263313960.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11485434369020162242.kers]
Normalized transition count is 70061 out of 70062 initially.
Culled 0 columns in 305 ms.
// Phase 1: matrix 70061 rows 91 cols 1773156 entries
Finished phase 1 with 60 SingleSign rule and 3 generalized
[2026-05-31 12:51:18] [INFO ] Computed 28 invariants in 1440 ms
Computed 28 P flows in 1441 ms.
Exported basis to /tmp/petrispot-output-11485434369020162242.kers
Total runtime 1665 ms.
[2026-05-31 12:51:23] [INFO ] Implicit Places using invariants in 7543 ms returned []
Implicit Place search using SMT only with invariants took 7545 ms to find 0 implicit places.
Running 70065 sub problems to find dead transitions.
[2026-05-31 12:51:24] [INFO ] Flow matrix only has 70062 transitions (discarded 4 similar events)
[2026-05-31 12:51:24] [INFO ] Invariant cache hit.
[2026-05-31 12:51:26] [INFO ] State equation strengthened by 27 read => feed constraints.
SMT process timed out in 482716ms, After SMT, problems are : Problem set: 0 solved, 70065 unsolved
Search for dead transitions found 0 dead transitions in 483107ms
Finished structural reductions in LTL mode , in 1 iterations and 491614 ms. Remains : 91/91 places, 70066/70066 transitions.
[2026-05-31 12:59:40] [INFO ] Flatten gal took : 12916 ms
[2026-05-31 12:59:53] [INFO ] Flatten gal took : 13061 ms
[2026-05-31 13:00:10] [INFO ] Input system was already deterministic with 70066 transitions.
[2026-05-31 13:00:24] [INFO ] Flatten gal took : 12315 ms
[2026-05-31 13:00:36] [INFO ] Flatten gal took : 12484 ms
[2026-05-31 13:00:38] [INFO ] Time to serialize gal into /tmp/CTLFireability15059785781860174141.gal : 1542 ms
[2026-05-31 13:00:38] [INFO ] Time to serialize properties into /tmp/CTLFireability2848639560985034880.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15059785781860174141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2848639560985034880.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-31 13:01:22] [INFO ] Flatten gal took : 13224 ms
[2026-05-31 13:01:22] [INFO ] Applying decomposition
[2026-05-31 13:01:34] [INFO ] Flatten gal took : 12073 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/graph16711445901858981942.txt' '-o' '/tmp/graph16711445901858981942.bin' '-w' '/tmp/graph16711445901858981942.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16711445901858981942.bin' '-l' '-1' '-v' '-w' '/tmp/graph16711445901858981942.weights' '-q' '0' '-e' '0.001'
[2026-05-31 13:02:05] [INFO ] Decomposing Gal with order
[2026-05-31 13:02:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 13:02:33] [INFO ] Removed a total of 1038118 redundant transitions.
[2026-05-31 13:02:35] [INFO ] Flatten gal took : 22101 ms
[2026-05-31 13:02:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 11015 ms.
[2026-05-31 13:02:49] [INFO ] Time to serialize gal into /tmp/CTLFireability12279910500411581141.gal : 449 ms
[2026-05-31 13:02:49] [INFO ] Time to serialize properties into /tmp/CTLFireability9363655172625554621.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12279910500411581141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9363655172625554621.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 91 transition count 70065
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 90 transition count 70065
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 8 place count 84 transition count 48785
Iterating global reduction 2 with 6 rules applied. Total rules applied 14 place count 84 transition count 48785
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 19 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 24 place count 79 transition count 48780
Applied a total of 24 rules in 7690 ms. Remains 79 /91 variables (removed 12) and now considering 48780/70066 (removed 21286) transitions.
[2026-05-31 13:03:27] [INFO ] Flow matrix only has 48776 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-15538642836457182209.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16627403434034064672.kers'
[2026-05-31 13:03:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15538642836457182209.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16627403434034064672.kers]
Normalized transition count is 48775 out of 48776 initially.
Culled 0 columns in 214 ms.
// Phase 1: matrix 48775 rows 79 cols 1262424 entries
Finished phase 1 with 49 SingleSign rule and 2 generalized
[2026-05-31 13:03:28] [INFO ] Computed 28 invariants in 967 ms
Computed 28 P flows in 968 ms.
Exported basis to /tmp/petrispot-output-16627403434034064672.kers
Total runtime 1228 ms.
[2026-05-31 13:03:39] [INFO ] Implicit Places using invariants in 12533 ms returned []
Implicit Place search using SMT only with invariants took 12535 ms to find 0 implicit places.
Running 48779 sub problems to find dead transitions.
[2026-05-31 13:03:40] [INFO ] Flow matrix only has 48776 transitions (discarded 4 similar events)
[2026-05-31 13:03:40] [INFO ] Invariant cache hit.
[2026-05-31 13:03:41] [INFO ] State equation strengthened by 27 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/78 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 48779 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 78/48855 variables, and 11 constraints, problems are : Problem set: 0 solved, 48779 unsolved in 31606 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/79 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 48779/31 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 48779 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/78 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 48779 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 78/48855 variables, and 11 constraints, problems are : Problem set: 0 solved, 48779 unsolved in 30947 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/79 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 48748/31 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 283742ms problems are : Problem set: 0 solved, 48779 unsolved
Search for dead transitions found 0 dead transitions in 284255ms
Starting structural reductions in SI_CTL mode, iteration 1 : 79/91 places, 48780/70066 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 304856 ms. Remains : 79/91 places, 48780/70066 transitions.
[2026-05-31 13:08:33] [INFO ] Flatten gal took : 8480 ms
[2026-05-31 13:08:41] [INFO ] Flatten gal took : 8715 ms
[2026-05-31 13:08:54] [INFO ] Input system was already deterministic with 48780 transitions.
[2026-05-31 13:09:04] [INFO ] Flatten gal took : 8598 ms
[2026-05-31 13:09:13] [INFO ] Flatten gal took : 9008 ms
[2026-05-31 13:09:14] [INFO ] Time to serialize gal into /tmp/CTLFireability18100599883629803942.gal : 1121 ms
[2026-05-31 13:09:14] [INFO ] Time to serialize properties into /tmp/CTLFireability6545151790297926751.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18100599883629803942.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6545151790297926751.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-31 13:09:54] [INFO ] Flatten gal took : 9263 ms
[2026-05-31 13:09:54] [INFO ] Applying decomposition
[2026-05-31 13:10:02] [INFO ] Flatten gal took : 8451 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/graph1116632970991140084.txt' '-o' '/tmp/graph1116632970991140084.bin' '-w' '/tmp/graph1116632970991140084.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1116632970991140084.bin' '-l' '-1' '-v' '-w' '/tmp/graph1116632970991140084.weights' '-q' '0' '-e' '0.001'
[2026-05-31 13:10:26] [INFO ] Decomposing Gal with order
[2026-05-31 13:10:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 13:10:48] [INFO ] Removed a total of 657931 redundant transitions.
[2026-05-31 13:10:49] [INFO ] Flatten gal took : 17618 ms
[2026-05-31 13:10:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 48 labels/synchronizations in 5380 ms.
[2026-05-31 13:10:56] [INFO ] Time to serialize gal into /tmp/CTLFireability12591528008082531265.gal : 100 ms
[2026-05-31 13:10:56] [INFO ] Time to serialize properties into /tmp/CTLFireability5044236230138390250.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12591528008082531265.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5044236230138390250.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 91 transition count 70064
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 89 transition count 70064
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 10 place count 83 transition count 48784
Iterating global reduction 2 with 6 rules applied. Total rules applied 16 place count 83 transition count 48784
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 17 place count 82 transition count 33231
Iterating global reduction 2 with 1 rules applied. Total rules applied 18 place count 82 transition count 33231
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 16 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 28 place count 77 transition count 33226
Applied a total of 28 rules in 9952 ms. Remains 77 /91 variables (removed 14) and now considering 33226/70066 (removed 36840) transitions.
[2026-05-31 13:11:36] [INFO ] Flow matrix only has 33222 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-12894376259511317066.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16321109429109848818.kers'
[2026-05-31 13:11:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12894376259511317066.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16321109429109848818.kers]
Normalized transition count is 33221 out of 33222 initially.
Culled 0 columns in 146 ms.
// Phase 1: matrix 33221 rows 77 cols 858068 entries
Finished phase 1 with 47 SingleSign rule and 2 generalized
[2026-05-31 13:11:38] [INFO ] Computed 28 invariants in 789 ms
Computed 28 P flows in 797 ms.
Exported basis to /tmp/petrispot-output-16321109429109848818.kers
Total runtime 975 ms.
[2026-05-31 13:11:46] [INFO ] Implicit Places using invariants in 9468 ms returned []
Implicit Place search using SMT only with invariants took 9470 ms to find 0 implicit places.
Running 33225 sub problems to find dead transitions.
[2026-05-31 13:11:46] [INFO ] Flow matrix only has 33222 transitions (discarded 4 similar events)
[2026-05-31 13:11:46] [INFO ] Invariant cache hit.
[2026-05-31 13:11:47] [INFO ] State equation strengthened by 27 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/76 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 33225 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 76/33299 variables, and 11 constraints, problems are : Problem set: 0 solved, 33225 unsolved in 30635 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/77 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 33225/30 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 33225 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/76 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 33225 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 76/33299 variables, and 11 constraints, problems are : Problem set: 0 solved, 33225 unsolved in 30583 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 0/77 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 33195/30 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 190779ms problems are : Problem set: 0 solved, 33225 unsolved
Search for dead transitions found 0 dead transitions in 191131ms
Starting structural reductions in SI_CTL mode, iteration 1 : 77/91 places, 33226/70066 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 210843 ms. Remains : 77/91 places, 33226/70066 transitions.
[2026-05-31 13:15:03] [INFO ] Flatten gal took : 5954 ms
[2026-05-31 13:15:09] [INFO ] Flatten gal took : 5982 ms
[2026-05-31 13:15:18] [INFO ] Input system was already deterministic with 33226 transitions.
[2026-05-31 13:15:24] [INFO ] Flatten gal took : 6213 ms
[2026-05-31 13:15:30] [INFO ] Flatten gal took : 5738 ms
[2026-05-31 13:15:31] [INFO ] Time to serialize gal into /tmp/CTLFireability16667026949204291597.gal : 739 ms
[2026-05-31 13:15:31] [INFO ] Time to serialize properties into /tmp/CTLFireability1095015836144054140.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16667026949204291597.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1095015836144054140.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-31 13:16:08] [INFO ] Flatten gal took : 6365 ms
[2026-05-31 13:16:08] [INFO ] Applying decomposition
[2026-05-31 13:16:14] [INFO ] Flatten gal took : 6065 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/graph11109350723468371983.txt' '-o' '/tmp/graph11109350723468371983.bin' '-w' '/tmp/graph11109350723468371983.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11109350723468371983.bin' '-l' '-1' '-v' '-w' '/tmp/graph11109350723468371983.weights' '-q' '0' '-e' '0.001'
[2026-05-31 13:16:28] [INFO ] Decomposing Gal with order
[2026-05-31 13:16:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 13:16:42] [INFO ] Removed a total of 434001 redundant transitions.
[2026-05-31 13:16:43] [INFO ] Flatten gal took : 11451 ms
[2026-05-31 13:16:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 54 labels/synchronizations in 3076 ms.
[2026-05-31 13:16:47] [INFO ] Time to serialize gal into /tmp/CTLFireability13290875641000392898.gal : 56 ms
[2026-05-31 13:16:47] [INFO ] Time to serialize properties into /tmp/CTLFireability8403807213462652719.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13290875641000392898.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8403807213462652719.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 74 transition count 46739
Ensure Unique test removed 10 places
Iterating global reduction 0 with 27 rules applied. Total rules applied 44 place count 64 transition count 46739
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 47 place count 61 transition count 13904
Iterating global reduction 0 with 3 rules applied. Total rules applied 50 place count 61 transition count 13904
Applied a total of 50 rules in 11497 ms. Remains 61 /91 variables (removed 30) and now considering 13904/70066 (removed 56162) transitions.
[2026-05-31 13:17:28] [INFO ] Flow matrix only has 13900 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-5173216198114236680.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15646149689718776002.kers'
[2026-05-31 13:17:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5173216198114236680.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15646149689718776002.kers]
Normalized transition count is 13899 out of 13900 initially.
Culled 0 columns in 36 ms.
// Phase 1: matrix 13899 rows 61 cols 221420 entries
Finished phase 1 with 42 SingleSign rule and 1 generalized
[2026-05-31 13:17:29] [INFO ] Computed 18 invariants in 130 ms
Computed 18 P flows in 133 ms.
Exported basis to /tmp/petrispot-output-15646149689718776002.kers
Total runtime 162 ms.
[2026-05-31 13:17:31] [INFO ] Implicit Places using invariants in 2707 ms returned [35]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2737 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 60/91 places, 13904/70066 transitions.
Applied a total of 0 rules in 60 ms. Remains 60 /60 variables (removed 0) and now considering 13904/13904 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 14295 ms. Remains : 60/91 places, 13904/70066 transitions.
[2026-05-31 13:17:33] [INFO ] Flatten gal took : 1670 ms
[2026-05-31 13:17:35] [INFO ] Flatten gal took : 1691 ms
[2026-05-31 13:17:37] [INFO ] Input system was already deterministic with 13904 transitions.
[2026-05-31 13:17:38] [INFO ] Flatten gal took : 1415 ms
[2026-05-31 13:17:40] [INFO ] Flatten gal took : 1551 ms
[2026-05-31 13:17:40] [INFO ] Time to serialize gal into /tmp/CTLFireability6152761232919301348.gal : 217 ms
[2026-05-31 13:17:40] [INFO ] Time to serialize properties into /tmp/CTLFireability7334326758399425361.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6152761232919301348.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7334326758399425361.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-31 13:18:12] [INFO ] Flatten gal took : 1785 ms
[2026-05-31 13:18:12] [INFO ] Applying decomposition
[2026-05-31 13:18:14] [INFO ] Flatten gal took : 1833 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/graph5153792631058642943.txt' '-o' '/tmp/graph5153792631058642943.bin' '-w' '/tmp/graph5153792631058642943.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5153792631058642943.bin' '-l' '-1' '-v' '-w' '/tmp/graph5153792631058642943.weights' '-q' '0' '-e' '0.001'
[2026-05-31 13:18:17] [INFO ] Decomposing Gal with order
[2026-05-31 13:18:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 13:18:25] [INFO ] Removed a total of 39694 redundant transitions.
[2026-05-31 13:18:25] [INFO ] Flatten gal took : 7718 ms
[2026-05-31 13:18:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 3128 labels/synchronizations in 638 ms.
[2026-05-31 13:18:27] [INFO ] Time to serialize gal into /tmp/CTLFireability5350751810780203622.gal : 17 ms
[2026-05-31 13:18:27] [INFO ] Time to serialize properties into /tmp/CTLFireability9695337797343338906.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5350751810780203622.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9695337797343338906.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.51944e+08,25.149,352684,485,2886,199366,268158,2303,1.17062e+06,1968,3.16947e+06,0
Converting to forward existential form...Done !
original formula: AG(EX(AG((((((i0.u2.p5==0)||(i0.u2.p6==0))||((i0.u6.p11==0)||(i0.u2.p16==0)))||(((i0.u2.p21==0)||(u5.p33==0))||((i0.u6.p34==0)||(i0.u6.p4...252
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(EX(!(E(TRUE U !((((((i0.u2.p5==0)||(i0.u2.p6==0))||((i0.u6.p11==0)||(i0.u2.p16==0)))||(((i...318
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,26.8753,352700,1,0,199366,268158,6532,1.17062e+06,7625,3.16947e+06,30110
FORMULA ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 91 transition count 70062
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 87 transition count 70062
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 8 place count 87 transition count 70061
Deduced a syphon composed of 1 places in 26 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 86 transition count 70061
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 27 place count 69 transition count 46734
Ensure Unique test removed 11 places
Iterating global reduction 2 with 28 rules applied. Total rules applied 55 place count 58 transition count 46734
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 56 place count 57 transition count 31181
Iterating global reduction 2 with 1 rules applied. Total rules applied 57 place count 57 transition count 31181
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 9 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 67 place count 52 transition count 31176
Applied a total of 67 rules in 18058 ms. Remains 52 /91 variables (removed 39) and now considering 31176/70066 (removed 38890) transitions.
[2026-05-31 13:19:12] [INFO ] Flow matrix only has 31172 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-14303017214808436667.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5535111674601025455.kers'
[2026-05-31 13:19:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14303017214808436667.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5535111674601025455.kers]
Normalized transition count is 31171 out of 31172 initially.
Culled 0 columns in 78 ms.
// Phase 1: matrix 31171 rows 52 cols 466779 entries
Finished phase 1 with 35 SingleSign rule and 0 generalized
[2026-05-31 13:19:12] [INFO ] Computed 17 invariants in 352 ms
Computed 17 P flows in 353 ms.
Exported basis to /tmp/petrispot-output-5535111674601025455.kers
Total runtime 455 ms.
[2026-05-31 13:19:21] [INFO ] Implicit Places using invariants in 9496 ms returned []
Implicit Place search using SMT only with invariants took 9497 ms to find 0 implicit places.
Running 31175 sub problems to find dead transitions.
[2026-05-31 13:19:22] [INFO ] Flow matrix only has 31172 transitions (discarded 4 similar events)
[2026-05-31 13:19:22] [INFO ] Invariant cache hit.
[2026-05-31 13:19:22] [INFO ] State equation strengthened by 27 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 51/31224 variables, and 0 constraints, problems are : Problem set: 0 solved, 31175 unsolved in 30649 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, State Equation: 0/52 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 31175/28 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31175 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 51/31224 variables, and 0 constraints, problems are : Problem set: 0 solved, 31175 unsolved in 30584 ms.
Refiners :[Positive P Invariants (semi-flows): 0/17 constraints, State Equation: 0/52 constraints, ReadFeed: 0/27 constraints, PredecessorRefiner: 31147/28 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 186366ms problems are : Problem set: 0 solved, 31175 unsolved
Search for dead transitions found 0 dead transitions in 186517ms
Starting structural reductions in SI_CTL mode, iteration 1 : 52/91 places, 31176/70066 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 214140 ms. Remains : 52/91 places, 31176/70066 transitions.
[2026-05-31 13:22:31] [INFO ] Flatten gal took : 3342 ms
[2026-05-31 13:22:35] [INFO ] Flatten gal took : 3355 ms
[2026-05-31 13:22:40] [INFO ] Input system was already deterministic with 31176 transitions.
[2026-05-31 13:22:49] [INFO ] Flatten gal took : 5850 ms
[2026-05-31 13:22:53] [INFO ] Flatten gal took : 4707 ms
[2026-05-31 13:22:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7681112956798880183.gal : 640 ms
[2026-05-31 13:22:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6646459978690448086.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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality7681112956798880183.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6646459978690448086.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
RANDOM walk for 40000 steps (8 resets) in 50895 ms. (0 steps per ms) remains 1/1 properties
BEST_FIRST walk for 11463 steps (2 resets) in 705 ms. (16 steps per ms) remains 0/1 properties
FORMULA ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 74 transition count 46739
Ensure Unique test removed 10 places
Iterating global reduction 0 with 27 rules applied. Total rules applied 44 place count 64 transition count 46739
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 45 place count 63 transition count 31186
Iterating global reduction 0 with 1 rules applied. Total rules applied 46 place count 63 transition count 31186
Applied a total of 46 rules in 9255 ms. Remains 63 /91 variables (removed 28) and now considering 31186/70066 (removed 38880) transitions.
[2026-05-31 13:23:05] [INFO ] Flow matrix only has 31182 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-10384951089423778537.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7581680885367955863.kers'
[2026-05-31 13:23:05] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10384951089423778537.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7581680885367955863.kers]
Normalized transition count is 31181 out of 31182 initially.
Culled 0 columns in 83 ms.
// Phase 1: matrix 31181 rows 63 cols 497904 entries
Finished phase 1 with 44 SingleSign rule and 1 generalized
[2026-05-31 13:23:06] [INFO ] Computed 18 invariants in 401 ms
Computed 18 P flows in 401 ms.
Exported basis to /tmp/petrispot-output-7581680885367955863.kers
Total runtime 463 ms.
[2026-05-31 13:23:11] [INFO ] Implicit Places using invariants in 5917 ms returned [36]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 5967 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 62/91 places, 31186/70066 transitions.
Applied a total of 0 rules in 142 ms. Remains 62 /62 variables (removed 0) and now considering 31186/31186 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 15367 ms. Remains : 62/91 places, 31186/70066 transitions.
[2026-05-31 13:23:15] [INFO ] Flatten gal took : 3652 ms
[2026-05-31 13:23:18] [INFO ] Flatten gal took : 3136 ms
[2026-05-31 13:23:23] [INFO ] Input system was already deterministic with 31186 transitions.
[2026-05-31 13:23:27] [INFO ] Flatten gal took : 3363 ms
[2026-05-31 13:23:30] [INFO ] Flatten gal took : 3432 ms
[2026-05-31 13:23:31] [INFO ] Time to serialize gal into /tmp/CTLFireability13219200212266437313.gal : 547 ms
[2026-05-31 13:23:31] [INFO ] Time to serialize properties into /tmp/CTLFireability16147743129567613128.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13219200212266437313.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16147743129567613128.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
Detected timeout of ITS tools.
[2026-05-31 13:24:05] [INFO ] Flatten gal took : 3657 ms
[2026-05-31 13:24:05] [INFO ] Applying decomposition
[2026-05-31 13:24:08] [INFO ] Flatten gal took : 3147 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/graph3459159834856334161.txt' '-o' '/tmp/graph3459159834856334161.bin' '-w' '/tmp/graph3459159834856334161.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3459159834856334161.bin' '-l' '-1' '-v' '-w' '/tmp/graph3459159834856334161.weights' '-q' '0' '-e' '0.001'
[2026-05-31 13:24:15] [INFO ] Decomposing Gal with order
[2026-05-31 13:24:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-31 13:24:29] [INFO ] Removed a total of 92342 redundant transitions.
[2026-05-31 13:24:30] [INFO ] Flatten gal took : 12707 ms
[2026-05-31 13:24:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 1496 labels/synchronizations in 1204 ms.
[2026-05-31 13:24:32] [INFO ] Time to serialize gal into /tmp/CTLFireability6751895189863376435.gal : 8 ms
[2026-05-31 13:24:32] [INFO ] Time to serialize properties into /tmp/CTLFireability10352790820315070035.ctl : 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6751895189863376435.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10352790820315070035.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4.47899e+08,1.9229,48992,322,1840,18417,41909,1261,90051,1046,448932,0
Converting to forward existential form...Done !
original formula: EF(EX((((((u6.p1==1)&&(i2.u2.p6==1))&&((i2.u7.p11==1)&&(i2.u2.p20==1)))&&(((i2.u2.p21==1)&&(i2.u2.p30==1))&&((u6.p41==1)&&(i2.u7.p46==1))...245
=> equivalent forward existential formula: [(EY(FwdU(Init,TRUE)) * (((((u6.p1==1)&&(i2.u2.p6==1))&&((i2.u7.p11==1)&&(i2.u2.p20==1)))&&(((i2.u2.p21==1)&&(i2...297
(forward)formula 0,1,2.19025,49196,1,0,18417,41909,2081,90051,2113,448932,18393
FORMULA ErlangenMainframeV1-PT-aP11C06-CTLFireability-2024-06 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 91/91 places, 70066/70066 transitions.
Applied a total of 0 rules in 289 ms. Remains 91 /91 variables (removed 0) and now considering 70066/70066 (removed 0) transitions.
[2026-05-31 13:24:34] [INFO ] Flow matrix only has 70062 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-14957146138661368959.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7645132593965824997.kers'
[2026-05-31 13:24:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14957146138661368959.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7645132593965824997.kers]
Normalized transition count is 70061 out of 70062 initially.
Culled 0 columns in 306 ms.
// Phase 1: matrix 70061 rows 91 cols 1773156 entries
Finished phase 1 with 60 SingleSign rule and 3 generalized
[2026-05-31 13:24:36] [INFO ] Computed 28 invariants in 1485 ms
Computed 28 P flows in 1485 ms.
Exported basis to /tmp/petrispot-output-7645132593965824997.kers
Total runtime 1761 ms.
[2026-05-31 13:24:38] [INFO ] Implicit Places using invariants in 3909 ms returned []
Implicit Place search using SMT only with invariants took 3910 ms to find 0 implicit places.
Running 70065 sub problems to find dead transitions.
[2026-05-31 13:24:38] [INFO ] Flow matrix only has 70062 transitions (discarded 4 similar events)
[2026-05-31 13:24:38] [INFO ] Invariant cache hit.
[2026-05-31 13:24:39] [INFO ] State equation strengthened by 27 read => feed constraints.
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ErlangenMainframeV1-PT-aP11C06"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is ErlangenMainframeV1-PT-aP11C06, examination is CTLFireability"
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-178021499000018"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV1-PT-aP11C06.tgz
mv ErlangenMainframeV1-PT-aP11C06 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;