About the Execution of ITS-Tools for PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16208.672 | 3600000.00 | 2735454.00 | 581033.70 | ??FFFFFF???F???? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r194-tall-177969914200633.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 PermAdmissibility-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r194-tall-177969914200633
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 11K Mar 8 07:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Mar 8 07:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 79K Mar 8 07:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 407K Mar 8 07:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.9K Mar 16 08:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K Mar 16 08:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Mar 16 08:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 73K Mar 16 08:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Mar 8 07:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Mar 8 07:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 79K Mar 8 07:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 392K Mar 8 07:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 16 08:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Mar 16 08:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 336K 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 PermAdmissibility-PT-20-CTLCardinality-2024-00
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-01
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-02
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-03
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-04
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-05
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-06
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-07
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-08
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-09
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-10
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-11
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-12
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-13
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-14
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779802715579
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PermAdmissibility-PT-20
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-26 13:38:36] [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 13:38:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 13:38:36] [INFO ] Load time of PNML (sax parser for PT used): 94 ms
[2026-05-26 13:38:36] [INFO ] Transformed 168 places.
[2026-05-26 13:38:36] [INFO ] Transformed 592 transitions.
[2026-05-26 13:38:36] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 184 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 14 ms.
Support contains 160 out of 168 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 168/168 places, 592/592 transitions.
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 163 transition count 592
Applied a total of 5 rules in 23 ms. Remains 163 /168 variables (removed 5) and now considering 592/592 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12886488312354962253.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16610482985172182295.kers'
[2026-05-26 13:38:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12886488312354962253.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16610482985172182295.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 592 rows 163 cols 3416 entries
Finished phase 1 with 32 SingleSign rule and 104 generalized
[2026-05-26 13:38:37] [INFO ] Computed 27 invariants in 5 ms
Computed 27 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-16610482985172182295.kers
Total runtime 7 ms.
[2026-05-26 13:38:37] [INFO ] Implicit Places using invariants in 231 ms returned []
[2026-05-26 13:38:37] [INFO ] Invariant cache hit.
[2026-05-26 13:38:37] [INFO ] Implicit Places using invariants and state equation in 253 ms returned []
Implicit Place search using SMT with State Equation took 513 ms to find 0 implicit places.
Running 588 sub problems to find dead transitions.
[2026-05-26 13:38:37] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/103 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/103 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 2 (OVERLAPS) 16/119 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/119 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 4 (OVERLAPS) 44/163 variables, 23/27 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/163 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 588 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 592/755 variables, 163/190 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/755 variables, 0/190 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 8 (OVERLAPS) 0/755 variables, 0/190 constraints. Problems are: Problem set: 0 solved, 588 unsolved
No progress, stopping.
After SMT solving in domain Real declared 755/755 variables, and 190 constraints, problems are : Problem set: 0 solved, 588 unsolved in 18298 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 25/25 constraints, State Equation: 163/163 constraints, PredecessorRefiner: 588/588 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 588 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/103 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/103 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 2 (OVERLAPS) 16/119 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/119 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 4 (OVERLAPS) 44/163 variables, 23/27 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/163 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 6 (OVERLAPS) 592/755 variables, 163/190 constraints. Problems are: Problem set: 0 solved, 588 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/755 variables, 588/778 constraints. Problems are: Problem set: 0 solved, 588 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 755/755 variables, and 778 constraints, problems are : Problem set: 0 solved, 588 unsolved in 30026 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 25/25 constraints, State Equation: 163/163 constraints, PredecessorRefiner: 588/588 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 49082ms problems are : Problem set: 0 solved, 588 unsolved
Search for dead transitions found 0 dead transitions in 49097ms
Starting structural reductions in LTL mode, iteration 1 : 163/168 places, 592/592 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 49672 ms. Remains : 163/168 places, 592/592 transitions.
Starting structural reductions in LTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Applied a total of 0 rules in 3 ms. Remains 163 /163 variables (removed 0) and now considering 592/592 (removed 0) transitions.
[2026-05-26 13:39:26] [INFO ] Invariant cache hit.
[2026-05-26 13:39:26] [INFO ] Implicit Places using invariants in 44 ms returned []
[2026-05-26 13:39:26] [INFO ] Invariant cache hit.
[2026-05-26 13:39:26] [INFO ] Implicit Places using invariants and state equation in 181 ms returned []
Implicit Place search using SMT with State Equation took 226 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 230 ms. Remains : 163/163 places, 592/592 transitions.
Support contains 160 out of 163 places after structural reductions.
[2026-05-26 13:39:27] [INFO ] Flatten gal took : 79 ms
[2026-05-26 13:39:27] [INFO ] Flatten gal took : 50 ms
[2026-05-26 13:39:27] [INFO ] Input system was already deterministic with 592 transitions.
RANDOM walk for 40054 steps (116 resets) in 849 ms. (47 steps per ms) remains 21/107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4003 steps (8 resets) in 35 ms. (111 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 21/21 properties
[2026-05-26 13:39:27] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/101 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/101 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 21 unsolved
Problem AtomicPropp97 is UNSAT
At refinement iteration 2 (OVERLAPS) 14/115 variables, 2/3 constraints. Problems are: Problem set: 1 solved, 20 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/115 variables, 0/3 constraints. Problems are: Problem set: 1 solved, 20 unsolved
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp82 is UNSAT
At refinement iteration 4 (OVERLAPS) 48/163 variables, 24/27 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/163 variables, 0/27 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 592/755 variables, 163/190 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/755 variables, 0/190 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 0/755 variables, 0/190 constraints. Problems are: Problem set: 20 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 755/755 variables, and 190 constraints, problems are : Problem set: 20 solved, 1 unsolved in 339 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 25/25 constraints, State Equation: 163/163 constraints, PredecessorRefiner: 21/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 20 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 140/145 variables, 19/19 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/145 variables, 2/21 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/145 variables, 0/21 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 5/150 variables, 2/23 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/150 variables, 1/24 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/150 variables, 0/24 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 13/163 variables, 6/30 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/163 variables, 1/31 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/163 variables, 0/31 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 592/755 variables, 163/194 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/755 variables, 1/195 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/755 variables, 0/195 constraints. Problems are: Problem set: 20 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 0/755 variables, 0/195 constraints. Problems are: Problem set: 20 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 755/755 variables, and 195 constraints, problems are : Problem set: 20 solved, 1 unsolved in 1125 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 25/25 constraints, State Equation: 163/163 constraints, PredecessorRefiner: 1/20 constraints, Known Traps: 4/4 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 1488ms problems are : Problem set: 20 solved, 1 unsolved
Finished Parikh walk after 68 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=22 )
Parikh walk visited 1 properties in 7 ms.
Successfully simplified 20 atomic propositions for a total of 16 simplifications.
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-26 13:39:29] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2026-05-26 13:39:29] [INFO ] Flatten gal took : 36 ms
[2026-05-26 13:39:29] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-26 13:39:29] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-26 13:39:29] [INFO ] Flatten gal took : 34 ms
[2026-05-26 13:39:29] [INFO ] Input system was already deterministic with 592 transitions.
Support contains 114 out of 163 places (down from 144) after GAL structural reductions.
Computed a total of 163 stabilizing places and 592 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 163 transition count 592
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 2 formulas.
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in SI_CTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Graph (complete) has 1565 edges and 163 vertex of which 112 are kept as prefixes of interest. Removing 51 places using SCC suffix rule.5 ms
Discarding 51 places :
Also discarding 0 output transitions
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 21 place count 92 transition count 356
Iterating global reduction 0 with 20 rules applied. Total rules applied 41 place count 92 transition count 356
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 55 place count 78 transition count 230
Iterating global reduction 0 with 14 rules applied. Total rules applied 69 place count 78 transition count 230
Applied a total of 69 rules in 34 ms. Remains 78 /163 variables (removed 85) and now considering 230/592 (removed 362) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15782778389942922694.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5532649175937519273.kers'
[2026-05-26 13:39:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15782778389942922694.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5532649175937519273.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 230 rows 78 cols 1266 entries
Finished phase 1 with 39 SingleSign rule and 22 generalized
[2026-05-26 13:39:29] [INFO ] Computed 17 invariants in 1 ms
Computed 17 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5532649175937519273.kers
Total runtime 1 ms.
[2026-05-26 13:39:29] [INFO ] Implicit Places using invariants in 65 ms returned [0, 19, 33, 44]
[2026-05-26 13:39:29] [INFO ] Actually due to overlaps returned [0, 19, 33]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 68 ms to find 3 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 75/163 places, 230/592 transitions.
Applied a total of 0 rules in 10 ms. Remains 75 /75 variables (removed 0) and now considering 230/230 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 112 ms. Remains : 75/163 places, 230/592 transitions.
[2026-05-26 13:39:29] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:39:29] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:39:29] [INFO ] Input system was already deterministic with 230 transitions.
[2026-05-26 13:39:29] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:39:29] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:39:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality15982414640834168761.gal : 6 ms
[2026-05-26 13:39:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality13334933452244039921.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/CTLCardinality15982414640834168761.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13334933452244039921.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 13:39:59] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:39:59] [INFO ] Applying decomposition
[2026-05-26 13:39:59] [INFO ] Flatten gal took : 23 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/graph16727208169311781215.txt' '-o' '/tmp/graph16727208169311781215.bin' '-w' '/tmp/graph16727208169311781215.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16727208169311781215.bin' '-l' '-1' '-v' '-w' '/tmp/graph16727208169311781215.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:39:59] [INFO ] Decomposing Gal with order
[2026-05-26 13:39:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:39:59] [INFO ] Removed a total of 301 redundant transitions.
[2026-05-26 13:39:59] [INFO ] Flatten gal took : 89 ms
[2026-05-26 13:39:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 186 labels/synchronizations in 13 ms.
[2026-05-26 13:39:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality6846935838171793430.gal : 4 ms
[2026-05-26 13:39:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality2977660423077939048.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/CTLCardinality6846935838171793430.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2977660423077939048.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.
Starting structural reductions in LTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Reduce places removed 59 places and 0 transitions.
Iterating post reduction 0 with 59 rules applied. Total rules applied 59 place count 104 transition count 592
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 79 place count 84 transition count 356
Iterating global reduction 1 with 20 rules applied. Total rules applied 99 place count 84 transition count 356
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 106 place count 77 transition count 244
Iterating global reduction 1 with 7 rules applied. Total rules applied 113 place count 77 transition count 244
Applied a total of 113 rules in 11 ms. Remains 77 /163 variables (removed 86) and now considering 244/592 (removed 348) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15205205272888987796.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7545107067803951841.kers'
[2026-05-26 13:40:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15205205272888987796.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7545107067803951841.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 244 rows 77 cols 1344 entries
Finished phase 1 with 34 SingleSign rule and 27 generalized
[2026-05-26 13:40:30] [INFO ] Computed 16 invariants in 1 ms
Computed 16 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-7545107067803951841.kers
Total runtime 1 ms.
[2026-05-26 13:40:30] [INFO ] Implicit Places using invariants in 76 ms returned [0, 11, 25]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 77 ms to find 3 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 74/163 places, 244/592 transitions.
Applied a total of 0 rules in 2 ms. Remains 74 /74 variables (removed 0) and now considering 244/244 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 90 ms. Remains : 74/163 places, 244/592 transitions.
[2026-05-26 13:40:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:40:30] [INFO ] Flatten gal took : 12 ms
[2026-05-26 13:40:30] [INFO ] Input system was already deterministic with 244 transitions.
[2026-05-26 13:40:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:40:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:40:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality14390573440493162730.gal : 2 ms
[2026-05-26 13:40:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality2001587263156617407.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/CTLCardinality14390573440493162730.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2001587263156617407.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 13:41:00] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:41:00] [INFO ] Applying decomposition
[2026-05-26 13:41:00] [INFO ] Flatten gal took : 9 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/graph7913091164117803295.txt' '-o' '/tmp/graph7913091164117803295.bin' '-w' '/tmp/graph7913091164117803295.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7913091164117803295.bin' '-l' '-1' '-v' '-w' '/tmp/graph7913091164117803295.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:41:00] [INFO ] Decomposing Gal with order
[2026-05-26 13:41:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:41:00] [INFO ] Removed a total of 298 redundant transitions.
[2026-05-26 13:41:00] [INFO ] Flatten gal took : 48 ms
[2026-05-26 13:41:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 282 labels/synchronizations in 14 ms.
[2026-05-26 13:41:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality9224503271171329397.gal : 3 ms
[2026-05-26 13:41:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality9460038825531020919.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/CTLCardinality9224503271171329397.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9460038825531020919.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.
Starting structural reductions in LTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Reduce places removed 55 places and 0 transitions.
Iterating post reduction 0 with 55 rules applied. Total rules applied 55 place count 108 transition count 592
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 75 place count 88 transition count 360
Iterating global reduction 1 with 20 rules applied. Total rules applied 95 place count 88 transition count 360
Discarding 12 places :
Symmetric choice reduction at 1 with 12 rule applications. Total rules 107 place count 76 transition count 220
Iterating global reduction 1 with 12 rules applied. Total rules applied 119 place count 76 transition count 220
Applied a total of 119 rules in 7 ms. Remains 76 /163 variables (removed 87) and now considering 220/592 (removed 372) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4432872599915934309.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4488193097929824192.kers'
[2026-05-26 13:41:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4432872599915934309.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4488193097929824192.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 220 rows 76 cols 1195 entries
Finished phase 1 with 35 SingleSign rule and 25 generalized
[2026-05-26 13:41:30] [INFO ] Computed 16 invariants in 1 ms
Computed 16 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-4488193097929824192.kers
Total runtime 2 ms.
[2026-05-26 13:41:30] [INFO ] Implicit Places using invariants in 71 ms returned [8]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 73 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 75/163 places, 220/592 transitions.
Applied a total of 0 rules in 5 ms. Remains 75 /75 variables (removed 0) and now considering 220/220 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 85 ms. Remains : 75/163 places, 220/592 transitions.
[2026-05-26 13:41:30] [INFO ] Flatten gal took : 8 ms
[2026-05-26 13:41:30] [INFO ] Flatten gal took : 8 ms
[2026-05-26 13:41:30] [INFO ] Input system was already deterministic with 220 transitions.
[2026-05-26 13:41:30] [INFO ] Flatten gal took : 7 ms
[2026-05-26 13:41:30] [INFO ] Flatten gal took : 7 ms
[2026-05-26 13:41:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality10130706144512698738.gal : 2 ms
[2026-05-26 13:41:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality17355138016801883822.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/CTLCardinality10130706144512698738.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17355138016801883822.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 13:42:00] [INFO ] Flatten gal took : 7 ms
[2026-05-26 13:42:00] [INFO ] Applying decomposition
[2026-05-26 13:42:00] [INFO ] Flatten gal took : 7 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/graph7731147144459698948.txt' '-o' '/tmp/graph7731147144459698948.bin' '-w' '/tmp/graph7731147144459698948.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7731147144459698948.bin' '-l' '-1' '-v' '-w' '/tmp/graph7731147144459698948.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:42:00] [INFO ] Decomposing Gal with order
[2026-05-26 13:42:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:42:00] [INFO ] Removed a total of 95 redundant transitions.
[2026-05-26 13:42:00] [INFO ] Flatten gal took : 21 ms
[2026-05-26 13:42:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 2 ms.
[2026-05-26 13:42:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality11573883153530367050.gal : 2 ms
[2026-05-26 13:42:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality7991670676035329022.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/CTLCardinality11573883153530367050.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7991670676035329022.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.
Starting structural reductions in LTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 106 transition count 592
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 77 place count 86 transition count 372
Iterating global reduction 1 with 20 rules applied. Total rules applied 97 place count 86 transition count 372
Discarding 13 places :
Symmetric choice reduction at 1 with 13 rule applications. Total rules 110 place count 73 transition count 212
Iterating global reduction 1 with 13 rules applied. Total rules applied 123 place count 73 transition count 212
Applied a total of 123 rules in 7 ms. Remains 73 /163 variables (removed 90) and now considering 212/592 (removed 380) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11788823875670097147.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6014866759855433890.kers'
[2026-05-26 13:42:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11788823875670097147.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6014866759855433890.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 212 rows 73 cols 1140 entries
Finished phase 1 with 28 SingleSign rule and 29 generalized
[2026-05-26 13:42:30] [INFO ] Computed 16 invariants in 2 ms
Computed 16 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-6014866759855433890.kers
Total runtime 3 ms.
[2026-05-26 13:42:30] [INFO ] Implicit Places using invariants in 68 ms returned []
[2026-05-26 13:42:30] [INFO ] Invariant cache hit.
[2026-05-26 13:42:31] [INFO ] Implicit Places using invariants and state equation in 153 ms returned []
Implicit Place search using SMT with State Equation took 223 ms to find 0 implicit places.
Running 208 sub problems to find dead transitions.
[2026-05-26 13:42:31] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/70 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 2 (OVERLAPS) 1/71 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/71 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 4 (OVERLAPS) 212/283 variables, 71/87 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/283 variables, 0/87 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 6 (OVERLAPS) 2/285 variables, 2/89 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/285 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 8 (OVERLAPS) 0/285 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 208 unsolved
No progress, stopping.
After SMT solving in domain Real declared 285/285 variables, and 89 constraints, problems are : Problem set: 0 solved, 208 unsolved in 6746 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 73/73 constraints, PredecessorRefiner: 208/208 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 208 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/70 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 2 (OVERLAPS) 1/71 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/71 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 4 (OVERLAPS) 212/283 variables, 71/87 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/283 variables, 184/271 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/283 variables, 0/271 constraints. Problems are: Problem set: 0 solved, 208 unsolved
At refinement iteration 7 (OVERLAPS) 2/285 variables, 2/273 constraints. Problems are: Problem set: 0 solved, 208 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 285/285 variables, and 297 constraints, problems are : Problem set: 0 solved, 208 unsolved in 30014 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 73/73 constraints, PredecessorRefiner: 208/208 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 36844ms problems are : Problem set: 0 solved, 208 unsolved
Search for dead transitions found 0 dead transitions in 36845ms
Starting structural reductions in LTL mode, iteration 1 : 73/163 places, 212/592 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 37076 ms. Remains : 73/163 places, 212/592 transitions.
[2026-05-26 13:43:07] [INFO ] Flatten gal took : 5 ms
[2026-05-26 13:43:07] [INFO ] Flatten gal took : 6 ms
[2026-05-26 13:43:07] [INFO ] Input system was already deterministic with 212 transitions.
[2026-05-26 13:43:07] [INFO ] Flatten gal took : 6 ms
[2026-05-26 13:43:07] [INFO ] Flatten gal took : 5 ms
[2026-05-26 13:43:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality2422546970817830951.gal : 1 ms
[2026-05-26 13:43:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality5325007205090790571.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/CTLCardinality2422546970817830951.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5325007205090790571.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 13:43:38] [INFO ] Flatten gal took : 12 ms
[2026-05-26 13:43:38] [INFO ] Applying decomposition
[2026-05-26 13:43:38] [INFO ] Flatten gal took : 5 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/graph14193051658510797799.txt' '-o' '/tmp/graph14193051658510797799.bin' '-w' '/tmp/graph14193051658510797799.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14193051658510797799.bin' '-l' '-1' '-v' '-w' '/tmp/graph14193051658510797799.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:43:38] [INFO ] Decomposing Gal with order
[2026-05-26 13:43:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:43:38] [INFO ] Removed a total of 235 redundant transitions.
[2026-05-26 13:43:38] [INFO ] Flatten gal took : 20 ms
[2026-05-26 13:43:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 146 labels/synchronizations in 5 ms.
[2026-05-26 13:43:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality14164882898341019298.gal : 2 ms
[2026-05-26 13:43:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality8764954757366620017.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/CTLCardinality14164882898341019298.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8764954757366620017.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Graph (complete) has 1565 edges and 163 vertex of which 50 are kept as prefixes of interest. Removing 113 places using SCC suffix rule.6 ms
Discarding 113 places :
Also discarding 384 output transitions
Drop transitions (Output transitions of discarded places.) removed 384 transitions
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 15 place count 36 transition count 82
Iterating global reduction 0 with 14 rules applied. Total rules applied 29 place count 36 transition count 82
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 36 place count 29 transition count 40
Iterating global reduction 0 with 7 rules applied. Total rules applied 43 place count 29 transition count 40
Applied a total of 43 rules in 18 ms. Remains 29 /163 variables (removed 134) and now considering 40/592 (removed 552) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9649297140797302227.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10357523547963954793.kers'
[2026-05-26 13:44:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9649297140797302227.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10357523547963954793.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 40 rows 29 cols 196 entries
Finished phase 1 with 11 SingleSign rule and 8 generalized
[2026-05-26 13:44:08] [INFO ] Computed 10 invariants in 0 ms
Computed 10 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-10357523547963954793.kers
Total runtime 0 ms.
[2026-05-26 13:44:08] [INFO ] Implicit Places using invariants in 34 ms returned [8, 12, 14]
[2026-05-26 13:44:08] [INFO ] Actually due to overlaps returned [12, 8]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 34 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 27/163 places, 40/592 transitions.
Applied a total of 0 rules in 2 ms. Remains 27 /27 variables (removed 0) and now considering 40/40 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 54 ms. Remains : 27/163 places, 40/592 transitions.
[2026-05-26 13:44:08] [INFO ] Flatten gal took : 1 ms
[2026-05-26 13:44:08] [INFO ] Flatten gal took : 1 ms
[2026-05-26 13:44:08] [INFO ] Input system was already deterministic with 40 transitions.
[2026-05-26 13:44:08] [INFO ] Flatten gal took : 1 ms
[2026-05-26 13:44:08] [INFO ] Flatten gal took : 1 ms
[2026-05-26 13:44:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality3506816837371694799.gal : 1 ms
[2026-05-26 13:44:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality10505822320952070402.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/CTLCardinality3506816837371694799.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10505822320952070402.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 13:44:38] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:44:38] [INFO ] Applying decomposition
[2026-05-26 13:44:38] [INFO ] Flatten gal took : 3 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/graph5015917233516168227.txt' '-o' '/tmp/graph5015917233516168227.bin' '-w' '/tmp/graph5015917233516168227.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5015917233516168227.bin' '-l' '-1' '-v' '-w' '/tmp/graph5015917233516168227.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:44:38] [INFO ] Decomposing Gal with order
[2026-05-26 13:44:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:44:38] [INFO ] Removed a total of 20 redundant transitions.
[2026-05-26 13:44:38] [INFO ] Flatten gal took : 3 ms
[2026-05-26 13:44:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 1 ms.
[2026-05-26 13:44:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality4663180109382066262.gal : 1 ms
[2026-05-26 13:44:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality16368228881027431030.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/CTLCardinality4663180109382066262.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16368228881027431030.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 : 163/163 places, 592/592 transitions.
Graph (complete) has 1565 edges and 163 vertex of which 106 are kept as prefixes of interest. Removing 57 places using SCC suffix rule.7 ms
Discarding 57 places :
Also discarding 0 output transitions
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 23 place count 84 transition count 360
Iterating global reduction 0 with 22 rules applied. Total rules applied 45 place count 84 transition count 360
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 59 place count 70 transition count 184
Iterating global reduction 0 with 14 rules applied. Total rules applied 73 place count 70 transition count 184
Applied a total of 73 rules in 23 ms. Remains 70 /163 variables (removed 93) and now considering 184/592 (removed 408) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17615381906372586998.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17174303289636769710.kers'
[2026-05-26 13:45:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17615381906372586998.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17174303289636769710.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 184 rows 70 cols 1000 entries
Finished phase 1 with 23 SingleSign rule and 31 generalized
[2026-05-26 13:45:08] [INFO ] Computed 16 invariants in 3 ms
Computed 16 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-17174303289636769710.kers
Total runtime 4 ms.
[2026-05-26 13:45:08] [INFO ] Implicit Places using invariants in 60 ms returned []
[2026-05-26 13:45:08] [INFO ] Invariant cache hit.
[2026-05-26 13:45:08] [INFO ] Implicit Places using invariants and state equation in 110 ms returned []
Implicit Place search using SMT with State Equation took 171 ms to find 0 implicit places.
[2026-05-26 13:45:08] [INFO ] Redundant transitions in 7 ms returned []
Running 180 sub problems to find dead transitions.
[2026-05-26 13:45:08] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/67 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 2 (OVERLAPS) 1/68 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 180 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/68 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 4 (OVERLAPS) 184/252 variables, 68/84 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/252 variables, 0/84 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 6 (OVERLAPS) 2/254 variables, 2/86 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/254 variables, 0/86 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 8 (OVERLAPS) 0/254 variables, 0/86 constraints. Problems are: Problem set: 0 solved, 180 unsolved
No progress, stopping.
After SMT solving in domain Real declared 254/254 variables, and 86 constraints, problems are : Problem set: 0 solved, 180 unsolved in 3353 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 70/70 constraints, PredecessorRefiner: 180/180 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 180 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/67 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 2 (OVERLAPS) 1/68 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/68 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 4 (OVERLAPS) 184/252 variables, 68/84 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/252 variables, 162/246 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/252 variables, 0/246 constraints. Problems are: Problem set: 0 solved, 180 unsolved
At refinement iteration 7 (OVERLAPS) 2/254 variables, 2/248 constraints. Problems are: Problem set: 0 solved, 180 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 254/254 variables, and 266 constraints, problems are : Problem set: 0 solved, 180 unsolved in 30015 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 70/70 constraints, PredecessorRefiner: 180/180 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 33423ms problems are : Problem set: 0 solved, 180 unsolved
Search for dead transitions found 0 dead transitions in 33424ms
Starting structural reductions in SI_CTL mode, iteration 1 : 70/163 places, 184/592 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 33637 ms. Remains : 70/163 places, 184/592 transitions.
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:45:42] [INFO ] Input system was already deterministic with 184 transitions.
RANDOM walk for 3120 steps (8 resets) in 17 ms. (173 steps per ms) remains 0/1 properties
FORMULA PermAdmissibility-PT-20-CTLCardinality-2024-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 5 ms
[2026-05-26 13:45:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8930370278929886753.gal : 2 ms
[2026-05-26 13:45:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7150425559875534229.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/ReachabilityCardinality8930370278929886753.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7150425559875534229.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 : 163/163 places, 592/592 transitions.
Reduce places removed 55 places and 0 transitions.
Iterating post reduction 0 with 55 rules applied. Total rules applied 55 place count 108 transition count 592
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 76 place count 87 transition count 360
Iterating global reduction 1 with 21 rules applied. Total rules applied 97 place count 87 transition count 360
Discarding 17 places :
Symmetric choice reduction at 1 with 17 rule applications. Total rules 114 place count 70 transition count 172
Iterating global reduction 1 with 17 rules applied. Total rules applied 131 place count 70 transition count 172
Applied a total of 131 rules in 5 ms. Remains 70 /163 variables (removed 93) and now considering 172/592 (removed 420) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-641843550866299485.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2500225510227988727.kers'
[2026-05-26 13:45:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-641843550866299485.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2500225510227988727.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 172 rows 70 cols 934 entries
Finished phase 1 with 26 SingleSign rule and 28 generalized
[2026-05-26 13:45:42] [INFO ] Computed 16 invariants in 0 ms
Computed 16 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-2500225510227988727.kers
Total runtime 1 ms.
[2026-05-26 13:45:42] [INFO ] Implicit Places using invariants in 51 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 52 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 69/163 places, 172/592 transitions.
Applied a total of 0 rules in 1 ms. Remains 69 /69 variables (removed 0) and now considering 172/172 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 58 ms. Remains : 69/163 places, 172/592 transitions.
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:45:42] [INFO ] Input system was already deterministic with 172 transitions.
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:45:42] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:45:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality14030823714611628918.gal : 1 ms
[2026-05-26 13:45:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality16962223758185528699.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/CTLCardinality14030823714611628918.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16962223758185528699.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 13:46:12] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:46:12] [INFO ] Applying decomposition
[2026-05-26 13:46:12] [INFO ] Flatten gal took : 4 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/graph8118184220598253743.txt' '-o' '/tmp/graph8118184220598253743.bin' '-w' '/tmp/graph8118184220598253743.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8118184220598253743.bin' '-l' '-1' '-v' '-w' '/tmp/graph8118184220598253743.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:46:12] [INFO ] Decomposing Gal with order
[2026-05-26 13:46:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:46:12] [INFO ] Removed a total of 160 redundant transitions.
[2026-05-26 13:46:12] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:46:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 154 labels/synchronizations in 3 ms.
[2026-05-26 13:46:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality12354496384129733251.gal : 1 ms
[2026-05-26 13:46:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality17324296566926379372.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/CTLCardinality12354496384129733251.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17324296566926379372.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Graph (complete) has 1565 edges and 163 vertex of which 108 are kept as prefixes of interest. Removing 55 places using SCC suffix rule.8 ms
Discarding 55 places :
Also discarding 0 output transitions
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 21 place count 88 transition count 370
Iterating global reduction 0 with 20 rules applied. Total rules applied 41 place count 88 transition count 370
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 57 place count 72 transition count 182
Iterating global reduction 0 with 16 rules applied. Total rules applied 73 place count 72 transition count 182
Applied a total of 73 rules in 22 ms. Remains 72 /163 variables (removed 91) and now considering 182/592 (removed 410) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6470327056410681282.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7774919173234469252.kers'
[2026-05-26 13:46:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6470327056410681282.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7774919173234469252.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 182 rows 72 cols 979 entries
Finished phase 1 with 30 SingleSign rule and 26 generalized
[2026-05-26 13:46:42] [INFO ] Computed 16 invariants in 1 ms
Computed 16 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-7774919173234469252.kers
Total runtime 2 ms.
[2026-05-26 13:46:42] [INFO ] Implicit Places using invariants in 56 ms returned []
[2026-05-26 13:46:42] [INFO ] Invariant cache hit.
[2026-05-26 13:46:42] [INFO ] Implicit Places using invariants and state equation in 106 ms returned []
Implicit Place search using SMT with State Equation took 164 ms to find 0 implicit places.
[2026-05-26 13:46:42] [INFO ] Redundant transitions in 10 ms returned []
Running 178 sub problems to find dead transitions.
[2026-05-26 13:46:42] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/67 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 2 (OVERLAPS) 1/68 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/68 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 4 (OVERLAPS) 182/250 variables, 68/84 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/250 variables, 0/84 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 6 (OVERLAPS) 4/254 variables, 4/88 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/254 variables, 0/88 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 8 (OVERLAPS) 0/254 variables, 0/88 constraints. Problems are: Problem set: 0 solved, 178 unsolved
No progress, stopping.
After SMT solving in domain Real declared 254/254 variables, and 88 constraints, problems are : Problem set: 0 solved, 178 unsolved in 6568 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 72/72 constraints, PredecessorRefiner: 178/178 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 178 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/67 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 2 (OVERLAPS) 1/68 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/68 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 4 (OVERLAPS) 182/250 variables, 68/84 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/250 variables, 144/228 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/250 variables, 0/228 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 7 (OVERLAPS) 4/254 variables, 4/232 constraints. Problems are: Problem set: 0 solved, 178 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/254 variables, 34/266 constraints. Problems are: Problem set: 0 solved, 178 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 254/254 variables, and 266 constraints, problems are : Problem set: 0 solved, 178 unsolved in 30012 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 72/72 constraints, PredecessorRefiner: 178/178 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 36627ms problems are : Problem set: 0 solved, 178 unsolved
Search for dead transitions found 0 dead transitions in 36628ms
Starting structural reductions in SI_CTL mode, iteration 1 : 72/163 places, 182/592 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 36833 ms. Remains : 72/163 places, 182/592 transitions.
[2026-05-26 13:47:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:47:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:47:19] [INFO ] Input system was already deterministic with 182 transitions.
[2026-05-26 13:47:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:47:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:47:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality12034785533868513486.gal : 1 ms
[2026-05-26 13:47:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality8016405064964284112.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/CTLCardinality12034785533868513486.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8016405064964284112.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 13:47:49] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:47:49] [INFO ] Applying decomposition
[2026-05-26 13:47:49] [INFO ] Flatten gal took : 4 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/graph4492357906760840372.txt' '-o' '/tmp/graph4492357906760840372.bin' '-w' '/tmp/graph4492357906760840372.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4492357906760840372.bin' '-l' '-1' '-v' '-w' '/tmp/graph4492357906760840372.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:47:49] [INFO ] Decomposing Gal with order
[2026-05-26 13:47:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:47:49] [INFO ] Removed a total of 132 redundant transitions.
[2026-05-26 13:47:49] [INFO ] Flatten gal took : 11 ms
[2026-05-26 13:47:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 73 labels/synchronizations in 3 ms.
[2026-05-26 13:47:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality18353650538113329921.gal : 2 ms
[2026-05-26 13:47:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality576680535329219678.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/CTLCardinality18353650538113329921.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality576680535329219678.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Graph (complete) has 1565 edges and 163 vertex of which 108 are kept as prefixes of interest. Removing 55 places using SCC suffix rule.1 ms
Discarding 55 places :
Also discarding 0 output transitions
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 23 place count 86 transition count 356
Iterating global reduction 0 with 22 rules applied. Total rules applied 45 place count 86 transition count 356
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 60 place count 71 transition count 192
Iterating global reduction 0 with 15 rules applied. Total rules applied 75 place count 71 transition count 192
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 76 place count 70 transition count 184
Iterating global reduction 0 with 1 rules applied. Total rules applied 77 place count 70 transition count 184
Applied a total of 77 rules in 15 ms. Remains 70 /163 variables (removed 93) and now considering 184/592 (removed 408) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-122665068838480091.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17979439549202084518.kers'
[2026-05-26 13:48:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-122665068838480091.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17979439549202084518.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 184 rows 70 cols 1002 entries
Finished phase 1 with 32 SingleSign rule and 22 generalized
[2026-05-26 13:48:19] [INFO ] Computed 16 invariants in 0 ms
Computed 16 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-17979439549202084518.kers
Total runtime 1 ms.
[2026-05-26 13:48:19] [INFO ] Implicit Places using invariants in 56 ms returned [9]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 57 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 69/163 places, 184/592 transitions.
Applied a total of 0 rules in 4 ms. Remains 69 /69 variables (removed 0) and now considering 184/184 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 77 ms. Remains : 69/163 places, 184/592 transitions.
[2026-05-26 13:48:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:48:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:48:19] [INFO ] Input system was already deterministic with 184 transitions.
[2026-05-26 13:48:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:48:19] [INFO ] Flatten gal took : 4 ms
[2026-05-26 13:48:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality4829386572469918233.gal : 1 ms
[2026-05-26 13:48:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality13946704808317603769.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/CTLCardinality4829386572469918233.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13946704808317603769.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 13:48:49] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:48:49] [INFO ] Applying decomposition
[2026-05-26 13:48:49] [INFO ] Flatten gal took : 5 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/graph4146769243254662288.txt' '-o' '/tmp/graph4146769243254662288.bin' '-w' '/tmp/graph4146769243254662288.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4146769243254662288.bin' '-l' '-1' '-v' '-w' '/tmp/graph4146769243254662288.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:48:49] [INFO ] Decomposing Gal with order
[2026-05-26 13:48:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:48:49] [INFO ] Removed a total of 27 redundant transitions.
[2026-05-26 13:48:49] [INFO ] Flatten gal took : 9 ms
[2026-05-26 13:48:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 33 labels/synchronizations in 1 ms.
[2026-05-26 13:48:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality3327097243266120103.gal : 1 ms
[2026-05-26 13:48:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality12812500633171894793.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/CTLCardinality3327097243266120103.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12812500633171894793.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.
Starting structural reductions in LTL mode, iteration 0 : 163/163 places, 592/592 transitions.
Reduce places removed 41 places and 0 transitions.
Iterating post reduction 0 with 41 rules applied. Total rules applied 41 place count 122 transition count 592
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 48 place count 115 transition count 492
Iterating global reduction 1 with 7 rules applied. Total rules applied 55 place count 115 transition count 492
Applied a total of 55 rules in 4 ms. Remains 115 /163 variables (removed 48) and now considering 492/592 (removed 100) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9102133960344392073.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1536831450100514972.kers'
[2026-05-26 13:49:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9102133960344392073.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1536831450100514972.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 492 rows 115 cols 2648 entries
Finished phase 1 with 67 SingleSign rule and 32 generalized
[2026-05-26 13:49:19] [INFO ] Computed 16 invariants in 2 ms
Computed 16 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-1536831450100514972.kers
Total runtime 4 ms.
[2026-05-26 13:49:19] [INFO ] Implicit Places using invariants in 84 ms returned []
[2026-05-26 13:49:19] [INFO ] Invariant cache hit.
[2026-05-26 13:49:19] [INFO ] Implicit Places using invariants and state equation in 240 ms returned []
Implicit Place search using SMT with State Equation took 326 ms to find 0 implicit places.
Running 488 sub problems to find dead transitions.
[2026-05-26 13:49:19] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/96 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/96 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 2 (OVERLAPS) 1/97 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/97 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 4 (OVERLAPS) 492/589 variables, 97/113 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/589 variables, 0/113 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 6 (OVERLAPS) 18/607 variables, 18/131 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/607 variables, 0/131 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 8 (OVERLAPS) 0/607 variables, 0/131 constraints. Problems are: Problem set: 0 solved, 488 unsolved
No progress, stopping.
After SMT solving in domain Real declared 607/607 variables, and 131 constraints, problems are : Problem set: 0 solved, 488 unsolved in 11275 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 115/115 constraints, PredecessorRefiner: 488/488 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 488 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/96 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/96 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 2 (OVERLAPS) 1/97 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/97 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 4 (OVERLAPS) 492/589 variables, 97/113 constraints. Problems are: Problem set: 0 solved, 488 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/589 variables, 332/445 constraints. Problems are: Problem set: 0 solved, 488 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 589/607 variables, and 445 constraints, problems are : Problem set: 0 solved, 488 unsolved in 30018 ms.
Refiners :[Generalized P Invariants (flows): 16/16 constraints, State Equation: 97/115 constraints, PredecessorRefiner: 332/488 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 41597ms problems are : Problem set: 0 solved, 488 unsolved
Search for dead transitions found 0 dead transitions in 41599ms
Starting structural reductions in LTL mode, iteration 1 : 115/163 places, 492/592 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 41932 ms. Remains : 115/163 places, 492/592 transitions.
[2026-05-26 13:50:01] [INFO ] Flatten gal took : 9 ms
[2026-05-26 13:50:01] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:50:01] [INFO ] Input system was already deterministic with 492 transitions.
[2026-05-26 13:50:01] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:50:01] [INFO ] Flatten gal took : 10 ms
[2026-05-26 13:50:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality13123075226235242526.gal : 3 ms
[2026-05-26 13:50:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality7404104856272549830.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/CTLCardinality13123075226235242526.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7404104856272549830.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 13:50:31] [INFO ] Flatten gal took : 15 ms
[2026-05-26 13:50:31] [INFO ] Applying decomposition
[2026-05-26 13:50:31] [INFO ] Flatten gal took : 10 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/graph11994854051657405142.txt' '-o' '/tmp/graph11994854051657405142.bin' '-w' '/tmp/graph11994854051657405142.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11994854051657405142.bin' '-l' '-1' '-v' '-w' '/tmp/graph11994854051657405142.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:50:31] [INFO ] Decomposing Gal with order
[2026-05-26 13:50:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:50:31] [INFO ] Removed a total of 715 redundant transitions.
[2026-05-26 13:50:31] [INFO ] Flatten gal took : 36 ms
[2026-05-26 13:50:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 282 labels/synchronizations in 11 ms.
[2026-05-26 13:50:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality727943145123452384.gal : 3 ms
[2026-05-26 13:50:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality6016244267136533586.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/CTLCardinality727943145123452384.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6016244267136533586.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 -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 13:51:01] [INFO ] Flatten gal took : 13 ms
[2026-05-26 13:51:01] [INFO ] Flatten gal took : 13 ms
[2026-05-26 13:51:01] [INFO ] Applying decomposition
[2026-05-26 13:51:02] [INFO ] Flatten gal took : 14 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/graph4054731056790233599.txt' '-o' '/tmp/graph4054731056790233599.bin' '-w' '/tmp/graph4054731056790233599.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4054731056790233599.bin' '-l' '-1' '-v' '-w' '/tmp/graph4054731056790233599.weights' '-q' '0' '-e' '0.001'
[2026-05-26 13:51:02] [INFO ] Decomposing Gal with order
[2026-05-26 13:51:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 13:51:02] [INFO ] Removed a total of 1293 redundant transitions.
[2026-05-26 13:51:02] [INFO ] Flatten gal took : 66 ms
[2026-05-26 13:51:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 380 labels/synchronizations in 22 ms.
[2026-05-26 13:51:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality11884512355579713705.gal : 4 ms
[2026-05-26 13:51:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality6555206941733520181.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/CTLCardinality11884512355579713705.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6555206941733520181.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 9 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 14:15:20] [INFO ] Flatten gal took : 274 ms
[2026-05-26 14:15:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality5662855969250558698.gal : 40 ms
[2026-05-26 14:15:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality9872505220600269544.ctl : 21 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/CTLCardinality5662855969250558698.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9872505220600269544.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 9 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="PermAdmissibility-PT-20"
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 PermAdmissibility-PT-20, 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 r194-tall-177969914200633"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 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 ;