About the Execution of ITS-Tools for PolyORBLF-COL-S06J06T08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7812.315 | 781494.00 | 869329.00 | 2220.80 | TFFTFFFTTFFFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r210-smll-177969942100403.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is PolyORBLF-COL-S06J06T08, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-177969942100403
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 8.7K Mar 8 15:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Mar 8 15:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Mar 8 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 8 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.7K Mar 16 08:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 16 08:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 16 08:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 16 08:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Mar 8 15:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Mar 8 15:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 8 15:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Mar 8 15:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 16 08:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 16 08:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 154K Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-00
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-01
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-02
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-03
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-04
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-05
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-06
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-07
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-08
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-09
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-10
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-11
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-12
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-13
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-14
FORMULA_NAME PolyORBLF-COL-S06J06T08-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1780166551970
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S06J06T08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is COL
LTLCardinality COL
Running Version 202604301425
[2026-05-30 18:42:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-30 18:42:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-30 18:42:34] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2026-05-30 18:42:35] [WARNING] Using fallBack plugin, rng conformance not checked
[2026-05-30 18:42:35] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1394 ms
[2026-05-30 18:42:35] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 894 PT places and 14420.0 transition bindings in 39 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 22 ms.
Working with output stream class java.io.PrintStream
[2026-05-30 18:42:35] [INFO ] Built PT skeleton of HLPN with 81 places and 65 transitions 254 arcs in 9 ms.
[2026-05-30 18:42:35] [INFO ] Skeletonized 16 HLPN properties in 2 ms.
Initial state reduction rules removed 3 formulas.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 0 stabilizing places and 0 stable transitions
Remains 13 properties that can be checked using skeleton over-approximation.
Computed a total of 0 stabilizing places and 0 stable transitions
RANDOM walk for 40000 steps (3897 resets) in 1727 ms. (23 steps per ms) remains 21/32 properties
BEST_FIRST walk for 4003 steps (12 resets) in 130 ms. (30 steps per ms) remains 10/21 properties
BEST_FIRST walk for 4001 steps (12 resets) in 118 ms. (33 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4001 steps (12 resets) in 99 ms. (40 steps per ms) remains 10/10 properties
BEST_FIRST walk for 4002 steps (13 resets) in 72 ms. (54 steps per ms) remains 9/10 properties
BEST_FIRST walk for 4000 steps (15 resets) in 70 ms. (56 steps per ms) remains 9/9 properties
BEST_FIRST walk for 4003 steps (10 resets) in 62 ms. (63 steps per ms) remains 9/9 properties
BEST_FIRST walk for 4002 steps (11 resets) in 72 ms. (54 steps per ms) remains 9/9 properties
BEST_FIRST walk for 4003 steps (12 resets) in 53 ms. (74 steps per ms) remains 9/9 properties
BEST_FIRST walk for 4001 steps (16 resets) in 64 ms. (61 steps per ms) remains 9/9 properties
BEST_FIRST walk for 4002 steps (13 resets) in 55 ms. (71 steps per ms) remains 9/9 properties
BEST_FIRST walk for 4002 steps (11 resets) in 47 ms. (83 steps per ms) remains 9/9 properties
[2026-05-30 18:42:36] [INFO ] Flow matrix only has 64 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9487003373143799910.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13439973828239013634.kers'
[2026-05-30 18:42:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9487003373143799910.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13439973828239013634.kers]
Culling duplicate invariants (modulo rational): removing 8 columns.
Culled 8 columns in 0 ms.
// Phase 1: matrix 64 rows 73 cols 204 entries
Finished phase 1 with 43 SingleSign rule and 12 generalized
[2026-05-30 18:42:37] [INFO ] Computed 26 invariants in 0 ms
Computed 26 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-13439973828239013634.kers
Total runtime 3 ms.
[2026-05-30 18:42:37] [INFO ] State equation strengthened by 8 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/10 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp19 is UNSAT
At refinement iteration 1 (OVERLAPS) 5/15 variables, 4/4 constraints. Problems are: Problem set: 3 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/15 variables, 0/4 constraints. Problems are: Problem set: 3 solved, 6 unsolved
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp30 is UNSAT
After SMT solving in domain Real declared 74/145 variables, and 20 constraints, problems are : Problem set: 9 solved, 0 unsolved in 318 ms.
Refiners :[Positive P Invariants (semi-flows): 4/8 constraints, Generalized P Invariants (flows): 16/18 constraints, State Equation: 0/81 constraints, ReadFeed: 0/8 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 404ms problems are : Problem set: 9 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Successfully simplified 9 atomic propositions for a total of 13 simplifications.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-30 18:42:37] [INFO ] Initial state reduction rules for LTL removed 1 formulas.
[2026-05-30 18:42:37] [INFO ] Flatten gal took : 62 ms
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-30 18:42:37] [INFO ] Flatten gal took : 22 ms
Transition T_2315 forces synchronizations/join behavior on parameter t of sort Threads
Transition GoPerformWork forces synchronizations/join behavior on parameter j of sort Jobs
Transition T_0376 forces synchronizations/join behavior on parameter s of sort Sources
[2026-05-30 18:42:38] [INFO ] Unfolded HLPN to a Petri net with 894 places and 14334 transitions 119772 arcs in 622 ms.
[2026-05-30 18:42:38] [INFO ] Unfolded 10 HLPN properties in 12 ms.
Ensure Unique test removed 10760 transitions
Reduce redundant transitions removed 10760 transitions.
Support contains 308 out of 894 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 3574/3574 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 886 transition count 3566
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 886 transition count 3566
Applied a total of 16 rules in 194 ms. Remains 886 /894 variables (removed 8) and now considering 3566/3574 (removed 8) transitions.
Running 3560 sub problems to find dead transitions.
[2026-05-30 18:42:38] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9302708300298221382.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16107828792341451238.kers'
[2026-05-30 18:42:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9302708300298221382.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16107828792341451238.kers]
Culling duplicate invariants (modulo rational): removing 11 columns.
Culled 11 columns in 4 ms.
// Phase 1: matrix 3518 rows 875 cols 20026 entries
Finished phase 1 with 559 SingleSign rule and 265 generalized
[2026-05-30 18:42:38] [INFO ] Computed 62 invariants in 44 ms
Computed 62 P flows in 45 ms.
Exported basis to /tmp/petrispot-output-16107828792341451238.kers
Total runtime 50 ms.
[2026-05-30 18:42:38] [INFO ] State equation strengthened by 224 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/874 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3560 unsolved
SMT process timed out in 26466ms, After SMT, problems are : Problem set: 0 solved, 3560 unsolved
Search for dead transitions found 0 dead transitions in 26540ms
[2026-05-30 18:43:05] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:43:05] [INFO ] Invariant cache hit.
[2026-05-30 18:43:07] [INFO ] Implicit Places using invariants in 2459 ms returned [700, 701, 702, 703, 704, 705, 706, 707]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 2504 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 878/894 places, 3566/3574 transitions.
Applied a total of 0 rules in 52 ms. Remains 878 /878 variables (removed 0) and now considering 3566/3566 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 29375 ms. Remains : 878/894 places, 3566/3574 transitions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Applied a total of 0 rules in 53 ms. Remains 878 /878 variables (removed 0) and now considering 3566/3566 (removed 0) transitions.
Running 3560 sub problems to find dead transitions.
[2026-05-30 18:43:07] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6021807440354280314.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15601973865096632601.kers'
[2026-05-30 18:43:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6021807440354280314.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15601973865096632601.kers]
Culling duplicate invariants (modulo rational): removing 11 columns.
Culled 11 columns in 6 ms.
// Phase 1: matrix 3518 rows 867 cols 20010 entries
Finished phase 1 with 566 SingleSign rule and 258 generalized
[2026-05-30 18:43:08] [INFO ] Computed 54 invariants in 65 ms
Computed 54 P flows in 66 ms.
Exported basis to /tmp/petrispot-output-15601973865096632601.kers
Total runtime 73 ms.
[2026-05-30 18:43:08] [INFO ] State equation strengthened by 224 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/866 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3560 unsolved
SMT process timed out in 25287ms, After SMT, problems are : Problem set: 0 solved, 3560 unsolved
Search for dead transitions found 0 dead transitions in 25312ms
[2026-05-30 18:43:33] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:43:33] [INFO ] Invariant cache hit.
[2026-05-30 18:43:35] [INFO ] Implicit Places using invariants in 2085 ms returned []
[2026-05-30 18:43:35] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:43:35] [INFO ] Invariant cache hit.
[2026-05-30 18:43:39] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:44:10] [INFO ] Performed 696/878 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:44:19] [INFO ] Implicit Places using invariants and state equation in 43863 ms returned []
Implicit Place search using SMT with State Equation took 45969 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 71357 ms. Remains : 878/878 places, 3566/3566 transitions.
Support contains 308 out of 878 places after structural reductions.
[2026-05-30 18:44:19] [INFO ] Flatten gal took : 447 ms
[2026-05-30 18:44:20] [INFO ] Flatten gal took : 296 ms
[2026-05-30 18:44:20] [INFO ] Input system was already deterministic with 3566 transitions.
RANDOM walk for 40000 steps (216 resets) in 1136 ms. (35 steps per ms) remains 3/23 properties
BEST_FIRST walk for 40002 steps (96 resets) in 330 ms. (120 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40001 steps (15 resets) in 219 ms. (181 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (101 resets) in 265 ms. (150 steps per ms) remains 3/3 properties
[2026-05-30 18:44:21] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:44:21] [INFO ] Invariant cache hit.
[2026-05-30 18:44:21] [INFO ] State equation strengthened by 224 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/11 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Problem AtomicPropp13 is UNSAT
At refinement iteration 1 (OVERLAPS) 2/13 variables, 2/2 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/13 variables, 0/2 constraints. Problems are: Problem set: 1 solved, 2 unsolved
Problem AtomicPropp9 is UNSAT
At refinement iteration 3 (OVERLAPS) 697/710 variables, 11/13 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/710 variables, 0/13 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 127/837 variables, 15/28 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/837 variables, 0/28 constraints. Problems are: Problem set: 2 solved, 1 unsolved
Problem AtomicPropp20 is UNSAT
After SMT solving in domain Real declared 876/4396 variables, and 53 constraints, problems are : Problem set: 3 solved, 0 unsolved in 563 ms.
Refiners :[Positive P Invariants (semi-flows): 17/18 constraints, Generalized P Invariants (flows): 36/36 constraints, State Equation: 0/878 constraints, ReadFeed: 0/224 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 616ms problems are : Problem set: 3 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-02 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Successfully simplified 3 atomic propositions for a total of 9 simplifications.
Computed a total of 0 stabilizing places and 0 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((p0&&((G(p0) U G((p1||X(p2)))) U !p2))))'
Support contains 40 out of 878 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 872 transition count 3566
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 14 place count 864 transition count 3558
Iterating global reduction 1 with 8 rules applied. Total rules applied 22 place count 864 transition count 3558
Applied a total of 22 rules in 198 ms. Remains 864 /878 variables (removed 14) and now considering 3558/3566 (removed 8) transitions.
Running 3552 sub problems to find dead transitions.
[2026-05-30 18:44:22] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17032991847469578020.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17300617733181266211.kers'
[2026-05-30 18:44:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17032991847469578020.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17300617733181266211.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 6 ms.
// Phase 1: matrix 3510 rows 859 cols 19994 entries
Finished phase 1 with 558 SingleSign rule and 258 generalized
[2026-05-30 18:44:22] [INFO ] Computed 48 invariants in 65 ms
Computed 48 P flows in 66 ms.
Exported basis to /tmp/petrispot-output-17300617733181266211.kers
Total runtime 72 ms.
[2026-05-30 18:44:23] [INFO ] State equation strengthened by 224 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/858 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3552 unsolved
SMT process timed out in 25421ms, After SMT, problems are : Problem set: 0 solved, 3552 unsolved
Search for dead transitions found 0 dead transitions in 25445ms
[2026-05-30 18:44:48] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:44:48] [INFO ] Invariant cache hit.
[2026-05-30 18:44:50] [INFO ] Implicit Places using invariants in 2441 ms returned []
[2026-05-30 18:44:50] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:44:50] [INFO ] Invariant cache hit.
[2026-05-30 18:44:53] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:45:24] [INFO ] Performed 418/864 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:45:49] [INFO ] Implicit Places using invariants and state equation in 58576 ms returned []
Implicit Place search using SMT with State Equation took 61021 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 864/878 places, 3558/3566 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 86701 ms. Remains : 864/878 places, 3558/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((p0&&((G(p0) U G((p1||X(p2)))) U !p2))))'
Stuttering acceptance computed with spot in 711 ms :[(OR (NOT p0) p2), (OR (NOT p0) p2), true, p2, (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p1) (NOT p2)), (NOT p0)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-00
Product exploration explored 100000 steps with 50000 reset in 2889 ms.
Product exploration explored 100000 steps with 50000 reset in 2094 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 18 factoid took 26 ms. Proved property starting from automaton with 9 states, 24 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 86 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-00 TRUE TECHNIQUES KNOWLEDGE
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-00 finished in 92685 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((p0 U p1)))'
Support contains 25 out of 878 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 40 transitions
Trivial Post-agglo rules discarded 40 transitions
Performed 40 trivial Post agglomeration. Transition count delta: 40
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 872 transition count 3526
Reduce places removed 40 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 48 rules applied. Total rules applied 88 place count 832 transition count 3518
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 96 place count 824 transition count 3518
Performed 112 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 112 Pre rules applied. Total rules applied 96 place count 824 transition count 3406
Deduced a syphon composed of 112 places in 5 ms
Reduce places removed 112 places and 0 transitions.
Iterating global reduction 3 with 224 rules applied. Total rules applied 320 place count 712 transition count 3406
Performed 88 Post agglomeration using F-continuation condition.Transition count delta: 88
Deduced a syphon composed of 88 places in 4 ms
Reduce places removed 88 places and 0 transitions.
Iterating global reduction 3 with 176 rules applied. Total rules applied 496 place count 624 transition count 3318
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 504 place count 616 transition count 3310
Iterating global reduction 3 with 8 rules applied. Total rules applied 512 place count 616 transition count 3310
Applied a total of 512 rules in 683 ms. Remains 616 /878 variables (removed 262) and now considering 3310/3566 (removed 256) transitions.
Running 3304 sub problems to find dead transitions.
[2026-05-30 18:45:55] [INFO ] Flow matrix only has 3262 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15554700819434204715.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18124017393193314618.kers'
[2026-05-30 18:45:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15554700819434204715.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18124017393193314618.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 6 ms.
// Phase 1: matrix 3262 rows 611 cols 19770 entries
Finished phase 1 with 312 SingleSign rule and 256 generalized
[2026-05-30 18:45:55] [INFO ] Computed 48 invariants in 59 ms
Computed 48 P flows in 60 ms.
Exported basis to /tmp/petrispot-output-18124017393193314618.kers
Total runtime 67 ms.
[2026-05-30 18:45:56] [INFO ] State equation strengthened by 224 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/610 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3304 unsolved
SMT process timed out in 25124ms, After SMT, problems are : Problem set: 0 solved, 3304 unsolved
Search for dead transitions found 0 dead transitions in 25147ms
[2026-05-30 18:46:21] [INFO ] Flow matrix only has 3262 transitions (discarded 48 similar events)
[2026-05-30 18:46:21] [INFO ] Invariant cache hit.
[2026-05-30 18:46:23] [INFO ] Implicit Places using invariants in 2556 ms returned []
[2026-05-30 18:46:23] [INFO ] Flow matrix only has 3262 transitions (discarded 48 similar events)
[2026-05-30 18:46:23] [INFO ] Invariant cache hit.
[2026-05-30 18:46:27] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:46:57] [INFO ] Performed 565/616 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:46:59] [INFO ] Implicit Places using invariants and state equation in 35503 ms returned []
Implicit Place search using SMT with State Equation took 38062 ms to find 0 implicit places.
[2026-05-30 18:46:59] [INFO ] Redundant transitions in 384 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 616/878 places, 3310/3566 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 64313 ms. Remains : 616/878 places, 3310/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((p0 U p1)))'
Stuttering acceptance computed with spot in 94 ms :[(NOT p1), true, (NOT p1)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-04
Entered a terminal (fully accepting) state of product in 31 steps with 0 reset in 2 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-04 finished in 64463 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F((F(p0)&&G(p1)))))'
Support contains 64 out of 878 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 872 transition count 3566
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 14 place count 864 transition count 3558
Iterating global reduction 1 with 8 rules applied. Total rules applied 22 place count 864 transition count 3558
Applied a total of 22 rules in 92 ms. Remains 864 /878 variables (removed 14) and now considering 3558/3566 (removed 8) transitions.
Running 3552 sub problems to find dead transitions.
[2026-05-30 18:46:59] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9656506296672072014.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13537188183469546724.kers'
[2026-05-30 18:46:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9656506296672072014.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13537188183469546724.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 3 ms.
// Phase 1: matrix 3510 rows 859 cols 19994 entries
Finished phase 1 with 558 SingleSign rule and 258 generalized
[2026-05-30 18:46:59] [INFO ] Computed 48 invariants in 39 ms
Computed 48 P flows in 40 ms.
Exported basis to /tmp/petrispot-output-13537188183469546724.kers
Total runtime 44 ms.
[2026-05-30 18:46:59] [INFO ] State equation strengthened by 224 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/858 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3552 unsolved
SMT process timed out in 25453ms, After SMT, problems are : Problem set: 0 solved, 3552 unsolved
Search for dead transitions found 0 dead transitions in 25469ms
[2026-05-30 18:47:25] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:47:25] [INFO ] Invariant cache hit.
[2026-05-30 18:47:28] [INFO ] Implicit Places using invariants in 2840 ms returned []
[2026-05-30 18:47:28] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:47:28] [INFO ] Invariant cache hit.
[2026-05-30 18:47:30] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:48:00] [INFO ] Performed 299/864 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:48:17] [INFO ] Implicit Places using invariants and state equation in 49836 ms returned []
Implicit Place search using SMT with State Equation took 52678 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 864/878 places, 3558/3566 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 78252 ms. Remains : 864/878 places, 3558/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F((F(p0)&&G(p1)))))'
Stuttering acceptance computed with spot in 174 ms :[(OR (NOT p1) (NOT p0)), (OR (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-05
Stuttering criterion allowed to conclude after 8 steps with 0 reset in 1 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-05 finished in 78479 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((F(p0) U (X(F(X(p1))) U p2))))'
Support contains 19 out of 878 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 872 transition count 3566
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 14 place count 864 transition count 3558
Iterating global reduction 1 with 8 rules applied. Total rules applied 22 place count 864 transition count 3558
Applied a total of 22 rules in 146 ms. Remains 864 /878 variables (removed 14) and now considering 3558/3566 (removed 8) transitions.
Skipped dead transition search.
[2026-05-30 18:48:18] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:48:18] [INFO ] Invariant cache hit.
[2026-05-30 18:48:21] [INFO ] Implicit Places using invariants in 3261 ms returned []
[2026-05-30 18:48:21] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:48:21] [INFO ] Invariant cache hit.
[2026-05-30 18:48:24] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:48:54] [INFO ] Performed 507/864 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:49:15] [INFO ] Implicit Places using invariants and state equation in 53998 ms returned []
Implicit Place search using SMT with State Equation took 57260 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 864/878 places, 3558/3566 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 57407 ms. Remains : 864/878 places, 3558/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((F(p0) U (X(F(X(p1))) U p2))))'
Stuttering acceptance computed with spot in 219 ms :[(NOT p2), (NOT p2), (AND (NOT p0) (NOT p1)), (OR (NOT p2) (AND (NOT p0) (NOT p1)))]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-08
Product exploration explored 100000 steps with 50000 reset in 2220 ms.
Product exploration explored 100000 steps with 50000 reset in 1802 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 10 factoid took 13 ms. Proved property starting from automaton with 4 states, 7 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 28 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-08 TRUE TECHNIQUES KNOWLEDGE
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-08 finished in 61757 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(p0)))'
Support contains 57 out of 878 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 872 transition count 3566
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 14 place count 864 transition count 3558
Iterating global reduction 1 with 8 rules applied. Total rules applied 22 place count 864 transition count 3558
Applied a total of 22 rules in 76 ms. Remains 864 /878 variables (removed 14) and now considering 3558/3566 (removed 8) transitions.
Skipped dead transition search.
[2026-05-30 18:49:19] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:49:19] [INFO ] Invariant cache hit.
[2026-05-30 18:49:22] [INFO ] Implicit Places using invariants in 2519 ms returned []
[2026-05-30 18:49:22] [INFO ] Flow matrix only has 3510 transitions (discarded 48 similar events)
[2026-05-30 18:49:22] [INFO ] Invariant cache hit.
[2026-05-30 18:49:25] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:49:55] [INFO ] Performed 402/864 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:50:22] [INFO ] Implicit Places using invariants and state equation in 60076 ms returned []
Implicit Place search using SMT with State Equation took 62603 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 864/878 places, 3558/3566 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 62681 ms. Remains : 864/878 places, 3558/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(p0)))'
Stuttering acceptance computed with spot in 79 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-09
Entered a terminal (fully accepting) state of product in 8 steps with 0 reset in 0 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-09 finished in 62794 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 48 out of 878 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 872 transition count 3510
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 1 with 56 rules applied. Total rules applied 112 place count 816 transition count 3510
Performed 112 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 112 Pre rules applied. Total rules applied 112 place count 816 transition count 3398
Deduced a syphon composed of 112 places in 2 ms
Reduce places removed 112 places and 0 transitions.
Iterating global reduction 2 with 224 rules applied. Total rules applied 336 place count 704 transition count 3398
Performed 104 Post agglomeration using F-continuation condition.Transition count delta: 104
Deduced a syphon composed of 104 places in 2 ms
Reduce places removed 104 places and 0 transitions.
Iterating global reduction 2 with 208 rules applied. Total rules applied 544 place count 600 transition count 3294
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 552 place count 592 transition count 3286
Iterating global reduction 2 with 8 rules applied. Total rules applied 560 place count 592 transition count 3286
Applied a total of 560 rules in 240 ms. Remains 592 /878 variables (removed 286) and now considering 3286/3566 (removed 280) transitions.
Running 3280 sub problems to find dead transitions.
[2026-05-30 18:50:22] [INFO ] Flow matrix only has 3238 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-371859294027005617.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18098133580531243507.kers'
[2026-05-30 18:50:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-371859294027005617.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18098133580531243507.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 3 ms.
// Phase 1: matrix 3238 rows 587 cols 19730 entries
Finished phase 1 with 288 SingleSign rule and 256 generalized
[2026-05-30 18:50:22] [INFO ] Computed 48 invariants in 37 ms
Computed 48 P flows in 52 ms.
Exported basis to /tmp/petrispot-output-18098133580531243507.kers
Total runtime 57 ms.
[2026-05-30 18:50:23] [INFO ] State equation strengthened by 224 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/586 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3280 unsolved
SMT process timed out in 24843ms, After SMT, problems are : Problem set: 0 solved, 3280 unsolved
Search for dead transitions found 0 dead transitions in 24855ms
[2026-05-30 18:50:47] [INFO ] Flow matrix only has 3238 transitions (discarded 48 similar events)
[2026-05-30 18:50:47] [INFO ] Invariant cache hit.
[2026-05-30 18:50:50] [INFO ] Implicit Places using invariants in 2509 ms returned []
[2026-05-30 18:50:50] [INFO ] Flow matrix only has 3238 transitions (discarded 48 similar events)
[2026-05-30 18:50:50] [INFO ] Invariant cache hit.
[2026-05-30 18:50:54] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:51:24] [INFO ] Performed 523/592 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:51:27] [INFO ] Implicit Places using invariants and state equation in 37317 ms returned []
Implicit Place search using SMT with State Equation took 39831 ms to find 0 implicit places.
[2026-05-30 18:51:28] [INFO ] Redundant transitions in 430 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 592/878 places, 3286/3566 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 65374 ms. Remains : 592/878 places, 3286/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Stuttering acceptance computed with spot in 58 ms :[(NOT p0)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-11
Product exploration explored 100000 steps with 1017 reset in 1582 ms.
Product exploration explored 100000 steps with 1110 reset in 1263 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 70 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 1098 steps (7 resets) in 31 ms. (34 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 83 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 64 ms :[(NOT p0)]
Knowledge-based reduction took 273 ms.
Stuttering acceptance computed with spot in 48 ms :[(NOT p0)]
Support contains 48 out of 592 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 592/592 places, 3286/3286 transitions.
Applied a total of 0 rules in 67 ms. Remains 592 /592 variables (removed 0) and now considering 3286/3286 (removed 0) transitions.
Skipped dead transition search.
[2026-05-30 18:51:31] [INFO ] Flow matrix only has 3238 transitions (discarded 48 similar events)
[2026-05-30 18:51:31] [INFO ] Invariant cache hit.
[2026-05-30 18:51:32] [INFO ] Implicit Places using invariants in 1507 ms returned []
[2026-05-30 18:51:32] [INFO ] Flow matrix only has 3238 transitions (discarded 48 similar events)
[2026-05-30 18:51:32] [INFO ] Invariant cache hit.
[2026-05-30 18:51:37] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:52:07] [INFO ] Performed 500/592 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:52:11] [INFO ] Implicit Places using invariants and state equation in 38664 ms returned []
Implicit Place search using SMT with State Equation took 40180 ms to find 0 implicit places.
[2026-05-30 18:52:11] [INFO ] Redundant transitions in 205 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 40462 ms. Remains : 592/592 places, 3286/3286 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 76 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 1305 steps (10 resets) in 32 ms. (39 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 82 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 54 ms :[(NOT p0)]
Knowledge-based reduction took 259 ms.
Stuttering acceptance computed with spot in 47 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 46 ms :[(NOT p0)]
Product exploration explored 100000 steps with 1020 reset in 1569 ms.
Stuttering criterion allowed to conclude after 68215 steps with 737 reset in 826 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-11 finished in 111904 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X(((F(p0) U X(p1))&&F(p2))) U (p0&&X(((F(p0) U X(p1))&&F(p2)))))))'
Support contains 32 out of 878 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 872 transition count 3566
Applied a total of 6 rules in 50 ms. Remains 872 /878 variables (removed 6) and now considering 3566/3566 (removed 0) transitions.
Running 3560 sub problems to find dead transitions.
[2026-05-30 18:52:14] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-279822666621852633.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15059885427022283067.kers'
[2026-05-30 18:52:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-279822666621852633.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15059885427022283067.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 4 ms.
// Phase 1: matrix 3518 rows 867 cols 20010 entries
Finished phase 1 with 566 SingleSign rule and 258 generalized
[2026-05-30 18:52:14] [INFO ] Computed 48 invariants in 40 ms
Computed 48 P flows in 40 ms.
Exported basis to /tmp/petrispot-output-15059885427022283067.kers
Total runtime 45 ms.
[2026-05-30 18:52:14] [INFO ] State equation strengthened by 224 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/866 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 3560 unsolved
SMT process timed out in 25089ms, After SMT, problems are : Problem set: 0 solved, 3560 unsolved
Search for dead transitions found 0 dead transitions in 25099ms
[2026-05-30 18:52:39] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:52:39] [INFO ] Invariant cache hit.
[2026-05-30 18:52:42] [INFO ] Implicit Places using invariants in 2756 ms returned []
[2026-05-30 18:52:42] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:52:42] [INFO ] Invariant cache hit.
[2026-05-30 18:52:45] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:53:15] [INFO ] Performed 378/872 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:53:33] [INFO ] Implicit Places using invariants and state equation in 51262 ms returned []
Implicit Place search using SMT with State Equation took 54024 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 872/878 places, 3566/3566 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 79181 ms. Remains : 872/878 places, 3566/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X(((F(p0) U X(p1))&&F(p2))) U (p0&&X(((F(p0) U X(p1))&&F(p2)))))))'
Stuttering acceptance computed with spot in 301 ms :[(OR (NOT p0) (NOT p2) (NOT p1)), (OR (NOT p0) (NOT p2) (NOT p1)), (OR (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p1), (NOT p0)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-12
Stuttering criterion allowed to conclude after 604 steps with 5 reset in 9 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-12 finished in 79559 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0||X((X(p1) U (p0&&X(p1))))))))'
Support contains 25 out of 878 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 872 transition count 3566
Applied a total of 6 rules in 85 ms. Remains 872 /878 variables (removed 6) and now considering 3566/3566 (removed 0) transitions.
Skipped dead transition search.
[2026-05-30 18:53:34] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:53:34] [INFO ] Invariant cache hit.
[2026-05-30 18:53:36] [INFO ] Implicit Places using invariants in 2230 ms returned []
[2026-05-30 18:53:36] [INFO ] Flow matrix only has 3518 transitions (discarded 48 similar events)
[2026-05-30 18:53:36] [INFO ] Invariant cache hit.
[2026-05-30 18:53:39] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:54:09] [INFO ] Performed 295/872 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:54:31] [INFO ] Implicit Places using invariants and state equation in 55169 ms returned []
Implicit Place search using SMT with State Equation took 57402 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 872/878 places, 3566/3566 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 57488 ms. Remains : 872/878 places, 3566/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0||X((X(p1) U (p0&&X(p1))))))))'
Stuttering acceptance computed with spot in 160 ms :[(NOT p0), (NOT p0), (OR (NOT p1) (NOT p0)), (NOT p1), true]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-13
Entered a terminal (fully accepting) state of product in 53597 steps with 2933 reset in 733 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-13 finished in 58430 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(!p0)&&F(G(p1)))))'
Support contains 64 out of 878 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 878/878 places, 3566/3566 transitions.
Ensure Unique test removed 6 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 0 with 48 rules applied. Total rules applied 48 place count 872 transition count 3518
Reduce places removed 48 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 56 rules applied. Total rules applied 104 place count 824 transition count 3510
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 112 place count 816 transition count 3510
Performed 112 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 112 Pre rules applied. Total rules applied 112 place count 816 transition count 3398
Deduced a syphon composed of 112 places in 2 ms
Reduce places removed 112 places and 0 transitions.
Iterating global reduction 3 with 224 rules applied. Total rules applied 336 place count 704 transition count 3398
Performed 96 Post agglomeration using F-continuation condition.Transition count delta: 96
Deduced a syphon composed of 96 places in 2 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 3 with 192 rules applied. Total rules applied 528 place count 608 transition count 3302
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 536 place count 600 transition count 3294
Iterating global reduction 3 with 8 rules applied. Total rules applied 544 place count 600 transition count 3294
Applied a total of 544 rules in 238 ms. Remains 600 /878 variables (removed 278) and now considering 3294/3566 (removed 272) transitions.
Running 3288 sub problems to find dead transitions.
[2026-05-30 18:54:32] [INFO ] Flow matrix only has 3246 transitions (discarded 48 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-482579337825804158.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3599517180256534634.kers'
[2026-05-30 18:54:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-482579337825804158.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3599517180256534634.kers]
Culling duplicate invariants (modulo rational): removing 5 columns.
Culled 5 columns in 4 ms.
// Phase 1: matrix 3246 rows 595 cols 19586 entries
Finished phase 1 with 286 SingleSign rule and 266 generalized
[2026-05-30 18:54:32] [INFO ] Computed 48 invariants in 33 ms
Computed 48 P flows in 37 ms.
Exported basis to /tmp/petrispot-output-3599517180256534634.kers
Total runtime 41 ms.
[2026-05-30 18:54:32] [INFO ] State equation strengthened by 224 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/594 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 3288 unsolved
SMT process timed out in 24532ms, After SMT, problems are : Problem set: 0 solved, 3288 unsolved
Search for dead transitions found 0 dead transitions in 24542ms
[2026-05-30 18:54:57] [INFO ] Flow matrix only has 3246 transitions (discarded 48 similar events)
[2026-05-30 18:54:57] [INFO ] Invariant cache hit.
[2026-05-30 18:54:59] [INFO ] Implicit Places using invariants in 2184 ms returned []
[2026-05-30 18:54:59] [INFO ] Flow matrix only has 3246 transitions (discarded 48 similar events)
[2026-05-30 18:54:59] [INFO ] Invariant cache hit.
[2026-05-30 18:55:02] [INFO ] State equation strengthened by 224 read => feed constraints.
[2026-05-30 18:55:33] [INFO ] Performed 551/600 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-30 18:55:33] [INFO ] Implicit Places using invariants and state equation in 33491 ms returned []
Implicit Place search using SMT with State Equation took 35678 ms to find 0 implicit places.
[2026-05-30 18:55:33] [INFO ] Redundant transitions in 163 ms returned []
Skipped dead transition search.
Starting structural reductions in SI_LTL mode, iteration 1 : 600/878 places, 3294/3566 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 60637 ms. Remains : 600/878 places, 3294/3566 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Stuttering acceptance computed with spot in 124 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : PolyORBLF-COL-S06J06T08-LTLCardinality-15
Stuttering criterion allowed to conclude after 206 steps with 0 reset in 3 ms.
FORMULA PolyORBLF-COL-S06J06T08-LTLCardinality-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property PolyORBLF-COL-S06J06T08-LTLCardinality-15 finished in 60803 ms.
All properties solved by simple procedures.
Total runtime 779345 ms.
BK_STOP 1780167333464
--------------------
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S06J06T08"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is PolyORBLF-COL-S06J06T08, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r210-smll-177969942100403"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J06T08.tgz
mv PolyORBLF-COL-S06J06T08 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;