About the Execution of ITS-Tools for EisenbergMcGuire-PT-07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16199.623 | 3600000.00 | 3499381.00 | 98408.80 | ??????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.r114-smll-177955740500265.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 EisenbergMcGuire-PT-07, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740500265
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.4K Mar 7 05:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Mar 7 05:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Mar 7 05:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Mar 7 05:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 15 09:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 09:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 15 09:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 09:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 7 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Mar 7 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Mar 7 05:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Mar 7 05:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 09:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 EisenbergMcGuire-PT-07-CTLCardinality-2024-00
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-01
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-02
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-03
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-04
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-05
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-06
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-07
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-08
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-09
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-10
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-11
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-12
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-13
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-14
FORMULA_NAME EisenbergMcGuire-PT-07-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779781034182
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EisenbergMcGuire-PT-07
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-26 07:37:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-26 07:37:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 07:37:16] [INFO ] Load time of PNML (sax parser for PT used): 413 ms
[2026-05-26 07:37:16] [INFO ] Transformed 553 places.
[2026-05-26 07:37:17] [INFO ] Transformed 1960 transitions.
[2026-05-26 07:37:17] [INFO ] Found NUPN structural information;
[2026-05-26 07:37:17] [INFO ] Parsed PT model containing 553 places and 1960 transitions and 9212 arcs in 643 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 20 ms.
Support contains 103 out of 553 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 553/553 places, 1960/1960 transitions.
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 31 place count 522 transition count 1743
Iterating global reduction 0 with 31 rules applied. Total rules applied 62 place count 522 transition count 1743
Applied a total of 62 rules in 127 ms. Remains 522 /553 variables (removed 31) and now considering 1743/1960 (removed 217) transitions.
[2026-05-26 07:37:17] [INFO ] Flow matrix only has 784 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11033767655552270085.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9116601910644762773.kers'
[2026-05-26 07:37:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11033767655552270085.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9116601910644762773.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 784 rows 522 cols 1792 entries
Finished phase 1 with 493 SingleSign rule and 7 generalized
[2026-05-26 07:37:17] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-9116601910644762773.kers
Total runtime 6 ms.
[2026-05-26 07:37:18] [INFO ] Implicit Places using invariants in 1337 ms returned []
[2026-05-26 07:37:18] [INFO ] Flow matrix only has 784 transitions (discarded 959 similar events)
[2026-05-26 07:37:18] [INFO ] Invariant cache hit.
[2026-05-26 07:37:19] [INFO ] State equation strengthened by 286 read => feed constraints.
[2026-05-26 07:37:22] [INFO ] Implicit Places using invariants and state equation in 3685 ms returned []
Implicit Place search using SMT with State Equation took 5087 ms to find 0 implicit places.
Running 1736 sub problems to find dead transitions.
[2026-05-26 07:37:22] [INFO ] Flow matrix only has 784 transitions (discarded 959 similar events)
[2026-05-26 07:37:22] [INFO ] Invariant cache hit.
[2026-05-26 07:37:22] [INFO ] State equation strengthened by 286 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/522 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1736 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/522 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1736 unsolved
SMT process timed out in 31611ms, After SMT, problems are : Problem set: 0 solved, 1736 unsolved
Search for dead transitions found 0 dead transitions in 31669ms
Starting structural reductions in LTL mode, iteration 1 : 522/553 places, 1743/1960 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 36967 ms. Remains : 522/553 places, 1743/1960 transitions.
Starting structural reductions in LTL mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Applied a total of 0 rules in 26 ms. Remains 522 /522 variables (removed 0) and now considering 1743/1743 (removed 0) transitions.
[2026-05-26 07:37:54] [INFO ] Flow matrix only has 784 transitions (discarded 959 similar events)
[2026-05-26 07:37:54] [INFO ] Invariant cache hit.
[2026-05-26 07:37:55] [INFO ] Implicit Places using invariants in 843 ms returned []
[2026-05-26 07:37:55] [INFO ] Flow matrix only has 784 transitions (discarded 959 similar events)
[2026-05-26 07:37:55] [INFO ] Invariant cache hit.
[2026-05-26 07:37:55] [INFO ] State equation strengthened by 286 read => feed constraints.
[2026-05-26 07:37:58] [INFO ] Implicit Places using invariants and state equation in 3355 ms returned []
Implicit Place search using SMT with State Equation took 4204 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 4231 ms. Remains : 522/522 places, 1743/1743 transitions.
Support contains 103 out of 522 places after structural reductions.
[2026-05-26 07:37:59] [INFO ] Flatten gal took : 271 ms
[2026-05-26 07:37:59] [INFO ] Flatten gal took : 208 ms
[2026-05-26 07:37:59] [INFO ] Input system was already deterministic with 1743 transitions.
Support contains 95 out of 522 places (down from 103) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 2310 ms. (17 steps per ms) remains 13/57 properties
BEST_FIRST walk for 40004 steps (8 resets) in 235 ms. (169 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 201 ms. (198 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 123 ms. (322 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 222 ms. (179 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 110 ms. (360 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 109 ms. (363 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 84 ms. (470 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 144 ms. (275 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 114 ms. (347 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 102 ms. (388 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 91 ms. (434 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 124 ms. (320 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 87 ms. (454 steps per ms) remains 13/13 properties
[2026-05-26 07:38:01] [INFO ] Flow matrix only has 784 transitions (discarded 959 similar events)
[2026-05-26 07:38:01] [INFO ] Invariant cache hit.
[2026-05-26 07:38:01] [INFO ] State equation strengthened by 286 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/20 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (OVERLAPS) 280/300 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/300 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 3 (OVERLAPS) 12/312 variables, 6/12 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/312 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 5 (OVERLAPS) 153/465 variables, 7/19 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/465 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 7 (OVERLAPS) 50/515 variables, 2/21 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/515 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 9 (OVERLAPS) 784/1299 variables, 515/536 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1299 variables, 286/822 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1299 variables, 0/822 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 12 (OVERLAPS) 7/1306 variables, 7/829 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1306 variables, 1/830 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1306 variables, 0/830 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 15 (OVERLAPS) 0/1306 variables, 0/830 constraints. Problems are: Problem set: 0 solved, 13 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1306/1306 variables, and 830 constraints, problems are : Problem set: 0 solved, 13 unsolved in 3038 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 522/522 constraints, ReadFeed: 286/286 constraints, PredecessorRefiner: 13/13 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 13 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/20 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (OVERLAPS) 280/300 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/300 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 3 (OVERLAPS) 12/312 variables, 6/12 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/312 variables, 15/27 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/312 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 6 (OVERLAPS) 153/465 variables, 7/34 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/465 variables, 1/35 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/465 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 9 (OVERLAPS) 50/515 variables, 2/37 constraints. Problems are: Problem set: 0 solved, 13 unsolved
SMT process timed out in 8555ms, After SMT, problems are : Problem set: 0 solved, 13 unsolved
Fused 13 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 20 out of 522 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 522 transition count 1736
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 515 transition count 1736
Performed 146 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 146 Pre rules applied. Total rules applied 14 place count 515 transition count 1590
Deduced a syphon composed of 146 places in 3 ms
Reduce places removed 146 places and 0 transitions.
Iterating global reduction 2 with 292 rules applied. Total rules applied 306 place count 369 transition count 1590
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 316 place count 359 transition count 1520
Iterating global reduction 2 with 10 rules applied. Total rules applied 326 place count 359 transition count 1520
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Deduced a syphon composed of 38 places in 2 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 2 with 76 rules applied. Total rules applied 402 place count 321 transition count 1482
Applied a total of 402 rules in 374 ms. Remains 321 /522 variables (removed 201) and now considering 1482/1743 (removed 261) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 375 ms. Remains : 321/522 places, 1482/1743 transitions.
RANDOM walk for 40000 steps (8 resets) in 599 ms. (66 steps per ms) remains 12/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 132 ms. (300 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 171 ms. (232 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 185 ms. (215 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 135 ms. (294 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 144 ms. (275 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 125 ms. (317 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 113 ms. (350 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 135 ms. (294 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 107 ms. (370 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 86 ms. (459 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 109 ms. (363 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 75 ms. (526 steps per ms) remains 12/12 properties
Interrupted probabilistic random walk after 268112 steps, run timeout after 3001 ms. (steps per millisecond=89 ) properties seen :11 out of 12
Probabilistic random walk after 268112 steps, saw 131775 distinct states, run finished after 3012 ms. (steps per millisecond=89 ) properties seen :11
[2026-05-26 07:38:13] [INFO ] Flow matrix only has 523 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7699795359788706136.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4200647270355596814.kers'
[2026-05-26 07:38:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7699795359788706136.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4200647270355596814.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 523 rows 321 cols 1270 entries
Finished phase 1 with 292 SingleSign rule and 7 generalized
[2026-05-26 07:38:13] [INFO ] Computed 22 invariants in 2 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-4200647270355596814.kers
Total runtime 4 ms.
[2026-05-26 07:38:13] [INFO ] State equation strengthened by 226 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 33/36 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/36 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 2/38 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/38 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 28/66 variables, 3/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/66 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 71/137 variables, 4/9 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/137 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 230/367 variables, 137/146 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/367 variables, 24/170 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/367 variables, 0/170 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 55/422 variables, 7/177 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/422 variables, 1/178 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/422 variables, 31/209 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/422 variables, 0/209 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (OVERLAPS) 80/502 variables, 36/245 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/502 variables, 24/269 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/502 variables, 0/269 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (OVERLAPS) 98/600 variables, 4/273 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/600 variables, 0/273 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (OVERLAPS) 8/608 variables, 4/277 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/608 variables, 0/277 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (OVERLAPS) 35/643 variables, 4/281 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/643 variables, 0/281 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (OVERLAPS) 201/844 variables, 141/422 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/844 variables, 147/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/844 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 28 (OVERLAPS) 0/844 variables, 0/569 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 844/844 variables, and 569 constraints, problems are : Problem set: 0 solved, 1 unsolved in 669 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 321/321 constraints, ReadFeed: 226/226 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/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 33/36 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/36 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 2/38 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/38 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 28/66 variables, 3/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/66 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 71/137 variables, 4/9 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/137 variables, 2/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/137 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 230/367 variables, 137/148 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/367 variables, 24/172 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/367 variables, 0/172 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 55/422 variables, 7/179 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/422 variables, 1/180 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/422 variables, 31/211 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/422 variables, 0/211 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (OVERLAPS) 80/502 variables, 36/247 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/502 variables, 24/271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/502 variables, 0/271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (OVERLAPS) 98/600 variables, 4/275 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/600 variables, 0/275 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (OVERLAPS) 8/608 variables, 4/279 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/608 variables, 1/280 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/608 variables, 4/284 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/608 variables, 0/284 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (OVERLAPS) 35/643 variables, 4/288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/643 variables, 0/288 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 28 (OVERLAPS) 201/844 variables, 141/429 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/844 variables, 147/576 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/844 variables, 0/576 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 31 (OVERLAPS) 0/844 variables, 0/576 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 844/844 variables, and 576 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1965 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 321/321 constraints, ReadFeed: 226/226 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 6/6 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 2659ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 54 steps, including 1 resets, run visited all 1 properties in 3 ms. (steps per millisecond=18 )
Parikh walk visited 1 properties in 15 ms.
[2026-05-26 07:38:16] [INFO ] Flatten gal took : 102 ms
[2026-05-26 07:38:16] [INFO ] Flatten gal took : 102 ms
[2026-05-26 07:38:16] [INFO ] Input system was already deterministic with 1743 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 522 transition count 1736
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 515 transition count 1736
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 150 Pre rules applied. Total rules applied 14 place count 515 transition count 1586
Deduced a syphon composed of 150 places in 2 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 2 with 300 rules applied. Total rules applied 314 place count 365 transition count 1586
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 325 place count 354 transition count 1509
Iterating global reduction 2 with 11 rules applied. Total rules applied 336 place count 354 transition count 1509
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 6 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 418 place count 313 transition count 1468
Applied a total of 418 rules in 188 ms. Remains 313 /522 variables (removed 209) and now considering 1468/1743 (removed 275) transitions.
[2026-05-26 07:38:17] [INFO ] Flow matrix only has 509 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14963356030204874678.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1529761187046731104.kers'
[2026-05-26 07:38:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14963356030204874678.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1529761187046731104.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 509 rows 313 cols 1242 entries
Finished phase 1 with 284 SingleSign rule and 7 generalized
[2026-05-26 07:38:17] [INFO ] Computed 22 invariants in 2 ms
Computed 22 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-1529761187046731104.kers
Total runtime 4 ms.
[2026-05-26 07:38:17] [INFO ] Implicit Places using invariants in 554 ms returned []
[2026-05-26 07:38:17] [INFO ] Flow matrix only has 509 transitions (discarded 959 similar events)
[2026-05-26 07:38:17] [INFO ] Invariant cache hit.
[2026-05-26 07:38:17] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:38:20] [INFO ] Implicit Places using invariants and state equation in 2354 ms returned []
Implicit Place search using SMT with State Equation took 2922 ms to find 0 implicit places.
[2026-05-26 07:38:20] [INFO ] Redundant transitions in 139 ms returned []
Running 1461 sub problems to find dead transitions.
[2026-05-26 07:38:20] [INFO ] Flow matrix only has 509 transitions (discarded 959 similar events)
[2026-05-26 07:38:20] [INFO ] Invariant cache hit.
[2026-05-26 07:38:20] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/313 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/313 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/313 variables, 20/42 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 313/822 variables, and 45 constraints, problems are : Problem set: 0 solved, 1461 unsolved in 30102 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/313 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 1461/1461 constraints, Known Traps: 23/23 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1461 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/313 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/313 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/313 variables, 23/45 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/313 variables, 20/65 constraints. Problems are: Problem set: 0 solved, 1461 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 313/822 variables, and 65 constraints, problems are : Problem set: 0 solved, 1461 unsolved in 30066 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/313 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 0/1461 constraints, Known Traps: 43/43 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60661ms problems are : Problem set: 0 solved, 1461 unsolved
Search for dead transitions found 0 dead transitions in 60671ms
Starting structural reductions in SI_CTL mode, iteration 1 : 313/522 places, 1468/1743 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 63937 ms. Remains : 313/522 places, 1468/1743 transitions.
[2026-05-26 07:39:20] [INFO ] Flatten gal took : 63 ms
[2026-05-26 07:39:21] [INFO ] Flatten gal took : 68 ms
[2026-05-26 07:39:21] [INFO ] Input system was already deterministic with 1468 transitions.
[2026-05-26 07:39:21] [INFO ] Flatten gal took : 64 ms
[2026-05-26 07:39:21] [INFO ] Flatten gal took : 64 ms
[2026-05-26 07:39:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality11424967332641341826.gal : 45 ms
[2026-05-26 07:39:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality7165702059007739419.ctl : 7 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/CTLCardinality11424967332641341826.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7165702059007739419.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-26 07:39:51] [INFO ] Flatten gal took : 34 ms
[2026-05-26 07:39:51] [INFO ] Applying decomposition
[2026-05-26 07:39:51] [INFO ] Flatten gal took : 37 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/graph4906874733339303653.txt' '-o' '/tmp/graph4906874733339303653.bin' '-w' '/tmp/graph4906874733339303653.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4906874733339303653.bin' '-l' '-1' '-v' '-w' '/tmp/graph4906874733339303653.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:39:51] [INFO ] Decomposing Gal with order
[2026-05-26 07:39:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:39:52] [INFO ] Removed a total of 2869 redundant transitions.
[2026-05-26 07:39:52] [INFO ] Flatten gal took : 636 ms
[2026-05-26 07:39:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 468 labels/synchronizations in 145 ms.
[2026-05-26 07:39:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality8694241453728238482.gal : 25 ms
[2026-05-26 07:39:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality2864258969765800193.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/CTLCardinality8694241453728238482.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2864258969765800193.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 : 522/522 places, 1743/1743 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 512 transition count 1673
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 512 transition count 1673
Applied a total of 20 rules in 37 ms. Remains 512 /522 variables (removed 10) and now considering 1673/1743 (removed 70) transitions.
[2026-05-26 07:40:23] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16307784377247940111.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5378885638414033005.kers'
[2026-05-26 07:40:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16307784377247940111.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5378885638414033005.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 714 rows 512 cols 1652 entries
Finished phase 1 with 483 SingleSign rule and 7 generalized
[2026-05-26 07:40:23] [INFO ] Computed 22 invariants in 5 ms
Computed 22 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-5378885638414033005.kers
Total runtime 6 ms.
[2026-05-26 07:40:23] [INFO ] Implicit Places using invariants in 754 ms returned []
[2026-05-26 07:40:23] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:40:23] [INFO ] Invariant cache hit.
[2026-05-26 07:40:24] [INFO ] State equation strengthened by 226 read => feed constraints.
[2026-05-26 07:40:27] [INFO ] Implicit Places using invariants and state equation in 3364 ms returned []
Implicit Place search using SMT with State Equation took 4130 ms to find 0 implicit places.
Running 1666 sub problems to find dead transitions.
[2026-05-26 07:40:27] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:40:27] [INFO ] Invariant cache hit.
[2026-05-26 07:40:27] [INFO ] State equation strengthened by 226 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/512 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/512 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 512/1226 variables, and 35 constraints, problems are : Problem set: 0 solved, 1666 unsolved in 30043 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/512 constraints, ReadFeed: 0/226 constraints, PredecessorRefiner: 1666/1666 constraints, Known Traps: 13/13 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1666 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/512 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/512 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/512 variables, 13/35 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/512 variables, 20/55 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/512 variables, 20/75 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
SMT process timed out in 60464ms, After SMT, problems are : Problem set: 0 solved, 1666 unsolved
Search for dead transitions found 0 dead transitions in 60469ms
Starting structural reductions in LTL mode, iteration 1 : 512/522 places, 1673/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64644 ms. Remains : 512/522 places, 1673/1743 transitions.
[2026-05-26 07:41:27] [INFO ] Flatten gal took : 49 ms
[2026-05-26 07:41:27] [INFO ] Flatten gal took : 43 ms
[2026-05-26 07:41:28] [INFO ] Input system was already deterministic with 1673 transitions.
[2026-05-26 07:41:28] [INFO ] Flatten gal took : 50 ms
[2026-05-26 07:41:28] [INFO ] Flatten gal took : 53 ms
[2026-05-26 07:41:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality16870558279872697663.gal : 13 ms
[2026-05-26 07:41:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality14662582509171982639.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/CTLCardinality16870558279872697663.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14662582509171982639.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-26 07:41:58] [INFO ] Flatten gal took : 33 ms
[2026-05-26 07:41:58] [INFO ] Applying decomposition
[2026-05-26 07:41:58] [INFO ] Flatten gal took : 33 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/graph13270538982412824529.txt' '-o' '/tmp/graph13270538982412824529.bin' '-w' '/tmp/graph13270538982412824529.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13270538982412824529.bin' '-l' '-1' '-v' '-w' '/tmp/graph13270538982412824529.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:41:58] [INFO ] Decomposing Gal with order
[2026-05-26 07:41:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:41:58] [INFO ] Removed a total of 3049 redundant transitions.
[2026-05-26 07:41:58] [INFO ] Flatten gal took : 260 ms
[2026-05-26 07:41:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 443 labels/synchronizations in 140 ms.
[2026-05-26 07:41:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality5475567879907769437.gal : 18 ms
[2026-05-26 07:41:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality6826282708121275307.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/CTLCardinality5475567879907769437.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6826282708121275307.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 : 522/522 places, 1743/1743 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 511 transition count 1666
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 511 transition count 1666
Applied a total of 22 rules in 28 ms. Remains 511 /522 variables (removed 11) and now considering 1666/1743 (removed 77) transitions.
[2026-05-26 07:42:29] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3625657600137303134.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2191180580799368421.kers'
[2026-05-26 07:42:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3625657600137303134.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2191180580799368421.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 707 rows 511 cols 1638 entries
Finished phase 1 with 482 SingleSign rule and 7 generalized
[2026-05-26 07:42:29] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-2191180580799368421.kers
Total runtime 4 ms.
[2026-05-26 07:42:30] [INFO ] Implicit Places using invariants in 1063 ms returned []
[2026-05-26 07:42:30] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:42:30] [INFO ] Invariant cache hit.
[2026-05-26 07:42:30] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:42:33] [INFO ] Implicit Places using invariants and state equation in 3410 ms returned []
Implicit Place search using SMT with State Equation took 4476 ms to find 0 implicit places.
Running 1659 sub problems to find dead transitions.
[2026-05-26 07:42:33] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:42:33] [INFO ] Invariant cache hit.
[2026-05-26 07:42:33] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/511 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/511 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
SMT process timed out in 30778ms, After SMT, problems are : Problem set: 0 solved, 1659 unsolved
Search for dead transitions found 0 dead transitions in 30783ms
Starting structural reductions in LTL mode, iteration 1 : 511/522 places, 1666/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 35294 ms. Remains : 511/522 places, 1666/1743 transitions.
[2026-05-26 07:43:04] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:43:04] [INFO ] Flatten gal took : 34 ms
[2026-05-26 07:43:04] [INFO ] Input system was already deterministic with 1666 transitions.
[2026-05-26 07:43:04] [INFO ] Flatten gal took : 34 ms
[2026-05-26 07:43:04] [INFO ] Flatten gal took : 35 ms
[2026-05-26 07:43:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality15290335137474588920.gal : 8 ms
[2026-05-26 07:43:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality17798805095814242217.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/CTLCardinality15290335137474588920.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17798805095814242217.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-26 07:43:34] [INFO ] Flatten gal took : 32 ms
[2026-05-26 07:43:34] [INFO ] Applying decomposition
[2026-05-26 07:43:34] [INFO ] Flatten gal took : 33 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/graph974146367793801738.txt' '-o' '/tmp/graph974146367793801738.bin' '-w' '/tmp/graph974146367793801738.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph974146367793801738.bin' '-l' '-1' '-v' '-w' '/tmp/graph974146367793801738.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:43:35] [INFO ] Decomposing Gal with order
[2026-05-26 07:43:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:43:35] [INFO ] Removed a total of 3052 redundant transitions.
[2026-05-26 07:43:35] [INFO ] Flatten gal took : 147 ms
[2026-05-26 07:43:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 448 labels/synchronizations in 53 ms.
[2026-05-26 07:43:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality8542700089523445082.gal : 13 ms
[2026-05-26 07:43:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality361500355951882291.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/CTLCardinality8542700089523445082.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality361500355951882291.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 : 522/522 places, 1743/1743 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 511 transition count 1666
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 511 transition count 1666
Applied a total of 22 rules in 21 ms. Remains 511 /522 variables (removed 11) and now considering 1666/1743 (removed 77) transitions.
[2026-05-26 07:44:05] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:44:05] [INFO ] Invariant cache hit.
[2026-05-26 07:44:06] [INFO ] Implicit Places using invariants in 942 ms returned []
[2026-05-26 07:44:06] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:44:06] [INFO ] Invariant cache hit.
[2026-05-26 07:44:06] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:44:10] [INFO ] Implicit Places using invariants and state equation in 3680 ms returned []
Implicit Place search using SMT with State Equation took 4629 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 511/522 places, 1666/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4651 ms. Remains : 511/522 places, 1666/1743 transitions.
[2026-05-26 07:44:10] [INFO ] Flatten gal took : 30 ms
[2026-05-26 07:44:10] [INFO ] Flatten gal took : 35 ms
[2026-05-26 07:44:10] [INFO ] Input system was already deterministic with 1666 transitions.
[2026-05-26 07:44:10] [INFO ] Flatten gal took : 35 ms
[2026-05-26 07:44:10] [INFO ] Flatten gal took : 36 ms
[2026-05-26 07:44:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality8681886689838878030.gal : 7 ms
[2026-05-26 07:44:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality4997651005371125372.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/CTLCardinality8681886689838878030.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4997651005371125372.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-26 07:44:40] [INFO ] Flatten gal took : 56 ms
[2026-05-26 07:44:40] [INFO ] Applying decomposition
[2026-05-26 07:44:40] [INFO ] Flatten gal took : 58 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/graph14637673412186656702.txt' '-o' '/tmp/graph14637673412186656702.bin' '-w' '/tmp/graph14637673412186656702.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14637673412186656702.bin' '-l' '-1' '-v' '-w' '/tmp/graph14637673412186656702.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:44:40] [INFO ] Decomposing Gal with order
[2026-05-26 07:44:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:44:40] [INFO ] Removed a total of 3045 redundant transitions.
[2026-05-26 07:44:40] [INFO ] Flatten gal took : 97 ms
[2026-05-26 07:44:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 442 labels/synchronizations in 36 ms.
[2026-05-26 07:44:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality3774227396638702571.gal : 11 ms
[2026-05-26 07:44:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality2032776389308142719.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/CTLCardinality3774227396638702571.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2032776389308142719.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 : 522/522 places, 1743/1743 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 512 transition count 1673
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 512 transition count 1673
Applied a total of 20 rules in 20 ms. Remains 512 /522 variables (removed 10) and now considering 1673/1743 (removed 70) transitions.
[2026-05-26 07:45:10] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1002136488841009233.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6388725275168930550.kers'
[2026-05-26 07:45:10] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1002136488841009233.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6388725275168930550.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 714 rows 512 cols 1652 entries
Finished phase 1 with 483 SingleSign rule and 7 generalized
[2026-05-26 07:45:10] [INFO ] Computed 22 invariants in 4 ms
Computed 22 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-6388725275168930550.kers
Total runtime 5 ms.
[2026-05-26 07:45:11] [INFO ] Implicit Places using invariants in 753 ms returned []
[2026-05-26 07:45:11] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:45:11] [INFO ] Invariant cache hit.
[2026-05-26 07:45:12] [INFO ] State equation strengthened by 226 read => feed constraints.
[2026-05-26 07:45:15] [INFO ] Implicit Places using invariants and state equation in 3984 ms returned []
Implicit Place search using SMT with State Equation took 4742 ms to find 0 implicit places.
Running 1666 sub problems to find dead transitions.
[2026-05-26 07:45:15] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:45:15] [INFO ] Invariant cache hit.
[2026-05-26 07:45:15] [INFO ] State equation strengthened by 226 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/512 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/512 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 512/1226 variables, and 36 constraints, problems are : Problem set: 0 solved, 1666 unsolved in 30054 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/512 constraints, ReadFeed: 0/226 constraints, PredecessorRefiner: 1666/1666 constraints, Known Traps: 14/14 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1666 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/512 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/512 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/512 variables, 14/36 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/512 variables, 20/56 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 512/1226 variables, and 75 constraints, problems are : Problem set: 0 solved, 1666 unsolved in 30068 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/512 constraints, ReadFeed: 0/226 constraints, PredecessorRefiner: 0/1666 constraints, Known Traps: 53/53 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60631ms problems are : Problem set: 0 solved, 1666 unsolved
Search for dead transitions found 0 dead transitions in 60639ms
Starting structural reductions in LTL mode, iteration 1 : 512/522 places, 1673/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 65410 ms. Remains : 512/522 places, 1673/1743 transitions.
[2026-05-26 07:46:16] [INFO ] Flatten gal took : 42 ms
[2026-05-26 07:46:16] [INFO ] Flatten gal took : 52 ms
[2026-05-26 07:46:16] [INFO ] Input system was already deterministic with 1673 transitions.
[2026-05-26 07:46:16] [INFO ] Flatten gal took : 52 ms
[2026-05-26 07:46:16] [INFO ] Flatten gal took : 56 ms
[2026-05-26 07:46:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality2148517024844393556.gal : 11 ms
[2026-05-26 07:46:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality3960985581683651257.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/CTLCardinality2148517024844393556.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3960985581683651257.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-26 07:46:46] [INFO ] Flatten gal took : 31 ms
[2026-05-26 07:46:46] [INFO ] Applying decomposition
[2026-05-26 07:46:46] [INFO ] Flatten gal took : 33 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/graph20438768210816796.txt' '-o' '/tmp/graph20438768210816796.bin' '-w' '/tmp/graph20438768210816796.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph20438768210816796.bin' '-l' '-1' '-v' '-w' '/tmp/graph20438768210816796.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:46:46] [INFO ] Decomposing Gal with order
[2026-05-26 07:46:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:46:47] [INFO ] Removed a total of 3069 redundant transitions.
[2026-05-26 07:46:47] [INFO ] Flatten gal took : 108 ms
[2026-05-26 07:46:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 471 labels/synchronizations in 42 ms.
[2026-05-26 07:46:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality11790871122677372386.gal : 13 ms
[2026-05-26 07:46:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality15596757593380251570.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/CTLCardinality11790871122677372386.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15596757593380251570.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 : 522/522 places, 1743/1743 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 512 transition count 1673
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 512 transition count 1673
Applied a total of 20 rules in 21 ms. Remains 512 /522 variables (removed 10) and now considering 1673/1743 (removed 70) transitions.
[2026-05-26 07:47:17] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15327132467695208873.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1951472543982490554.kers'
[2026-05-26 07:47:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15327132467695208873.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1951472543982490554.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 714 rows 512 cols 1652 entries
Finished phase 1 with 483 SingleSign rule and 7 generalized
[2026-05-26 07:47:17] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-1951472543982490554.kers
Total runtime 4 ms.
[2026-05-26 07:47:17] [INFO ] Implicit Places using invariants in 733 ms returned []
[2026-05-26 07:47:17] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:47:17] [INFO ] Invariant cache hit.
[2026-05-26 07:47:18] [INFO ] State equation strengthened by 226 read => feed constraints.
[2026-05-26 07:47:22] [INFO ] Implicit Places using invariants and state equation in 4306 ms returned []
Implicit Place search using SMT with State Equation took 5041 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 512/522 places, 1673/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 5065 ms. Remains : 512/522 places, 1673/1743 transitions.
[2026-05-26 07:47:22] [INFO ] Flatten gal took : 28 ms
[2026-05-26 07:47:22] [INFO ] Flatten gal took : 43 ms
[2026-05-26 07:47:22] [INFO ] Input system was already deterministic with 1673 transitions.
[2026-05-26 07:47:22] [INFO ] Flatten gal took : 32 ms
[2026-05-26 07:47:22] [INFO ] Flatten gal took : 36 ms
[2026-05-26 07:47:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality5438844234790076248.gal : 7 ms
[2026-05-26 07:47:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality17014357760043128021.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/CTLCardinality5438844234790076248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17014357760043128021.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-26 07:47:52] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:47:52] [INFO ] Applying decomposition
[2026-05-26 07:47:52] [INFO ] Flatten gal took : 29 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/graph2170589666856804536.txt' '-o' '/tmp/graph2170589666856804536.bin' '-w' '/tmp/graph2170589666856804536.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2170589666856804536.bin' '-l' '-1' '-v' '-w' '/tmp/graph2170589666856804536.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:47:52] [INFO ] Decomposing Gal with order
[2026-05-26 07:47:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:47:52] [INFO ] Removed a total of 3102 redundant transitions.
[2026-05-26 07:47:52] [INFO ] Flatten gal took : 95 ms
[2026-05-26 07:47:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 386 labels/synchronizations in 23 ms.
[2026-05-26 07:47:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality10930389806615039429.gal : 10 ms
[2026-05-26 07:47:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality6814939335965874255.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/CTLCardinality10930389806615039429.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6814939335965874255.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 522 transition count 1736
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 515 transition count 1736
Performed 153 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 153 Pre rules applied. Total rules applied 14 place count 515 transition count 1583
Deduced a syphon composed of 153 places in 1 ms
Reduce places removed 153 places and 0 transitions.
Iterating global reduction 2 with 306 rules applied. Total rules applied 320 place count 362 transition count 1583
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 331 place count 351 transition count 1506
Iterating global reduction 2 with 11 rules applied. Total rules applied 342 place count 351 transition count 1506
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 2 with 84 rules applied. Total rules applied 426 place count 309 transition count 1464
Applied a total of 426 rules in 121 ms. Remains 309 /522 variables (removed 213) and now considering 1464/1743 (removed 279) transitions.
[2026-05-26 07:48:23] [INFO ] Flow matrix only has 505 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4062712314976430656.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14939622374457586485.kers'
[2026-05-26 07:48:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4062712314976430656.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14939622374457586485.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 505 rows 309 cols 1234 entries
Finished phase 1 with 280 SingleSign rule and 7 generalized
[2026-05-26 07:48:23] [INFO ] Computed 22 invariants in 2 ms
Computed 22 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-14939622374457586485.kers
Total runtime 3 ms.
[2026-05-26 07:48:23] [INFO ] Implicit Places using invariants in 622 ms returned []
[2026-05-26 07:48:23] [INFO ] Flow matrix only has 505 transitions (discarded 959 similar events)
[2026-05-26 07:48:23] [INFO ] Invariant cache hit.
[2026-05-26 07:48:23] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:48:25] [INFO ] Implicit Places using invariants and state equation in 2203 ms returned []
Implicit Place search using SMT with State Equation took 2827 ms to find 0 implicit places.
[2026-05-26 07:48:26] [INFO ] Redundant transitions in 182 ms returned []
Running 1457 sub problems to find dead transitions.
[2026-05-26 07:48:26] [INFO ] Flow matrix only has 505 transitions (discarded 959 similar events)
[2026-05-26 07:48:26] [INFO ] Invariant cache hit.
[2026-05-26 07:48:26] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/309 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/309 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/309 variables, 20/42 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 309/814 variables, and 44 constraints, problems are : Problem set: 0 solved, 1457 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/309 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 1457/1457 constraints, Known Traps: 22/22 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1457 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/309 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/309 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/309 variables, 22/44 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/309 variables, 20/64 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 309/814 variables, and 64 constraints, problems are : Problem set: 0 solved, 1457 unsolved in 30031 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/309 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 0/1457 constraints, Known Traps: 42/42 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60673ms problems are : Problem set: 0 solved, 1457 unsolved
Search for dead transitions found 0 dead transitions in 60678ms
Starting structural reductions in SI_CTL mode, iteration 1 : 309/522 places, 1464/1743 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 63823 ms. Remains : 309/522 places, 1464/1743 transitions.
[2026-05-26 07:49:26] [INFO ] Flatten gal took : 23 ms
[2026-05-26 07:49:26] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:49:26] [INFO ] Input system was already deterministic with 1464 transitions.
RANDOM walk for 2140 steps (0 resets) in 28 ms. (73 steps per ms) remains 0/1 properties
FORMULA EisenbergMcGuire-PT-07-CTLCardinality-2024-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-26 07:49:27] [INFO ] Flatten gal took : 97 ms
[2026-05-26 07:49:27] [INFO ] Flatten gal took : 45 ms
[2026-05-26 07:49:27] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4356499208946886559.gal : 8 ms
[2026-05-26 07:49:27] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14338624114294516281.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4356499208946886559.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14338624114294516281.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 512 transition count 1673
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 512 transition count 1673
Applied a total of 20 rules in 19 ms. Remains 512 /522 variables (removed 10) and now considering 1673/1743 (removed 70) transitions.
[2026-05-26 07:49:27] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10703047565622041049.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-923124749178745991.kers'
[2026-05-26 07:49:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10703047565622041049.kers, --Pflows, --basisKERS=/tmp/petrispot-output-923124749178745991.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 714 rows 512 cols 1652 entries
Finished phase 1 with 483 SingleSign rule and 7 generalized
[2026-05-26 07:49:27] [INFO ] Computed 22 invariants in 5 ms
Computed 22 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-923124749178745991.kers
Total runtime 6 ms.
[2026-05-26 07:49:28] [INFO ] Implicit Places using invariants in 1042 ms returned []
[2026-05-26 07:49:28] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:49:28] [INFO ] Invariant cache hit.
[2026-05-26 07:49:28] [INFO ] State equation strengthened by 226 read => feed constraints.
[2026-05-26 07:49:31] [INFO ] Implicit Places using invariants and state equation in 2980 ms returned []
Implicit Place search using SMT with State Equation took 4024 ms to find 0 implicit places.
Running 1666 sub problems to find dead transitions.
[2026-05-26 07:49:31] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:49:31] [INFO ] Invariant cache hit.
[2026-05-26 07:49:31] [INFO ] State equation strengthened by 226 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/512 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/512 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1666 unsolved
SMT process timed out in 30480ms, After SMT, problems are : Problem set: 0 solved, 1666 unsolved
Search for dead transitions found 0 dead transitions in 30485ms
Starting structural reductions in LTL mode, iteration 1 : 512/522 places, 1673/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 34536 ms. Remains : 512/522 places, 1673/1743 transitions.
[2026-05-26 07:50:01] [INFO ] Flatten gal took : 42 ms
[2026-05-26 07:50:01] [INFO ] Flatten gal took : 50 ms
[2026-05-26 07:50:01] [INFO ] Input system was already deterministic with 1673 transitions.
[2026-05-26 07:50:01] [INFO ] Flatten gal took : 49 ms
[2026-05-26 07:50:01] [INFO ] Flatten gal took : 50 ms
[2026-05-26 07:50:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality11831638227651115160.gal : 10 ms
[2026-05-26 07:50:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality11070216551549331882.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/CTLCardinality11831638227651115160.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11070216551549331882.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-26 07:50:32] [INFO ] Flatten gal took : 53 ms
[2026-05-26 07:50:32] [INFO ] Applying decomposition
[2026-05-26 07:50:32] [INFO ] Flatten gal took : 52 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/graph15666428423019905447.txt' '-o' '/tmp/graph15666428423019905447.bin' '-w' '/tmp/graph15666428423019905447.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15666428423019905447.bin' '-l' '-1' '-v' '-w' '/tmp/graph15666428423019905447.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:50:32] [INFO ] Decomposing Gal with order
[2026-05-26 07:50:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:50:32] [INFO ] Removed a total of 3041 redundant transitions.
[2026-05-26 07:50:32] [INFO ] Flatten gal took : 151 ms
[2026-05-26 07:50:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 407 labels/synchronizations in 36 ms.
[2026-05-26 07:50:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality11702523167483801649.gal : 13 ms
[2026-05-26 07:50:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality5463297270151127570.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/CTLCardinality11702523167483801649.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5463297270151127570.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 : 522/522 places, 1743/1743 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 512 transition count 1673
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 512 transition count 1673
Applied a total of 20 rules in 19 ms. Remains 512 /522 variables (removed 10) and now considering 1673/1743 (removed 70) transitions.
[2026-05-26 07:51:02] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6482385242398543064.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4210135649852735359.kers'
[2026-05-26 07:51:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6482385242398543064.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4210135649852735359.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 714 rows 512 cols 1652 entries
Finished phase 1 with 483 SingleSign rule and 7 generalized
[2026-05-26 07:51:02] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-4210135649852735359.kers
Total runtime 5 ms.
[2026-05-26 07:51:03] [INFO ] Implicit Places using invariants in 809 ms returned []
[2026-05-26 07:51:03] [INFO ] Flow matrix only has 714 transitions (discarded 959 similar events)
[2026-05-26 07:51:03] [INFO ] Invariant cache hit.
[2026-05-26 07:51:03] [INFO ] State equation strengthened by 226 read => feed constraints.
[2026-05-26 07:51:08] [INFO ] Implicit Places using invariants and state equation in 4689 ms returned []
Implicit Place search using SMT with State Equation took 5504 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 512/522 places, 1673/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 5527 ms. Remains : 512/522 places, 1673/1743 transitions.
[2026-05-26 07:51:08] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:51:08] [INFO ] Flatten gal took : 35 ms
[2026-05-26 07:51:08] [INFO ] Input system was already deterministic with 1673 transitions.
[2026-05-26 07:51:08] [INFO ] Flatten gal took : 30 ms
[2026-05-26 07:51:08] [INFO ] Flatten gal took : 32 ms
[2026-05-26 07:51:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality2110788461987402002.gal : 7 ms
[2026-05-26 07:51:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality16246289429693834846.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/CTLCardinality2110788461987402002.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16246289429693834846.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-26 07:51:38] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:51:38] [INFO ] Applying decomposition
[2026-05-26 07:51:38] [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/graph7919590383194752120.txt' '-o' '/tmp/graph7919590383194752120.bin' '-w' '/tmp/graph7919590383194752120.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7919590383194752120.bin' '-l' '-1' '-v' '-w' '/tmp/graph7919590383194752120.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:51:38] [INFO ] Decomposing Gal with order
[2026-05-26 07:51:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:51:38] [INFO ] Removed a total of 3019 redundant transitions.
[2026-05-26 07:51:38] [INFO ] Flatten gal took : 103 ms
[2026-05-26 07:51:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 435 labels/synchronizations in 24 ms.
[2026-05-26 07:51:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality14754910273978034684.gal : 10 ms
[2026-05-26 07:51:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality2235986308650081341.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/CTLCardinality14754910273978034684.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2235986308650081341.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 522 transition count 1736
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 515 transition count 1736
Performed 154 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 154 Pre rules applied. Total rules applied 14 place count 515 transition count 1582
Deduced a syphon composed of 154 places in 2 ms
Reduce places removed 154 places and 0 transitions.
Iterating global reduction 2 with 308 rules applied. Total rules applied 322 place count 361 transition count 1582
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 333 place count 350 transition count 1505
Iterating global reduction 2 with 11 rules applied. Total rules applied 344 place count 350 transition count 1505
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 2 with 84 rules applied. Total rules applied 428 place count 308 transition count 1463
Applied a total of 428 rules in 102 ms. Remains 308 /522 variables (removed 214) and now considering 1463/1743 (removed 280) transitions.
[2026-05-26 07:52:08] [INFO ] Flow matrix only has 504 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-564473277371418681.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14439610655338256782.kers'
[2026-05-26 07:52:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-564473277371418681.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14439610655338256782.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 504 rows 308 cols 1232 entries
Finished phase 1 with 279 SingleSign rule and 7 generalized
[2026-05-26 07:52:08] [INFO ] Computed 22 invariants in 2 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-14439610655338256782.kers
Total runtime 4 ms.
[2026-05-26 07:52:09] [INFO ] Implicit Places using invariants in 807 ms returned []
[2026-05-26 07:52:09] [INFO ] Flow matrix only has 504 transitions (discarded 959 similar events)
[2026-05-26 07:52:09] [INFO ] Invariant cache hit.
[2026-05-26 07:52:10] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:52:11] [INFO ] Implicit Places using invariants and state equation in 2159 ms returned []
Implicit Place search using SMT with State Equation took 2971 ms to find 0 implicit places.
[2026-05-26 07:52:11] [INFO ] Redundant transitions in 47 ms returned []
Running 1456 sub problems to find dead transitions.
[2026-05-26 07:52:11] [INFO ] Flow matrix only has 504 transitions (discarded 959 similar events)
[2026-05-26 07:52:11] [INFO ] Invariant cache hit.
[2026-05-26 07:52:11] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/308 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/308 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/308 variables, 20/42 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 308/812 variables, and 47 constraints, problems are : Problem set: 0 solved, 1456 unsolved in 30046 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/308 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 1456/1456 constraints, Known Traps: 25/25 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1456 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/308 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/308 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/308 variables, 25/47 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/308 variables, 20/67 constraints. Problems are: Problem set: 0 solved, 1456 unsolved
SMT process timed out in 60614ms, After SMT, problems are : Problem set: 0 solved, 1456 unsolved
Search for dead transitions found 0 dead transitions in 60620ms
Starting structural reductions in SI_CTL mode, iteration 1 : 308/522 places, 1463/1743 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 63753 ms. Remains : 308/522 places, 1463/1743 transitions.
[2026-05-26 07:53:12] [INFO ] Flatten gal took : 22 ms
[2026-05-26 07:53:12] [INFO ] Flatten gal took : 28 ms
[2026-05-26 07:53:12] [INFO ] Input system was already deterministic with 1463 transitions.
RANDOM walk for 354 steps (0 resets) in 5 ms. (59 steps per ms) remains 0/1 properties
FORMULA EisenbergMcGuire-PT-07-CTLCardinality-2024-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-26 07:53:12] [INFO ] Flatten gal took : 27 ms
[2026-05-26 07:53:12] [INFO ] Flatten gal took : 27 ms
[2026-05-26 07:53:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11317872315250801397.gal : 5 ms
[2026-05-26 07:53:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9434998389178484533.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11317872315250801397.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9434998389178484533.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
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
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 522/522 places, 1743/1743 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 511 transition count 1666
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 511 transition count 1666
Applied a total of 22 rules in 19 ms. Remains 511 /522 variables (removed 11) and now considering 1666/1743 (removed 77) transitions.
[2026-05-26 07:53:12] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14322752832695319952.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12035298442360268824.kers'
[2026-05-26 07:53:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14322752832695319952.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12035298442360268824.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 707 rows 511 cols 1638 entries
Finished phase 1 with 482 SingleSign rule and 7 generalized
[2026-05-26 07:53:12] [INFO ] Computed 22 invariants in 5 ms
Computed 22 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-12035298442360268824.kers
Total runtime 6 ms.
[2026-05-26 07:53:13] [INFO ] Implicit Places using invariants in 769 ms returned []
[2026-05-26 07:53:13] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:53:13] [INFO ] Invariant cache hit.
[2026-05-26 07:53:14] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:53:17] [INFO ] Implicit Places using invariants and state equation in 3435 ms returned []
Implicit Place search using SMT with State Equation took 4206 ms to find 0 implicit places.
Running 1659 sub problems to find dead transitions.
[2026-05-26 07:53:17] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:53:17] [INFO ] Invariant cache hit.
[2026-05-26 07:53:17] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/511 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/511 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 511/1218 variables, and 41 constraints, problems are : Problem set: 0 solved, 1659 unsolved in 30053 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/511 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 1659/1659 constraints, Known Traps: 19/19 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1659 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/511 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/511 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/511 variables, 19/41 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/511 variables, 20/61 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 511/1218 variables, and 80 constraints, problems are : Problem set: 0 solved, 1659 unsolved in 30052 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/511 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 0/1659 constraints, Known Traps: 58/58 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60509ms problems are : Problem set: 0 solved, 1659 unsolved
Search for dead transitions found 0 dead transitions in 60513ms
Starting structural reductions in LTL mode, iteration 1 : 511/522 places, 1666/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64743 ms. Remains : 511/522 places, 1666/1743 transitions.
[2026-05-26 07:54:17] [INFO ] Flatten gal took : 41 ms
[2026-05-26 07:54:17] [INFO ] Flatten gal took : 50 ms
[2026-05-26 07:54:17] [INFO ] Input system was already deterministic with 1666 transitions.
[2026-05-26 07:54:17] [INFO ] Flatten gal took : 49 ms
[2026-05-26 07:54:17] [INFO ] Flatten gal took : 51 ms
[2026-05-26 07:54:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality6660368410287881110.gal : 10 ms
[2026-05-26 07:54:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality11453267451860506474.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/CTLCardinality6660368410287881110.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11453267451860506474.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-26 07:54:47] [INFO ] Flatten gal took : 30 ms
[2026-05-26 07:54:47] [INFO ] Applying decomposition
[2026-05-26 07:54:48] [INFO ] Flatten gal took : 30 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/graph3754816306159677248.txt' '-o' '/tmp/graph3754816306159677248.bin' '-w' '/tmp/graph3754816306159677248.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3754816306159677248.bin' '-l' '-1' '-v' '-w' '/tmp/graph3754816306159677248.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:54:48] [INFO ] Decomposing Gal with order
[2026-05-26 07:54:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:54:48] [INFO ] Removed a total of 2874 redundant transitions.
[2026-05-26 07:54:48] [INFO ] Flatten gal took : 116 ms
[2026-05-26 07:54:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 495 labels/synchronizations in 28 ms.
[2026-05-26 07:54:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality14107311796730284666.gal : 10 ms
[2026-05-26 07:54:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality10741367207673189255.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/CTLCardinality14107311796730284666.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10741367207673189255.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 : 522/522 places, 1743/1743 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 522 transition count 1736
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 515 transition count 1736
Performed 153 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 153 Pre rules applied. Total rules applied 14 place count 515 transition count 1583
Deduced a syphon composed of 153 places in 1 ms
Reduce places removed 153 places and 0 transitions.
Iterating global reduction 2 with 306 rules applied. Total rules applied 320 place count 362 transition count 1583
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 331 place count 351 transition count 1506
Iterating global reduction 2 with 11 rules applied. Total rules applied 342 place count 351 transition count 1506
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 2 with 84 rules applied. Total rules applied 426 place count 309 transition count 1464
Applied a total of 426 rules in 88 ms. Remains 309 /522 variables (removed 213) and now considering 1464/1743 (removed 279) transitions.
[2026-05-26 07:55:18] [INFO ] Flow matrix only has 505 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18093343243874358644.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12575211436710481516.kers'
[2026-05-26 07:55:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18093343243874358644.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12575211436710481516.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 505 rows 309 cols 1234 entries
Finished phase 1 with 280 SingleSign rule and 7 generalized
[2026-05-26 07:55:18] [INFO ] Computed 22 invariants in 2 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-12575211436710481516.kers
Total runtime 3 ms.
[2026-05-26 07:55:19] [INFO ] Implicit Places using invariants in 781 ms returned []
[2026-05-26 07:55:19] [INFO ] Flow matrix only has 505 transitions (discarded 959 similar events)
[2026-05-26 07:55:19] [INFO ] Invariant cache hit.
[2026-05-26 07:55:19] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:55:21] [INFO ] Implicit Places using invariants and state equation in 1826 ms returned []
Implicit Place search using SMT with State Equation took 2619 ms to find 0 implicit places.
[2026-05-26 07:55:21] [INFO ] Redundant transitions in 59 ms returned []
Running 1457 sub problems to find dead transitions.
[2026-05-26 07:55:21] [INFO ] Flow matrix only has 505 transitions (discarded 959 similar events)
[2026-05-26 07:55:21] [INFO ] Invariant cache hit.
[2026-05-26 07:55:21] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/309 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/309 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/309 variables, 20/42 constraints. Problems are: Problem set: 0 solved, 1457 unsolved
SMT process timed out in 30576ms, After SMT, problems are : Problem set: 0 solved, 1457 unsolved
Search for dead transitions found 0 dead transitions in 30581ms
Starting structural reductions in SI_CTL mode, iteration 1 : 309/522 places, 1464/1743 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 33364 ms. Remains : 309/522 places, 1464/1743 transitions.
[2026-05-26 07:55:51] [INFO ] Flatten gal took : 40 ms
[2026-05-26 07:55:51] [INFO ] Flatten gal took : 46 ms
[2026-05-26 07:55:51] [INFO ] Input system was already deterministic with 1464 transitions.
[2026-05-26 07:55:51] [INFO ] Flatten gal took : 45 ms
[2026-05-26 07:55:51] [INFO ] Flatten gal took : 46 ms
[2026-05-26 07:55:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality13957819061083072028.gal : 9 ms
[2026-05-26 07:55:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality6416490357289737844.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/CTLCardinality13957819061083072028.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6416490357289737844.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-26 07:56:22] [INFO ] Flatten gal took : 27 ms
[2026-05-26 07:56:22] [INFO ] Applying decomposition
[2026-05-26 07:56:22] [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/graph13225062605313804932.txt' '-o' '/tmp/graph13225062605313804932.bin' '-w' '/tmp/graph13225062605313804932.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13225062605313804932.bin' '-l' '-1' '-v' '-w' '/tmp/graph13225062605313804932.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:56:22] [INFO ] Decomposing Gal with order
[2026-05-26 07:56:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:56:22] [INFO ] Removed a total of 2933 redundant transitions.
[2026-05-26 07:56:22] [INFO ] Flatten gal took : 92 ms
[2026-05-26 07:56:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 400 labels/synchronizations in 25 ms.
[2026-05-26 07:56:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality11576318140430921596.gal : 8 ms
[2026-05-26 07:56:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality8804458756868275621.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/CTLCardinality11576318140430921596.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8804458756868275621.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 : 522/522 places, 1743/1743 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 511 transition count 1666
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 511 transition count 1666
Applied a total of 22 rules in 35 ms. Remains 511 /522 variables (removed 11) and now considering 1666/1743 (removed 77) transitions.
[2026-05-26 07:56:52] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3559431246970641088.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9194556891801174227.kers'
[2026-05-26 07:56:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3559431246970641088.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9194556891801174227.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 707 rows 511 cols 1638 entries
Finished phase 1 with 482 SingleSign rule and 7 generalized
[2026-05-26 07:56:52] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-9194556891801174227.kers
Total runtime 4 ms.
[2026-05-26 07:56:53] [INFO ] Implicit Places using invariants in 813 ms returned []
[2026-05-26 07:56:53] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:56:53] [INFO ] Invariant cache hit.
[2026-05-26 07:56:53] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 07:56:56] [INFO ] Implicit Places using invariants and state equation in 3636 ms returned []
Implicit Place search using SMT with State Equation took 4451 ms to find 0 implicit places.
Running 1659 sub problems to find dead transitions.
[2026-05-26 07:56:56] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 07:56:56] [INFO ] Invariant cache hit.
[2026-05-26 07:56:56] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/511 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/511 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
SMT process timed out in 30719ms, After SMT, problems are : Problem set: 0 solved, 1659 unsolved
Search for dead transitions found 0 dead transitions in 30722ms
Starting structural reductions in LTL mode, iteration 1 : 511/522 places, 1666/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 35215 ms. Remains : 511/522 places, 1666/1743 transitions.
[2026-05-26 07:57:27] [INFO ] Flatten gal took : 26 ms
[2026-05-26 07:57:27] [INFO ] Flatten gal took : 31 ms
[2026-05-26 07:57:27] [INFO ] Input system was already deterministic with 1666 transitions.
[2026-05-26 07:57:27] [INFO ] Flatten gal took : 49 ms
[2026-05-26 07:57:27] [INFO ] Flatten gal took : 50 ms
[2026-05-26 07:57:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality10973351056753616727.gal : 9 ms
[2026-05-26 07:57:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality10526173216281987043.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/CTLCardinality10973351056753616727.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10526173216281987043.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-26 07:57:58] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:57:58] [INFO ] Applying decomposition
[2026-05-26 07:57:58] [INFO ] Flatten gal took : 29 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/graph5502779957030898091.txt' '-o' '/tmp/graph5502779957030898091.bin' '-w' '/tmp/graph5502779957030898091.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5502779957030898091.bin' '-l' '-1' '-v' '-w' '/tmp/graph5502779957030898091.weights' '-q' '0' '-e' '0.001'
[2026-05-26 07:57:58] [INFO ] Decomposing Gal with order
[2026-05-26 07:57:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 07:57:58] [INFO ] Removed a total of 2963 redundant transitions.
[2026-05-26 07:57:58] [INFO ] Flatten gal took : 92 ms
[2026-05-26 07:57:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 522 labels/synchronizations in 30 ms.
[2026-05-26 07:57:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality1882539065108620594.gal : 9 ms
[2026-05-26 07:57:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality4254481917463785942.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/CTLCardinality1882539065108620594.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4254481917463785942.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 : 522/522 places, 1743/1743 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 522 transition count 1736
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 515 transition count 1736
Performed 149 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 149 Pre rules applied. Total rules applied 14 place count 515 transition count 1587
Deduced a syphon composed of 149 places in 2 ms
Reduce places removed 149 places and 0 transitions.
Iterating global reduction 2 with 298 rules applied. Total rules applied 312 place count 366 transition count 1587
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 322 place count 356 transition count 1517
Iterating global reduction 2 with 10 rules applied. Total rules applied 332 place count 356 transition count 1517
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 1 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 414 place count 315 transition count 1476
Applied a total of 414 rules in 85 ms. Remains 315 /522 variables (removed 207) and now considering 1476/1743 (removed 267) transitions.
[2026-05-26 07:58:28] [INFO ] Flow matrix only has 517 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3296545828124497623.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13614952883452358665.kers'
[2026-05-26 07:58:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3296545828124497623.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13614952883452358665.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 517 rows 315 cols 1258 entries
Finished phase 1 with 286 SingleSign rule and 7 generalized
[2026-05-26 07:58:28] [INFO ] Computed 22 invariants in 2 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-13614952883452358665.kers
Total runtime 4 ms.
[2026-05-26 07:58:29] [INFO ] Implicit Places using invariants in 615 ms returned []
[2026-05-26 07:58:29] [INFO ] Flow matrix only has 517 transitions (discarded 959 similar events)
[2026-05-26 07:58:29] [INFO ] Invariant cache hit.
[2026-05-26 07:58:29] [INFO ] State equation strengthened by 226 read => feed constraints.
[2026-05-26 07:58:31] [INFO ] Implicit Places using invariants and state equation in 2050 ms returned []
Implicit Place search using SMT with State Equation took 2668 ms to find 0 implicit places.
[2026-05-26 07:58:31] [INFO ] Redundant transitions in 60 ms returned []
Running 1469 sub problems to find dead transitions.
[2026-05-26 07:58:31] [INFO ] Flow matrix only has 517 transitions (discarded 959 similar events)
[2026-05-26 07:58:31] [INFO ] Invariant cache hit.
[2026-05-26 07:58:31] [INFO ] State equation strengthened by 226 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/315 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/315 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/315 variables, 20/42 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 315/832 variables, and 47 constraints, problems are : Problem set: 0 solved, 1469 unsolved in 30051 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/315 constraints, ReadFeed: 0/226 constraints, PredecessorRefiner: 1469/1469 constraints, Known Traps: 25/25 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1469 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/315 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/315 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/315 variables, 25/47 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/315 variables, 20/67 constraints. Problems are: Problem set: 0 solved, 1469 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 315/832 variables, and 67 constraints, problems are : Problem set: 0 solved, 1469 unsolved in 30035 ms.
Refiners :[Positive P Invariants (semi-flows): 15/15 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/315 constraints, ReadFeed: 0/226 constraints, PredecessorRefiner: 0/1469 constraints, Known Traps: 45/45 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60476ms problems are : Problem set: 0 solved, 1469 unsolved
Search for dead transitions found 0 dead transitions in 60482ms
Starting structural reductions in SI_CTL mode, iteration 1 : 315/522 places, 1476/1743 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 63307 ms. Remains : 315/522 places, 1476/1743 transitions.
[2026-05-26 07:59:31] [INFO ] Flatten gal took : 27 ms
[2026-05-26 07:59:31] [INFO ] Flatten gal took : 27 ms
[2026-05-26 07:59:31] [INFO ] Input system was already deterministic with 1476 transitions.
[2026-05-26 07:59:31] [INFO ] Flatten gal took : 27 ms
[2026-05-26 07:59:31] [INFO ] Flatten gal took : 29 ms
[2026-05-26 07:59:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality8044686315994935286.gal : 6 ms
[2026-05-26 07:59:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality16214868480192625424.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/CTLCardinality8044686315994935286.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16214868480192625424.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-26 08:00:02] [INFO ] Flatten gal took : 45 ms
[2026-05-26 08:00:02] [INFO ] Applying decomposition
[2026-05-26 08:00:02] [INFO ] Flatten gal took : 45 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/graph11364367010965002419.txt' '-o' '/tmp/graph11364367010965002419.bin' '-w' '/tmp/graph11364367010965002419.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11364367010965002419.bin' '-l' '-1' '-v' '-w' '/tmp/graph11364367010965002419.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:00:02] [INFO ] Decomposing Gal with order
[2026-05-26 08:00:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:00:02] [INFO ] Removed a total of 2887 redundant transitions.
[2026-05-26 08:00:02] [INFO ] Flatten gal took : 146 ms
[2026-05-26 08:00:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 431 labels/synchronizations in 41 ms.
[2026-05-26 08:00:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality3250235873297358274.gal : 12 ms
[2026-05-26 08:00:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality15207837836631328433.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/CTLCardinality3250235873297358274.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15207837836631328433.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 : 522/522 places, 1743/1743 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 511 transition count 1666
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 511 transition count 1666
Applied a total of 22 rules in 23 ms. Remains 511 /522 variables (removed 11) and now considering 1666/1743 (removed 77) transitions.
[2026-05-26 08:00:32] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8654261813100882728.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5410191747944042251.kers'
[2026-05-26 08:00:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8654261813100882728.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5410191747944042251.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 707 rows 511 cols 1638 entries
Finished phase 1 with 482 SingleSign rule and 7 generalized
[2026-05-26 08:00:32] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-5410191747944042251.kers
Total runtime 4 ms.
[2026-05-26 08:00:33] [INFO ] Implicit Places using invariants in 779 ms returned []
[2026-05-26 08:00:33] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 08:00:33] [INFO ] Invariant cache hit.
[2026-05-26 08:00:33] [INFO ] State equation strengthened by 220 read => feed constraints.
[2026-05-26 08:00:36] [INFO ] Implicit Places using invariants and state equation in 3576 ms returned []
Implicit Place search using SMT with State Equation took 4367 ms to find 0 implicit places.
Running 1659 sub problems to find dead transitions.
[2026-05-26 08:00:36] [INFO ] Flow matrix only has 707 transitions (discarded 959 similar events)
[2026-05-26 08:00:36] [INFO ] Invariant cache hit.
[2026-05-26 08:00:36] [INFO ] State equation strengthened by 220 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/511 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/511 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1659 unsolved
SMT process timed out in 30913ms, After SMT, problems are : Problem set: 0 solved, 1659 unsolved
Search for dead transitions found 0 dead transitions in 30920ms
Starting structural reductions in LTL mode, iteration 1 : 511/522 places, 1666/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 35317 ms. Remains : 511/522 places, 1666/1743 transitions.
[2026-05-26 08:01:07] [INFO ] Flatten gal took : 59 ms
[2026-05-26 08:01:07] [INFO ] Flatten gal took : 57 ms
[2026-05-26 08:01:08] [INFO ] Input system was already deterministic with 1666 transitions.
[2026-05-26 08:01:08] [INFO ] Flatten gal took : 44 ms
[2026-05-26 08:01:08] [INFO ] Flatten gal took : 45 ms
[2026-05-26 08:01:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality15759241998271457268.gal : 9 ms
[2026-05-26 08:01:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality7422299464723974904.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/CTLCardinality15759241998271457268.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7422299464723974904.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-26 08:01:38] [INFO ] Flatten gal took : 29 ms
[2026-05-26 08:01:38] [INFO ] Applying decomposition
[2026-05-26 08:01:38] [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/graph10509836638603051086.txt' '-o' '/tmp/graph10509836638603051086.bin' '-w' '/tmp/graph10509836638603051086.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10509836638603051086.bin' '-l' '-1' '-v' '-w' '/tmp/graph10509836638603051086.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:01:38] [INFO ] Decomposing Gal with order
[2026-05-26 08:01:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:01:38] [INFO ] Removed a total of 3060 redundant transitions.
[2026-05-26 08:01:38] [INFO ] Flatten gal took : 89 ms
[2026-05-26 08:01:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 422 labels/synchronizations in 58 ms.
[2026-05-26 08:01:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality9531797926780475639.gal : 8 ms
[2026-05-26 08:01:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality7955835579675718123.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/CTLCardinality9531797926780475639.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7955835579675718123.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 : 522/522 places, 1743/1743 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 515 transition count 1694
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 515 transition count 1694
Applied a total of 14 rules in 20 ms. Remains 515 /522 variables (removed 7) and now considering 1694/1743 (removed 49) transitions.
[2026-05-26 08:02:08] [INFO ] Flow matrix only has 735 transitions (discarded 959 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13947997551449757396.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5120670298497685769.kers'
[2026-05-26 08:02:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13947997551449757396.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5120670298497685769.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 735 rows 515 cols 1694 entries
Finished phase 1 with 486 SingleSign rule and 7 generalized
[2026-05-26 08:02:08] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-5120670298497685769.kers
Total runtime 5 ms.
[2026-05-26 08:02:09] [INFO ] Implicit Places using invariants in 956 ms returned []
[2026-05-26 08:02:09] [INFO ] Flow matrix only has 735 transitions (discarded 959 similar events)
[2026-05-26 08:02:09] [INFO ] Invariant cache hit.
[2026-05-26 08:02:10] [INFO ] State equation strengthened by 244 read => feed constraints.
[2026-05-26 08:02:13] [INFO ] Implicit Places using invariants and state equation in 4161 ms returned []
Implicit Place search using SMT with State Equation took 5148 ms to find 0 implicit places.
Running 1687 sub problems to find dead transitions.
[2026-05-26 08:02:13] [INFO ] Flow matrix only has 735 transitions (discarded 959 similar events)
[2026-05-26 08:02:13] [INFO ] Invariant cache hit.
[2026-05-26 08:02:13] [INFO ] State equation strengthened by 244 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/515 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 1687 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/515 variables, 7/22 constraints. Problems are: Problem set: 0 solved, 1687 unsolved
SMT process timed out in 31000ms, After SMT, problems are : Problem set: 0 solved, 1687 unsolved
Search for dead transitions found 0 dead transitions in 31014ms
Starting structural reductions in LTL mode, iteration 1 : 515/522 places, 1694/1743 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 36190 ms. Remains : 515/522 places, 1694/1743 transitions.
[2026-05-26 08:02:44] [INFO ] Flatten gal took : 41 ms
[2026-05-26 08:02:45] [INFO ] Flatten gal took : 52 ms
[2026-05-26 08:02:45] [INFO ] Input system was already deterministic with 1694 transitions.
[2026-05-26 08:02:45] [INFO ] Flatten gal took : 50 ms
[2026-05-26 08:02:45] [INFO ] Flatten gal took : 50 ms
[2026-05-26 08:02:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality788001117950412327.gal : 17 ms
[2026-05-26 08:02:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality15879409910048393582.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/CTLCardinality788001117950412327.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15879409910048393582.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-26 08:03:15] [INFO ] Flatten gal took : 50 ms
[2026-05-26 08:03:15] [INFO ] Applying decomposition
[2026-05-26 08:03:15] [INFO ] Flatten gal took : 49 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/graph17328019348319159326.txt' '-o' '/tmp/graph17328019348319159326.bin' '-w' '/tmp/graph17328019348319159326.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17328019348319159326.bin' '-l' '-1' '-v' '-w' '/tmp/graph17328019348319159326.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:03:15] [INFO ] Decomposing Gal with order
[2026-05-26 08:03:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:03:15] [INFO ] Removed a total of 3097 redundant transitions.
[2026-05-26 08:03:15] [INFO ] Flatten gal took : 168 ms
[2026-05-26 08:03:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 520 labels/synchronizations in 47 ms.
[2026-05-26 08:03:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality13009200855075092958.gal : 15 ms
[2026-05-26 08:03:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality13441478464459291739.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/CTLCardinality13009200855075092958.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13441478464459291739.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.
[2026-05-26 08:03:46] [INFO ] Flatten gal took : 56 ms
[2026-05-26 08:03:46] [INFO ] Flatten gal took : 56 ms
[2026-05-26 08:03:46] [INFO ] Applying decomposition
[2026-05-26 08:03:46] [INFO ] Flatten gal took : 30 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/graph11807464970123161561.txt' '-o' '/tmp/graph11807464970123161561.bin' '-w' '/tmp/graph11807464970123161561.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11807464970123161561.bin' '-l' '-1' '-v' '-w' '/tmp/graph11807464970123161561.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:03:46] [INFO ] Decomposing Gal with order
[2026-05-26 08:03:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:03:46] [INFO ] Removed a total of 3294 redundant transitions.
[2026-05-26 08:03:46] [INFO ] Flatten gal took : 115 ms
[2026-05-26 08:03:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 404 labels/synchronizations in 27 ms.
[2026-05-26 08:03:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality73966462153296428.gal : 10 ms
[2026-05-26 08:03:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality863910533698841623.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/CTLCardinality73966462153296428.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality863910533698841623.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 -...259
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 08:32:38] [INFO ] Applying decomposition
[2026-05-26 08:32:39] [INFO ] Flatten gal took : 504 ms
[2026-05-26 08:32:39] [INFO ] Decomposing Gal with order
[2026-05-26 08:32:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:32:42] [INFO ] Removed a total of 3435 redundant transitions.
[2026-05-26 08:32:42] [INFO ] Flatten gal took : 1218 ms
[2026-05-26 08:32:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 231 labels/synchronizations in 142 ms.
[2026-05-26 08:32:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality1500179738251131393.gal : 168 ms
[2026-05-26 08:32:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality6938267399507484487.ctl : 19 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/CTLCardinality1500179738251131393.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6938267399507484487.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 14 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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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="EisenbergMcGuire-PT-07"
export BK_EXAMINATION="CTLCardinality"
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 EisenbergMcGuire-PT-07, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-177955740500265"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/EisenbergMcGuire-PT-07.tgz
mv EisenbergMcGuire-PT-07 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;