About the Execution of ITS-Tools for FlexibleBarrier-PT-14b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16193.636 | 3600000.00 | 3688702.00 | 95625.90 | F????????T?????T | 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.r130-smll-177955809100394.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 FlexibleBarrier-PT-14b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-177955809100394
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.8K Mar 7 06:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Mar 7 06:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Mar 7 06:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Mar 7 06:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 10:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 15 10:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 10:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Mar 7 06:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 7 06:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 7 06:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Mar 7 06:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 10:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 15 10:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 726K 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 FlexibleBarrier-PT-14b-CTLFireability-2024-00
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-01
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-02
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-03
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-04
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-05
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-06
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-07
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-08
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-09
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-10
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-11
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-12
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-13
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-14
FORMULA_NAME FlexibleBarrier-PT-14b-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779899237902
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-14b
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-27 16:27:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-27 16:27:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-27 16:27:20] [INFO ] Load time of PNML (sax parser for PT used): 333 ms
[2026-05-27 16:27:20] [INFO ] Transformed 2678 places.
[2026-05-27 16:27:20] [INFO ] Transformed 3085 transitions.
[2026-05-27 16:27:20] [INFO ] Found NUPN structural information;
[2026-05-27 16:27:20] [INFO ] Parsed PT model containing 2678 places and 3085 transitions and 7733 arcs in 508 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 17 ms.
Support contains 117 out of 2678 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2678/2678 places, 3085/3085 transitions.
Discarding 1044 places :
Symmetric choice reduction at 0 with 1044 rule applications. Total rules 1044 place count 1634 transition count 2041
Iterating global reduction 0 with 1044 rules applied. Total rules applied 2088 place count 1634 transition count 2041
Discarding 477 places :
Symmetric choice reduction at 0 with 477 rule applications. Total rules 2565 place count 1157 transition count 1564
Iterating global reduction 0 with 477 rules applied. Total rules applied 3042 place count 1157 transition count 1564
Discarding 282 places :
Symmetric choice reduction at 0 with 282 rule applications. Total rules 3324 place count 875 transition count 1282
Iterating global reduction 0 with 282 rules applied. Total rules applied 3606 place count 875 transition count 1282
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 121 transitions.
Iterating post reduction 0 with 121 rules applied. Total rules applied 3727 place count 875 transition count 1161
Applied a total of 3727 rules in 719 ms. Remains 875 /2678 variables (removed 1803) and now considering 1161/3085 (removed 1924) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7110250042037188123.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12454652143797110175.kers'
[2026-05-27 16:27:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7110250042037188123.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12454652143797110175.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1161 rows 875 cols 3401 entries
Finished phase 1 with 859 SingleSign rule and 0 generalized
[2026-05-27 16:27:21] [INFO ] Computed 16 invariants in 7 ms
Computed 16 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-12454652143797110175.kers
Total runtime 11 ms.
[2026-05-27 16:27:23] [INFO ] Implicit Places using invariants in 2020 ms returned []
[2026-05-27 16:27:23] [INFO ] Invariant cache hit.
[2026-05-27 16:27:24] [INFO ] Implicit Places using invariants and state equation in 1550 ms returned []
Implicit Place search using SMT with State Equation took 3626 ms to find 0 implicit places.
Running 1160 sub problems to find dead transitions.
[2026-05-27 16:27:24] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 874/2036 variables, and 0 constraints, problems are : Problem set: 0 solved, 1160 unsolved in 30093 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/875 constraints, PredecessorRefiner: 1160/1160 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1160 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 874/2036 variables, and 0 constraints, problems are : Problem set: 0 solved, 1160 unsolved in 30060 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/875 constraints, PredecessorRefiner: 0/1160 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61161ms problems are : Problem set: 0 solved, 1160 unsolved
Search for dead transitions found 0 dead transitions in 61195ms
Starting structural reductions in LTL mode, iteration 1 : 875/2678 places, 1161/3085 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 65606 ms. Remains : 875/2678 places, 1161/3085 transitions.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Applied a total of 0 rules in 89 ms. Remains 875 /875 variables (removed 0) and now considering 1161/1161 (removed 0) transitions.
[2026-05-27 16:28:26] [INFO ] Invariant cache hit.
[2026-05-27 16:28:27] [INFO ] Implicit Places using invariants in 1090 ms returned []
[2026-05-27 16:28:27] [INFO ] Invariant cache hit.
[2026-05-27 16:28:29] [INFO ] Implicit Places using invariants and state equation in 1850 ms returned []
Implicit Place search using SMT with State Equation took 2945 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 3036 ms. Remains : 875/875 places, 1161/1161 transitions.
Support contains 117 out of 875 places after structural reductions.
[2026-05-27 16:28:29] [INFO ] Flatten gal took : 216 ms
[2026-05-27 16:28:29] [INFO ] Flatten gal took : 122 ms
[2026-05-27 16:28:30] [INFO ] Input system was already deterministic with 1161 transitions.
Support contains 116 out of 875 places (down from 117) after GAL structural reductions.
RANDOM walk for 40000 steps (401 resets) in 3555 ms. (11 steps per ms) remains 58/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 18 ms. (210 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (8 resets) in 12 ms. (307 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 14 ms. (266 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (8 resets) in 10 ms. (363 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 13 ms. (285 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (8 resets) in 10 ms. (363 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9 ms. (400 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 58/58 properties
[2026-05-27 16:28:31] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 58 unsolved
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp26 is UNSAT
At refinement iteration 1 (OVERLAPS) 775/875 variables, 16/16 constraints. Problems are: Problem set: 2 solved, 56 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/875 variables, 1/17 constraints. Problems are: Problem set: 2 solved, 56 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/875 variables, 0/17 constraints. Problems are: Problem set: 2 solved, 56 unsolved
At refinement iteration 4 (OVERLAPS) 1161/2036 variables, 875/892 constraints. Problems are: Problem set: 2 solved, 56 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2036/2036 variables, and 892 constraints, problems are : Problem set: 2 solved, 56 unsolved in 5010 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 875/875 constraints, PredecessorRefiner: 58/58 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 2 solved, 56 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/93 variables, 0/0 constraints. Problems are: Problem set: 2 solved, 56 unsolved
At refinement iteration 1 (OVERLAPS) 782/875 variables, 16/16 constraints. Problems are: Problem set: 2 solved, 56 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/875 variables, 1/17 constraints. Problems are: Problem set: 2 solved, 56 unsolved
SMT process timed out in 10164ms, After SMT, problems are : Problem set: 2 solved, 56 unsolved
Fused 56 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 93 out of 875 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Graph (trivial) has 503 edges and 875 vertex of which 67 / 875 are part of one of the 11 SCC in 11 ms
Free SCC test removed 56 places
Drop transitions (Empty/Sink Transition effects.) removed 68 transitions
Reduce isomorphic transitions removed 68 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 59 place count 819 transition count 1035
Reduce places removed 58 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 59 rules applied. Total rules applied 118 place count 761 transition count 1034
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 119 place count 760 transition count 1034
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 36 Pre rules applied. Total rules applied 119 place count 760 transition count 998
Deduced a syphon composed of 36 places in 2 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 3 with 72 rules applied. Total rules applied 191 place count 724 transition count 998
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 222 place count 693 transition count 967
Iterating global reduction 3 with 31 rules applied. Total rules applied 253 place count 693 transition count 967
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 254 place count 693 transition count 966
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 264 place count 683 transition count 956
Iterating global reduction 4 with 10 rules applied. Total rules applied 274 place count 683 transition count 956
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 278 place count 683 transition count 952
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 97
Deduced a syphon composed of 97 places in 1 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 5 with 194 rules applied. Total rules applied 472 place count 586 transition count 855
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 474 place count 584 transition count 853
Iterating global reduction 5 with 2 rules applied. Total rules applied 476 place count 584 transition count 853
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 478 place count 584 transition count 851
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 6 with 6 rules applied. Total rules applied 484 place count 581 transition count 851
Free-agglomeration rule applied 171 times.
Iterating global reduction 6 with 171 rules applied. Total rules applied 655 place count 581 transition count 680
Reduce places removed 171 places and 0 transitions.
Iterating post reduction 6 with 171 rules applied. Total rules applied 826 place count 410 transition count 680
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 829 place count 407 transition count 677
Iterating global reduction 7 with 3 rules applied. Total rules applied 832 place count 407 transition count 677
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 835 place count 407 transition count 674
Drop transitions (Redundant composition of simpler transitions.) removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 8 with 12 rules applied. Total rules applied 847 place count 407 transition count 662
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 8 with 2 rules applied. Total rules applied 849 place count 407 transition count 662
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 850 place count 406 transition count 661
Applied a total of 850 rules in 680 ms. Remains 406 /875 variables (removed 469) and now considering 661/1161 (removed 500) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 680 ms. Remains : 406/875 places, 661/1161 transitions.
RANDOM walk for 40000 steps (1064 resets) in 1492 ms. (26 steps per ms) remains 37/56 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9 ms. (400 steps per ms) remains 36/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7 ms. (500 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10 ms. (363 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7 ms. (500 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 35/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 34/35 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 33/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 33/33 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 33/33 properties
[2026-05-27 16:28:42] [INFO ] Flow matrix only has 642 transitions (discarded 19 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10504504635628049528.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9519537774617033960.kers'
[2026-05-27 16:28:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10504504635628049528.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9519537774617033960.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 642 rows 406 cols 1932 entries
Finished phase 1 with 390 SingleSign rule and 0 generalized
[2026-05-27 16:28:42] [INFO ] Computed 16 invariants in 3 ms
Computed 16 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-9519537774617033960.kers
Total runtime 5 ms.
[2026-05-27 16:28:42] [INFO ] State equation strengthened by 1 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/49 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 1 (OVERLAPS) 342/391 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/391 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 3 (OVERLAPS) 639/1030 variables, 391/405 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1030 variables, 1/406 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1030 variables, 2/408 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1030 variables, 0/408 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 7 (OVERLAPS) 18/1048 variables, 15/423 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1048 variables, 2/425 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1048 variables, 0/425 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 10 (OVERLAPS) 0/1048 variables, 0/425 constraints. Problems are: Problem set: 0 solved, 33 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1048/1048 variables, and 425 constraints, problems are : Problem set: 0 solved, 33 unsolved in 4983 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 406/406 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 33/33 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 33 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/49 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 1 (OVERLAPS) 342/391 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/391 variables, 2/16 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/391 variables, 9/25 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/391 variables, 0/25 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 5 (OVERLAPS) 639/1030 variables, 391/416 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1030 variables, 1/417 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1030 variables, 28/445 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1030 variables, 1/446 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1030 variables, 0/446 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 10 (OVERLAPS) 18/1048 variables, 15/461 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1048 variables, 2/463 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1048 variables, 5/468 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1048 variables, 0/468 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 14 (OVERLAPS) 0/1048 variables, 2/470 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1048 variables, 0/470 constraints. Problems are: Problem set: 0 solved, 33 unsolved
At refinement iteration 16 (OVERLAPS) 0/1048 variables, 0/470 constraints. Problems are: Problem set: 0 solved, 33 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1048/1048 variables, and 470 constraints, problems are : Problem set: 0 solved, 33 unsolved in 24333 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 406/406 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 33/33 constraints, Known Traps: 14/14 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 29353ms problems are : Problem set: 0 solved, 33 unsolved
Parikh walk visited 22 properties in 4101 ms.
Support contains 28 out of 406 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 406/406 places, 661/661 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 406 transition count 651
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 396 transition count 651
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 20 place count 396 transition count 646
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 30 place count 391 transition count 646
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 49 place count 372 transition count 627
Iterating global reduction 2 with 19 rules applied. Total rules applied 68 place count 372 transition count 627
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 70 place count 372 transition count 625
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 71 place count 371 transition count 624
Iterating global reduction 3 with 1 rules applied. Total rules applied 72 place count 371 transition count 624
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 73 place count 371 transition count 623
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 4 with 32 rules applied. Total rules applied 105 place count 355 transition count 607
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 108 place count 355 transition count 604
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 118 place count 345 transition count 594
Iterating global reduction 5 with 10 rules applied. Total rules applied 128 place count 345 transition count 594
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 138 place count 345 transition count 584
Free-agglomeration rule applied 15 times with reduction of 3 identical transitions.
Iterating global reduction 6 with 15 rules applied. Total rules applied 153 place count 345 transition count 566
Reduce places removed 15 places and 0 transitions.
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 20 rules applied. Total rules applied 173 place count 330 transition count 561
Discarding 34 places :
Symmetric choice reduction at 7 with 34 rule applications. Total rules 207 place count 296 transition count 527
Iterating global reduction 7 with 34 rules applied. Total rules applied 241 place count 296 transition count 527
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 7 with 34 rules applied. Total rules applied 275 place count 296 transition count 493
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 276 place count 296 transition count 493
Applied a total of 276 rules in 149 ms. Remains 296 /406 variables (removed 110) and now considering 493/661 (removed 168) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 149 ms. Remains : 296/406 places, 493/661 transitions.
RANDOM walk for 40000 steps (301 resets) in 344 ms. (115 steps per ms) remains 9/11 properties
BEST_FIRST walk for 40003 steps (42 resets) in 106 ms. (373 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (43 resets) in 84 ms. (470 steps per ms) remains 8/9 properties
BEST_FIRST walk for 40004 steps (44 resets) in 88 ms. (449 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (41 resets) in 73 ms. (540 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (13 resets) in 72 ms. (548 steps per ms) remains 7/8 properties
BEST_FIRST walk for 40004 steps (36 resets) in 111 ms. (357 steps per ms) remains 6/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 63 ms. (625 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (44 resets) in 107 ms. (370 steps per ms) remains 6/6 properties
[2026-05-27 16:29:16] [INFO ] Flow matrix only has 471 transitions (discarded 22 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1937986305101579032.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15298643271097815286.kers'
[2026-05-27 16:29:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1937986305101579032.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15298643271097815286.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 471 rows 296 cols 1348 entries
Finished phase 1 with 280 SingleSign rule and 0 generalized
[2026-05-27 16:29:16] [INFO ] Computed 16 invariants in 3 ms
Computed 16 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-15298643271097815286.kers
Total runtime 5 ms.
[2026-05-27 16:29:16] [INFO ] State equation strengthened by 1 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 241/255 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/255 variables, 2/11 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/255 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 429/684 variables, 255/266 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/684 variables, 0/266 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (OVERLAPS) 64/748 variables, 22/288 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/748 variables, 1/289 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/748 variables, 1/290 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/748 variables, 0/290 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (OVERLAPS) 19/767 variables, 6/296 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/767 variables, 19/315 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/767 variables, 0/315 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 13 (OVERLAPS) 0/767 variables, 0/315 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Real declared 767/767 variables, and 315 constraints, problems are : Problem set: 0 solved, 6 unsolved in 2124 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 296/296 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 241/255 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/255 variables, 2/11 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/255 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 429/684 variables, 255/266 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/684 variables, 5/271 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/684 variables, 0/271 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (OVERLAPS) 64/748 variables, 22/293 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/748 variables, 1/294 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/748 variables, 1/295 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/748 variables, 0/295 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 11 (OVERLAPS) 19/767 variables, 6/301 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/767 variables, 19/320 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/767 variables, 1/321 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/767 variables, 0/321 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 15 (OVERLAPS) 0/767 variables, 0/321 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Int declared 767/767 variables, and 321 constraints, problems are : Problem set: 0 solved, 6 unsolved in 2042 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 296/296 constraints, ReadFeed: 1/1 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 4191ms problems are : Problem set: 0 solved, 6 unsolved
Finished Parikh walk after 2636 steps, including 42 resets, run visited all 2 properties in 10 ms. (steps per millisecond=263 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 6 properties in 400 ms.
Successfully simplified 2 atomic propositions for a total of 16 simplifications.
[2026-05-27 16:29:21] [INFO ] Flatten gal took : 59 ms
[2026-05-27 16:29:21] [INFO ] Flatten gal took : 57 ms
[2026-05-27 16:29:21] [INFO ] Input system was already deterministic with 1161 transitions.
Computed a total of 21 stabilizing places and 21 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Graph (trivial) has 830 edges and 875 vertex of which 85 / 875 are part of one of the 14 SCC in 2 ms
Free SCC test removed 71 places
Ensure Unique test removed 72 transitions
Reduce isomorphic transitions removed 72 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 88 transitions
Trivial Post-agglo rules discarded 88 transitions
Performed 88 trivial Post agglomeration. Transition count delta: 88
Iterating post reduction 0 with 88 rules applied. Total rules applied 89 place count 803 transition count 1000
Reduce places removed 88 places and 0 transitions.
Iterating post reduction 1 with 88 rules applied. Total rules applied 177 place count 715 transition count 1000
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 177 place count 715 transition count 955
Deduced a syphon composed of 45 places in 1 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 267 place count 670 transition count 955
Discarding 90 places :
Symmetric choice reduction at 2 with 90 rule applications. Total rules 357 place count 580 transition count 865
Iterating global reduction 2 with 90 rules applied. Total rules applied 447 place count 580 transition count 865
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 456 place count 580 transition count 856
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 456 place count 580 transition count 855
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 458 place count 579 transition count 855
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 490 place count 547 transition count 823
Iterating global reduction 3 with 32 rules applied. Total rules applied 522 place count 547 transition count 823
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 3 with 32 rules applied. Total rules applied 554 place count 547 transition count 791
Performed 43 Post agglomeration using F-continuation condition.Transition count delta: 43
Deduced a syphon composed of 43 places in 1 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 4 with 86 rules applied. Total rules applied 640 place count 504 transition count 748
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 647 place count 497 transition count 741
Iterating global reduction 4 with 7 rules applied. Total rules applied 654 place count 497 transition count 741
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 661 place count 497 transition count 734
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 5 with 14 rules applied. Total rules applied 675 place count 497 transition count 720
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 677 place count 495 transition count 718
Applied a total of 677 rules in 295 ms. Remains 495 /875 variables (removed 380) and now considering 718/1161 (removed 443) transitions.
[2026-05-27 16:29:21] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3417310319497745250.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15632122071945228876.kers'
[2026-05-27 16:29:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3417310319497745250.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15632122071945228876.kers]
Normalized transition count is 704 out of 705 initially.
Culled 0 columns in 0 ms.
// Phase 1: matrix 704 rows 495 cols 2140 entries
Finished phase 1 with 479 SingleSign rule and 0 generalized
[2026-05-27 16:29:21] [INFO ] Computed 16 invariants in 4 ms
Computed 16 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-15632122071945228876.kers
Total runtime 5 ms.
[2026-05-27 16:29:22] [INFO ] Implicit Places using invariants in 665 ms returned []
[2026-05-27 16:29:22] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
[2026-05-27 16:29:22] [INFO ] Invariant cache hit.
[2026-05-27 16:29:23] [INFO ] Implicit Places using invariants and state equation in 1246 ms returned []
Implicit Place search using SMT with State Equation took 1913 ms to find 0 implicit places.
[2026-05-27 16:29:23] [INFO ] Redundant transitions in 69 ms returned []
Running 338 sub problems to find dead transitions.
[2026-05-27 16:29:23] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
[2026-05-27 16:29:23] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/481 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/481 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 2 (OVERLAPS) 14/495 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/495 variables, 1/17 constraints. Problems are: Problem set: 0 solved, 338 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 495/1200 variables, and 17 constraints, problems are : Problem set: 0 solved, 338 unsolved in 30030 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 0/495 constraints, PredecessorRefiner: 338/338 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 338 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/481 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/481 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 2 (OVERLAPS) 14/495 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/495 variables, 1/17 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/495 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 5 (OVERLAPS) 704/1199 variables, 495/512 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1199 variables, 338/850 constraints. Problems are: Problem set: 0 solved, 338 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1199/1200 variables, and 850 constraints, problems are : Problem set: 0 solved, 338 unsolved in 30015 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 495/495 constraints, PredecessorRefiner: 338/338 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60243ms problems are : Problem set: 0 solved, 338 unsolved
Search for dead transitions found 0 dead transitions in 60245ms
Starting structural reductions in SI_CTL mode, iteration 1 : 495/875 places, 718/1161 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 62533 ms. Remains : 495/875 places, 718/1161 transitions.
[2026-05-27 16:30:24] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:30:24] [INFO ] Flatten gal took : 27 ms
[2026-05-27 16:30:24] [INFO ] Input system was already deterministic with 718 transitions.
[2026-05-27 16:30:24] [INFO ] Flatten gal took : 38 ms
[2026-05-27 16:30:24] [INFO ] Flatten gal took : 43 ms
[2026-05-27 16:30:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12216218119864396376.gal : 56 ms
[2026-05-27 16:30:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16610050064948806437.prop : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12216218119864396376.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16610050064948806437.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality16610050064948806437.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 6561
RANDOM walk for 40000 steps (1907 resets) in 2810 ms. (14 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :6561 after 87480
BEST_FIRST walk for 40004 steps (17 resets) in 83 ms. (476 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :87480 after 283905
Interrupted probabilistic random walk after 544343 steps, run timeout after 3001 ms. (steps per millisecond=181 ) properties seen :0 out of 1
Probabilistic random walk after 544343 steps, saw 124044 distinct states, run finished after 3009 ms. (steps per millisecond=180 ) properties seen :0
[2026-05-27 16:30:28] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
[2026-05-27 16:30:28] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 2/3 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 30/33 variables, 3/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/33 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 477/510 variables, 56/60 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/510 variables, 0/60 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 266/776 variables, 14/74 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/776 variables, 182/256 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/776 variables, 0/256 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 423/1199 variables, 254/510 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1199 variables, 1/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1199 variables, 0/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 0/1199 variables, 0/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1199/1200 variables, and 511 constraints, problems are : Problem set: 0 solved, 1 unsolved in 425 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 495/495 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 2/3 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 30/33 variables, 3/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/33 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 477/510 variables, 56/60 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/510 variables, 1/61 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/510 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 266/776 variables, 14/75 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/776 variables, 182/257 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/776 variables, 0/257 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 423/1199 variables, 254/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1199 variables, 1/512 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1199 variables, 0/512 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :283905 after 307071
At refinement iteration 14 (OVERLAPS) 0/1199 variables, 0/512 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1199/1200 variables, and 512 constraints, problems are : Problem set: 0 solved, 1 unsolved in 497 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 495/495 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 930ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 36 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=36 )
FORMULA FlexibleBarrier-PT-14b-CTLFireability-2024-00 FALSE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 2 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 821 transition count 1107
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 821 transition count 1107
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 115 place count 821 transition count 1100
Discarding 38 places :
Symmetric choice reduction at 1 with 38 rule applications. Total rules 153 place count 783 transition count 1062
Iterating global reduction 1 with 38 rules applied. Total rules applied 191 place count 783 transition count 1062
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 211 place count 783 transition count 1042
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 226 place count 768 transition count 1027
Iterating global reduction 2 with 15 rules applied. Total rules applied 241 place count 768 transition count 1027
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 252 place count 768 transition count 1016
Applied a total of 252 rules in 107 ms. Remains 768 /875 variables (removed 107) and now considering 1016/1161 (removed 145) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17035579736192147637.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1508935210928079123.kers'
[2026-05-27 16:30:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17035579736192147637.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1508935210928079123.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 1016 rows 768 cols 2959 entries
Finished phase 1 with 752 SingleSign rule and 0 generalized
[2026-05-27 16:30:29] [INFO ] Computed 16 invariants in 5 ms
Computed 16 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-1508935210928079123.kers
Total runtime 7 ms.
[2026-05-27 16:30:30] [INFO ] Implicit Places using invariants in 873 ms returned []
[2026-05-27 16:30:30] [INFO ] Invariant cache hit.
[2026-05-27 16:30:31] [INFO ] Implicit Places using invariants and state equation in 1508 ms returned []
Implicit Place search using SMT with State Equation took 2385 ms to find 0 implicit places.
Running 1015 sub problems to find dead transitions.
[2026-05-27 16:30:31] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 767/1784 variables, and 0 constraints, problems are : Problem set: 0 solved, 1015 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/768 constraints, PredecessorRefiner: 1015/1015 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1015 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 767/1784 variables, and 0 constraints, problems are : Problem set: 0 solved, 1015 unsolved in 30036 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/768 constraints, PredecessorRefiner: 0/1015 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60404ms problems are : Problem set: 0 solved, 1015 unsolved
Search for dead transitions found 0 dead transitions in 60410ms
Starting structural reductions in LTL mode, iteration 1 : 768/875 places, 1016/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 62907 ms. Remains : 768/875 places, 1016/1161 transitions.
[2026-05-27 16:31:32] [INFO ] Flatten gal took : 35 ms
[2026-05-27 16:31:32] [INFO ] Flatten gal took : 35 ms
[2026-05-27 16:31:32] [INFO ] Input system was already deterministic with 1016 transitions.
[2026-05-27 16:31:32] [INFO ] Flatten gal took : 26 ms
[2026-05-27 16:31:32] [INFO ] Flatten gal took : 25 ms
[2026-05-27 16:31:32] [INFO ] Time to serialize gal into /tmp/CTLFireability1951231284474230425.gal : 12 ms
[2026-05-27 16:31:32] [INFO ] Time to serialize properties into /tmp/CTLFireability2409054409833821724.ctl : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1951231284474230425.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2409054409833821724.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:32:02] [INFO ] Flatten gal took : 32 ms
[2026-05-27 16:32:02] [INFO ] Applying decomposition
[2026-05-27 16:32:02] [INFO ] Flatten gal took : 42 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1769323679111477240.txt' '-o' '/tmp/graph1769323679111477240.bin' '-w' '/tmp/graph1769323679111477240.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1769323679111477240.bin' '-l' '-1' '-v' '-w' '/tmp/graph1769323679111477240.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:32:02] [INFO ] Decomposing Gal with order
[2026-05-27 16:32:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:32:02] [INFO ] Removed a total of 294 redundant transitions.
[2026-05-27 16:32:03] [INFO ] Flatten gal took : 285 ms
[2026-05-27 16:32:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 19 labels/synchronizations in 37 ms.
[2026-05-27 16:32:03] [INFO ] Time to serialize gal into /tmp/CTLFireability17813608826257043351.gal : 23 ms
[2026-05-27 16:32:03] [INFO ] Time to serialize properties into /tmp/CTLFireability13117810136962410104.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17813608826257043351.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13117810136962410104.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 809 transition count 1095
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 809 transition count 1095
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 141 place count 809 transition count 1086
Discarding 48 places :
Symmetric choice reduction at 1 with 48 rule applications. Total rules 189 place count 761 transition count 1038
Iterating global reduction 1 with 48 rules applied. Total rules applied 237 place count 761 transition count 1038
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 261 place count 761 transition count 1014
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 280 place count 742 transition count 995
Iterating global reduction 2 with 19 rules applied. Total rules applied 299 place count 742 transition count 995
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 2 with 13 rules applied. Total rules applied 312 place count 742 transition count 982
Applied a total of 312 rules in 120 ms. Remains 742 /875 variables (removed 133) and now considering 982/1161 (removed 179) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8426558209326189380.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13228344750256060243.kers'
[2026-05-27 16:32:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8426558209326189380.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13228344750256060243.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 982 rows 742 cols 2859 entries
Finished phase 1 with 726 SingleSign rule and 0 generalized
[2026-05-27 16:32:33] [INFO ] Computed 16 invariants in 5 ms
Computed 16 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-13228344750256060243.kers
Total runtime 6 ms.
[2026-05-27 16:32:34] [INFO ] Implicit Places using invariants in 844 ms returned []
[2026-05-27 16:32:34] [INFO ] Invariant cache hit.
[2026-05-27 16:32:35] [INFO ] Implicit Places using invariants and state equation in 1346 ms returned []
Implicit Place search using SMT with State Equation took 2196 ms to find 0 implicit places.
Running 981 sub problems to find dead transitions.
[2026-05-27 16:32:35] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 741/1724 variables, and 0 constraints, problems are : Problem set: 0 solved, 981 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/742 constraints, PredecessorRefiner: 981/981 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 981 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 741/1724 variables, and 0 constraints, problems are : Problem set: 0 solved, 981 unsolved in 30026 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/742 constraints, PredecessorRefiner: 0/981 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60390ms problems are : Problem set: 0 solved, 981 unsolved
Search for dead transitions found 0 dead transitions in 60393ms
Starting structural reductions in LTL mode, iteration 1 : 742/875 places, 982/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 62712 ms. Remains : 742/875 places, 982/1161 transitions.
[2026-05-27 16:33:35] [INFO ] Flatten gal took : 19 ms
[2026-05-27 16:33:36] [INFO ] Flatten gal took : 20 ms
[2026-05-27 16:33:36] [INFO ] Input system was already deterministic with 982 transitions.
[2026-05-27 16:33:36] [INFO ] Flatten gal took : 19 ms
[2026-05-27 16:33:36] [INFO ] Flatten gal took : 19 ms
[2026-05-27 16:33:36] [INFO ] Time to serialize gal into /tmp/CTLFireability14261417573509970277.gal : 6 ms
[2026-05-27 16:33:36] [INFO ] Time to serialize properties into /tmp/CTLFireability2862854681176941337.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14261417573509970277.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2862854681176941337.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:34:06] [INFO ] Flatten gal took : 29 ms
[2026-05-27 16:34:06] [INFO ] Applying decomposition
[2026-05-27 16:34:06] [INFO ] Flatten gal took : 31 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13178253385369119156.txt' '-o' '/tmp/graph13178253385369119156.bin' '-w' '/tmp/graph13178253385369119156.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13178253385369119156.bin' '-l' '-1' '-v' '-w' '/tmp/graph13178253385369119156.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:34:06] [INFO ] Decomposing Gal with order
[2026-05-27 16:34:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:34:06] [INFO ] Removed a total of 280 redundant transitions.
[2026-05-27 16:34:06] [INFO ] Flatten gal took : 82 ms
[2026-05-27 16:34:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 16 ms.
[2026-05-27 16:34:06] [INFO ] Time to serialize gal into /tmp/CTLFireability14266863393347833090.gal : 12 ms
[2026-05-27 16:34:06] [INFO ] Time to serialize properties into /tmp/CTLFireability5914709692489463637.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14266863393347833090.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5914709692489463637.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 807 transition count 1093
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 807 transition count 1093
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 145 place count 807 transition count 1084
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 195 place count 757 transition count 1034
Iterating global reduction 1 with 50 rules applied. Total rules applied 245 place count 757 transition count 1034
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 1 with 26 rules applied. Total rules applied 271 place count 757 transition count 1008
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 290 place count 738 transition count 989
Iterating global reduction 2 with 19 rules applied. Total rules applied 309 place count 738 transition count 989
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 2 with 13 rules applied. Total rules applied 322 place count 738 transition count 976
Applied a total of 322 rules in 110 ms. Remains 738 /875 variables (removed 137) and now considering 976/1161 (removed 185) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6599623789295810159.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10133186201829460266.kers'
[2026-05-27 16:34:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6599623789295810159.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10133186201829460266.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 976 rows 738 cols 2839 entries
Finished phase 1 with 722 SingleSign rule and 0 generalized
[2026-05-27 16:34:36] [INFO ] Computed 16 invariants in 5 ms
Computed 16 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-10133186201829460266.kers
Total runtime 6 ms.
[2026-05-27 16:34:37] [INFO ] Implicit Places using invariants in 811 ms returned []
[2026-05-27 16:34:37] [INFO ] Invariant cache hit.
[2026-05-27 16:34:39] [INFO ] Implicit Places using invariants and state equation in 1430 ms returned []
Implicit Place search using SMT with State Equation took 2257 ms to find 0 implicit places.
Running 975 sub problems to find dead transitions.
[2026-05-27 16:34:39] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 737/1714 variables, and 0 constraints, problems are : Problem set: 0 solved, 975 unsolved in 30033 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/738 constraints, PredecessorRefiner: 975/975 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 975 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/737 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 975 unsolved
At refinement iteration 1 (OVERLAPS) 1/738 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 975 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 738/1714 variables, and 16 constraints, problems are : Problem set: 0 solved, 975 unsolved in 30032 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 0/738 constraints, PredecessorRefiner: 0/975 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60446ms problems are : Problem set: 0 solved, 975 unsolved
Search for dead transitions found 0 dead transitions in 60449ms
Starting structural reductions in LTL mode, iteration 1 : 738/875 places, 976/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 62819 ms. Remains : 738/875 places, 976/1161 transitions.
[2026-05-27 16:35:39] [INFO ] Flatten gal took : 15 ms
[2026-05-27 16:35:39] [INFO ] Flatten gal took : 17 ms
[2026-05-27 16:35:39] [INFO ] Input system was already deterministic with 976 transitions.
[2026-05-27 16:35:39] [INFO ] Flatten gal took : 16 ms
[2026-05-27 16:35:39] [INFO ] Flatten gal took : 18 ms
[2026-05-27 16:35:39] [INFO ] Time to serialize gal into /tmp/CTLFireability7115544025958480829.gal : 4 ms
[2026-05-27 16:35:39] [INFO ] Time to serialize properties into /tmp/CTLFireability5334628904908230023.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7115544025958480829.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5334628904908230023.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:36:09] [INFO ] Flatten gal took : 17 ms
[2026-05-27 16:36:09] [INFO ] Applying decomposition
[2026-05-27 16:36:09] [INFO ] Flatten gal took : 17 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12602009591465369995.txt' '-o' '/tmp/graph12602009591465369995.bin' '-w' '/tmp/graph12602009591465369995.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12602009591465369995.bin' '-l' '-1' '-v' '-w' '/tmp/graph12602009591465369995.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:36:09] [INFO ] Decomposing Gal with order
[2026-05-27 16:36:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:36:09] [INFO ] Removed a total of 264 redundant transitions.
[2026-05-27 16:36:09] [INFO ] Flatten gal took : 80 ms
[2026-05-27 16:36:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 17 ms.
[2026-05-27 16:36:10] [INFO ] Time to serialize gal into /tmp/CTLFireability354237762545004820.gal : 11 ms
[2026-05-27 16:36:10] [INFO ] Time to serialize properties into /tmp/CTLFireability4238966900219738144.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability354237762545004820.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4238966900219738144.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 807 transition count 1093
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 807 transition count 1093
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 145 place count 807 transition count 1084
Discarding 48 places :
Symmetric choice reduction at 1 with 48 rule applications. Total rules 193 place count 759 transition count 1036
Iterating global reduction 1 with 48 rules applied. Total rules applied 241 place count 759 transition count 1036
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 265 place count 759 transition count 1012
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 284 place count 740 transition count 993
Iterating global reduction 2 with 19 rules applied. Total rules applied 303 place count 740 transition count 993
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 2 with 13 rules applied. Total rules applied 316 place count 740 transition count 980
Applied a total of 316 rules in 192 ms. Remains 740 /875 variables (removed 135) and now considering 980/1161 (removed 181) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3872253137115162851.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16468344271081345857.kers'
[2026-05-27 16:36:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3872253137115162851.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16468344271081345857.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 980 rows 740 cols 2855 entries
Finished phase 1 with 724 SingleSign rule and 0 generalized
[2026-05-27 16:36:40] [INFO ] Computed 16 invariants in 9 ms
Computed 16 P flows in 10 ms.
Exported basis to /tmp/petrispot-output-16468344271081345857.kers
Total runtime 11 ms.
[2026-05-27 16:36:41] [INFO ] Implicit Places using invariants in 1137 ms returned []
[2026-05-27 16:36:41] [INFO ] Invariant cache hit.
[2026-05-27 16:36:42] [INFO ] Implicit Places using invariants and state equation in 1488 ms returned []
Implicit Place search using SMT with State Equation took 2629 ms to find 0 implicit places.
Running 979 sub problems to find dead transitions.
[2026-05-27 16:36:42] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 739/1720 variables, and 0 constraints, problems are : Problem set: 0 solved, 979 unsolved in 30044 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/740 constraints, PredecessorRefiner: 979/979 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 979 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 739/1720 variables, and 0 constraints, problems are : Problem set: 0 solved, 979 unsolved in 30036 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/740 constraints, PredecessorRefiner: 0/979 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60404ms problems are : Problem set: 0 solved, 979 unsolved
Search for dead transitions found 0 dead transitions in 60408ms
Starting structural reductions in LTL mode, iteration 1 : 740/875 places, 980/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63246 ms. Remains : 740/875 places, 980/1161 transitions.
[2026-05-27 16:37:43] [INFO ] Flatten gal took : 27 ms
[2026-05-27 16:37:43] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:37:43] [INFO ] Input system was already deterministic with 980 transitions.
[2026-05-27 16:37:43] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:37:43] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:37:43] [INFO ] Time to serialize gal into /tmp/CTLFireability10778216324542650299.gal : 10 ms
[2026-05-27 16:37:43] [INFO ] Time to serialize properties into /tmp/CTLFireability8333348932656617505.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10778216324542650299.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8333348932656617505.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:38:13] [INFO ] Flatten gal took : 18 ms
[2026-05-27 16:38:13] [INFO ] Applying decomposition
[2026-05-27 16:38:13] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11575380717280188745.txt' '-o' '/tmp/graph11575380717280188745.bin' '-w' '/tmp/graph11575380717280188745.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11575380717280188745.bin' '-l' '-1' '-v' '-w' '/tmp/graph11575380717280188745.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:38:13] [INFO ] Decomposing Gal with order
[2026-05-27 16:38:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:38:13] [INFO ] Removed a total of 280 redundant transitions.
[2026-05-27 16:38:13] [INFO ] Flatten gal took : 120 ms
[2026-05-27 16:38:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 13 labels/synchronizations in 36 ms.
[2026-05-27 16:38:14] [INFO ] Time to serialize gal into /tmp/CTLFireability9141872308186289026.gal : 17 ms
[2026-05-27 16:38:14] [INFO ] Time to serialize properties into /tmp/CTLFireability13327806921997252766.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9141872308186289026.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13327806921997252766.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 61 place count 814 transition count 1100
Iterating global reduction 0 with 61 rules applied. Total rules applied 122 place count 814 transition count 1100
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 130 place count 814 transition count 1092
Discarding 44 places :
Symmetric choice reduction at 1 with 44 rule applications. Total rules 174 place count 770 transition count 1048
Iterating global reduction 1 with 44 rules applied. Total rules applied 218 place count 770 transition count 1048
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 242 place count 770 transition count 1024
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 256 place count 756 transition count 1010
Iterating global reduction 2 with 14 rules applied. Total rules applied 270 place count 756 transition count 1010
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 278 place count 756 transition count 1002
Applied a total of 278 rules in 115 ms. Remains 756 /875 variables (removed 119) and now considering 1002/1161 (removed 159) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7762860042628042582.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18209219554012585343.kers'
[2026-05-27 16:38:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7762860042628042582.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18209219554012585343.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1002 rows 756 cols 2923 entries
Finished phase 1 with 740 SingleSign rule and 0 generalized
[2026-05-27 16:38:44] [INFO ] Computed 16 invariants in 9 ms
Computed 16 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-18209219554012585343.kers
Total runtime 11 ms.
[2026-05-27 16:38:45] [INFO ] Implicit Places using invariants in 1040 ms returned []
[2026-05-27 16:38:45] [INFO ] Invariant cache hit.
[2026-05-27 16:38:46] [INFO ] Implicit Places using invariants and state equation in 1545 ms returned []
Implicit Place search using SMT with State Equation took 2593 ms to find 0 implicit places.
Running 1001 sub problems to find dead transitions.
[2026-05-27 16:38:46] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 755/1758 variables, and 0 constraints, problems are : Problem set: 0 solved, 1001 unsolved in 30025 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/756 constraints, PredecessorRefiner: 1001/1001 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1001 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/755 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1001 unsolved
At refinement iteration 1 (OVERLAPS) 1/756 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 1001 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 756/1758 variables, and 16 constraints, problems are : Problem set: 0 solved, 1001 unsolved in 30040 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 0/756 constraints, PredecessorRefiner: 0/1001 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60580ms problems are : Problem set: 0 solved, 1001 unsolved
Search for dead transitions found 0 dead transitions in 60584ms
Starting structural reductions in LTL mode, iteration 1 : 756/875 places, 1002/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63298 ms. Remains : 756/875 places, 1002/1161 transitions.
[2026-05-27 16:39:47] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:39:47] [INFO ] Flatten gal took : 34 ms
[2026-05-27 16:39:47] [INFO ] Input system was already deterministic with 1002 transitions.
[2026-05-27 16:39:47] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:39:47] [INFO ] Flatten gal took : 52 ms
[2026-05-27 16:39:47] [INFO ] Time to serialize gal into /tmp/CTLFireability7089281043347912210.gal : 8 ms
[2026-05-27 16:39:47] [INFO ] Time to serialize properties into /tmp/CTLFireability4558188923560976954.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7089281043347912210.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4558188923560976954.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:40:17] [INFO ] Flatten gal took : 16 ms
[2026-05-27 16:40:17] [INFO ] Applying decomposition
[2026-05-27 16:40:17] [INFO ] Flatten gal took : 17 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9914871141036149461.txt' '-o' '/tmp/graph9914871141036149461.bin' '-w' '/tmp/graph9914871141036149461.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9914871141036149461.bin' '-l' '-1' '-v' '-w' '/tmp/graph9914871141036149461.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:40:17] [INFO ] Decomposing Gal with order
[2026-05-27 16:40:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:40:17] [INFO ] Removed a total of 288 redundant transitions.
[2026-05-27 16:40:18] [INFO ] Flatten gal took : 103 ms
[2026-05-27 16:40:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 15 ms.
[2026-05-27 16:40:18] [INFO ] Time to serialize gal into /tmp/CTLFireability9653275605238874480.gal : 16 ms
[2026-05-27 16:40:18] [INFO ] Time to serialize properties into /tmp/CTLFireability2111874751284100595.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9653275605238874480.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2111874751284100595.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Graph (trivial) has 806 edges and 875 vertex of which 79 / 875 are part of one of the 13 SCC in 2 ms
Free SCC test removed 66 places
Ensure Unique test removed 67 transitions
Reduce isomorphic transitions removed 67 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 87 transitions
Trivial Post-agglo rules discarded 87 transitions
Performed 87 trivial Post agglomeration. Transition count delta: 87
Iterating post reduction 0 with 87 rules applied. Total rules applied 88 place count 808 transition count 1006
Reduce places removed 87 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 88 rules applied. Total rules applied 176 place count 721 transition count 1005
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 177 place count 720 transition count 1005
Performed 46 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 46 Pre rules applied. Total rules applied 177 place count 720 transition count 959
Deduced a syphon composed of 46 places in 1 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 3 with 92 rules applied. Total rules applied 269 place count 674 transition count 959
Discarding 88 places :
Symmetric choice reduction at 3 with 88 rule applications. Total rules 357 place count 586 transition count 871
Iterating global reduction 3 with 88 rules applied. Total rules applied 445 place count 586 transition count 871
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 3 with 9 rules applied. Total rules applied 454 place count 586 transition count 862
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 2 Pre rules applied. Total rules applied 454 place count 586 transition count 860
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 458 place count 584 transition count 860
Discarding 30 places :
Symmetric choice reduction at 4 with 30 rule applications. Total rules 488 place count 554 transition count 830
Iterating global reduction 4 with 30 rules applied. Total rules applied 518 place count 554 transition count 830
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 4 with 30 rules applied. Total rules applied 548 place count 554 transition count 800
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 0 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 5 with 90 rules applied. Total rules applied 638 place count 509 transition count 755
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 645 place count 502 transition count 748
Iterating global reduction 5 with 7 rules applied. Total rules applied 652 place count 502 transition count 748
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 659 place count 502 transition count 741
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 6 with 14 rules applied. Total rules applied 673 place count 502 transition count 727
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 675 place count 500 transition count 725
Applied a total of 675 rules in 425 ms. Remains 500 /875 variables (removed 375) and now considering 725/1161 (removed 436) transitions.
[2026-05-27 16:40:48] [INFO ] Flow matrix only has 713 transitions (discarded 12 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3040527267953227113.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6339788816069374240.kers'
[2026-05-27 16:40:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3040527267953227113.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6339788816069374240.kers]
Normalized transition count is 712 out of 713 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 1 ms.
// Phase 1: matrix 712 rows 499 cols 2121 entries
Finished phase 1 with 484 SingleSign rule and 0 generalized
[2026-05-27 16:40:48] [INFO ] Computed 16 invariants in 6 ms
Computed 16 P flows in 7 ms.
Exported basis to /tmp/petrispot-output-6339788816069374240.kers
Total runtime 9 ms.
[2026-05-27 16:40:49] [INFO ] Implicit Places using invariants in 906 ms returned []
[2026-05-27 16:40:49] [INFO ] Flow matrix only has 713 transitions (discarded 12 similar events)
[2026-05-27 16:40:49] [INFO ] Invariant cache hit.
[2026-05-27 16:40:50] [INFO ] Implicit Places using invariants and state equation in 1523 ms returned []
Implicit Place search using SMT with State Equation took 2432 ms to find 0 implicit places.
[2026-05-27 16:40:51] [INFO ] Redundant transitions in 14 ms returned []
Running 356 sub problems to find dead transitions.
[2026-05-27 16:40:51] [INFO ] Flow matrix only has 713 transitions (discarded 12 similar events)
[2026-05-27 16:40:51] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/486 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/486 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 2 (OVERLAPS) 14/500 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/500 variables, 1/17 constraints. Problems are: Problem set: 0 solved, 356 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 500/1213 variables, and 17 constraints, problems are : Problem set: 0 solved, 356 unsolved in 30016 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 0/500 constraints, PredecessorRefiner: 356/356 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 356 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/486 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/486 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 2 (OVERLAPS) 14/500 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/500 variables, 1/17 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/500 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 5 (OVERLAPS) 712/1212 variables, 500/517 constraints. Problems are: Problem set: 0 solved, 356 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1212 variables, 356/873 constraints. Problems are: Problem set: 0 solved, 356 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1212/1213 variables, and 873 constraints, problems are : Problem set: 0 solved, 356 unsolved in 30019 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 500/500 constraints, PredecessorRefiner: 356/356 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60181ms problems are : Problem set: 0 solved, 356 unsolved
Search for dead transitions found 0 dead transitions in 60184ms
Starting structural reductions in SI_CTL mode, iteration 1 : 500/875 places, 725/1161 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 63067 ms. Remains : 500/875 places, 725/1161 transitions.
[2026-05-27 16:41:51] [INFO ] Flatten gal took : 11 ms
[2026-05-27 16:41:51] [INFO ] Flatten gal took : 11 ms
[2026-05-27 16:41:51] [INFO ] Input system was already deterministic with 725 transitions.
[2026-05-27 16:41:51] [INFO ] Flatten gal took : 13 ms
[2026-05-27 16:41:51] [INFO ] Flatten gal took : 13 ms
[2026-05-27 16:41:51] [INFO ] Time to serialize gal into /tmp/CTLFireability59367909228032712.gal : 4 ms
[2026-05-27 16:41:51] [INFO ] Time to serialize properties into /tmp/CTLFireability2668909546062636197.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability59367909228032712.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2668909546062636197.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...281
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:42:21] [INFO ] Flatten gal took : 12 ms
[2026-05-27 16:42:21] [INFO ] Applying decomposition
[2026-05-27 16:42:21] [INFO ] Flatten gal took : 11 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6669220555362425898.txt' '-o' '/tmp/graph6669220555362425898.bin' '-w' '/tmp/graph6669220555362425898.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6669220555362425898.bin' '-l' '-1' '-v' '-w' '/tmp/graph6669220555362425898.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:42:21] [INFO ] Decomposing Gal with order
[2026-05-27 16:42:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:42:21] [INFO ] Removed a total of 267 redundant transitions.
[2026-05-27 16:42:21] [INFO ] Flatten gal took : 49 ms
[2026-05-27 16:42:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 7 ms.
[2026-05-27 16:42:21] [INFO ] Time to serialize gal into /tmp/CTLFireability9954027485992489592.gal : 6 ms
[2026-05-27 16:42:21] [INFO ] Time to serialize properties into /tmp/CTLFireability6191573021236350685.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9954027485992489592.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6191573021236350685.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4.87327e+21,0.410232,9736,62,529,3661,5821,1101,4893,1097,3440,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 65 places :
Symmetric choice reduction at 0 with 65 rule applications. Total rules 65 place count 810 transition count 1096
Iterating global reduction 0 with 65 rules applied. Total rules applied 130 place count 810 transition count 1096
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 139 place count 810 transition count 1087
Discarding 46 places :
Symmetric choice reduction at 1 with 46 rule applications. Total rules 185 place count 764 transition count 1041
Iterating global reduction 1 with 46 rules applied. Total rules applied 231 place count 764 transition count 1041
Ensure Unique test removed 25 transitions
Reduce isomorphic transitions removed 25 transitions.
Iterating post reduction 1 with 25 rules applied. Total rules applied 256 place count 764 transition count 1016
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 272 place count 748 transition count 1000
Iterating global reduction 2 with 16 rules applied. Total rules applied 288 place count 748 transition count 1000
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 300 place count 748 transition count 988
Applied a total of 300 rules in 197 ms. Remains 748 /875 variables (removed 127) and now considering 988/1161 (removed 173) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7140740881180802722.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1608038125602038094.kers'
[2026-05-27 16:42:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7140740881180802722.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1608038125602038094.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 988 rows 748 cols 2871 entries
Finished phase 1 with 732 SingleSign rule and 0 generalized
[2026-05-27 16:42:51] [INFO ] Computed 16 invariants in 8 ms
Computed 16 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-1608038125602038094.kers
Total runtime 10 ms.
[2026-05-27 16:42:53] [INFO ] Implicit Places using invariants in 1404 ms returned []
[2026-05-27 16:42:53] [INFO ] Invariant cache hit.
[2026-05-27 16:42:54] [INFO ] Implicit Places using invariants and state equation in 1745 ms returned []
Implicit Place search using SMT with State Equation took 3152 ms to find 0 implicit places.
Running 987 sub problems to find dead transitions.
[2026-05-27 16:42:55] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 747/1736 variables, and 0 constraints, problems are : Problem set: 0 solved, 987 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/748 constraints, PredecessorRefiner: 987/987 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 987 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 747/1736 variables, and 0 constraints, problems are : Problem set: 0 solved, 987 unsolved in 30044 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/748 constraints, PredecessorRefiner: 0/987 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60679ms problems are : Problem set: 0 solved, 987 unsolved
Search for dead transitions found 0 dead transitions in 60682ms
Starting structural reductions in LTL mode, iteration 1 : 748/875 places, 988/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64043 ms. Remains : 748/875 places, 988/1161 transitions.
[2026-05-27 16:43:55] [INFO ] Flatten gal took : 23 ms
[2026-05-27 16:43:55] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:43:55] [INFO ] Input system was already deterministic with 988 transitions.
[2026-05-27 16:43:55] [INFO ] Flatten gal took : 36 ms
[2026-05-27 16:43:55] [INFO ] Flatten gal took : 26 ms
[2026-05-27 16:43:55] [INFO ] Time to serialize gal into /tmp/CTLFireability4772888554036934408.gal : 6 ms
[2026-05-27 16:43:55] [INFO ] Time to serialize properties into /tmp/CTLFireability10520630483539060970.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4772888554036934408.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10520630483539060970.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:44:25] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:44:25] [INFO ] Applying decomposition
[2026-05-27 16:44:26] [INFO ] Flatten gal took : 35 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12519618009455726972.txt' '-o' '/tmp/graph12519618009455726972.bin' '-w' '/tmp/graph12519618009455726972.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12519618009455726972.bin' '-l' '-1' '-v' '-w' '/tmp/graph12519618009455726972.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:44:26] [INFO ] Decomposing Gal with order
[2026-05-27 16:44:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:44:26] [INFO ] Removed a total of 282 redundant transitions.
[2026-05-27 16:44:26] [INFO ] Flatten gal took : 118 ms
[2026-05-27 16:44:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 13 labels/synchronizations in 9 ms.
[2026-05-27 16:44:26] [INFO ] Time to serialize gal into /tmp/CTLFireability6908277116994675236.gal : 10 ms
[2026-05-27 16:44:26] [INFO ] Time to serialize properties into /tmp/CTLFireability5314512895500440085.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6908277116994675236.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5314512895500440085.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 807 transition count 1093
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 807 transition count 1093
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 145 place count 807 transition count 1084
Discarding 49 places :
Symmetric choice reduction at 1 with 49 rule applications. Total rules 194 place count 758 transition count 1035
Iterating global reduction 1 with 49 rules applied. Total rules applied 243 place count 758 transition count 1035
Ensure Unique test removed 25 transitions
Reduce isomorphic transitions removed 25 transitions.
Iterating post reduction 1 with 25 rules applied. Total rules applied 268 place count 758 transition count 1010
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 287 place count 739 transition count 991
Iterating global reduction 2 with 19 rules applied. Total rules applied 306 place count 739 transition count 991
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 2 with 13 rules applied. Total rules applied 319 place count 739 transition count 978
Applied a total of 319 rules in 185 ms. Remains 739 /875 variables (removed 136) and now considering 978/1161 (removed 183) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9075694453544860442.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18245772596634272757.kers'
[2026-05-27 16:44:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9075694453544860442.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18245772596634272757.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 978 rows 739 cols 2847 entries
Finished phase 1 with 723 SingleSign rule and 0 generalized
[2026-05-27 16:44:56] [INFO ] Computed 16 invariants in 9 ms
Computed 16 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-18245772596634272757.kers
Total runtime 12 ms.
[2026-05-27 16:44:57] [INFO ] Implicit Places using invariants in 1280 ms returned []
[2026-05-27 16:44:57] [INFO ] Invariant cache hit.
[2026-05-27 16:44:59] [INFO ] Implicit Places using invariants and state equation in 1791 ms returned []
Implicit Place search using SMT with State Equation took 3074 ms to find 0 implicit places.
Running 977 sub problems to find dead transitions.
[2026-05-27 16:44:59] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 738/1717 variables, and 0 constraints, problems are : Problem set: 0 solved, 977 unsolved in 30037 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/739 constraints, PredecessorRefiner: 977/977 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 977 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 738/1717 variables, and 0 constraints, problems are : Problem set: 0 solved, 977 unsolved in 30040 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/739 constraints, PredecessorRefiner: 0/977 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60425ms problems are : Problem set: 0 solved, 977 unsolved
Search for dead transitions found 0 dead transitions in 60427ms
Starting structural reductions in LTL mode, iteration 1 : 739/875 places, 978/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63689 ms. Remains : 739/875 places, 978/1161 transitions.
[2026-05-27 16:46:00] [INFO ] Flatten gal took : 23 ms
[2026-05-27 16:46:00] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:46:00] [INFO ] Input system was already deterministic with 978 transitions.
[2026-05-27 16:46:00] [INFO ] Flatten gal took : 37 ms
[2026-05-27 16:46:00] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:46:00] [INFO ] Time to serialize gal into /tmp/CTLFireability7662664066682810148.gal : 7 ms
[2026-05-27 16:46:00] [INFO ] Time to serialize properties into /tmp/CTLFireability17652855334099812188.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7662664066682810148.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17652855334099812188.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:46:30] [INFO ] Flatten gal took : 15 ms
[2026-05-27 16:46:30] [INFO ] Applying decomposition
[2026-05-27 16:46:30] [INFO ] Flatten gal took : 15 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11187596205678039757.txt' '-o' '/tmp/graph11187596205678039757.bin' '-w' '/tmp/graph11187596205678039757.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11187596205678039757.bin' '-l' '-1' '-v' '-w' '/tmp/graph11187596205678039757.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:46:30] [INFO ] Decomposing Gal with order
[2026-05-27 16:46:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:46:30] [INFO ] Removed a total of 278 redundant transitions.
[2026-05-27 16:46:30] [INFO ] Flatten gal took : 95 ms
[2026-05-27 16:46:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 10 labels/synchronizations in 13 ms.
[2026-05-27 16:46:30] [INFO ] Time to serialize gal into /tmp/CTLFireability12828314754672023356.gal : 14 ms
[2026-05-27 16:46:30] [INFO ] Time to serialize properties into /tmp/CTLFireability13583426563066753075.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12828314754672023356.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13583426563066753075.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Graph (trivial) has 829 edges and 875 vertex of which 85 / 875 are part of one of the 14 SCC in 1 ms
Free SCC test removed 71 places
Ensure Unique test removed 72 transitions
Reduce isomorphic transitions removed 72 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 88 transitions
Trivial Post-agglo rules discarded 88 transitions
Performed 88 trivial Post agglomeration. Transition count delta: 88
Iterating post reduction 0 with 88 rules applied. Total rules applied 89 place count 803 transition count 1000
Reduce places removed 88 places and 0 transitions.
Iterating post reduction 1 with 88 rules applied. Total rules applied 177 place count 715 transition count 1000
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 177 place count 715 transition count 956
Deduced a syphon composed of 44 places in 0 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 265 place count 671 transition count 956
Discarding 89 places :
Symmetric choice reduction at 2 with 89 rule applications. Total rules 354 place count 582 transition count 867
Iterating global reduction 2 with 89 rules applied. Total rules applied 443 place count 582 transition count 867
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 452 place count 582 transition count 858
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 452 place count 582 transition count 856
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 456 place count 580 transition count 856
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 488 place count 548 transition count 824
Iterating global reduction 3 with 32 rules applied. Total rules applied 520 place count 548 transition count 824
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 3 with 31 rules applied. Total rules applied 551 place count 548 transition count 793
Performed 42 Post agglomeration using F-continuation condition.Transition count delta: 42
Deduced a syphon composed of 42 places in 0 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 4 with 84 rules applied. Total rules applied 635 place count 506 transition count 751
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 641 place count 500 transition count 745
Iterating global reduction 4 with 6 rules applied. Total rules applied 647 place count 500 transition count 745
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 653 place count 500 transition count 739
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 5 with 14 rules applied. Total rules applied 667 place count 500 transition count 725
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 669 place count 498 transition count 723
Applied a total of 669 rules in 223 ms. Remains 498 /875 variables (removed 377) and now considering 723/1161 (removed 438) transitions.
[2026-05-27 16:47:00] [INFO ] Flow matrix only has 710 transitions (discarded 13 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9304927750219014271.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6872324073043414913.kers'
[2026-05-27 16:47:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9304927750219014271.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6872324073043414913.kers]
Normalized transition count is 709 out of 710 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 709 rows 497 cols 2115 entries
Finished phase 1 with 482 SingleSign rule and 0 generalized
[2026-05-27 16:47:00] [INFO ] Computed 16 invariants in 4 ms
Computed 16 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-6872324073043414913.kers
Total runtime 6 ms.
[2026-05-27 16:47:01] [INFO ] Implicit Places using invariants in 793 ms returned []
[2026-05-27 16:47:01] [INFO ] Flow matrix only has 710 transitions (discarded 13 similar events)
[2026-05-27 16:47:01] [INFO ] Invariant cache hit.
[2026-05-27 16:47:02] [INFO ] Implicit Places using invariants and state equation in 1267 ms returned []
Implicit Place search using SMT with State Equation took 2063 ms to find 0 implicit places.
[2026-05-27 16:47:03] [INFO ] Redundant transitions in 9 ms returned []
Running 341 sub problems to find dead transitions.
[2026-05-27 16:47:03] [INFO ] Flow matrix only has 710 transitions (discarded 13 similar events)
[2026-05-27 16:47:03] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/484 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 341 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/484 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 341 unsolved
At refinement iteration 2 (OVERLAPS) 14/498 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 341 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 3 (INCLUDED_ONLY) 0/498 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 341 unsolved
SMT process timed out in 30141ms, After SMT, problems are : Problem set: 0 solved, 341 unsolved
Search for dead transitions found 0 dead transitions in 30143ms
Starting structural reductions in SI_CTL mode, iteration 1 : 498/875 places, 723/1161 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 32447 ms. Remains : 498/875 places, 723/1161 transitions.
[2026-05-27 16:47:33] [INFO ] Flatten gal took : 22 ms
[2026-05-27 16:47:33] [INFO ] Flatten gal took : 17 ms
[2026-05-27 16:47:33] [INFO ] Input system was already deterministic with 723 transitions.
[2026-05-27 16:47:33] [INFO ] Flatten gal took : 41 ms
[2026-05-27 16:47:33] [INFO ] Flatten gal took : 37 ms
[2026-05-27 16:47:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality42302811921456822.gal : 7 ms
[2026-05-27 16:47:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16983033372384625341.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality42302811921456822.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16983033372384625341.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...327
Loading property file /tmp/ReachabilityCardinality16983033372384625341.prop.
RANDOM walk for 40000 steps (1923 resets) in 1540 ms. (25 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (16 resets) in 33 ms. (1176 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1100
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1100 after 15972
Interrupted probabilistic random walk after 405429 steps, run timeout after 3001 ms. (steps per millisecond=135 ) properties seen :0 out of 1
Probabilistic random walk after 405429 steps, saw 94493 distinct states, run finished after 3001 ms. (steps per millisecond=135 ) properties seen :0
[2026-05-27 16:47:36] [INFO ] Flow matrix only has 710 transitions (discarded 13 similar events)
[2026-05-27 16:47:36] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 47/49 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/49 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 105/154 variables, 49/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/154 variables, 0/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 595/749 variables, 99/150 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/749 variables, 1/151 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/749 variables, 0/151 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 350/1099 variables, 13/164 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1099 variables, 254/418 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1099 variables, 0/418 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 108/1207 variables, 96/514 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SDD proceeding with computation,1 properties remain. new max is 16
At refinement iteration 12 (INCLUDED_ONLY) 0/1207 variables, 0/514 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SDD size :15972 after 461472
At refinement iteration 13 (OVERLAPS) 0/1207 variables, 0/514 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1207/1208 variables, and 514 constraints, problems are : Problem set: 0 solved, 1 unsolved in 817 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 498/498 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 47/49 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/49 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 105/154 variables, 49/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/154 variables, 0/51 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 595/749 variables, 99/150 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/749 variables, 1/151 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/749 variables, 1/152 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/749 variables, 0/152 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 350/1099 variables, 13/165 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1099 variables, 254/419 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1099 variables, 0/419 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 108/1207 variables, 96/515 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1207 variables, 0/515 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (OVERLAPS) 0/1207 variables, 0/515 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1207/1208 variables, and 515 constraints, problems are : Problem set: 0 solved, 1 unsolved in 763 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 498/498 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 1590ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 26 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=13 )
FORMULA FlexibleBarrier-PT-14b-CTLFireability-2024-09 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 1 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 809 transition count 1095
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 809 transition count 1095
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 140 place count 809 transition count 1087
Discarding 47 places :
Symmetric choice reduction at 1 with 47 rule applications. Total rules 187 place count 762 transition count 1040
Iterating global reduction 1 with 47 rules applied. Total rules applied 234 place count 762 transition count 1040
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 258 place count 762 transition count 1016
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 276 place count 744 transition count 998
Iterating global reduction 2 with 18 rules applied. Total rules applied 294 place count 744 transition count 998
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 2 with 13 rules applied. Total rules applied 307 place count 744 transition count 985
Applied a total of 307 rules in 180 ms. Remains 744 /875 variables (removed 131) and now considering 985/1161 (removed 176) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9227654525424779215.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17671485697009488605.kers'
[2026-05-27 16:47:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9227654525424779215.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17671485697009488605.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 985 rows 744 cols 2869 entries
Finished phase 1 with 728 SingleSign rule and 0 generalized
[2026-05-27 16:47:38] [INFO ] Computed 16 invariants in 5 ms
Computed 16 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-17671485697009488605.kers
Total runtime 8 ms.
[2026-05-27 16:47:39] [INFO ] Implicit Places using invariants in 1364 ms returned []
[2026-05-27 16:47:39] [INFO ] Invariant cache hit.
[2026-05-27 16:47:41] [INFO ] Implicit Places using invariants and state equation in 1749 ms returned []
Implicit Place search using SMT with State Equation took 3117 ms to find 0 implicit places.
Running 984 sub problems to find dead transitions.
[2026-05-27 16:47:41] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 743/1729 variables, and 0 constraints, problems are : Problem set: 0 solved, 984 unsolved in 30051 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/744 constraints, PredecessorRefiner: 984/984 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 984 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 743/1729 variables, and 0 constraints, problems are : Problem set: 0 solved, 984 unsolved in 30040 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/744 constraints, PredecessorRefiner: 0/984 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60659ms problems are : Problem set: 0 solved, 984 unsolved
Search for dead transitions found 0 dead transitions in 60662ms
Starting structural reductions in LTL mode, iteration 1 : 744/875 places, 985/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63963 ms. Remains : 744/875 places, 985/1161 transitions.
[2026-05-27 16:48:42] [INFO ] Flatten gal took : 22 ms
[2026-05-27 16:48:42] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:48:42] [INFO ] Input system was already deterministic with 985 transitions.
[2026-05-27 16:48:42] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:48:42] [INFO ] Flatten gal took : 27 ms
[2026-05-27 16:48:42] [INFO ] Time to serialize gal into /tmp/CTLFireability15675377248072435914.gal : 14 ms
[2026-05-27 16:48:42] [INFO ] Time to serialize properties into /tmp/CTLFireability13660874124107707738.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15675377248072435914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13660874124107707738.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:49:12] [INFO ] Flatten gal took : 16 ms
[2026-05-27 16:49:12] [INFO ] Applying decomposition
[2026-05-27 16:49:12] [INFO ] Flatten gal took : 15 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6739266636665824942.txt' '-o' '/tmp/graph6739266636665824942.bin' '-w' '/tmp/graph6739266636665824942.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6739266636665824942.bin' '-l' '-1' '-v' '-w' '/tmp/graph6739266636665824942.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:49:12] [INFO ] Decomposing Gal with order
[2026-05-27 16:49:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:49:12] [INFO ] Removed a total of 282 redundant transitions.
[2026-05-27 16:49:12] [INFO ] Flatten gal took : 54 ms
[2026-05-27 16:49:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 22 labels/synchronizations in 8 ms.
[2026-05-27 16:49:12] [INFO ] Time to serialize gal into /tmp/CTLFireability11996661696684770522.gal : 9 ms
[2026-05-27 16:49:12] [INFO ] Time to serialize properties into /tmp/CTLFireability5463244631593947560.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11996661696684770522.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5463244631593947560.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 63 places :
Symmetric choice reduction at 0 with 63 rule applications. Total rules 63 place count 812 transition count 1098
Iterating global reduction 0 with 63 rules applied. Total rules applied 126 place count 812 transition count 1098
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 134 place count 812 transition count 1090
Discarding 45 places :
Symmetric choice reduction at 1 with 45 rule applications. Total rules 179 place count 767 transition count 1045
Iterating global reduction 1 with 45 rules applied. Total rules applied 224 place count 767 transition count 1045
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 248 place count 767 transition count 1021
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 264 place count 751 transition count 1005
Iterating global reduction 2 with 16 rules applied. Total rules applied 280 place count 751 transition count 1005
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 290 place count 751 transition count 995
Applied a total of 290 rules in 139 ms. Remains 751 /875 variables (removed 124) and now considering 995/1161 (removed 166) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14174914850956638339.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15045126481210439886.kers'
[2026-05-27 16:49:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14174914850956638339.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15045126481210439886.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 995 rows 751 cols 2901 entries
Finished phase 1 with 735 SingleSign rule and 0 generalized
[2026-05-27 16:49:43] [INFO ] Computed 16 invariants in 5 ms
Computed 16 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-15045126481210439886.kers
Total runtime 8 ms.
[2026-05-27 16:49:44] [INFO ] Implicit Places using invariants in 1245 ms returned []
[2026-05-27 16:49:44] [INFO ] Invariant cache hit.
[2026-05-27 16:49:46] [INFO ] Implicit Places using invariants and state equation in 1781 ms returned []
Implicit Place search using SMT with State Equation took 3031 ms to find 0 implicit places.
Running 994 sub problems to find dead transitions.
[2026-05-27 16:49:46] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 750/1746 variables, and 0 constraints, problems are : Problem set: 0 solved, 994 unsolved in 30037 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/751 constraints, PredecessorRefiner: 994/994 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 994 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 750/1746 variables, and 0 constraints, problems are : Problem set: 0 solved, 994 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/751 constraints, PredecessorRefiner: 0/994 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60711ms problems are : Problem set: 0 solved, 994 unsolved
Search for dead transitions found 0 dead transitions in 60715ms
Starting structural reductions in LTL mode, iteration 1 : 751/875 places, 995/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63907 ms. Remains : 751/875 places, 995/1161 transitions.
[2026-05-27 16:50:46] [INFO ] Flatten gal took : 31 ms
[2026-05-27 16:50:46] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:50:46] [INFO ] Input system was already deterministic with 995 transitions.
[2026-05-27 16:50:46] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:50:46] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:50:46] [INFO ] Time to serialize gal into /tmp/CTLFireability9921299999793947771.gal : 6 ms
[2026-05-27 16:50:46] [INFO ] Time to serialize properties into /tmp/CTLFireability16233250408621582313.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9921299999793947771.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16233250408621582313.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:51:17] [INFO ] Flatten gal took : 14 ms
[2026-05-27 16:51:17] [INFO ] Applying decomposition
[2026-05-27 16:51:17] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph5040272875612009017.txt' '-o' '/tmp/graph5040272875612009017.bin' '-w' '/tmp/graph5040272875612009017.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5040272875612009017.bin' '-l' '-1' '-v' '-w' '/tmp/graph5040272875612009017.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:51:17] [INFO ] Decomposing Gal with order
[2026-05-27 16:51:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:51:17] [INFO ] Removed a total of 286 redundant transitions.
[2026-05-27 16:51:17] [INFO ] Flatten gal took : 89 ms
[2026-05-27 16:51:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 13 labels/synchronizations in 17 ms.
[2026-05-27 16:51:17] [INFO ] Time to serialize gal into /tmp/CTLFireability9102713486427872865.gal : 14 ms
[2026-05-27 16:51:17] [INFO ] Time to serialize properties into /tmp/CTLFireability15848980597132001861.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9102713486427872865.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15848980597132001861.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 61 place count 814 transition count 1100
Iterating global reduction 0 with 61 rules applied. Total rules applied 122 place count 814 transition count 1100
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 130 place count 814 transition count 1092
Discarding 43 places :
Symmetric choice reduction at 1 with 43 rule applications. Total rules 173 place count 771 transition count 1049
Iterating global reduction 1 with 43 rules applied. Total rules applied 216 place count 771 transition count 1049
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 239 place count 771 transition count 1026
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 255 place count 755 transition count 1010
Iterating global reduction 2 with 16 rules applied. Total rules applied 271 place count 755 transition count 1010
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 282 place count 755 transition count 999
Applied a total of 282 rules in 117 ms. Remains 755 /875 variables (removed 120) and now considering 999/1161 (removed 162) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11779413258914693265.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3499338973789573585.kers'
[2026-05-27 16:51:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11779413258914693265.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3499338973789573585.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 999 rows 755 cols 2909 entries
Finished phase 1 with 739 SingleSign rule and 0 generalized
[2026-05-27 16:51:47] [INFO ] Computed 16 invariants in 5 ms
Computed 16 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-3499338973789573585.kers
Total runtime 7 ms.
[2026-05-27 16:51:48] [INFO ] Implicit Places using invariants in 1007 ms returned []
[2026-05-27 16:51:48] [INFO ] Invariant cache hit.
[2026-05-27 16:51:50] [INFO ] Implicit Places using invariants and state equation in 1601 ms returned []
Implicit Place search using SMT with State Equation took 2630 ms to find 0 implicit places.
Running 998 sub problems to find dead transitions.
[2026-05-27 16:51:50] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 754/1754 variables, and 0 constraints, problems are : Problem set: 0 solved, 998 unsolved in 30036 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/755 constraints, PredecessorRefiner: 998/998 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 998 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 754/1754 variables, and 0 constraints, problems are : Problem set: 0 solved, 998 unsolved in 30039 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/755 constraints, PredecessorRefiner: 0/998 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60583ms problems are : Problem set: 0 solved, 998 unsolved
Search for dead transitions found 0 dead transitions in 60585ms
Starting structural reductions in LTL mode, iteration 1 : 755/875 places, 999/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63336 ms. Remains : 755/875 places, 999/1161 transitions.
[2026-05-27 16:52:50] [INFO ] Flatten gal took : 23 ms
[2026-05-27 16:52:50] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:52:50] [INFO ] Input system was already deterministic with 999 transitions.
[2026-05-27 16:52:50] [INFO ] Flatten gal took : 23 ms
[2026-05-27 16:52:50] [INFO ] Flatten gal took : 25 ms
[2026-05-27 16:52:50] [INFO ] Time to serialize gal into /tmp/CTLFireability9091587300581148393.gal : 6 ms
[2026-05-27 16:52:50] [INFO ] Time to serialize properties into /tmp/CTLFireability4733416657832201384.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9091587300581148393.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4733416657832201384.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:53:20] [INFO ] Flatten gal took : 26 ms
[2026-05-27 16:53:20] [INFO ] Applying decomposition
[2026-05-27 16:53:21] [INFO ] Flatten gal took : 25 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6565759884404955379.txt' '-o' '/tmp/graph6565759884404955379.bin' '-w' '/tmp/graph6565759884404955379.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6565759884404955379.bin' '-l' '-1' '-v' '-w' '/tmp/graph6565759884404955379.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:53:21] [INFO ] Decomposing Gal with order
[2026-05-27 16:53:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:53:21] [INFO ] Removed a total of 273 redundant transitions.
[2026-05-27 16:53:21] [INFO ] Flatten gal took : 83 ms
[2026-05-27 16:53:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 9 ms.
[2026-05-27 16:53:21] [INFO ] Time to serialize gal into /tmp/CTLFireability4959787513063652058.gal : 12 ms
[2026-05-27 16:53:21] [INFO ] Time to serialize properties into /tmp/CTLFireability15637682701343786185.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4959787513063652058.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15637682701343786185.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 816 transition count 1102
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 816 transition count 1102
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 124 place count 816 transition count 1096
Discarding 44 places :
Symmetric choice reduction at 1 with 44 rule applications. Total rules 168 place count 772 transition count 1052
Iterating global reduction 1 with 44 rules applied. Total rules applied 212 place count 772 transition count 1052
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 236 place count 772 transition count 1028
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 252 place count 756 transition count 1012
Iterating global reduction 2 with 16 rules applied. Total rules applied 268 place count 756 transition count 1012
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 278 place count 756 transition count 1002
Applied a total of 278 rules in 174 ms. Remains 756 /875 variables (removed 119) and now considering 1002/1161 (removed 159) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7222988813194906081.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9914248099902609563.kers'
[2026-05-27 16:53:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7222988813194906081.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9914248099902609563.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 1002 rows 756 cols 2923 entries
Finished phase 1 with 740 SingleSign rule and 0 generalized
[2026-05-27 16:53:51] [INFO ] Computed 16 invariants in 6 ms
Computed 16 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-9914248099902609563.kers
Total runtime 9 ms.
[2026-05-27 16:53:52] [INFO ] Implicit Places using invariants in 1241 ms returned []
[2026-05-27 16:53:52] [INFO ] Invariant cache hit.
[2026-05-27 16:53:54] [INFO ] Implicit Places using invariants and state equation in 1348 ms returned []
Implicit Place search using SMT with State Equation took 2591 ms to find 0 implicit places.
Running 1001 sub problems to find dead transitions.
[2026-05-27 16:53:54] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 755/1758 variables, and 0 constraints, problems are : Problem set: 0 solved, 1001 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/756 constraints, PredecessorRefiner: 1001/1001 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1001 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 755/1758 variables, and 0 constraints, problems are : Problem set: 0 solved, 1001 unsolved in 30036 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, State Equation: 0/756 constraints, PredecessorRefiner: 0/1001 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60489ms problems are : Problem set: 0 solved, 1001 unsolved
Search for dead transitions found 0 dead transitions in 60492ms
Starting structural reductions in LTL mode, iteration 1 : 756/875 places, 1002/1161 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63263 ms. Remains : 756/875 places, 1002/1161 transitions.
[2026-05-27 16:54:54] [INFO ] Flatten gal took : 23 ms
[2026-05-27 16:54:54] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:54:54] [INFO ] Input system was already deterministic with 1002 transitions.
[2026-05-27 16:54:54] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:54:54] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:54:54] [INFO ] Time to serialize gal into /tmp/CTLFireability936626718614734576.gal : 6 ms
[2026-05-27 16:54:54] [INFO ] Time to serialize properties into /tmp/CTLFireability13232335272139531881.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability936626718614734576.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13232335272139531881.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:55:24] [INFO ] Flatten gal took : 24 ms
[2026-05-27 16:55:24] [INFO ] Applying decomposition
[2026-05-27 16:55:24] [INFO ] Flatten gal took : 20 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph496666318454678077.txt' '-o' '/tmp/graph496666318454678077.bin' '-w' '/tmp/graph496666318454678077.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph496666318454678077.bin' '-l' '-1' '-v' '-w' '/tmp/graph496666318454678077.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:55:24] [INFO ] Decomposing Gal with order
[2026-05-27 16:55:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:55:25] [INFO ] Removed a total of 277 redundant transitions.
[2026-05-27 16:55:25] [INFO ] Flatten gal took : 54 ms
[2026-05-27 16:55:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 22 labels/synchronizations in 20 ms.
[2026-05-27 16:55:25] [INFO ] Time to serialize gal into /tmp/CTLFireability9496965113769367441.gal : 7 ms
[2026-05-27 16:55:25] [INFO ] Time to serialize properties into /tmp/CTLFireability4229598979976342578.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9496965113769367441.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4229598979976342578.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Graph (trivial) has 827 edges and 875 vertex of which 85 / 875 are part of one of the 14 SCC in 1 ms
Free SCC test removed 71 places
Ensure Unique test removed 72 transitions
Reduce isomorphic transitions removed 72 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 87 transitions
Trivial Post-agglo rules discarded 87 transitions
Performed 87 trivial Post agglomeration. Transition count delta: 87
Iterating post reduction 0 with 87 rules applied. Total rules applied 88 place count 803 transition count 1001
Reduce places removed 87 places and 0 transitions.
Iterating post reduction 1 with 87 rules applied. Total rules applied 175 place count 716 transition count 1001
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 175 place count 716 transition count 957
Deduced a syphon composed of 44 places in 0 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 263 place count 672 transition count 957
Discarding 88 places :
Symmetric choice reduction at 2 with 88 rule applications. Total rules 351 place count 584 transition count 869
Iterating global reduction 2 with 88 rules applied. Total rules applied 439 place count 584 transition count 869
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 448 place count 584 transition count 860
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 448 place count 584 transition count 858
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 452 place count 582 transition count 858
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 483 place count 551 transition count 827
Iterating global reduction 3 with 31 rules applied. Total rules applied 514 place count 551 transition count 827
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 3 with 30 rules applied. Total rules applied 544 place count 551 transition count 797
Performed 42 Post agglomeration using F-continuation condition.Transition count delta: 42
Deduced a syphon composed of 42 places in 1 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 4 with 84 rules applied. Total rules applied 628 place count 509 transition count 755
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 634 place count 503 transition count 749
Iterating global reduction 4 with 6 rules applied. Total rules applied 640 place count 503 transition count 749
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 646 place count 503 transition count 743
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 5 with 14 rules applied. Total rules applied 660 place count 503 transition count 729
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 662 place count 501 transition count 727
Applied a total of 662 rules in 210 ms. Remains 501 /875 variables (removed 374) and now considering 727/1161 (removed 434) transitions.
[2026-05-27 16:55:55] [INFO ] Flow matrix only has 714 transitions (discarded 13 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7655149554398117249.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7997938641129080511.kers'
[2026-05-27 16:55:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7655149554398117249.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7997938641129080511.kers]
Normalized transition count is 713 out of 714 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 713 rows 500 cols 2127 entries
Finished phase 1 with 485 SingleSign rule and 0 generalized
[2026-05-27 16:55:55] [INFO ] Computed 16 invariants in 4 ms
Computed 16 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-7997938641129080511.kers
Total runtime 7 ms.
[2026-05-27 16:55:56] [INFO ] Implicit Places using invariants in 963 ms returned []
[2026-05-27 16:55:56] [INFO ] Flow matrix only has 714 transitions (discarded 13 similar events)
[2026-05-27 16:55:56] [INFO ] Invariant cache hit.
[2026-05-27 16:55:57] [INFO ] Implicit Places using invariants and state equation in 1407 ms returned []
Implicit Place search using SMT with State Equation took 2373 ms to find 0 implicit places.
[2026-05-27 16:55:57] [INFO ] Redundant transitions in 6 ms returned []
Running 344 sub problems to find dead transitions.
[2026-05-27 16:55:57] [INFO ] Flow matrix only has 714 transitions (discarded 13 similar events)
[2026-05-27 16:55:57] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/487 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/487 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 2 (OVERLAPS) 14/501 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/501 variables, 2/18 constraints. Problems are: Problem set: 0 solved, 344 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 501/1215 variables, and 18 constraints, problems are : Problem set: 0 solved, 344 unsolved in 30020 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 0/501 constraints, PredecessorRefiner: 344/344 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 344 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/487 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/487 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 2 (OVERLAPS) 14/501 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/501 variables, 2/18 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/501 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 5 (OVERLAPS) 713/1214 variables, 501/519 constraints. Problems are: Problem set: 0 solved, 344 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1214 variables, 344/863 constraints. Problems are: Problem set: 0 solved, 344 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1214/1215 variables, and 863 constraints, problems are : Problem set: 0 solved, 344 unsolved in 30023 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 501/501 constraints, PredecessorRefiner: 344/344 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60117ms problems are : Problem set: 0 solved, 344 unsolved
Search for dead transitions found 0 dead transitions in 60118ms
Starting structural reductions in SI_CTL mode, iteration 1 : 501/875 places, 727/1161 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 62715 ms. Remains : 501/875 places, 727/1161 transitions.
[2026-05-27 16:56:57] [INFO ] Flatten gal took : 25 ms
[2026-05-27 16:56:57] [INFO ] Flatten gal took : 17 ms
[2026-05-27 16:56:57] [INFO ] Input system was already deterministic with 727 transitions.
[2026-05-27 16:56:57] [INFO ] Flatten gal took : 18 ms
[2026-05-27 16:56:57] [INFO ] Flatten gal took : 17 ms
[2026-05-27 16:56:57] [INFO ] Time to serialize gal into /tmp/CTLFireability9147077914778905755.gal : 5 ms
[2026-05-27 16:56:57] [INFO ] Time to serialize properties into /tmp/CTLFireability17257396111103642605.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9147077914778905755.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17257396111103642605.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 16:57:28] [INFO ] Flatten gal took : 11 ms
[2026-05-27 16:57:28] [INFO ] Applying decomposition
[2026-05-27 16:57:28] [INFO ] Flatten gal took : 11 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10798321708002435138.txt' '-o' '/tmp/graph10798321708002435138.bin' '-w' '/tmp/graph10798321708002435138.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10798321708002435138.bin' '-l' '-1' '-v' '-w' '/tmp/graph10798321708002435138.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:57:28] [INFO ] Decomposing Gal with order
[2026-05-27 16:57:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:57:28] [INFO ] Removed a total of 256 redundant transitions.
[2026-05-27 16:57:28] [INFO ] Flatten gal took : 64 ms
[2026-05-27 16:57:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 7 ms.
[2026-05-27 16:57:28] [INFO ] Time to serialize gal into /tmp/CTLFireability11698937922153024023.gal : 7 ms
[2026-05-27 16:57:28] [INFO ] Time to serialize properties into /tmp/CTLFireability2067033006640179832.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11698937922153024023.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2067033006640179832.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.0933e+21,1.27553,24932,69,347,29524,5630,1072,53253,1110,2631,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 875/875 places, 1161/1161 transitions.
Graph (trivial) has 830 edges and 875 vertex of which 85 / 875 are part of one of the 14 SCC in 0 ms
Free SCC test removed 71 places
Ensure Unique test removed 72 transitions
Reduce isomorphic transitions removed 72 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 88 transitions
Trivial Post-agglo rules discarded 88 transitions
Performed 88 trivial Post agglomeration. Transition count delta: 88
Iterating post reduction 0 with 88 rules applied. Total rules applied 89 place count 803 transition count 1000
Reduce places removed 88 places and 0 transitions.
Iterating post reduction 1 with 88 rules applied. Total rules applied 177 place count 715 transition count 1000
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 177 place count 715 transition count 955
Deduced a syphon composed of 45 places in 1 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 267 place count 670 transition count 955
Discarding 91 places :
Symmetric choice reduction at 2 with 91 rule applications. Total rules 358 place count 579 transition count 864
Iterating global reduction 2 with 91 rules applied. Total rules applied 449 place count 579 transition count 864
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 458 place count 579 transition count 855
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 458 place count 579 transition count 853
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 462 place count 577 transition count 853
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 494 place count 545 transition count 821
Iterating global reduction 3 with 32 rules applied. Total rules applied 526 place count 545 transition count 821
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 3 with 32 rules applied. Total rules applied 558 place count 545 transition count 789
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 0 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 4 with 82 rules applied. Total rules applied 640 place count 504 transition count 748
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 647 place count 497 transition count 741
Iterating global reduction 4 with 7 rules applied. Total rules applied 654 place count 497 transition count 741
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 661 place count 497 transition count 734
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 5 with 14 rules applied. Total rules applied 675 place count 497 transition count 720
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 677 place count 495 transition count 718
Applied a total of 677 rules in 218 ms. Remains 495 /875 variables (removed 380) and now considering 718/1161 (removed 443) transitions.
[2026-05-27 16:57:58] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9156823387621725837.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2184104114361571008.kers'
[2026-05-27 16:57:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9156823387621725837.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2184104114361571008.kers]
Normalized transition count is 704 out of 705 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 1 ms.
// Phase 1: matrix 704 rows 494 cols 2097 entries
Finished phase 1 with 479 SingleSign rule and 0 generalized
[2026-05-27 16:57:58] [INFO ] Computed 16 invariants in 11 ms
Computed 16 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-2184104114361571008.kers
Total runtime 13 ms.
[2026-05-27 16:57:59] [INFO ] Implicit Places using invariants in 1041 ms returned []
[2026-05-27 16:57:59] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
[2026-05-27 16:57:59] [INFO ] Invariant cache hit.
[2026-05-27 16:58:00] [INFO ] Implicit Places using invariants and state equation in 1406 ms returned []
Implicit Place search using SMT with State Equation took 2449 ms to find 0 implicit places.
[2026-05-27 16:58:01] [INFO ] Redundant transitions in 9 ms returned []
Running 338 sub problems to find dead transitions.
[2026-05-27 16:58:01] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
[2026-05-27 16:58:01] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/481 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/481 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 338 unsolved
At refinement iteration 2 (OVERLAPS) 14/495 variables, 14/16 constraints. Problems are: Problem set: 0 solved, 338 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 3 (INCLUDED_ONLY) 0/495 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 338 unsolved
SMT process timed out in 30143ms, After SMT, problems are : Problem set: 0 solved, 338 unsolved
Search for dead transitions found 0 dead transitions in 30145ms
Starting structural reductions in SI_CTL mode, iteration 1 : 495/875 places, 718/1161 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 32830 ms. Remains : 495/875 places, 718/1161 transitions.
[2026-05-27 16:58:31] [INFO ] Flatten gal took : 16 ms
[2026-05-27 16:58:31] [INFO ] Flatten gal took : 18 ms
[2026-05-27 16:58:31] [INFO ] Input system was already deterministic with 718 transitions.
[2026-05-27 16:58:31] [INFO ] Flatten gal took : 18 ms
[2026-05-27 16:58:31] [INFO ] Flatten gal took : 17 ms
[2026-05-27 16:58:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14327881610152102149.gal : 5 ms
[2026-05-27 16:58:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7945157794038141033.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14327881610152102149.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7945157794038141033.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality7945157794038141033.prop.
RANDOM walk for 40000 steps (1896 resets) in 677 ms. (58 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (18 resets) in 90 ms. (439 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 121
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :121 after 15840
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :15840 after 2.5872e+06
Interrupted probabilistic random walk after 484999 steps, run timeout after 3001 ms. (steps per millisecond=161 ) properties seen :0 out of 1
Probabilistic random walk after 484999 steps, saw 111863 distinct states, run finished after 3001 ms. (steps per millisecond=161 ) properties seen :0
[2026-05-27 16:58:34] [INFO ] Flow matrix only has 705 transitions (discarded 13 similar events)
[2026-05-27 16:58:34] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 23/24 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/24 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 52/76 variables, 24/25 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/76 variables, 0/25 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 601/677 variables, 66/91 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/677 variables, 1/92 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/677 variables, 0/92 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 405/1082 variables, 14/106 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1082 variables, 301/407 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1082 variables, 0/407 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 117/1199 variables, 104/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1199 variables, 0/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 0/1199 variables, 0/511 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1199/1200 variables, and 511 constraints, problems are : Problem set: 0 solved, 1 unsolved in 541 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 495/495 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 23/24 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/24 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 52/76 variables, 24/25 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/76 variables, 0/25 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 601/677 variables, 66/91 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/677 variables, 1/92 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/677 variables, 1/93 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/677 variables, 0/93 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 405/1082 variables, 14/107 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1082 variables, 301/408 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1082 variables, 0/408 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 117/1199 variables, 104/512 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1199 variables, 0/512 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (OVERLAPS) 0/1199 variables, 0/512 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1199/1200 variables, and 512 constraints, problems are : Problem set: 0 solved, 1 unsolved in 633 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 495/495 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 1182ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 56 steps, including 1 resets, run visited all 1 properties in 2 ms. (steps per millisecond=28 )
FORMULA FlexibleBarrier-PT-14b-CTLFireability-2024-15 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 1 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2026-05-27 16:58:35] [INFO ] Flatten gal took : 37 ms
[2026-05-27 16:58:35] [INFO ] Flatten gal took : 28 ms
[2026-05-27 16:58:35] [INFO ] Applying decomposition
[2026-05-27 16:58:35] [INFO ] Flatten gal took : 28 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9289759368238372885.txt' '-o' '/tmp/graph9289759368238372885.bin' '-w' '/tmp/graph9289759368238372885.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9289759368238372885.bin' '-l' '-1' '-v' '-w' '/tmp/graph9289759368238372885.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:58:35] [INFO ] Decomposing Gal with order
[2026-05-27 16:58:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:58:36] [INFO ] Removed a total of 371 redundant transitions.
[2026-05-27 16:58:36] [INFO ] Flatten gal took : 106 ms
[2026-05-27 16:58:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 61 labels/synchronizations in 28 ms.
[2026-05-27 16:58:36] [INFO ] Time to serialize gal into /tmp/CTLFireability734230520701817059.gal : 14 ms
[2026-05-27 16:58:36] [INFO ] Time to serialize properties into /tmp/CTLFireability262723652178222594.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability734230520701817059.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability262723652178222594.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...260
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-14b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is FlexibleBarrier-PT-14b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r130-smll-177955809100394"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-14b.tgz
mv FlexibleBarrier-PT-14b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;