About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ?FT?F?F?F????TFT | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524600457.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524600457
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 17K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 24M May 29 14:32 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 MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1749187869809
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C06
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-06 05:31:11] [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]
[2025-06-06 05:31:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 05:31:13] [INFO ] Load time of PNML (sax parser for PT used): 1767 ms
[2025-06-06 05:31:13] [INFO ] Transformed 22816 places.
[2025-06-06 05:31:13] [INFO ] Transformed 35015 transitions.
[2025-06-06 05:31:14] [INFO ] Parsed PT model containing 22816 places and 35015 transitions and 137470 arcs in 2112 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 34 ms.
Support contains 213 out of 22816 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 22816/22816 places, 35015/35015 transitions.
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 0 with 48 rules applied. Total rules applied 48 place count 22768 transition count 35015
Applied a total of 48 rules in 3043 ms. Remains 22768 /22816 variables (removed 48) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 05:31:17] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
// Phase 1: matrix 33959 rows 22768 cols
[2025-06-06 05:31:23] [INFO ] Computed 1565 invariants in 5198 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 05:32:01] [INFO ] Performed 4393/22768 implicitness test of which 164 returned IMPLICIT in 30 seconds.
[2025-06-06 05:32:33] [INFO ] Performed 6484/22768 implicitness test of which 264 returned IMPLICIT in 61 seconds.
[2025-06-06 05:33:03] [INFO ] Performed 8381/22768 implicitness test of which 369 returned IMPLICIT in 91 seconds.
[2025-06-06 05:33:33] [INFO ] Performed 10905/22768 implicitness test of which 526 returned IMPLICIT in 121 seconds.
[2025-06-06 05:34:03] [INFO ] Implicit Places using invariants in 165379 ms returned [4, 8, 24, 42, 62, 84, 108, 134, 162, 192, 224, 258, 294, 332, 372, 414, 458, 503, 547, 589, 629, 667, 703, 737, 769, 799, 827, 853, 877, 899, 919, 937, 953, 993, 1000, 1015, 1031, 1049, 1069, 1091, 1115, 1141, 1169, 1199, 1231, 1265, 1301, 1339, 1379, 1421, 1464, 1506, 1546, 1584, 1620, 1654, 1686, 1716, 1744, 1770, 1794, 1816, 1836, 1854, 1870, 1885, 1925, 1932, 1947, 1962, 1978, 1996, 2016, 2038, 2062, 2088, 2116, 2146, 2178, 2212, 2248, 2286, 2326, 2367, 2407, 2445, 2481, 2515, 2547, 2577, 2605, 2631, 2655, 2677, 2697, 2715, 2731, 2746, 2761, 2801, 2808, 2823, 2838, 2853, 2887, 2907, 2929, 2953, 2979, 3007, 3037, 3069, 3103, 3139, 3177, 3216, 3254, 3290, 3324, 3356, 3386, 3414, 3440, 3464, 3486, 3506, 3524, 3540, 3555, 3570, 3585, 3625, 3632, 3647, 3662, 3677, 3692, 3708, 3726, 3746, 3768, 3792, 3818, 3846, 3876, 3908, 3942, 3978, 4015, 4051, 4085, 4117, 4147, 4175, 4201, 4225, 4247, 4267, 4285, 4301, 4316, 4331, 4346, 4361, 4401, 4408, 4423, 4438, 4453, 4468, 4483, 4499, 4517, 4537, 4559, 4583, 4609, 4637, 4667, 4699, 4733, 4768, 4802, 4834, 4864, 4892, 4918, 4942, 4964, 4984, 5002, 5018, 5033, 5048, 5063, 5078, 5093, 5133, 5140, 5155, 5170, 5185, 5200, 5215, 5230, 5246, 5264, 5284, 5306, 5330, 5356, 5384, 5414, 5446, 5479, 5511, 5541, 5569, 5595, 5619, 5641, 5661, 5679, 5695, 5710, 5725, 5740, 5755, 5770, 5785, 5825, 5832, 5847, 5862, 5877, 5892, 5907, 5922, 5937, 5953, 5971, 5991, 6013, 6037, 6063, 6091, 6121, 6152, 6182, 6210, 6236, 6260, 6282, 6302, 6320, 6336, 6351, 6366, 6381, 6396, 6411, 6426, 6441, 6481, 6488, 6503, 6518, 6533, 6548, 6563, 6578, 6593, 6608, 6624, 6642, 6662, 6684, 6708, 6734, 6762, 6791, 6819, 6845, 6869, 6891, 6911, 6929, 6945, 6960, 6975, 6990, 7005, 7020, 7035, 7050, 7065, 7105, 7112, 7127, 7142, 7157, 7172, 7187, 7202, 7217, 7232, 7247, 7263, 7281, 7301, 7323, 7373, 7400, 7426, 7450, 7472, 7492, 7510, 7526, 7541, 7556, 7571, 7586, 7601, 7616, 7631, 7646, 7661, 7701, 7708, 7723, 7738, 7753, 7768, 7783, 7798, 7813, 7828, 7843, 7858, 7874, 7892, 7912, 7934, 7958, 7983, 8007, 8029, 8049, 8067, 8083, 8098, 8113, 8128, 8143, 8158, 8173, 8188, 8203, 8218, 8233, 8273, 8280, 8295, 8310, 8325, 8340, 8355, 8370, 8385, 8400, 8415, 8430, 8445, 8461, 8479, 8499, 8521, 8544, 8566, 8586, 8604, 8620, 8635, 8650, 8665, 8680, 8695, 8710, 8725, 8740, 8755, 8770, 8785, 8825, 8832, 8847, 8862, 8877, 8892, 8907, 8922, 8937, 8952, 8967, 8982, 8997, 9012, 9028, 9046, 9066, 9087, 9107, 9125, 9141, 9156, 9171, 9186, 9201, 9216, 9231, 9246, 9261, 9276, 9291, 9306, 9321, 9361, 9368, 9383, 9398, 9413, 9428, 9443, 9458, 9473, 9488, 9503, 9518, 9533, 9548, 9563, 9579, 9597, 9616, 9634, 9650, 9665, 9680, 9695, 9710, 9725, 9740, 9755, 9770, 9785, 9800, 9815, 9830, 9845, 9885, 9892, 9907, 9922, 9937, 9952, 9967, 9982, 9997, 10012, 10027, 10042, 10057, 10072, 10087, 10102, 10118, 10135, 10151, 10166, 10181, 10196, 10211, 10226, 10241, 10256, 10271, 10286, 10301, 10316, 10331, 10346, 10361, 10401, 10408, 10423, 10438, 10453, 10468, 10483, 10498, 10513, 10528, 10543, 10558, 10573, 10588, 10603, 10618, 10633, 10648, 10663, 10678, 10693, 10708, 10723, 10738, 10753, 10768, 10783, 10798, 10813, 10828, 10843, 10858, 10873, 10913, 10915, 10919, 10934, 10949, 10964, 10979, 10994, 11009, 11024, 11039, 11054, 11069, 11084, 11099, 11114, 11129, 11144, 11159, 11174, 11189, 11204, 11219, 11234, 11249, 11264, 11279, 11294, 11309, 11324, 11339, 11354, 11369, 11384, 11424, 11431, 11446, 11461, 11476, 11491, 11506, 11521, 11536, 11551, 11566, 11581, 11596, 11611, 11626, 11641, 11656, 11671, 11686, 11701, 11716, 11731, 11746, 11761, 11776, 11791, 11806, 11821, 11836, 11851, 11866, 11881, 11896, 11936, 11943, 11958, 11973, 11988, 12003, 12018, 12033, 12048, 12063, 12078, 12093, 12108, 12123, 12138, 12153, 12168, 12184, 12201, 12217, 12232, 12247, 12262, 12277, 12292, 12307, 12322, 12337, 12352, 12367, 12382, 12397, 12412, 12452, 12459, 12474, 12489, 12504, 12519, 12534, 12549, 12564, 12579, 12594, 12609, 12624, 12639, 12654, 12669, 12685, 12703, 12722, 12740, 12756, 12771, 12786, 12801, 12816, 12831, 12846, 12861, 12876, 12891, 12906, 12921, 12936, 12976, 12983, 12998, 13013, 13028, 13043, 13058, 13073, 13088, 13103, 13118, 13133, 13148, 13163, 13178, 13194, 13212, 13232, 13253, 13273, 13291, 13307, 13322, 13337, 13352, 13367, 13382, 13397, 13412, 13427, 13442, 13457, 13472, 13512]
[2025-06-06 05:34:03] [INFO ] Actually due to overlaps returned [993, 1925, 2801, 3625, 4401, 5133, 5825, 6481, 7105, 7701, 8273, 8825, 9361, 9885, 10401, 10913, 11424, 11936, 12452, 12976, 13512, 4, 667, 703, 737, 769, 799, 827, 853, 877, 899, 919, 937, 953, 1620, 1654, 1686, 1716, 1744, 1770, 1794, 1816, 1836, 1854, 1870, 1885, 2515, 2547, 2577, 2605, 2631, 2655, 2677, 2697, 2715, 2731, 2746, 2761, 3356, 3386, 3414, 3440, 3464, 3486, 3506, 3524, 3540, 3555, 3570, 3585, 4147, 4175, 4201, 4225, 4247, 4267, 4285, 4301, 4316, 4331, 4346, 4361, 4892, 4918, 4942, 4964, 4984, 5002, 5018, 5033, 5048, 5063, 5078, 5093, 5595, 5619, 5641, 5661, 5679, 5695, 5710, 5725, 5740, 5755, 5770, 5785, 6260, 6282, 6302, 6320, 6336, 6351, 6366, 6381, 6396, 6411, 6426, 6441, 6891, 6911, 6929, 6945, 6960, 6975, 6990, 7005, 7020, 7035, 7050, 7065, 7492, 7510, 7526, 7541, 7556, 7571, 7586, 7601, 7616, 7631, 7646, 7661, 8067, 8083, 8098, 8113, 8128, 8143, 8158, 8173, 8188, 8203, 8218, 8233, 8620, 8635, 8650, 8665, 8680, 8695, 8710, 8725, 8740, 8755, 8770, 8785, 9156, 9171, 9186, 9201, 9216, 9231, 9246, 9261, 9276, 9291, 9306, 9321, 9680, 9695, 9710, 9725, 9740, 9755, 9770, 9785, 9800, 9815, 9830, 9845, 10196, 10211, 10226, 10241, 10256, 10271, 10286, 10301, 10316, 10331, 10346, 10361, 10708, 10723, 10738, 10753, 10768, 10783, 10798, 10813, 10828, 10843, 10858, 10873, 10915, 11219, 11234, 11249, 11264, 11279, 11294, 11309, 11324, 11339, 11354, 11369, 11384, 11731, 11746, 11761, 11776, 11791, 11806, 11821, 11836, 11851, 11866, 11881, 11896, 12247, 12262, 12277, 12292, 12307, 12322, 12337, 12352, 12367, 12382, 12397, 12412, 12771, 12786, 12801, 12816, 12831, 12846, 12861, 12876, 12891, 12906, 12921, 12936, 13307, 13322, 13337, 13352, 13367, 13382, 13397, 13412, 13427, 13442, 13457, 13472]
Discarding 275 places :
Implicit Place search using SMT only with invariants took 165478 ms to find 275 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 22493/22816 places, 35015/35015 transitions.
Applied a total of 0 rules in 2510 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 171067 ms. Remains : 22493/22816 places, 35015/35015 transitions.
Support contains 213 out of 22493 places after structural reductions.
[2025-06-06 05:34:08] [INFO ] Flatten gal took : 1697 ms
[2025-06-06 05:34:09] [INFO ] Flatten gal took : 1158 ms
[2025-06-06 05:34:11] [INFO ] Input system was already deterministic with 35015 transitions.
Support contains 211 out of 22493 places (down from 213) after GAL structural reductions.
RANDOM walk for 40000 steps (648 resets) in 6532 ms. (6 steps per ms) remains 94/115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 94/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 93/94 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 92/92 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 92/92 properties
[2025-06-06 05:34:15] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
// Phase 1: matrix 33959 rows 22493 cols
[2025-06-06 05:34:20] [INFO ] Computed 1290 invariants in 4730 ms
[2025-06-06 05:34:21] [INFO ] State equation strengthened by 11266 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/155 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 92 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp55 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp62 is UNSAT
At refinement iteration 1 (OVERLAPS) 14805/14960 variables, 3/3 constraints. Problems are: Problem set: 26 solved, 66 unsolved
SMT process timed out in 10951ms, After SMT, problems are : Problem set: 26 solved, 66 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 118 out of 22493 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 22493/22493 places, 35015/35015 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6247 transitions
Trivial Post-agglo rules discarded 6247 transitions
Performed 6247 trivial Post agglomeration. Transition count delta: 6247
Iterating post reduction 0 with 6247 rules applied. Total rules applied 6247 place count 22493 transition count 28768
Reduce places removed 6247 places and 0 transitions.
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Iterating post reduction 1 with 6298 rules applied. Total rules applied 12545 place count 16246 transition count 28717
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 2 with 51 rules applied. Total rules applied 12596 place count 16195 transition count 28717
Performed 393 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 393 Pre rules applied. Total rules applied 12596 place count 16195 transition count 28324
Deduced a syphon composed of 393 places in 41 ms
Reduce places removed 393 places and 0 transitions.
Iterating global reduction 3 with 786 rules applied. Total rules applied 13382 place count 15802 transition count 28324
Discarding 5867 places :
Symmetric choice reduction at 3 with 5867 rule applications. Total rules 19249 place count 9935 transition count 22457
Iterating global reduction 3 with 5867 rules applied. Total rules applied 25116 place count 9935 transition count 22457
Discarding 912 places :
Symmetric choice reduction at 3 with 912 rule applications. Total rules 26028 place count 9023 transition count 16985
Iterating global reduction 3 with 912 rules applied. Total rules applied 26940 place count 9023 transition count 16985
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 27 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 27004 place count 8991 transition count 16953
Free-agglomeration rule (complex) applied 643 times.
Iterating global reduction 3 with 643 rules applied. Total rules applied 27647 place count 8991 transition count 20655
Reduce places removed 643 places and 0 transitions.
Iterating post reduction 3 with 643 rules applied. Total rules applied 28290 place count 8348 transition count 20655
Partial Free-agglomeration rule applied 395 times.
Drop transitions (Partial Free agglomeration) removed 395 transitions
Iterating global reduction 4 with 395 rules applied. Total rules applied 28685 place count 8348 transition count 20655
Applied a total of 28685 rules in 18268 ms. Remains 8348 /22493 variables (removed 14145) and now considering 20655/35015 (removed 14360) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18269 ms. Remains : 8348/22493 places, 20655/35015 transitions.
RANDOM walk for 40000 steps (1089 resets) in 4511 ms. (8 steps per ms) remains 64/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
Interrupted probabilistic random walk after 7970 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 64
Probabilistic random walk after 7970 steps, saw 3773 distinct states, run finished after 3009 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-06 05:34:49] [INFO ] Flow matrix only has 19091 transitions (discarded 1564 similar events)
// Phase 1: matrix 19091 rows 8348 cols
[2025-06-06 05:34:51] [INFO ] Computed 1290 invariants in 1603 ms
[2025-06-06 05:34:51] [INFO ] State equation strengthened by 11051 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/113 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 64 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp70 is UNSAT
Problem AtomicPropp71 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp78 is UNSAT
Problem AtomicPropp85 is UNSAT
Problem AtomicPropp93 is UNSAT
Problem AtomicPropp94 is UNSAT
Problem AtomicPropp98 is UNSAT
Problem AtomicPropp100 is UNSAT
Problem AtomicPropp104 is UNSAT
Problem AtomicPropp105 is UNSAT
Problem AtomicPropp107 is UNSAT
Problem AtomicPropp109 is UNSAT
Problem AtomicPropp113 is UNSAT
Problem AtomicPropp114 is UNSAT
At refinement iteration 1 (OVERLAPS) 6683/6796 variables, 5/5 constraints. Problems are: Problem set: 18 solved, 46 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6796 variables, 1/6 constraints. Problems are: Problem set: 18 solved, 46 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6796 variables, 0/6 constraints. Problems are: Problem set: 18 solved, 46 unsolved
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp86 is UNSAT
Problem AtomicPropp88 is UNSAT
Problem AtomicPropp90 is UNSAT
Problem AtomicPropp91 is UNSAT
Problem AtomicPropp103 is UNSAT
Problem AtomicPropp106 is UNSAT
Problem AtomicPropp110 is UNSAT
At refinement iteration 4 (OVERLAPS) 1429/8225 variables, 1161/1167 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8225 variables, 0/1167 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 6 (OVERLAPS) 60/8285 variables, 60/1227 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8285 variables, 0/1227 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 8 (OVERLAPS) 63/8348 variables, 63/1290 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/8348 variables, 0/1290 constraints. Problems are: Problem set: 36 solved, 28 unsolved
At refinement iteration 10 (OVERLAPS) 19091/27439 variables, 8348/9638 constraints. Problems are: Problem set: 36 solved, 28 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
SMT process timed out in 47002ms, After SMT, problems are : Problem set: 36 solved, 28 unsolved
Fused 28 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 56 out of 8348 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8348/8348 places, 20655/20655 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 8348 transition count 20636
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 38 place count 8329 transition count 20636
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 38 place count 8329 transition count 20635
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 40 place count 8328 transition count 20635
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 43 place count 8325 transition count 20632
Iterating global reduction 2 with 3 rules applied. Total rules applied 46 place count 8325 transition count 20632
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 51 place count 8325 transition count 20767
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 56 place count 8320 transition count 20767
Partial Free-agglomeration rule applied 44 times.
Drop transitions (Partial Free agglomeration) removed 44 transitions
Iterating global reduction 3 with 44 rules applied. Total rules applied 100 place count 8320 transition count 20767
Discarding 44 places :
Symmetric choice reduction at 3 with 44 rule applications. Total rules 144 place count 8276 transition count 20723
Iterating global reduction 3 with 44 rules applied. Total rules applied 188 place count 8276 transition count 20723
Applied a total of 188 rules in 11686 ms. Remains 8276 /8348 variables (removed 72) and now considering 20723/20655 (removed -68) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11687 ms. Remains : 8276/8348 places, 20723/20655 transitions.
RANDOM walk for 40000 steps (1097 resets) in 3655 ms. (10 steps per ms) remains 26/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 26/26 properties
Interrupted probabilistic random walk after 8984 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 26
Probabilistic random walk after 8984 steps, saw 4215 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-06 05:35:52] [INFO ] Flow matrix only has 19159 transitions (discarded 1564 similar events)
// Phase 1: matrix 19159 rows 8276 cols
[2025-06-06 05:35:54] [INFO ] Computed 1290 invariants in 1669 ms
[2025-06-06 05:35:54] [INFO ] State equation strengthened by 11191 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 1 (OVERLAPS) 6689/6743 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6743 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6743 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 4 (OVERLAPS) 1420/8163 variables, 1171/1177 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8163 variables, 0/1177 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 6 (OVERLAPS) 60/8223 variables, 60/1237 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8223 variables, 0/1237 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 8 (OVERLAPS) 53/8276 variables, 53/1290 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/8276 variables, 0/1290 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 10 (OVERLAPS) 19159/27435 variables, 8276/9566 constraints. Problems are: Problem set: 0 solved, 26 unsolved
Problem AtomicPropp56 is UNSAT
At refinement iteration 11 (INCLUDED_ONLY) 0/27435 variables, 11191/20757 constraints. Problems are: Problem set: 1 solved, 25 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 27435/27435 variables, and 20757 constraints, problems are : Problem set: 1 solved, 25 unsolved in 75084 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1225/1225 constraints, State Equation: 8276/8276 constraints, ReadFeed: 11191/11191 constraints, PredecessorRefiner: 26/26 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 25 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/53 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 25 unsolved
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp92 is UNSAT
At refinement iteration 1 (OVERLAPS) 6690/6743 variables, 5/5 constraints. Problems are: Problem set: 3 solved, 23 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6743 variables, 1/6 constraints. Problems are: Problem set: 3 solved, 23 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-06 05:37:32] [INFO ] Deduced a trap composed of 897 places in 20266 ms of which 8121 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-06 05:37:51] [INFO ] Deduced a trap composed of 938 places in 19134 ms of which 8162 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-06 05:38:11] [INFO ] Deduced a trap composed of 970 places in 19887 ms of which 8693 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-06 05:38:32] [INFO ] Deduced a trap composed of 1238 places in 20770 ms of which 9643 ms to minimize.
SMT process timed out in 159296ms, After SMT, problems are : Problem set: 3 solved, 23 unsolved
Fused 23 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 45 out of 8276 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8276/8276 places, 20723/20723 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 8276 transition count 20719
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 8272 transition count 20719
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 8 place count 8272 transition count 20718
Deduced a syphon composed of 1 places in 18 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 8271 transition count 20718
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 13 place count 8271 transition count 20715
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 16 place count 8268 transition count 20715
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 17 place count 8267 transition count 20714
Iterating global reduction 3 with 1 rules applied. Total rules applied 18 place count 8267 transition count 20714
Partial Free-agglomeration rule applied 6 times.
Drop transitions (Partial Free agglomeration) removed 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 24 place count 8267 transition count 20714
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 30 place count 8261 transition count 20708
Iterating global reduction 3 with 6 rules applied. Total rules applied 36 place count 8261 transition count 20708
Applied a total of 36 rules in 11561 ms. Remains 8261 /8276 variables (removed 15) and now considering 20708/20723 (removed 15) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11561 ms. Remains : 8261/8276 places, 20708/20723 transitions.
Successfully simplified 65 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2023-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-06 05:38:44] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2025-06-06 05:38:44] [INFO ] Flatten gal took : 932 ms
[2025-06-06 05:38:44] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2023-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C06-CTLCardinality-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-06 05:38:45] [INFO ] Flatten gal took : 1026 ms
[2025-06-06 05:38:47] [INFO ] Input system was already deterministic with 35015 transitions.
Support contains 25 out of 22493 places (down from 62) after GAL structural reductions.
Computed a total of 16477 stabilizing places and 23046 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 2309 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 05:38:50] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
// Phase 1: matrix 33959 rows 22493 cols
[2025-06-06 05:38:54] [INFO ] Computed 1290 invariants in 4726 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 05:39:32] [INFO ] Performed 4337/22493 implicitness test of which 100 returned IMPLICIT in 30 seconds.
[2025-06-06 05:40:02] [INFO ] Performed 6992/22493 implicitness test of which 180 returned IMPLICIT in 60 seconds.
[2025-06-06 05:40:32] [INFO ] Performed 9787/22493 implicitness test of which 286 returned IMPLICIT in 90 seconds.
[2025-06-06 05:41:03] [INFO ] Performed 13240/22493 implicitness test of which 420 returned IMPLICIT in 121 seconds.
[2025-06-06 05:41:33] [INFO ] Performed 16078/22493 implicitness test of which 576 returned IMPLICIT in 151 seconds.
[2025-06-06 05:41:34] [INFO ] Implicit Places using invariants in 164840 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15382, 15402, 15420, 15436, 15451, 15466, 15481, 15496, 15511, 15526, 15541, 15581, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16031, 16053, 16073, 16091, 16107, 16122, 16137, 16152, 16167, 16182, 16197]
[2025-06-06 05:41:34] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 15581, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15436, 15451, 15466, 15481, 15496, 15511, 15526, 15541, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16107, 16122, 16137, 16152, 16167, 16182, 16197]
Discarding 568 places :
Implicit Place search using SMT only with invariants took 164888 ms to find 568 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21925/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 2487 ms. Remains 21925 /21925 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 169688 ms. Remains : 21925/22493 places, 35015/35015 transitions.
[2025-06-06 05:41:38] [INFO ] Flatten gal took : 937 ms
[2025-06-06 05:41:39] [INFO ] Flatten gal took : 1036 ms
[2025-06-06 05:41:41] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 05:41:42] [INFO ] Flatten gal took : 998 ms
[2025-06-06 05:41:43] [INFO ] Flatten gal took : 1017 ms
[2025-06-06 05:41:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality15653996864696571168.gal : 289 ms
[2025-06-06 05:41:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality5340843384661217991.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15653996864696571168.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5340843384661217991.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 05:42:14] [INFO ] Flatten gal took : 1053 ms
[2025-06-06 05:42:14] [INFO ] Applying decomposition
[2025-06-06 05:42:15] [INFO ] Flatten gal took : 947 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph11656484959083123168.txt' '-o' '/tmp/graph11656484959083123168.bin' '-w' '/tmp/graph11656484959083123168.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11656484959083123168.bin' '-l' '-1' '-v' '-w' '/tmp/graph11656484959083123168.weights' '-q' '0' '-e' '0.001'
[2025-06-06 05:42:18] [INFO ] Decomposing Gal with order
[2025-06-06 05:42:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 05:42:51] [INFO ] Removed a total of 26311 redundant transitions.
[2025-06-06 05:42:52] [INFO ] Flatten gal took : 6642 ms
[2025-06-06 05:42:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 290 labels/synchronizations in 515 ms.
[2025-06-06 05:42:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality10998568382852188901.gal : 322 ms
[2025-06-06 05:42:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality3916400594788739743.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10998568382852188901.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3916400594788739743.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 2661 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 05:43:31] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
[2025-06-06 05:43:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 05:44:10] [INFO ] Performed 4337/22493 implicitness test of which 100 returned IMPLICIT in 31 seconds.
[2025-06-06 05:44:40] [INFO ] Performed 7408/22493 implicitness test of which 200 returned IMPLICIT in 61 seconds.
[2025-06-06 05:45:10] [INFO ] Performed 9705/22493 implicitness test of which 280 returned IMPLICIT in 91 seconds.
[2025-06-06 05:45:41] [INFO ] Performed 12717/22493 implicitness test of which 400 returned IMPLICIT in 122 seconds.
[2025-06-06 05:46:11] [INFO ] Implicit Places using invariants in 160078 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957]
[2025-06-06 05:46:11] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917]
Discarding 513 places :
Implicit Place search using SMT only with invariants took 160117 ms to find 513 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21980/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 4199 ms. Remains 21980 /21980 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 166983 ms. Remains : 21980/22493 places, 35015/35015 transitions.
[2025-06-06 05:46:17] [INFO ] Flatten gal took : 1570 ms
[2025-06-06 05:46:19] [INFO ] Flatten gal took : 1380 ms
[2025-06-06 05:46:20] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 05:46:22] [INFO ] Flatten gal took : 992 ms
[2025-06-06 05:46:23] [INFO ] Flatten gal took : 1024 ms
[2025-06-06 05:46:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality3325365678085463168.gal : 154 ms
[2025-06-06 05:46:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality3778161353805178123.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3325365678085463168.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3778161353805178123.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 05:46:54] [INFO ] Flatten gal took : 1074 ms
[2025-06-06 05:46:54] [INFO ] Applying decomposition
[2025-06-06 05:46:55] [INFO ] Flatten gal took : 1025 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph13473341425128781993.txt' '-o' '/tmp/graph13473341425128781993.bin' '-w' '/tmp/graph13473341425128781993.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13473341425128781993.bin' '-l' '-1' '-v' '-w' '/tmp/graph13473341425128781993.weights' '-q' '0' '-e' '0.001'
[2025-06-06 05:46:58] [INFO ] Decomposing Gal with order
[2025-06-06 05:47:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 05:47:26] [INFO ] Removed a total of 25163 redundant transitions.
[2025-06-06 05:47:26] [INFO ] Flatten gal took : 5796 ms
[2025-06-06 05:47:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 7698 labels/synchronizations in 1607 ms.
[2025-06-06 05:47:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality10413345477420137252.gal : 362 ms
[2025-06-06 05:47:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality8295591938663348170.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10413345477420137252.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8295591938663348170.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 2931 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 05:48:03] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
[2025-06-06 05:48:03] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 05:48:40] [INFO ] Performed 5056/22493 implicitness test of which 120 returned IMPLICIT in 30 seconds.
[2025-06-06 05:49:11] [INFO ] Performed 8132/22493 implicitness test of which 220 returned IMPLICIT in 61 seconds.
[2025-06-06 05:49:41] [INFO ] Performed 12141/22493 implicitness test of which 380 returned IMPLICIT in 91 seconds.
[2025-06-06 05:50:11] [INFO ] Performed 14812/22493 implicitness test of which 511 returned IMPLICIT in 121 seconds.
[2025-06-06 05:50:41] [INFO ] Performed 17364/22493 implicitness test of which 637 returned IMPLICIT in 151 seconds.
[2025-06-06 05:50:43] [INFO ] Implicit Places using invariants in 160077 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15382, 15402, 15420, 15436, 15451, 15466, 15481, 15496, 15511, 15526, 15541, 15581, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16031, 16053, 16073, 16091, 16107, 16122, 16137, 16152, 16167, 16182, 16197, 16237, 16244, 16259, 16274, 16289, 16304, 16319, 16334, 16349, 16365, 16383, 16403, 16425, 16449, 16475, 16503, 16533, 16565, 16598, 16630, 16660, 16688, 16714, 16738, 16760, 16780, 16798, 16814, 16829, 16844, 16859, 16874, 16889, 16929, 16936, 16951, 16966, 16981, 16996, 17011, 17026, 17042, 17060, 17080, 17102, 17126, 17152, 17180, 17210, 17242, 17276, 17311, 17345, 17377, 17407, 17435, 17461, 17485, 17507, 17527, 17545, 17561, 17576, 17591, 17606, 17621, 17661]
[2025-06-06 05:50:43] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 15581, 16237, 16929, 17661, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14857, 14872, 14887, 14902, 14917, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15481, 15496, 15511, 15526, 15541, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16137, 16152, 16167, 16182, 16197, 16244, 16259, 16274, 16289, 16304, 16319, 16334, 16349, 16365, 16383, 16403, 16425, 16449, 16475, 16503, 16533, 16565, 16598, 16630, 16660, 16688, 16829, 16844, 16859, 16874, 16889, 16936, 16951, 16966, 16981, 16996, 17011, 17026, 17042, 17060, 17080, 17102, 17126, 17152, 17180, 17210, 17242, 17276, 17311, 17345, 17377, 17407, 17561, 17576, 17591, 17606, 17621]
Discarding 609 places :
Implicit Place search using SMT only with invariants took 160113 ms to find 609 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21884/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3125 ms. Remains 21884 /21884 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 166173 ms. Remains : 21884/22493 places, 35015/35015 transitions.
[2025-06-06 05:50:47] [INFO ] Flatten gal took : 959 ms
[2025-06-06 05:50:48] [INFO ] Flatten gal took : 1229 ms
[2025-06-06 05:50:50] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 05:50:51] [INFO ] Flatten gal took : 1066 ms
[2025-06-06 05:50:52] [INFO ] Flatten gal took : 1048 ms
[2025-06-06 05:50:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality2968299943040660031.gal : 134 ms
[2025-06-06 05:50:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality10024319232954851388.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2968299943040660031.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10024319232954851388.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 05:51:23] [INFO ] Flatten gal took : 1019 ms
[2025-06-06 05:51:23] [INFO ] Applying decomposition
[2025-06-06 05:51:24] [INFO ] Flatten gal took : 1113 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12999858033313017749.txt' '-o' '/tmp/graph12999858033313017749.bin' '-w' '/tmp/graph12999858033313017749.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12999858033313017749.bin' '-l' '-1' '-v' '-w' '/tmp/graph12999858033313017749.weights' '-q' '0' '-e' '0.001'
[2025-06-06 05:51:27] [INFO ] Decomposing Gal with order
[2025-06-06 05:51:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 05:52:01] [INFO ] Removed a total of 26258 redundant transitions.
[2025-06-06 05:52:02] [INFO ] Flatten gal took : 6743 ms
[2025-06-06 05:52:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 308 labels/synchronizations in 946 ms.
[2025-06-06 05:52:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality11962891273233417175.gal : 257 ms
[2025-06-06 05:52:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality2376584205717639729.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11962891273233417175.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2376584205717639729.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3847 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 05:52:42] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
[2025-06-06 05:52:42] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 05:53:20] [INFO ] Performed 4337/22493 implicitness test of which 100 returned IMPLICIT in 30 seconds.
[2025-06-06 05:53:51] [INFO ] Performed 7573/22493 implicitness test of which 200 returned IMPLICIT in 60 seconds.
[2025-06-06 05:54:21] [INFO ] Performed 11203/22493 implicitness test of which 340 returned IMPLICIT in 91 seconds.
[2025-06-06 05:54:51] [INFO ] Performed 14080/22493 implicitness test of which 470 returned IMPLICIT in 121 seconds.
[2025-06-06 05:55:21] [INFO ] Performed 16241/22493 implicitness test of which 585 returned IMPLICIT in 151 seconds.
[2025-06-06 05:55:22] [INFO ] Implicit Places using invariants in 160128 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15382, 15402, 15420, 15436, 15451, 15466, 15481, 15496, 15511, 15526, 15541, 15581, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16031, 16053, 16073, 16091, 16107, 16122, 16137, 16152, 16167, 16182, 16197, 16237, 16244, 16259, 16274, 16289, 16304, 16319, 16334, 16349, 16365, 16383, 16403, 16425, 16449, 16475, 16503, 16533]
[2025-06-06 05:55:22] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 15581, 16237, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15451, 15466, 15481, 15496, 15511, 15526, 15541, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16107, 16122, 16137, 16152, 16167, 16182, 16197, 16244, 16259, 16274, 16289, 16304, 16319, 16334, 16349, 16365, 16383, 16403, 16425, 16449, 16475, 16503, 16533]
Discarding 581 places :
Implicit Place search using SMT only with invariants took 160181 ms to find 581 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21912/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3306 ms. Remains 21912 /21912 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 167345 ms. Remains : 21912/22493 places, 35015/35015 transitions.
[2025-06-06 05:55:27] [INFO ] Flatten gal took : 933 ms
[2025-06-06 05:55:28] [INFO ] Flatten gal took : 1035 ms
[2025-06-06 05:55:29] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 05:55:31] [INFO ] Flatten gal took : 990 ms
[2025-06-06 05:55:32] [INFO ] Flatten gal took : 1037 ms
[2025-06-06 05:55:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality12405239094187933050.gal : 132 ms
[2025-06-06 05:55:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality9558153535860078757.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12405239094187933050.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9558153535860078757.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 05:56:03] [INFO ] Flatten gal took : 1017 ms
[2025-06-06 05:56:03] [INFO ] Applying decomposition
[2025-06-06 05:56:04] [INFO ] Flatten gal took : 1048 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph768997337294032908.txt' '-o' '/tmp/graph768997337294032908.bin' '-w' '/tmp/graph768997337294032908.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph768997337294032908.bin' '-l' '-1' '-v' '-w' '/tmp/graph768997337294032908.weights' '-q' '0' '-e' '0.001'
[2025-06-06 05:56:07] [INFO ] Decomposing Gal with order
[2025-06-06 05:56:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 05:56:37] [INFO ] Removed a total of 25205 redundant transitions.
[2025-06-06 05:56:37] [INFO ] Flatten gal took : 6432 ms
[2025-06-06 05:56:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 4447 labels/synchronizations in 2074 ms.
[2025-06-06 05:56:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality2315686976761106983.gal : 226 ms
[2025-06-06 05:56:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality10151520671584526824.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2315686976761106983.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10151520671584526824.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3688 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 05:57:15] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
[2025-06-06 05:57:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 05:57:51] [INFO ] Performed 5037/22493 implicitness test of which 120 returned IMPLICIT in 30 seconds.
[2025-06-06 05:58:22] [INFO ] Performed 8131/22493 implicitness test of which 220 returned IMPLICIT in 60 seconds.
[2025-06-06 05:58:52] [INFO ] Performed 11705/22493 implicitness test of which 360 returned IMPLICIT in 90 seconds.
[2025-06-06 05:59:23] [INFO ] Performed 14364/22493 implicitness test of which 486 returned IMPLICIT in 121 seconds.
[2025-06-06 05:59:54] [INFO ] Performed 16932/22493 implicitness test of which 618 returned IMPLICIT in 152 seconds.
[2025-06-06 05:59:55] [INFO ] Implicit Places using invariants in 160108 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15382, 15402, 15420, 15436, 15451, 15466, 15481, 15496, 15511, 15526, 15541, 15581, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16031, 16053, 16073, 16091, 16107, 16122, 16137, 16152, 16167, 16182, 16197, 16237, 16244, 16259, 16274, 16289, 16304, 16319, 16334, 16349, 16365, 16383, 16403, 16425, 16449, 16475, 16503, 16533, 16565, 16598, 16630, 16660, 16688, 16714, 16738, 16760, 16780, 16798, 16814, 16829, 16844, 16859, 16874, 16889, 16929, 16936, 16951, 16966, 16981, 16996, 17011]
[2025-06-06 05:59:55] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 15581, 16237, 16929, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13674, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14246, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14842, 14857, 14872, 14887, 14902, 14917, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199, 15225, 15253, 15282, 15310, 15336, 15360, 15466, 15481, 15496, 15511, 15526, 15541, 15588, 15603, 15618, 15633, 15648, 15663, 15678, 15693, 15708, 15724, 15742, 15762, 15784, 15808, 15834, 15862, 15892, 15923, 15953, 15981, 16007, 16122, 16137, 16152, 16167, 16182, 16197, 16244, 16259, 16274, 16289, 16304, 16319, 16334, 16349, 16365, 16383, 16403, 16425, 16449, 16475, 16503, 16533, 16565, 16598, 16630, 16660, 16688, 16814, 16829, 16844, 16859, 16874, 16889, 16936, 16951, 16966, 16981, 16996, 17011]
Discarding 594 places :
Implicit Place search using SMT only with invariants took 160146 ms to find 594 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21899/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3588 ms. Remains 21899 /21899 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 167429 ms. Remains : 21899/22493 places, 35015/35015 transitions.
[2025-06-06 06:00:00] [INFO ] Flatten gal took : 1092 ms
[2025-06-06 06:00:01] [INFO ] Flatten gal took : 1157 ms
[2025-06-06 06:00:03] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 06:00:04] [INFO ] Flatten gal took : 1150 ms
[2025-06-06 06:00:05] [INFO ] Flatten gal took : 1048 ms
[2025-06-06 06:00:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality4469535506185310132.gal : 136 ms
[2025-06-06 06:00:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality3109352726118362944.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4469535506185310132.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3109352726118362944.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 06:00:36] [INFO ] Flatten gal took : 981 ms
[2025-06-06 06:00:36] [INFO ] Applying decomposition
[2025-06-06 06:00:37] [INFO ] Flatten gal took : 1062 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16351960300752652159.txt' '-o' '/tmp/graph16351960300752652159.bin' '-w' '/tmp/graph16351960300752652159.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16351960300752652159.bin' '-l' '-1' '-v' '-w' '/tmp/graph16351960300752652159.weights' '-q' '0' '-e' '0.001'
[2025-06-06 06:00:40] [INFO ] Decomposing Gal with order
[2025-06-06 06:00:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 06:01:09] [INFO ] Removed a total of 25006 redundant transitions.
[2025-06-06 06:01:10] [INFO ] Flatten gal took : 5785 ms
[2025-06-06 06:01:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 3516 labels/synchronizations in 1287 ms.
[2025-06-06 06:01:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality12439796583706137055.gal : 198 ms
[2025-06-06 06:01:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality17872834662613682465.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12439796583706137055.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17872834662613682465.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 22493/22493 places, 35015/35015 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6335 transitions
Trivial Post-agglo rules discarded 6335 transitions
Performed 6335 trivial Post agglomeration. Transition count delta: 6335
Iterating post reduction 0 with 6335 rules applied. Total rules applied 6335 place count 22493 transition count 28680
Reduce places removed 6335 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 6336 rules applied. Total rules applied 12671 place count 16158 transition count 28679
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 12672 place count 16157 transition count 28679
Performed 396 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 396 Pre rules applied. Total rules applied 12672 place count 16157 transition count 28283
Deduced a syphon composed of 396 places in 49 ms
Reduce places removed 396 places and 0 transitions.
Iterating global reduction 3 with 792 rules applied. Total rules applied 13464 place count 15761 transition count 28283
Discarding 5939 places :
Symmetric choice reduction at 3 with 5939 rule applications. Total rules 19403 place count 9822 transition count 22344
Iterating global reduction 3 with 5939 rules applied. Total rules applied 25342 place count 9822 transition count 22344
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 11 Pre rules applied. Total rules applied 25342 place count 9822 transition count 22333
Deduced a syphon composed of 11 places in 18 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 3 with 22 rules applied. Total rules applied 25364 place count 9811 transition count 22333
Discarding 989 places :
Symmetric choice reduction at 3 with 989 rule applications. Total rules 26353 place count 8822 transition count 16399
Iterating global reduction 3 with 989 rules applied. Total rules applied 27342 place count 8822 transition count 16399
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 75 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 27408 place count 8789 transition count 16366
Applied a total of 27408 rules in 17914 ms. Remains 8789 /22493 variables (removed 13704) and now considering 16366/35015 (removed 18649) transitions.
[2025-06-06 06:02:00] [INFO ] Flow matrix only has 15310 transitions (discarded 1056 similar events)
// Phase 1: matrix 15310 rows 8789 cols
[2025-06-06 06:02:02] [INFO ] Computed 1290 invariants in 1657 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 06:02:34] [INFO ] Performed 4666/8789 implicitness test of which 716 returned IMPLICIT in 30 seconds.
[2025-06-06 06:02:52] [INFO ] Implicit Places using invariants in 51950 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 21, 28, 37, 48, 61, 76, 93, 112, 133, 156, 181, 208, 237, 268, 300, 332, 333, 334, 335, 336, 337, 338, 367, 394, 570, 573, 574, 575, 576, 577, 578, 579, 582, 587, 594, 603, 614, 627, 642, 659, 678, 699, 722, 747, 774, 803, 833, 863, 864, 865, 866, 867, 868, 869, 896, 921, 1074, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1085, 1088, 1093, 1100, 1109, 1120, 1133, 1148, 1165, 1184, 1205, 1228, 1253, 1280, 1308, 1336, 1337, 1338, 1339, 1340, 1341, 1342, 1367, 1390, 1522, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1533, 1535, 1538, 1543, 1550, 1559, 1570, 1583, 1598, 1615, 1634, 1655, 1678, 1703, 1729, 1755, 1756, 1757, 1758, 1759, 1760, 1761, 1784, 1805, 1918, 1921, 1922, 1923, 1924, 1925, 1926, 1927, 1929, 1931, 1933, 1936, 1941, 1948, 1957, 1968, 1981, 1996, 2013, 2032, 2053, 2076, 2100, 2124, 2125, 2126, 2127, 2128, 2129, 2130, 2151, 2170, 2266, 2269, 2270, 2271, 2272, 2273, 2274, 2275, 2277, 2279, 2281, 2283, 2286, 2291, 2298, 2307, 2318, 2331, 2346, 2363, 2382, 2403, 2425, 2447, 2448, 2449, 2450, 2451, 2452, 2453, 2472, 2489, 2570, 2573, 2574, 2575, 2576, 2577, 2578, 2579, 2581, 2583, 2585, 2587, 2589, 2592, 2597, 2604, 2613, 2624, 2637, 2652, 2669, 2688, 2708, 2728, 2729, 2730, 2731, 2732, 2733, 2734, 2751, 2766, 2834, 2837, 2838, 2839, 2840, 2841, 2842, 2843, 2845, 2847, 2849, 2851, 2853, 2855, 2858, 2863, 2870, 2879, 2890, 2903, 2918, 2935, 2953, 2971, 2972, 2973, 2974, 2975, 2976, 2977, 2992, 3005, 3062, 3065, 3066, 3067, 3068, 3069, 3070, 3071, 3073, 3075, 3077, 3079, 3081, 3083, 3085, 3088, 3093, 3100, 3109, 3120, 3133, 3148, 3164, 3180, 3181, 3182, 3183, 3184, 3185, 3186, 3199, 3210, 3258, 3261, 3262, 3263, 3264, 3265, 3266, 3267, 3269, 3271, 3273, 3275, 3277, 3279, 3281, 3283, 3286, 3291, 3298, 3307, 3318, 3331, 3345, 3359, 3360, 3361, 3362, 3363, 3364, 3365, 3376, 3385, 3426, 3429, 3430, 3431, 3432, 3433, 3434, 3435, 3437, 3439, 3441, 3443, 3445, 3447, 3449, 3451, 3453, 3456, 3461, 3468, 3477, 3488, 3500, 3512, 3513, 3514, 3515, 3516, 3517, 3518, 3527, 3534, 3570, 3573, 3574, 3575, 3576, 3577, 3578, 3579, 3581, 3583, 3585, 3587, 3589, 3591, 3593, 3595, 3597, 3599, 3602, 3607, 3614, 3623, 3633, 3643, 3644, 3645, 3646, 3647, 3648, 3649, 3656, 3661, 3694, 3697, 3698, 3699, 3700, 3701, 3702, 3703, 3705, 3707, 3709, 3711, 3713, 3715, 3717, 3719, 3721, 3723, 3725, 3728, 3733, 3740, 3748, 3756, 3757, 3758, 3759, 3760, 3761, 3762, 3767, 3770, 3802, 3805, 3806, 3807, 3808, 3809, 3810, 3811, 3813, 3815, 3817, 3819, 3821, 3823, 3825, 3827, 3829, 3831, 3833, 3835, 3838, 3843, 3849, 3855, 3856, 3857, 3858, 3859, 3860, 3861, 3864, 3866, 3898, 3901, 3902, 3903, 3904, 3905, 3906, 3907, 3909, 3911, 3913, 3915, 3917, 3919, 3921, 3923, 3925, 3927, 3929, 3931, 3933, 3936, 3940, 3944, 3945, 3946, 3947, 3948, 3949, 3950, 3952, 3954, 3986, 3989, 3990, 3991, 3992, 3993, 3994, 3995, 3997, 3999, 4001, 4003, 4005, 4007, 4009, 4011, 4013, 4015, 4017, 4019, 4021, 4023, 4025, 4028, 4029, 4030, 4031, 4032, 4033, 4034, 4036, 4038, 4068, 4071, 4072, 4073, 4074, 4075, 4076, 4077, 4079, 4081, 4083, 4085, 4087, 4089, 4091, 4093, 4095, 4097, 4099, 4101, 4103, 4105, 4107, 4110, 4111, 4112, 4113, 4114, 4115, 4116, 4118, 4120, 4152, 4155, 4156, 4157, 4158, 4159, 4161, 4163, 4165, 4167, 4169, 4171, 4173, 4177, 4179, 4181, 4183, 4185, 4187, 4189, 4191, 4193, 4196, 4197, 4198, 4199, 4200, 4201, 4202, 4204, 4206, 4238, 4241, 4242, 4243, 4244, 4245, 4246, 4247, 4249, 4251, 4253, 4255, 4257, 4259, 4261, 4263, 4265, 4267, 4269, 4271, 4273, 4275, 4278, 4283, 4284, 4285, 4286, 4287, 4288, 4289, 4292, 4294, 4326, 4329, 4330, 4331, 4332, 4333, 4334, 4335, 4337, 4339, 4341, 4343, 4345, 4347, 4349, 4351, 4353, 4355, 4357, 4359, 4361, 4364, 4369, 4376, 4377, 4378, 4379, 4380, 4381, 4382, 4387, 4390, 4422, 4425, 4426, 4427, 4428, 4429, 4430, 4431, 4433, 4435, 4437, 4439, 4441, 4443, 4445, 4447, 4449, 4451, 4453, 4455, 4458, 4463, 4470, 4479, 4480, 4481, 4482, 4483, 4484, 4485, 4492, 4497, 4530, 4533, 4534, 4535, 4536, 4537, 4538, 4539, 4541, 4543, 4545, 4547, 4549, 4551, 4553, 4555, 4557, 4559, 4561, 4564, 4569, 4576, 4585, 4596, 4597, 4598, 4599, 4600, 4601, 4602, 4611, 4618, 4623, 4626, 4628, 4630, 4632, 4634, 4636, 4638, 4640, 4642, 4644, 4646, 4661, 4667, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4678, 4680, 4682, 4684, 4686, 4688, 4690, 4692, 4694, 4696, 4699, 4704, 4711, 4720, 4731, 4744, 4745, 4746, 4747, 4748, 4749, 4750, 4761, 4770, 4777, 4782, 4785, 4787, 4789, 4791, 4793, 4795, 4797, 4799, 4801, 4803, 4818, 4824, 4827, 4828, 4829, 4830, 4831, 4832, 4833, 4835, 4837, 4839, 4841, 4843, 4845, 4847, 4849, 4851, 4854, 4859, 4866, 4875, 4886, 4899, 4914, 4915, 4916, 4917, 4918, 4919, 4920, 4933, 4944, 4953, 4960, 4965, 4968, 4970, 4972, 4974, 4976, 4978, 4980, 4982, 4984, 4999, 5005, 5008, 5009, 5010, 5011, 5012, 5013, 5014, 5016, 5018, 5020, 5022, 5024, 5026, 5028, 5030, 5033, 5038, 5045, 5054, 5065, 5078, 5093, 5110, 5111, 5112, 5113, 5114, 5115, 5116, 5131, 5144, 5155, 5164, 5171, 5176, 5179, 5181, 5183, 5185, 5187, 5189, 5191, 5193, 5208, 5214, 5217, 5218, 5219, 5220, 5221, 5222, 5223, 5225, 5227, 5229, 5231, 5233, 5235, 5237, 5240, 5245, 5252, 5261, 5272, 5285, 5300, 5317, 5336, 5337, 5338, 5339, 5340, 5341, 5342, 5359, 5374, 5387, 5398, 5407, 5414, 5419, 5422, 5424, 5426, 5428, 5430, 5432, 5434, 5449, 5455, 5458, 5459, 5460, 5461, 5462, 5463, 5464, 5466, 5468, 5470, 5472, 5474, 5476, 5479, 5484, 5491, 5500, 5511, 5524, 5539, 5556, 5575, 5596, 5597, 5598, 5599, 5600, 5601, 5602, 5621, 5638, 5653, 5666, 5677, 5686, 5693, 5698, 5701, 5703, 5705, 5707, 5709, 5711, 5726, 5732, 5735, 5736, 5737, 5738, 5739, 5740, 5741, 5743, 5745, 5747, 5749, 5751, 5754, 5759, 5766, 5775, 5786, 5799, 5814, 5831, 5850, 5871, 5894, 5895, 5896, 5897, 5898, 5899, 5900, 5921, 5940, 5957, 5972, 5985, 5996, 6005, 6012, 6017, 6020, 6022, 6024, 6026, 6028, 6043, 6049, 6052, 6053, 6054, 6055, 6056, 6057, 6058, 6060, 6062, 6064, 6066, 6069, 6074, 6081, 6090, 6101, 6114, 6129, 6146, 6165, 6186, 6209, 6234, 6235, 6236, 6237, 6238, 6239, 6240, 6263, 6284, 6303, 6320, 6335, 6348, 6359, 6368, 6375, 6380, 6383, 6385, 6387, 6389, 6404, 6410, 6413, 6414, 6415, 6416, 6417, 6418, 6419, 6421, 6423, 6425, 6428, 6433, 6440, 6449, 6460, 6473, 6488, 6505, 6524, 6545, 6568, 6593, 6620, 6621, 6622, 6623, 6624, 6625, 6626, 6651, 6674, 6695, 6714, 6731, 6746, 6759, 6770, 6779, 6786, 6791, 6794, 6796, 6798, 6813, 6819, 6822, 6823, 6824, 6825, 6826, 6827, 6828, 6830, 6832, 6835, 6840, 6847, 6856, 6867, 6880, 6895, 6912, 6931, 6952, 6975, 7000, 7027, 7056, 7057, 7058, 7059, 7060, 7061, 7062, 7089, 7114, 7137, 7158, 7177, 7194, 7209, 7222, 7233, 7242, 7249, 7254, 7257, 7259, 7274, 7280, 7283, 7284, 7285, 7286, 7287, 7288, 7289, 7291, 7294, 7299, 7306, 7315, 7326, 7339, 7354, 7371, 7390, 7411, 7434, 7459, 7486, 7515, 7546, 7547, 7548, 7549, 7550, 7551, 7552, 7581, 7608, 7633, 7656, 7677, 7696, 7713, 7728, 7741, 7752, 7761, 7768, 7773, 7776, 7791, 7793, 7796, 7799, 7800, 7801, 7802, 7803, 7804, 7805, 7808, 7813, 7820, 7829, 7840, 7853, 7868, 7885, 7904, 7925, 7948, 7973, 8000, 8029, 8060, 8093, 8094, 8095, 8096, 8097, 8098, 8099, 8130, 8159, 8186, 8211, 8234, 8255, 8274, 8291, 8306, 8319, 8330, 8339, 8346, 8351, 8367]
[2025-06-06 06:02:52] [INFO ] Actually due to overlaps returned [4661, 4818, 4999, 5208, 5449, 5726, 6043, 6404, 6813, 7274, 7791, 8367, 6, 10, 11, 12, 13, 14, 15, 16, 21, 28, 37, 48, 61, 76, 93, 112, 133, 156, 181, 208, 237, 268, 300, 332, 333, 334, 335, 336, 337, 338, 367, 394, 570, 573, 574, 575, 576, 577, 578, 579, 582, 587, 594, 603, 614, 627, 642, 659, 678, 699, 722, 747, 774, 803, 833, 863, 864, 865, 866, 867, 868, 869, 896, 921, 1074, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1085, 1088, 1093, 1100, 1109, 1120, 1133, 1148, 1165, 1184, 1205, 1228, 1253, 1280, 1308, 1336, 1337, 1338, 1339, 1340, 1341, 1342, 1367, 1390, 1522, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1533, 1535, 1538, 1543, 1550, 1559, 1570, 1583, 1598, 1615, 1634, 1655, 1678, 1703, 1729, 1755, 1756, 1757, 1758, 1759, 1760, 1761, 1784, 1805, 1918, 1921, 1922, 1923, 1924, 1925, 1926, 1927, 1929, 1931, 1933, 1936, 1941, 1948, 1957, 1968, 1981, 1996, 2013, 2032, 2053, 2076, 2100, 2124, 2125, 2126, 2127, 2128, 2129, 2130, 2151, 2170, 2266, 2269, 2270, 2271, 2272, 2273, 2274, 2275, 2277, 2279, 2281, 2283, 2286, 2291, 2298, 2307, 2318, 2331, 2346, 2363, 2382, 2403, 2425, 2447, 2448, 2449, 2450, 2451, 2452, 2453, 2472, 2489, 2570, 2573, 2574, 2575, 2576, 2577, 2578, 2579, 2581, 2583, 2585, 2587, 2589, 2592, 2597, 2604, 2613, 2624, 2637, 2652, 2669, 2688, 2708, 2728, 2729, 2730, 2731, 2732, 2733, 2734, 2751, 2766, 2834, 2837, 2838, 2839, 2840, 2841, 2842, 2843, 2845, 2847, 2849, 2851, 2853, 2855, 2858, 2863, 2870, 2879, 2890, 2903, 2918, 2935, 2953, 2971, 2972, 2973, 2974, 2975, 2976, 2977, 2992, 3005, 3062, 3065, 3066, 3067, 3068, 3069, 3070, 3071, 3073, 3075, 3077, 3079, 3081, 3083, 3085, 3088, 3093, 3100, 3109, 3120, 3133, 3148, 3164, 3180, 3181, 3182, 3183, 3184, 3185, 3186, 3199, 3210, 3258, 3261, 3262, 3263, 3264, 3265, 3266, 3267, 3269, 3271, 3273, 3275, 3277, 3279, 3281, 3283, 3286, 3291, 3298, 3307, 3318, 3331, 3345, 3359, 3360, 3361, 3362, 3363, 3364, 3365, 3376, 3385, 3426, 3429, 3430, 3431, 3432, 3433, 3434, 3435, 3437, 3439, 3441, 3443, 3445, 3447, 3449, 3451, 3453, 3456, 3461, 3468, 3477, 3488, 3500, 3512, 3513, 3514, 3515, 3516, 3517, 3518, 3527, 3534, 3570, 3573, 3574, 3575, 3576, 3577, 3578, 3579, 3581, 3583, 3585, 3587, 3589, 3591, 3593, 3595, 3597, 3599, 3602, 3607, 3614, 3623, 3633, 3643, 3644, 3645, 3646, 3647, 3648, 3649, 3656, 3661, 3694, 3697, 3698, 3699, 3700, 3701, 3702, 3703, 3705, 3707, 3709, 3711, 3713, 3715, 3717, 3719, 3721, 3723, 3725, 3728, 3733, 3740, 3748, 3756, 3757, 3758, 3759, 3760, 3761, 3762, 3767, 3770, 3802, 3805, 3806, 3807, 3808, 3809, 3810, 3811, 3813, 3815, 3817, 3819, 3821, 3823, 3825, 3827, 3829, 3831, 3833, 3835, 3838, 3843, 3849, 3855, 3856, 3857, 3858, 3859, 3860, 3861, 3864, 3866, 3898, 3901, 3902, 3903, 3904, 3905, 3906, 3907, 3909, 3911, 3913, 3915, 3917, 3919, 3921, 3923, 3925, 3927, 3929, 3931, 3933, 3936, 3940, 3944, 3945, 3946, 3947, 3948, 3949, 3950, 3952, 3954, 3986, 3989, 3990, 3991, 3992, 3993, 3994, 3995, 3997, 3999, 4001, 4003, 4005, 4007, 4009, 4011, 4013, 4015, 4017, 4019, 4021, 4023, 4025, 4028, 4029, 4030, 4031, 4032, 4033, 4034, 4036, 4038, 4068, 4071, 4072, 4073, 4074, 4075, 4076, 4077, 4079, 4081, 4083, 4085, 4087, 4089, 4091, 4093, 4095, 4097, 4099, 4101, 4103, 4105, 4107, 4110, 4111, 4112, 4113, 4114, 4115, 4116, 4118, 4120, 4152, 4155, 4156, 4157, 4158, 4159, 4161, 4163, 4165, 4167, 4169, 4171, 4173, 4177, 4179, 4181, 4183, 4185, 4187, 4189, 4191, 4193, 4196, 4197, 4198, 4199, 4200, 4201, 4202, 4204, 4206, 4238, 4241, 4242, 4243, 4244, 4245, 4246, 4247, 4249, 4251, 4253, 4255, 4257, 4259, 4261, 4263, 4265, 4267, 4269, 4271, 4273, 4275, 4278, 4283, 4284, 4285, 4286, 4287, 4288, 4289, 4292, 4294, 4326, 4329, 4330, 4331, 4332, 4333, 4334, 4335, 4337, 4339, 4341, 4343, 4345, 4347, 4349, 4351, 4353, 4355, 4357, 4359, 4361, 4364, 4369, 4376, 4377, 4378, 4379, 4380, 4381, 4382, 4387, 4390, 4422, 4425, 4426, 4427, 4428, 4429, 4430, 4431, 4433, 4435, 4437, 4439, 4441, 4443, 4445, 4447, 4449, 4451, 4453, 4455, 4458, 4463, 4470, 4479, 4480, 4481, 4482, 4483, 4484, 4485, 4492, 4497, 4530, 4533, 4534, 4535, 4536, 4537, 4538, 4539, 4541, 4543, 4545, 4547, 4549, 4551, 4553, 4555, 4557, 4559, 4561, 4564, 4569, 4576, 4585, 4596, 4597, 4598, 4599, 4600, 4601, 4602, 4611, 4618, 4623, 4667, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4678, 4680, 4682, 4684, 4686, 4688, 4690, 4692, 4694, 4696, 4699, 4704, 4711, 4720, 4731, 4744, 4745, 4746, 4747, 4748, 4749, 4750, 4761, 4770, 4777, 4824, 4827, 4828, 4829, 4830, 4831, 4832, 4833, 4835, 4837, 4839, 4841, 4843, 4845, 4847, 4849, 4851, 4854, 4859, 4866, 4875, 4886, 4899, 4914, 4915, 4916, 4917, 4918, 4919, 4920, 4933, 4944, 4953, 5005, 5008, 5009, 5010, 5011, 5012, 5013, 5014, 5016, 5018, 5020, 5022, 5024, 5026, 5028, 5030, 5033, 5038, 5045, 5054, 5065, 5078, 5093, 5110, 5111, 5112, 5113, 5114, 5115, 5116, 5131, 5144, 5155, 5214, 5217, 5218, 5219, 5220, 5221, 5222, 5223, 5225, 5227, 5229, 5231, 5233, 5235, 5237, 5240, 5245, 5252, 5261, 5272, 5285, 5300, 5317, 5336, 5337, 5338, 5339, 5340, 5341, 5342, 5359, 5374, 5387, 5455, 5458, 5459, 5460, 5461, 5462, 5463, 5464, 5466, 5468, 5470, 5472, 5474, 5476, 5479, 5484, 5491, 5500, 5511, 5524, 5539, 5556, 5575, 5596, 5597, 5598, 5599, 5600, 5601, 5602, 5621, 5638, 5653, 5732, 5735, 5736, 5737, 5738, 5739, 5740, 5741, 5743, 5745, 5747, 5749, 5751, 5754, 5759, 5766, 5775, 5786, 5799, 5814, 5831, 5850, 5871, 5894, 5895, 5896, 5897, 5898, 5899, 5900, 5921, 5940, 5957, 6049, 6052, 6053, 6054, 6055, 6056, 6057, 6058, 6060, 6062, 6064, 6066, 6069, 6074, 6081, 6090, 6101, 6114, 6129, 6146, 6165, 6186, 6209, 6234, 6235, 6236, 6237, 6238, 6239, 6240, 6263, 6284, 6303, 6410, 6413, 6414, 6415, 6416, 6417, 6418, 6419, 6421, 6423, 6425, 6428, 6433, 6440, 6449, 6460, 6473, 6488, 6505, 6524, 6545, 6568, 6593, 6620, 6621, 6622, 6623, 6624, 6625, 6626, 6651, 6674, 6695, 6819, 6822, 6823, 6824, 6825, 6826, 6827, 6828, 6830, 6832, 6835, 6840, 6847, 6856, 6867, 6880, 6895, 6912, 6931, 6952, 6975, 7000, 7027, 7056, 7057, 7058, 7059, 7060, 7061, 7062, 7089, 7114, 7137, 7280, 7283, 7284, 7285, 7286, 7287, 7288, 7289, 7291, 7294, 7299, 7306, 7315, 7326, 7339, 7354, 7371, 7390, 7411, 7434, 7459, 7486, 7515, 7546, 7547, 7548, 7549, 7550, 7551, 7552, 7581, 7608, 7633, 7793, 7796, 7799, 7800, 7801, 7802, 7803, 7804, 7805, 7808, 7813, 7820, 7829, 7840, 7853, 7868, 7885, 7904, 7925, 7948, 7973, 8000, 8029, 8060, 8093, 8094, 8095, 8096, 8097, 8098, 8099, 8130, 8159, 8186]
Discarding 1080 places :
Implicit Place search using SMT only with invariants took 51990 ms to find 1080 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 7709/22493 places, 16366/35015 transitions.
Discarding 383 places :
Symmetric choice reduction at 0 with 383 rule applications. Total rules 383 place count 7326 transition count 15983
Iterating global reduction 0 with 383 rules applied. Total rules applied 766 place count 7326 transition count 15983
Discarding 382 places :
Symmetric choice reduction at 0 with 382 rule applications. Total rules 1148 place count 6944 transition count 15601
Iterating global reduction 0 with 382 rules applied. Total rules applied 1530 place count 6944 transition count 15601
Discarding 62 places :
Symmetric choice reduction at 0 with 62 rule applications. Total rules 1592 place count 6882 transition count 15229
Iterating global reduction 0 with 62 rules applied. Total rules applied 1654 place count 6882 transition count 15229
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 13 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1656 place count 6881 transition count 15228
Applied a total of 1656 rules in 17179 ms. Remains 6881 /7709 variables (removed 828) and now considering 15228/16366 (removed 1138) transitions.
[2025-06-06 06:03:09] [INFO ] Flow matrix only has 14172 transitions (discarded 1056 similar events)
// Phase 1: matrix 14172 rows 6881 cols
[2025-06-06 06:03:11] [INFO ] Computed 210 invariants in 1527 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 06:03:43] [INFO ] Performed 5437/6881 implicitness test of which 99 returned IMPLICIT in 30 seconds.
[2025-06-06 06:03:46] [INFO ] Implicit Places using invariants in 36314 ms returned [3642, 3644, 3646, 3648, 3650, 3652, 3654, 3656, 3658, 3660, 3662, 3750, 3753, 3755, 3757, 3759, 3761, 3763, 3765, 3767, 3769, 3771, 3880, 3885, 3888, 3890, 3892, 3894, 3896, 3898, 3900, 3902, 3904, 4036, 4043, 4048, 4051, 4053, 4055, 4057, 4059, 4061, 4063, 4065, 4222, 4231, 4238, 4243, 4246, 4248, 4250, 4252, 4254, 4256, 4258, 4442, 4453, 4462, 4469, 4474, 4477, 4479, 4481, 4483, 4485, 4487, 4701, 4714, 4725, 4734, 4741, 4746, 4749, 4751, 4753, 4755, 4757, 5002, 5017, 5030, 5041, 5050, 5057, 5062, 5065, 5067, 5069, 5071, 5348, 5365, 5380, 5393, 5404, 5413, 5420, 5425, 5428, 5430, 5432, 5744, 5763, 5780, 5795, 5808, 5819, 5828, 5835, 5840, 5843, 5845, 6194, 6215, 6234, 6251, 6266, 6279, 6290, 6299, 6306, 6311, 6314, 6700, 6723, 6744, 6763, 6780, 6795, 6808, 6819, 6828, 6835, 6840]
Discarding 132 places :
Implicit Place search using SMT only with invariants took 36331 ms to find 132 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 6749/22493 places, 15228/35015 transitions.
Applied a total of 0 rules in 4424 ms. Remains 6749 /6749 variables (removed 0) and now considering 15228/15228 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 127847 ms. Remains : 6749/22493 places, 15228/35015 transitions.
[2025-06-06 06:03:50] [INFO ] Flatten gal took : 344 ms
[2025-06-06 06:03:51] [INFO ] Flatten gal took : 399 ms
[2025-06-06 06:03:52] [INFO ] Input system was already deterministic with 15228 transitions.
[2025-06-06 06:03:52] [INFO ] Flatten gal took : 386 ms
[2025-06-06 06:03:52] [INFO ] Flatten gal took : 392 ms
[2025-06-06 06:03:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality16147192990067687488.gal : 71 ms
[2025-06-06 06:03:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality4676699624567230347.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16147192990067687488.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4676699624567230347.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 06:04:23] [INFO ] Flatten gal took : 472 ms
[2025-06-06 06:04:23] [INFO ] Applying decomposition
[2025-06-06 06:04:24] [INFO ] Flatten gal took : 480 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8171704977416093023.txt' '-o' '/tmp/graph8171704977416093023.bin' '-w' '/tmp/graph8171704977416093023.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8171704977416093023.bin' '-l' '-1' '-v' '-w' '/tmp/graph8171704977416093023.weights' '-q' '0' '-e' '0.001'
[2025-06-06 06:04:24] [INFO ] Decomposing Gal with order
[2025-06-06 06:04:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 06:04:31] [INFO ] Removed a total of 14842 redundant transitions.
[2025-06-06 06:04:31] [INFO ] Flatten gal took : 4297 ms
[2025-06-06 06:04:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 1315 labels/synchronizations in 565 ms.
[2025-06-06 06:04:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality7927686740214180496.gal : 92 ms
[2025-06-06 06:04:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality12158767437395593170.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7927686740214180496.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12158767437395593170.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3738 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 06:05:07] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
// Phase 1: matrix 33959 rows 22493 cols
[2025-06-06 06:05:12] [INFO ] Computed 1290 invariants in 5351 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 06:05:50] [INFO ] Performed 4318/22493 implicitness test of which 100 returned IMPLICIT in 30 seconds.
[2025-06-06 06:06:20] [INFO ] Performed 6989/22493 implicitness test of which 180 returned IMPLICIT in 60 seconds.
[2025-06-06 06:06:50] [INFO ] Performed 9409/22493 implicitness test of which 275 returned IMPLICIT in 90 seconds.
[2025-06-06 06:07:20] [INFO ] Performed 12716/22493 implicitness test of which 400 returned IMPLICIT in 120 seconds.
[2025-06-06 06:07:51] [INFO ] Performed 14960/22493 implicitness test of which 519 returned IMPLICIT in 151 seconds.
[2025-06-06 06:07:53] [INFO ] Implicit Places using invariants in 165418 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199]
[2025-06-06 06:07:53] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14964, 14979, 14994, 15009, 15024, 15039, 15054, 15069, 15084, 15099, 15115, 15133, 15153, 15175, 15199]
Discarding 528 places :
Implicit Place search using SMT only with invariants took 165456 ms to find 528 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21965/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3282 ms. Remains 21965 /21965 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 172478 ms. Remains : 21965/22493 places, 35015/35015 transitions.
[2025-06-06 06:07:57] [INFO ] Flatten gal took : 923 ms
[2025-06-06 06:07:58] [INFO ] Flatten gal took : 994 ms
[2025-06-06 06:08:00] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 06:08:01] [INFO ] Flatten gal took : 1057 ms
[2025-06-06 06:08:02] [INFO ] Flatten gal took : 1084 ms
[2025-06-06 06:08:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality18081001028881051605.gal : 138 ms
[2025-06-06 06:08:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality5438752831119580365.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18081001028881051605.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5438752831119580365.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 06:08:33] [INFO ] Flatten gal took : 1033 ms
[2025-06-06 06:08:33] [INFO ] Applying decomposition
[2025-06-06 06:08:34] [INFO ] Flatten gal took : 1082 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16009276173716992543.txt' '-o' '/tmp/graph16009276173716992543.bin' '-w' '/tmp/graph16009276173716992543.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16009276173716992543.bin' '-l' '-1' '-v' '-w' '/tmp/graph16009276173716992543.weights' '-q' '0' '-e' '0.001'
[2025-06-06 06:08:37] [INFO ] Decomposing Gal with order
[2025-06-06 06:08:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 06:09:15] [INFO ] Removed a total of 26322 redundant transitions.
[2025-06-06 06:09:15] [INFO ] Flatten gal took : 6167 ms
[2025-06-06 06:09:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 350 labels/synchronizations in 311 ms.
[2025-06-06 06:09:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality12906494556870206987.gal : 208 ms
[2025-06-06 06:09:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality18165100770218803094.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12906494556870206987.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18165100770218803094.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 LTL mode, iteration 0 : 22493/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3768 ms. Remains 22493 /22493 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
[2025-06-06 06:09:54] [INFO ] Flow matrix only has 33959 transitions (discarded 1056 similar events)
[2025-06-06 06:09:54] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 06:10:31] [INFO ] Performed 4255/22493 implicitness test of which 100 returned IMPLICIT in 30 seconds.
[2025-06-06 06:11:02] [INFO ] Performed 6989/22493 implicitness test of which 180 returned IMPLICIT in 60 seconds.
[2025-06-06 06:11:32] [INFO ] Performed 9246/22493 implicitness test of which 264 returned IMPLICIT in 90 seconds.
[2025-06-06 06:12:02] [INFO ] Performed 12716/22493 implicitness test of which 400 returned IMPLICIT in 120 seconds.
[2025-06-06 06:12:33] [INFO ] Performed 14959/22493 implicitness test of which 519 returned IMPLICIT in 152 seconds.
[2025-06-06 06:12:34] [INFO ] Implicit Places using invariants in 160082 ms returned [7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13599, 13614, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13789, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14170, 14186, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14361, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14763, 14781, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917, 14957]
[2025-06-06 06:12:34] [INFO ] Actually due to overlaps returned [13789, 14361, 14957, 7, 23, 41, 61, 83, 107, 133, 161, 191, 223, 257, 293, 331, 371, 413, 457, 502, 546, 588, 628, 986, 1001, 1017, 1035, 1055, 1077, 1101, 1127, 1155, 1185, 1217, 1251, 1287, 1325, 1365, 1407, 1450, 1492, 1532, 1570, 1905, 1920, 1935, 1951, 1969, 1989, 2011, 2035, 2061, 2089, 2119, 2151, 2185, 2221, 2259, 2299, 2340, 2380, 2418, 2454, 2768, 2783, 2798, 2813, 2829, 2847, 2867, 2889, 2913, 2939, 2967, 2997, 3029, 3063, 3099, 3137, 3176, 3214, 3250, 3284, 3579, 3594, 3609, 3624, 3639, 3655, 3673, 3693, 3715, 3739, 3765, 3793, 3823, 3855, 3889, 3925, 3962, 3998, 4032, 4064, 4342, 4357, 4372, 4387, 4402, 4417, 4433, 4451, 4471, 4493, 4517, 4543, 4571, 4601, 4633, 4667, 4702, 4736, 4768, 4798, 5061, 5076, 5091, 5106, 5121, 5136, 5151, 5167, 5185, 5205, 5227, 5251, 5277, 5305, 5335, 5367, 5400, 5432, 5462, 5490, 5740, 5755, 5770, 5785, 5800, 5815, 5830, 5845, 5861, 5879, 5899, 5921, 5945, 5971, 5999, 6029, 6060, 6090, 6118, 6144, 6383, 6398, 6413, 6428, 6443, 6458, 6473, 6488, 6503, 6519, 6537, 6557, 6579, 6603, 6629, 6657, 6686, 6714, 6740, 6764, 6994, 7009, 7024, 7039, 7054, 7069, 7084, 7099, 7114, 7129, 7145, 7163, 7183, 7205, 7229, 7255, 7282, 7308, 7332, 7354, 7577, 7592, 7607, 7622, 7637, 7652, 7667, 7682, 7697, 7712, 7727, 7743, 7761, 7781, 7803, 7827, 7852, 7876, 7898, 7918, 8136, 8151, 8166, 8181, 8196, 8211, 8226, 8241, 8256, 8271, 8286, 8301, 8317, 8335, 8355, 8377, 8400, 8422, 8442, 8460, 8675, 8690, 8705, 8720, 8735, 8750, 8765, 8780, 8795, 8810, 8825, 8840, 8855, 8871, 8889, 8909, 8930, 8950, 8968, 8984, 9198, 9213, 9228, 9243, 9258, 9273, 9288, 9303, 9318, 9333, 9348, 9363, 9378, 9393, 9409, 9427, 9446, 9464, 9480, 9495, 9709, 9724, 9739, 9754, 9769, 9784, 9799, 9814, 9829, 9844, 9859, 9874, 9889, 9904, 9919, 9935, 9952, 9968, 9983, 9998, 10212, 10227, 10242, 10257, 10272, 10287, 10302, 10317, 10332, 10347, 10362, 10377, 10392, 10407, 10422, 10437, 10452, 10467, 10482, 10497, 10709, 10724, 10739, 10754, 10769, 10784, 10799, 10814, 10829, 10844, 10859, 10874, 10889, 10904, 10919, 10934, 10949, 10964, 10979, 10994, 11208, 11223, 11238, 11253, 11268, 11283, 11298, 11313, 11328, 11343, 11358, 11373, 11388, 11403, 11418, 11433, 11448, 11463, 11478, 11493, 11707, 11722, 11737, 11752, 11767, 11782, 11797, 11812, 11827, 11842, 11857, 11872, 11887, 11902, 11917, 11932, 11948, 11965, 11981, 11996, 12210, 12225, 12240, 12255, 12270, 12285, 12300, 12315, 12330, 12345, 12360, 12375, 12390, 12405, 12420, 12436, 12454, 12473, 12491, 12507, 12721, 12736, 12751, 12766, 12781, 12796, 12811, 12826, 12841, 12856, 12871, 12886, 12901, 12916, 12932, 12950, 12970, 12991, 13011, 13029, 13244, 13259, 13274, 13289, 13304, 13319, 13334, 13349, 13364, 13379, 13394, 13409, 13424, 13440, 13458, 13478, 13500, 13523, 13545, 13565, 13583, 13629, 13644, 13659, 13674, 13689, 13704, 13719, 13734, 13749, 13796, 13811, 13826, 13841, 13856, 13871, 13886, 13901, 13916, 13931, 13946, 13961, 13977, 13995, 14015, 14037, 14061, 14086, 14110, 14132, 14152, 14201, 14216, 14231, 14246, 14261, 14276, 14291, 14306, 14321, 14368, 14383, 14398, 14413, 14428, 14443, 14458, 14473, 14488, 14503, 14518, 14534, 14552, 14572, 14594, 14618, 14644, 14671, 14697, 14721, 14743, 14797, 14812, 14827, 14842, 14857, 14872, 14887, 14902, 14917]
Discarding 513 places :
Implicit Place search using SMT only with invariants took 160122 ms to find 513 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 21980/22493 places, 35015/35015 transitions.
Applied a total of 0 rules in 3206 ms. Remains 21980 /21980 variables (removed 0) and now considering 35015/35015 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 167102 ms. Remains : 21980/22493 places, 35015/35015 transitions.
[2025-06-06 06:12:39] [INFO ] Flatten gal took : 937 ms
[2025-06-06 06:12:40] [INFO ] Flatten gal took : 1323 ms
[2025-06-06 06:12:41] [INFO ] Input system was already deterministic with 35015 transitions.
[2025-06-06 06:12:43] [INFO ] Flatten gal took : 1217 ms
[2025-06-06 06:12:44] [INFO ] Flatten gal took : 1015 ms
[2025-06-06 06:12:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality5886035333920471905.gal : 255 ms
[2025-06-06 06:12:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality10636206707974454775.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5886035333920471905.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10636206707974454775.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 06:13:15] [INFO ] Flatten gal took : 1052 ms
[2025-06-06 06:13:15] [INFO ] Applying decomposition
[2025-06-06 06:13:16] [INFO ] Flatten gal took : 1028 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph4578671266378879805.txt' '-o' '/tmp/graph4578671266378879805.bin' '-w' '/tmp/graph4578671266378879805.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4578671266378879805.bin' '-l' '-1' '-v' '-w' '/tmp/graph4578671266378879805.weights' '-q' '0' '-e' '0.001'
[2025-06-06 06:13:19] [INFO ] Decomposing Gal with order
[2025-06-06 06:13:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 06:13:51] [INFO ] Removed a total of 25245 redundant transitions.
[2025-06-06 06:13:52] [INFO ] Flatten gal took : 6283 ms
[2025-06-06 06:13:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 6270 labels/synchronizations in 1839 ms.
[2025-06-06 06:13:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality3063399405402318920.gal : 216 ms
[2025-06-06 06:13:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality17487978906052385469.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3063399405402318920.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17487978906052385469.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-06 06:14:26] [INFO ] Flatten gal took : 1324 ms
[2025-06-06 06:14:27] [INFO ] Flatten gal took : 1021 ms
[2025-06-06 06:14:28] [INFO ] Applying decomposition
[2025-06-06 06:14:29] [INFO ] Flatten gal took : 1051 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph7750367817792112966.txt' '-o' '/tmp/graph7750367817792112966.bin' '-w' '/tmp/graph7750367817792112966.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7750367817792112966.bin' '-l' '-1' '-v' '-w' '/tmp/graph7750367817792112966.weights' '-q' '0' '-e' '0.001'
[2025-06-06 06:14:31] [INFO ] Decomposing Gal with order
[2025-06-06 06:14:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 06:15:23] [INFO ] Removed a total of 26794 redundant transitions.
[2025-06-06 06:15:24] [INFO ] Flatten gal took : 6416 ms
[2025-06-06 06:15:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 199 labels/synchronizations in 410 ms.
[2025-06-06 06:15:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality3475364478159287809.gal : 203 ms
[2025-06-06 06:15:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality1374603578526416899.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3475364478159287809.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1374603578526416899.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 8 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.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /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="MultiCrashLeafsetExtension-PT-S32C06"
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-5832"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C06, 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 r128-smll-174876524600457"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C06.tgz
mv MultiCrashLeafsetExtension-PT-S32C06 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 ;