About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C09
| 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 | ?T???FTFTF?????F | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524400393.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-S24C09, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524400393
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 20K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 128K 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 6.5K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K 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 4.9K 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 16M 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-S24C09-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1749074937968
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-S24C09
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-04 22:09:00] [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-04 22:09:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 22:09:01] [INFO ] Load time of PNML (sax parser for PT used): 1168 ms
[2025-06-04 22:09:01] [INFO ] Transformed 16538 places.
[2025-06-04 22:09:01] [INFO ] Transformed 24169 transitions.
[2025-06-04 22:09:01] [INFO ] Parsed PT model containing 16538 places and 24169 transitions and 90398 arcs in 1462 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 85 ms.
Support contains 257 out of 16538 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 16538/16538 places, 24169/24169 transitions.
Reduce places removed 46 places and 0 transitions.
Iterating post reduction 0 with 46 rules applied. Total rules applied 46 place count 16492 transition count 24169
Applied a total of 46 rules in 1105 ms. Remains 16492 /16538 variables (removed 46) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:09:03] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
// Phase 1: matrix 23569 rows 16492 cols
[2025-06-04 22:09:06] [INFO ] Computed 1145 invariants in 2889 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:09:42] [INFO ] Performed 4904/16492 implicitness test of which 176 returned IMPLICIT in 30 seconds.
[2025-06-04 22:10:12] [INFO ] Performed 9648/16492 implicitness test of which 383 returned IMPLICIT in 60 seconds.
[2025-06-04 22:10:42] [INFO ] Performed 12990/16492 implicitness test of which 516 returned IMPLICIT in 91 seconds.
[2025-06-04 22:11:13] [INFO ] Performed 16338/16492 implicitness test of which 617 returned IMPLICIT in 121 seconds.
[2025-06-04 22:11:18] [INFO ] Implicit Places using invariants in 135395 ms returned [4, 8, 30, 54, 80, 108, 138, 170, 204, 240, 278, 318, 360, 403, 445, 485, 523, 559, 593, 625, 655, 683, 709, 733, 755, 813, 820, 841, 863, 887, 913, 941, 971, 1003, 1037, 1073, 1111, 1151, 1192, 1232, 1270, 1306, 1340, 1372, 1402, 1430, 1456, 1480, 1502, 1523, 1581, 1588, 1609, 1630, 1652, 1676, 1702, 1730, 1760, 1792, 1826, 1862, 1900, 1939, 1977, 2013, 2047, 2079, 2109, 2137, 2163, 2187, 2209, 2230, 2251, 2309, 2316, 2337, 2358, 2379, 2401, 2425, 2451, 2479, 2509, 2541, 2575, 2611, 2648, 2684, 2718, 2750, 2780, 2808, 2834, 2858, 2880, 2901, 2922, 2943, 3001, 3008, 3029, 3050, 3071, 3092, 3114, 3138, 3164, 3192, 3222, 3254, 3288, 3323, 3357, 3389, 3419, 3447, 3473, 3497, 3519, 3540, 3561, 3582, 3603, 3661, 3668, 3689, 3710, 3731, 3752, 3773, 3795, 3819, 3845, 3873, 3903, 3935, 3968, 4000, 4030, 4058, 4084, 4108, 4130, 4151, 4172, 4193, 4214, 4235, 4293, 4300, 4321, 4342, 4363, 4384, 4405, 4426, 4448, 4472, 4498, 4526, 4556, 4587, 4617, 4645, 4671, 4695, 4717, 4738, 4759, 4780, 4801, 4822, 4843, 4901, 4908, 4929, 4950, 4971, 4992, 5013, 5034, 5055, 5077, 5101, 5127, 5155, 5184, 5212, 5238, 5262, 5284, 5305, 5326, 5347, 5368, 5389, 5410, 5431, 5489, 5496, 5517, 5538, 5559, 5580, 5601, 5622, 5643, 5664, 5686, 5710, 5736, 5763, 5789, 5813, 5835, 5856, 5877, 5898, 5919, 5940, 5961, 5982, 6003, 6061, 6068, 6089, 6110, 6131, 6152, 6173, 6194, 6215, 6236, 6257, 6279, 6303, 6328, 6374, 6395, 6416, 6437, 6458, 6479, 6500, 6542, 6563, 6621, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6817, 6838, 6860, 6883, 6905, 6926, 6947, 6968, 6989, 7010, 7031, 7052, 7073, 7094, 7115, 7173, 7180, 7201, 7222, 7243, 7264, 7285, 7306, 7327, 7348, 7369, 7390, 7411, 7432, 7453, 7474, 7495, 7516, 7537, 7558, 7579, 7600, 7621, 7642, 7663, 7723, 7727, 7748, 7769, 7790, 7811, 7832, 7853, 7874, 7895, 7916, 7937, 7958, 7979, 8000, 8021, 8042, 8063, 8084, 8105, 8126, 8147, 8168, 8189, 8210, 8268, 8275, 8296, 8317, 8338, 8359, 8380, 8401, 8422, 8443, 8485, 8506, 8527, 8548, 8569, 8590, 8611, 8632, 8653, 8674, 8695, 8716, 8737, 8758, 8816, 8823, 8844, 8865, 8907, 8928, 8949, 8970, 8991, 9012, 9033, 9054, 9076, 9099, 9121, 9142, 9163, 9184, 9205, 9226, 9247, 9289, 9310, 9368, 9375, 9396, 9438, 9459, 9480, 9501, 9522, 9543, 9564, 9585, 9607, 9631, 9656, 9680, 9702, 9723, 9744, 9765, 9786, 9807, 9828, 9849, 9870, 9928, 9935, 9956, 9977, 9998, 10019, 10040, 10061, 10082, 10103, 10124, 10146, 10170, 10196, 10223, 10249, 10273, 10295, 10316, 10337, 10358, 10379, 10400, 10421, 10442, 10500, 10507, 10528, 10549, 10591, 10612, 10633, 10654, 10675, 10697, 10721, 10747, 10775, 10804, 10832, 10882, 10904, 10925, 10946, 10967, 11009, 11030, 11088, 11095, 11116, 11137, 11158, 11179, 11200, 11221, 11242, 11264, 11288, 11314, 11342, 11372, 11403, 11433, 11461, 11487, 11511, 11533, 11554, 11575, 11596, 11617, 11638, 11696, 11703, 11724, 11745, 11766, 11787, 11808, 11829, 11851, 11875, 11901, 11929, 11959, 11991, 12024, 12056, 12086, 12114, 12140, 12186, 12207, 12228, 12249, 12270, 12328, 12335, 12356, 12377, 12398, 12419, 12440, 12462, 12486, 12512, 12540, 12570, 12602, 12636, 12671, 12705, 12737, 12767, 12795, 12821, 12845, 12867, 12888, 12909, 12930, 12988, 12995, 13016, 13037, 13058, 13079, 13101, 13125, 13151, 13179, 13209, 13241, 13275, 13311, 13348, 13384, 13418, 13450, 13480, 13508, 13534, 13558, 13580, 13601, 13622, 13680, 13687, 13708, 13729, 13750, 13772, 13796, 13822, 13850, 13880, 13912, 13946, 13982, 14020, 14059, 14097, 14133, 14167, 14199, 14229, 14257, 14283, 14307, 14329, 14350, 14408, 14415, 14436, 14457, 14479, 14503, 14529, 14557, 14587, 14619, 14653, 14689, 14727, 14767, 14808, 14848, 14886, 14922, 14956, 14988, 15018, 15046, 15072, 15096, 15118, 15176, 15178, 15182, 15203, 15225, 15249, 15275, 15303, 15333, 15365, 15399, 15435, 15473, 15513, 15555, 15598, 15640, 15680, 15718, 15754, 15788, 15820, 15850, 15878, 15904, 15928, 15987]
[2025-06-04 22:11:18] [INFO ] Actually due to overlaps returned [813, 1581, 2309, 3001, 3661, 4293, 4901, 5489, 6061, 6621, 7173, 8268, 8816, 9368, 9928, 10500, 11088, 11696, 12328, 12988, 13680, 14408, 15176, 15987, 4, 318, 1111, 1862, 2575, 3254, 3903, 4526, 5127, 5710, 6279, 6838, 7723, 7958, 8506, 9054, 9607, 10170, 10747, 11342, 11959, 12602, 13275, 13982, 14727, 15178, 15513]
Discarding 51 places :
Implicit Place search using SMT only with invariants took 135482 ms to find 51 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 16441/16538 places, 24169/24169 transitions.
Applied a total of 0 rules in 665 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 137285 ms. Remains : 16441/16538 places, 24169/24169 transitions.
Support contains 257 out of 16441 places after structural reductions.
[2025-06-04 22:11:21] [INFO ] Flatten gal took : 1269 ms
[2025-06-04 22:11:22] [INFO ] Flatten gal took : 829 ms
[2025-06-04 22:11:24] [INFO ] Input system was already deterministic with 24169 transitions.
RANDOM walk for 40000 steps (432 resets) in 6868 ms. (5 steps per ms) remains 100/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 23 ms. (16 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 20 ms. (19 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 19 ms. (20 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 23 ms. (16 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 5 ms. (67 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 5 ms. (67 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 100/100 properties
[2025-06-04 22:11:26] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
// Phase 1: matrix 23569 rows 16441 cols
[2025-06-04 22:11:28] [INFO ] Computed 1094 invariants in 2051 ms
[2025-06-04 22:11:28] [INFO ] State equation strengthened by 7402 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/198 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 100 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/198 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 100 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp80 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp93 is UNSAT
Problem AtomicPropp94 is UNSAT
Problem AtomicPropp95 is UNSAT
Problem AtomicPropp98 is UNSAT
Problem AtomicPropp99 is UNSAT
Problem AtomicPropp112 is UNSAT
Problem AtomicPropp113 is UNSAT
Problem AtomicPropp116 is UNSAT
Problem AtomicPropp117 is UNSAT
Problem AtomicPropp119 is UNSAT
Problem AtomicPropp122 is UNSAT
At refinement iteration 2 (OVERLAPS) 10219/10417 variables, 4/5 constraints. Problems are: Problem set: 46 solved, 54 unsolved
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp91 is UNSAT
At refinement iteration 3 (INCLUDED_ONLY) 0/10417 variables, 7/12 constraints. Problems are: Problem set: 50 solved, 50 unsolved
(s1800 0.0timeout
^^^^^^^^^^
(error "Invalid token: 0.0timeout")
Error getting values : (error "ParserException while parsing response: ((s1 0.0)
(s4 0.0)
(s6 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s12 0.0)
(s14 0.0)
(s16 0.0)
(s18 0.0)
(s20 0.0)
(s22 0.0)
(s24 0.0)
(s26 0.0)
(s28 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s36 0.0)
(s38 0.0)
(s40 0.0)
(s42 0.0)
(s44 0.0)
(s46 0.0)
(s48 0.0)
(s50 0.0)
(s52 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s62 0.0)
(s64 0.0)
(s66 0.0)
(s68 0.0)
(s70 0.0)
(s72 0.0)
(s74 0.0)
(s76 0.0)
(s78 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s90 0.0)
(s92 0.0)
(s94 0.0)
(s96 0.0)
(s98 0.0)
(s100 0.0)
(s102 0.0)
(s104 0.0)
(s106 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s120 0.0)
(s122 0.0)
(s124 0.0)
(s126 0.0)
(s128 0.0)
(s130 0.0)
(s132 0.0)
(s134 0.0)
(s136 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s152 0.0)
(s154 0.0)
(s156 0.0)
(s158 0.0)
(s160 0.0)
(s162 0.0)
(s164 0.0)
(s166 0.0)
(s168 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s186 0.0)
(s188 0.0)
(s190 0.0)
(s192 0.0)
(s194 0.0)
(s196 0.0)
(s198 0.0)
(s200 0.0)
(s202 0.0)
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s222 0.0)
(s224 0.0)
(s226 0.0)
(s228 0.0)
(s230 0.0)
(s232 0.0)
(s234 0.0)
(s236 0.0)
(s238 0.0)
(s240 0.0)
(s241 0.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s260 0.0)
(s262 0.0)
(s264 0.0)
(s266 0.0)
(s268 0.0)
(s270 0.0)
(s272 0.0)
(s274 0.0)
(s276 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s300 0.0)
(s302 0.0)
(s304 0.0)
(s306 0.0)
(s308 0.0)
(s310 0.0)
(s312 0.0)
(s314 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s341 0.0)
(s343 0.0)
(s345 0.0)
(s346 (/ 17.0 4.0))
(s347 0.0)
(s349 0.0)
(s351 0.0)
(s353 0.0)
(s355 0.0)
(s357 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s384 0.0)
(s386 0.0)
(s388 0.0)
(s390 0.0)
(s392 0.0)
(s394 0.0)
(s396 0.0)
(s398 0.0)
(s400 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s426 0.0)
(s428 0.0)
(s430 0.0)
(s432 0.0)
(s434 0.0)
(s436 0.0)
(s438 0.0)
(s440 0.0)
(s442 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 0.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s466 0.0)
(s467 5.0)
(s468 0.0)
(s470 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s476 0.0)
(s478 0.0)
(s480 0.0)
(s482 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s504 0.0)
(s506 0.0)
(s508 0.0)
(s510 0.0)
(s512 0.0)
(s514 0.0)
(s516 0.0)
(s518 0.0)
(s520 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s540 0.0)
(s542 0.0)
(s544 0.0)
(s546 0.0)
(s548 0.0)
(s550 0.0)
(s552 0.0)
(s554 0.0)
(s556 0.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s574 0.0)
(s576 0.0)
(s578 0.0)
(s580 0.0)
(s582 0.0)
(s584 0.0)
(s586 0.0)
(s588 0.0)
(s590 0.0)
(s592 0.0)
(s593 0.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s601 0.0)
(s602 0.0)
(s603 0.0)
(s604 0.0)
(s606 0.0)
(s608 0.0)
(s610 0.0)
(s612 0.0)
(s614 0.0)
(s616 0.0)
(s618 0.0)
(s620 0.0)
(s622 0.0)
(s624 0.0)
(s625 0.0)
(s626 0.0)
(s627 0.0)
(s628 0.0)
(s629 0.0)
(s630 0.0)
(s631 0.0)
(s632 0.0)
(s633 0.0)
(s634 0.0)
(s636 0.0)
(s637 0.0)
(s638 0.0)
(s639 0.0)
(s640 0.0)
(s642 0.0)
(s644 0.0)
(s646 0.0)
(s648 0.0)
(s650 0.0)
(s652 0.0)
(s654 0.0)
(s655 0.0)
(s656 0.0)
(s657 0.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s661 0.0)
(s662 0.0)
(s664 0.0)
(s666 0.0)
(s668 0.0)
(s670 0.0)
(s672 0.0)
(s673 4.0)
(s674 0.0)
(s676 0.0)
(s678 0.0)
(s680 0.0)
(s682 0.0)
(s683 0.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s688 0.0)
(s690 0.0)
(s692 0.0)
(s694 0.0)
(s696 0.0)
(s698 0.0)
(s700 0.0)
(s702 0.0)
(s704 0.0)
(s706 0.0)
(s708 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s714 0.0)
(s716 0.0)
(s718 0.0)
(s720 0.0)
(s722 0.0)
(s724 0.0)
(s726 0.0)
(s728 0.0)
(s730 0.0)
(s732 0.0)
(s733 0.0)
(s734 0.0)
(s736 0.0)
(s738 0.0)
(s740 0.0)
(s742 0.0)
(s744 0.0)
(s746 0.0)
(s748 0.0)
(s750 0.0)
(s752 0.0)
(s754 0.0)
(s755 0.0)
(s757 0.0)
(s759 0.0)
(s761 0.0)
(s763 0.0)
(s765 0.0)
(s767 0.0)
(s769 0.0)
(s771 0.0)
(s773 0.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s778 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 0.0)
(s783 0.0)
(s784 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s788 0.0)
(s789 0.0)
(s790 0.0)
(s791 0.0)
(s792 0.0)
(s793 0.0)
(s794 0.0)
(s795 0.0)
(s796 0.0)
(s797 0.0)
(s798 0.0)
(s799 0.0)
(s800 0.0)
(s801 0.0)
(s802 0.0)
(s803 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s808 0.0)
(s809 0.0)
(s810 0.0)
(s814 0.0)
(s816 0.0)
(s818 0.0)
(s819 0.0)
(s821 0.0)
(s823 0.0)
(s825 0.0)
(s827 0.0)
(s829 0.0)
(s831 0.0)
(s833 0.0)
(s835 0.0)
(s837 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s843 0.0)
(s845 0.0)
(s847 0.0)
(s849 0.0)
(s851 0.0)
(s853 0.0)
(s855 0.0)
(s857 0.0)
(s859 0.0)
(s861 0.0)
(s862 0.0)
(s863 0.0)
(s864 0.0)
(s865 0.0)
(s867 0.0)
(s869 0.0)
(s871 0.0)
(s873 0.0)
(s875 0.0)
(s877 0.0)
(s879 0.0)
(s881 0.0)
(s883 0.0)
(s885 0.0)
(s886 0.0)
(s887 0.0)
(s888 0.0)
(s889 0.0)
(s890 0.0)
(s891 0.0)
(s893 0.0)
(s895 0.0)
(s897 0.0)
(s899 0.0)
(s901 0.0)
(s903 0.0)
(s905 0.0)
(s907 0.0)
(s909 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 0.0)
(s919 0.0)
(s921 0.0)
(s923 0.0)
(s925 0.0)
(s927 0.0)
(s929 0.0)
(s931 0.0)
(s933 0.0)
(s935 0.0)
(s937 0.0)
(s939 0.0)
(s940 0.0)
(s941 0.0)
(s942 0.0)
(s943 0.0)
(s944 0.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 0.0)
(s949 0.0)
(s951 0.0)
(s953 0.0)
(s955 0.0)
(s957 0.0)
(s959 0.0)
(s961 0.0)
(s963 0.0)
(s965 0.0)
(s967 0.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 0.0)
(s973 0.0)
(s974 0.0)
(s975 0.0)
(s976 0.0)
(s977 0.0)
(s978 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s983 0.0)
(s985 0.0)
(s987 0.0)
(s989 0.0)
(s991 0.0)
(s993 0.0)
(s995 0.0)
(s997 0.0)
(s999 0.0)
(s1001 0.0)
(s1002 0.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 0.0)
(s1010 0.0)
(s1011 0.0)
(s1012 0.0)
(s1013 0.0)
(s1014 0.0)
(s1015 0.0)
(s1017 0.0)
(s1019 0.0)
(s1021 0.0)
(s1023 0.0)
(s1025 0.0)
(s1027 0.0)
(s1029 0.0)
(s1031 0.0)
(s1033 0.0)
(s1035 0.0)
(s1036 0.0)
(s1037 0.0)
(s1038 0.0)
(s1039 0.0)
(s1040 0.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 0.0)
(s1045 0.0)
(s1046 0.0)
(s1047 0.0)
(s1048 0.0)
(s1049 0.0)
(s1050 0.0)
(s1051 0.0)
(s1053 0.0)
(s1055 0.0)
(s1057 0.0)
(s1059 0.0)
(s1061 0.0)
(s1063 0.0)
(s1065 0.0)
(s1067 0.0)
(s1069 0.0)
(s1071 0.0)
(s1072 0.0)
(s1073 0.0)
(s1074 0.0)
(s1075 0.0)
(s1076 0.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1080 0.0)
(s1081 0.0)
(s1082 0.0)
(s1083 0.0)
(s1084 0.0)
(s1085 0.0)
(s1086 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1091 0.0)
(s1093 0.0)
(s1095 0.0)
(s1097 0.0)
(s1099 0.0)
(s1101 0.0)
(s1103 0.0)
(s1105 0.0)
(s1107 0.0)
(s1108 0.0)
(s1109 0.0)
(s1110 0.0)
(s1111 0.0)
(s1112 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1116 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 0.0)
(s1120 0.0)
(s1121 0.0)
(s1122 0.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1126 0.0)
(s1127 0.0)
(s1128 0.0)
(s1130 0.0)
(s1132 0.0)
(s1134 0.0)
(s1136 0.0)
(s1138 0.0)
(s1140 0.0)
(s1142 0.0)
(s1144 0.0)
(s1146 0.0)
(s1148 0.0)
(s1149 0.0)
(s1150 0.0)
(s1151 0.0)
(s1152 0.0)
(s1153 0.0)
(s1154 0.0)
(s1155 0.0)
(s1156 0.0)
(s1157 0.0)
(s1158 0.0)
(s1159 0.0)
(s1160 0.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1171 0.0)
(s1173 0.0)
(s1175 0.0)
(s1177 0.0)
(s1179 0.0)
(s1181 0.0)
(s1183 0.0)
(s1185 0.0)
(s1187 0.0)
(s1189 0.0)
(s1190 0.0)
(s1191 0.0)
(s1192 0.0)
(s1193 0.0)
(s1194 0.0)
(s1195 0.0)
(s1196 0.0)
(s1197 0.0)
(s1198 0.0)
(s1199 0.0)
(s1200 0.0)
(s1201 0.0)
(s1202 0.0)
(s1203 0.0)
(s1204 0.0)
(s1205 0.0)
(s1206 0.0)
(s1207 0.0)
(s1208 0.0)
(s1209 0.0)
(s1211 0.0)
(s1213 0.0)
(s1215 0.0)
(s1217 0.0)
(s1219 0.0)
(s1221 0.0)
(s1223 0.0)
(s1225 0.0)
(s1227 0.0)
(s1229 0.0)
(s1230 0.0)
(s1231 0.0)
(s1232 0.0)
(s1233 0.0)
(s1234 0.0)
(s1235 0.0)
(s1236 0.0)
(s1237 0.0)
(s1238 0.0)
(s1239 0.0)
(s1240 0.0)
(s1241 0.0)
(s1242 0.0)
(s1243 0.0)
(s1244 0.0)
(s1245 0.0)
(s1246 0.0)
(s1247 0.0)
(s1249 0.0)
(s1251 0.0)
(s1253 0.0)
(s1255 0.0)
(s1257 0.0)
(s1259 0.0)
(s1261 0.0)
(s1263 0.0)
(s1265 0.0)
(s1267 0.0)
(s1268 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 0.0)
(s1275 0.0)
(s1276 0.0)
(s1277 0.0)
(s1278 0.0)
(s1279 0.0)
(s1280 0.0)
(s1281 0.0)
(s1282 0.0)
(s1283 0.0)
(s1285 0.0)
(s1287 0.0)
(s1289 0.0)
(s1291 0.0)
(s1293 0.0)
(s1295 0.0)
(s1297 0.0)
(s1299 0.0)
(s1301 0.0)
(s1303 0.0)
(s1304 0.0)
(s1305 0.0)
(s1306 0.0)
(s1307 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 0.0)
(s1311 0.0)
(s1312 0.0)
(s1313 0.0)
(s1314 0.0)
(s1315 0.0)
(s1316 0.0)
(s1317 0.0)
(s1319 0.0)
(s1321 0.0)
(s1323 0.0)
(s1325 0.0)
(s1327 0.0)
(s1329 0.0)
(s1331 0.0)
(s1333 0.0)
(s1335 0.0)
(s1337 0.0)
(s1338 0.0)
(s1339 0.0)
(s1340 0.0)
(s1341 0.0)
(s1342 0.0)
(s1343 0.0)
(s1344 0.0)
(s1345 0.0)
(s1346 0.0)
(s1347 0.0)
(s1348 0.0)
(s1349 0.0)
(s1351 0.0)
(s1353 0.0)
(s1355 0.0)
(s1357 0.0)
(s1359 0.0)
(s1361 0.0)
(s1363 0.0)
(s1365 0.0)
(s1367 0.0)
(s1369 0.0)
(s1370 0.0)
(s1371 0.0)
(s1372 0.0)
(s1373 0.0)
(s1374 0.0)
(s1375 0.0)
(s1376 0.0)
(s1377 0.0)
(s1378 0.0)
(s1379 0.0)
(s1381 0.0)
(s1383 0.0)
(s1385 0.0)
(s1387 0.0)
(s1389 0.0)
(s1391 0.0)
(s1393 0.0)
(s1395 0.0)
(s1397 0.0)
(s1399 0.0)
(s1400 0.0)
(s1401 0.0)
(s1402 0.0)
(s1403 0.0)
(s1404 0.0)
(s1405 0.0)
(s1406 0.0)
(s1407 0.0)
(s1409 0.0)
(s1411 0.0)
(s1413 0.0)
(s1415 0.0)
(s1417 0.0)
(s1419 0.0)
(s1421 0.0)
(s1423 0.0)
(s1425 0.0)
(s1427 0.0)
(s1428 0.0)
(s1429 0.0)
(s1430 0.0)
(s1431 0.0)
(s1432 0.0)
(s1433 0.0)
(s1435 0.0)
(s1437 0.0)
(s1439 0.0)
(s1441 0.0)
(s1443 0.0)
(s1445 0.0)
(s1447 0.0)
(s1449 0.0)
(s1451 0.0)
(s1453 0.0)
(s1454 0.0)
(s1455 0.0)
(s1456 0.0)
(s1457 0.0)
(s1459 0.0)
(s1461 0.0)
(s1463 0.0)
(s1465 0.0)
(s1467 0.0)
(s1469 0.0)
(s1471 0.0)
(s1473 0.0)
(s1475 0.0)
(s1477 0.0)
(s1478 0.0)
(s1479 0.0)
(s1481 0.0)
(s1483 0.0)
(s1485 0.0)
(s1487 0.0)
(s1489 0.0)
(s1491 0.0)
(s1493 0.0)
(s1495 0.0)
(s1497 0.0)
(s1499 0.0)
(s1500 0.0)
(s1502 0.0)
(s1504 0.0)
(s1506 0.0)
(s1508 0.0)
(s1510 0.0)
(s1512 0.0)
(s1513 0.0)
(s1514 0.0)
(s1516 0.0)
(s1518 0.0)
(s1520 0.0)
(s1521 0.0)
(s1523 0.0)
(s1525 0.0)
(s1527 0.0)
(s1529 0.0)
(s1531 0.0)
(s1533 0.0)
(s1535 0.0)
(s1537 0.0)
(s1539 0.0)
(s1540 0.0)
(s1541 0.0)
(s1542 0.0)
(s1543 0.0)
(s1544 0.0)
(s1545 0.0)
(s1546 0.0)
(s1547 0.0)
(s1548 0.0)
(s1549 0.0)
(s1550 0.0)
(s1551 0.0)
(s1552 0.0)
(s1553 0.0)
(s1554 0.0)
(s1555 0.0)
(s1556 0.0)
(s1557 0.0)
(s1558 0.0)
(s1559 0.0)
(s1560 0.0)
(s1561 0.0)
(s1562 0.0)
(s1563 0.0)
(s1564 0.0)
(s1565 0.0)
(s1566 0.0)
(s1567 0.0)
(s1568 0.0)
(s1569 0.0)
(s1570 0.0)
(s1571 0.0)
(s1572 0.0)
(s1573 0.0)
(s1574 0.0)
(s1575 0.0)
(s1576 0.0)
(s1580 0.0)
(s1582 0.0)
(s1584 0.0)
(s1585 0.0)
(s1587 0.0)
(s1589 0.0)
(s1591 0.0)
(s1593 0.0)
(s1595 0.0)
(s1597 0.0)
(s1599 0.0)
(s1601 0.0)
(s1603 0.0)
(s1605 0.0)
(s1606 0.0)
(s1608 0.0)
(s1609 6.0)
(s1610 0.0)
(s1612 0.0)
(s1614 0.0)
(s1616 0.0)
(s1618 0.0)
(s1620 0.0)
(s1622 0.0)
(s1624 0.0)
(s1626 0.0)
(s1627 0.0)
(s1628 0.0)
(s1630 0.0)
(s1632 0.0)
(s1634 0.0)
(s1636 0.0)
(s1638 0.0)
(s1640 0.0)
(s1642 0.0)
(s1644 0.0)
(s1646 0.0)
(s1648 0.0)
(s1649 0.0)
(s1650 0.0)
(s1651 0.0)
(s1652 0.0)
(s1654 0.0)
(s1656 0.0)
(s1658 0.0)
(s1660 0.0)
(s1662 0.0)
(s1664 0.0)
(s1666 0.0)
(s1668 0.0)
(s1670 0.0)
(s1672 0.0)
(s1673 0.0)
(s1674 0.0)
(s1675 0.0)
(s1676 0.0)
(s1677 0.0)
(s1678 0.0)
(s1680 0.0)
(s1682 0.0)
(s1684 0.0)
(s1686 0.0)
(s1688 0.0)
(s1690 0.0)
(s1692 0.0)
(s1694 0.0)
(s1696 0.0)
(s1698 0.0)
(s1699 0.0)
(s1700 0.0)
(s1701 0.0)
(s1702 0.0)
(s1703 0.0)
(s1704 0.0)
(s1705 0.0)
(s1706 0.0)
(s1708 0.0)
(s1710 0.0)
(s1712 0.0)
(s1714 0.0)
(s1716 0.0)
(s1718 0.0)
(s1720 0.0)
(s1722 0.0)
(s1724 0.0)
(s1726 0.0)
(s1727 0.0)
(s1728 0.0)
(s1729 0.0)
(s1730 0.0)
(s1731 0.0)
(s1732 0.0)
(s1733 0.0)
(s1734 0.0)
(s1735 0.0)
(s1736 0.0)
(s1738 0.0)
(s1740 0.0)
(s1742 0.0)
(s1744 0.0)
(s1746 0.0)
(s1748 0.0)
(s1750 0.0)
(s1752 0.0)
(s1754 0.0)
(s1756 0.0)
(s1757 0.0)
(s1758 0.0)
(s1759 0.0)
(s1760 0.0)
(s1761 0.0)
(s1762 0.0)
(s1763 0.0)
(s1764 0.0)
(s1765 0.0)
(s1766 0.0)
(s1767 0.0)
(s1768 0.0)
(s1770 0.0)
(s1772 0.0)
(s1774 0.0)
(s1776 0.0)
(s1778 0.0)
(s1780 0.0)
(s1782 0.0)
(s1784 0.0)
(s1786 0.0)
(s1788 0.0)
(s1789 0.0)
(s1790 0.0)
(s1791 0.0)
(s1792 0.0)
(s1793 0.0)
(s1794 0.0)
(s1795 0.0)
(s1796 0.0)
(s1797 0.0)
(s1798 0.0)
(s1799 0.0)
(s1800 0.0timeout
) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10417/40010 variables, and 12 constraints, problems are : Problem set: 50 solved, 50 unsolved in 5027 ms.
Refiners :[Positive P Invariants (semi-flows): 4/47 constraints, Generalized P Invariants (flows): 8/1047 constraints, State Equation: 0/16441 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 100/100 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 50 solved, 50 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/109 variables, 0/0 constraints. Problems are: Problem set: 50 solved, 50 unsolved
At refinement iteration 1 (OVERLAPS) 10291/10400 variables, 3/3 constraints. Problems are: Problem set: 50 solved, 50 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 10400/40010 variables, and 3 constraints, problems are : Problem set: 50 solved, 50 unsolved in 5016 ms.
Refiners :[Positive P Invariants (semi-flows): 3/47 constraints, Generalized P Invariants (flows): 0/1047 constraints, State Equation: 0/16441 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 0/100 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 12734ms problems are : Problem set: 50 solved, 50 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 109 out of 16441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16441/16441 places, 24169/24169 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5306 transitions
Trivial Post-agglo rules discarded 5306 transitions
Performed 5306 trivial Post agglomeration. Transition count delta: 5306
Iterating post reduction 0 with 5306 rules applied. Total rules applied 5306 place count 16441 transition count 18863
Reduce places removed 5306 places and 0 transitions.
Performed 68 Post agglomeration using F-continuation condition.Transition count delta: 68
Iterating post reduction 1 with 5374 rules applied. Total rules applied 10680 place count 11135 transition count 18795
Reduce places removed 68 places and 0 transitions.
Iterating post reduction 2 with 68 rules applied. Total rules applied 10748 place count 11067 transition count 18795
Performed 446 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 446 Pre rules applied. Total rules applied 10748 place count 11067 transition count 18349
Deduced a syphon composed of 446 places in 25 ms
Reduce places removed 446 places and 0 transitions.
Iterating global reduction 3 with 892 rules applied. Total rules applied 11640 place count 10621 transition count 18349
Discarding 4868 places :
Symmetric choice reduction at 3 with 4868 rule applications. Total rules 16508 place count 5753 transition count 13481
Iterating global reduction 3 with 4868 rules applied. Total rules applied 21376 place count 5753 transition count 13481
Discarding 474 places :
Symmetric choice reduction at 3 with 474 rule applications. Total rules 21850 place count 5279 transition count 9215
Iterating global reduction 3 with 474 rules applied. Total rules applied 22324 place count 5279 transition count 9215
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 8 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 22372 place count 5255 transition count 9191
Free-agglomeration rule (complex) applied 404 times.
Iterating global reduction 3 with 404 rules applied. Total rules applied 22776 place count 5255 transition count 12435
Reduce places removed 404 places and 0 transitions.
Iterating post reduction 3 with 404 rules applied. Total rules applied 23180 place count 4851 transition count 12435
Partial Free-agglomeration rule applied 449 times.
Drop transitions (Partial Free agglomeration) removed 449 transitions
Iterating global reduction 4 with 449 rules applied. Total rules applied 23629 place count 4851 transition count 12435
Applied a total of 23629 rules in 8980 ms. Remains 4851 /16441 variables (removed 11590) and now considering 12435/24169 (removed 11734) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8983 ms. Remains : 4851/16441 places, 12435/24169 transitions.
RANDOM walk for 40000 steps (740 resets) in 3435 ms. (11 steps per ms) remains 45/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (8 resets) in 37 ms. (105 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 102 ms. (38 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 45/45 properties
[2025-06-04 22:11:49] [INFO ] Flow matrix only has 11553 transitions (discarded 882 similar events)
// Phase 1: matrix 11553 rows 4851 cols
[2025-06-04 22:11:50] [INFO ] Computed 1094 invariants in 507 ms
[2025-06-04 22:11:50] [INFO ] State equation strengthened by 7258 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/100 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 45 unsolved
At refinement iteration 1 (OVERLAPS) 3590/3690 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 45 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3690 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 45 unsolved
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp74 is UNSAT
Problem AtomicPropp78 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp85 is UNSAT
Problem AtomicPropp87 is UNSAT
Problem AtomicPropp88 is UNSAT
Problem AtomicPropp96 is UNSAT
Problem AtomicPropp101 is UNSAT
Problem AtomicPropp102 is UNSAT
Problem AtomicPropp103 is UNSAT
Problem AtomicPropp104 is UNSAT
Problem AtomicPropp105 is UNSAT
Problem AtomicPropp107 is UNSAT
Problem AtomicPropp108 is UNSAT
Problem AtomicPropp110 is UNSAT
Problem AtomicPropp114 is UNSAT
Problem AtomicPropp118 is UNSAT
At refinement iteration 3 (OVERLAPS) 1099/4789 variables, 1028/1032 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/4789 variables, 0/1032 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 5 (OVERLAPS) 44/4833 variables, 44/1076 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4833 variables, 0/1076 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 7 (OVERLAPS) 18/4851 variables, 18/1094 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4851 variables, 0/1094 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 9 (OVERLAPS) 11553/16404 variables, 4851/5945 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/16404 variables, 7258/13203 constraints. Problems are: Problem set: 26 solved, 19 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16404/16404 variables, and 13203 constraints, problems are : Problem set: 26 solved, 19 unsolved in 45034 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 1046/1046 constraints, State Equation: 4851/4851 constraints, ReadFeed: 7258/7258 constraints, PredecessorRefiner: 45/45 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 26 solved, 19 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 26 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 3605/3659 variables, 4/4 constraints. Problems are: Problem set: 26 solved, 19 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 22:12:41] [INFO ] Deduced a trap composed of 1249 places in 5187 ms of which 109 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 22:12:46] [INFO ] Deduced a trap composed of 1031 places in 5008 ms of which 109 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 22:12:56] [INFO ] Deduced a trap composed of 1171 places in 9100 ms of which 3769 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 22:13:05] [INFO ] Deduced a trap composed of 1027 places in 8713 ms of which 3418 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 22:13:15] [INFO ] Deduced a trap composed of 1026 places in 8790 ms of which 3437 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 22:13:24] [INFO ] Deduced a trap composed of 1067 places in 8841 ms of which 3551 ms to minimize.
SMT process timed out in 94284ms, After SMT, problems are : Problem set: 26 solved, 19 unsolved
Fused 19 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 54 out of 4851 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4851/4851 places, 12435/12435 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 0 with 13 rules applied. Total rules applied 13 place count 4851 transition count 12422
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 26 place count 4838 transition count 12422
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 26 place count 4838 transition count 12421
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 28 place count 4837 transition count 12421
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 31 place count 4834 transition count 12418
Iterating global reduction 2 with 3 rules applied. Total rules applied 34 place count 4834 transition count 12418
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 40 place count 4834 transition count 12492
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 46 place count 4828 transition count 12492
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 49 place count 4825 transition count 12489
Iterating global reduction 3 with 3 rules applied. Total rules applied 52 place count 4825 transition count 12489
Partial Free-agglomeration rule applied 41 times.
Drop transitions (Partial Free agglomeration) removed 41 transitions
Iterating global reduction 3 with 41 rules applied. Total rules applied 93 place count 4825 transition count 12489
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 134 place count 4784 transition count 12448
Iterating global reduction 3 with 41 rules applied. Total rules applied 175 place count 4784 transition count 12448
Applied a total of 175 rules in 5205 ms. Remains 4784 /4851 variables (removed 67) and now considering 12448/12435 (removed -13) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5205 ms. Remains : 4784/4851 places, 12448/12435 transitions.
Successfully simplified 76 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 22:13:29] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2025-06-04 22:13:30] [INFO ] Flatten gal took : 727 ms
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2025-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 22:13:30] [INFO ] Flatten gal took : 798 ms
[2025-06-04 22:13:32] [INFO ] Input system was already deterministic with 24169 transitions.
Support contains 50 out of 16441 places (down from 82) after GAL structural reductions.
Computed a total of 13817 stabilizing places and 18968 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 16441/16441 places, 24169/24169 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5399 transitions
Trivial Post-agglo rules discarded 5399 transitions
Performed 5399 trivial Post agglomeration. Transition count delta: 5399
Iterating post reduction 0 with 5399 rules applied. Total rules applied 5399 place count 16441 transition count 18770
Reduce places removed 5399 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 5400 rules applied. Total rules applied 10799 place count 11042 transition count 18769
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 10800 place count 11041 transition count 18769
Performed 450 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 450 Pre rules applied. Total rules applied 10800 place count 11041 transition count 18319
Deduced a syphon composed of 450 places in 22 ms
Reduce places removed 450 places and 0 transitions.
Iterating global reduction 3 with 900 rules applied. Total rules applied 11700 place count 10591 transition count 18319
Discarding 4949 places :
Symmetric choice reduction at 3 with 4949 rule applications. Total rules 16649 place count 5642 transition count 13370
Iterating global reduction 3 with 4949 rules applied. Total rules applied 21598 place count 5642 transition count 13370
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 17 Pre rules applied. Total rules applied 21598 place count 5642 transition count 13353
Deduced a syphon composed of 17 places in 10 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 21632 place count 5625 transition count 13353
Discarding 548 places :
Symmetric choice reduction at 3 with 548 rule applications. Total rules 22180 place count 5077 transition count 8421
Iterating global reduction 3 with 548 rules applied. Total rules applied 22728 place count 5077 transition count 8421
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 7 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 22778 place count 5052 transition count 8396
Applied a total of 22778 rules in 5860 ms. Remains 5052 /16441 variables (removed 11389) and now considering 8396/24169 (removed 15773) transitions.
[2025-06-04 22:13:38] [INFO ] Flow matrix only has 7796 transitions (discarded 600 similar events)
// Phase 1: matrix 7796 rows 5052 cols
[2025-06-04 22:13:38] [INFO ] Computed 1094 invariants in 498 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:13:58] [INFO ] Implicit Places using invariants in 20106 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 24, 31, 40, 51, 64, 79, 96, 115, 158, 182, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 236, 255, 272, 287, 300, 311, 320, 327, 332, 335, 361, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 376, 381, 388, 397, 408, 421, 436, 453, 492, 514, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 564, 581, 596, 609, 620, 629, 636, 641, 644, 646, 672, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 686, 689, 694, 701, 710, 721, 734, 749, 784, 804, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 850, 865, 878, 889, 898, 905, 910, 913, 915, 917, 943, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 957, 959, 962, 967, 974, 983, 994, 1007, 1038, 1056, 1074, 1075, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1098, 1111, 1122, 1131, 1138, 1143, 1146, 1148, 1150, 1152, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1192, 1194, 1196, 1199, 1204, 1211, 1220, 1231, 1258, 1274, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1312, 1323, 1332, 1339, 1344, 1347, 1349, 1351, 1353, 1355, 1381, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1395, 1397, 1399, 1401, 1404, 1409, 1416, 1425, 1448, 1462, 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1483, 1484, 1485, 1496, 1505, 1512, 1517, 1520, 1522, 1524, 1526, 1528, 1530, 1556, 1559, 1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1570, 1572, 1574, 1576, 1578, 1581, 1586, 1593, 1612, 1624, 1636, 1637, 1638, 1639, 1640, 1641, 1642, 1643, 1644, 1645, 1654, 1661, 1666, 1669, 1671, 1673, 1675, 1677, 1679, 1681, 1707, 1710, 1711, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1721, 1723, 1725, 1727, 1729, 1731, 1734, 1739, 1754, 1764, 1774, 1775, 1776, 1777, 1778, 1779, 1780, 1781, 1782, 1783, 1790, 1795, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1838, 1841, 1842, 1843, 1844, 1845, 1846, 1847, 1848, 1849, 1850, 1852, 1854, 1856, 1858, 1860, 1862, 1864, 1867, 1878, 1886, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1901, 1902, 1903, 1908, 1911, 1913, 1915, 1917, 1919, 1921, 1923, 1925, 1927, 1953, 1956, 1957, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1988, 1994, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2012, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028, 2030, 2056, 2059, 2060, 2061, 2062, 2063, 2064, 2065, 2066, 2067, 2068, 2070, 2072, 2074, 2076, 2078, 2080, 2082, 2084, 2088, 2092, 2096, 2097, 2098, 2099, 2100, 2101, 2102, 2103, 2104, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2123, 2125, 2151, 2154, 2155, 2156, 2157, 2158, 2159, 2160, 2161, 2162, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2185, 2188, 2189, 2190, 2191, 2192, 2193, 2194, 2195, 2196, 2197, 2199, 2201, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2217, 2238, 2242, 2245, 2246, 2247, 2248, 2249, 2250, 2251, 2252, 2253, 2254, 2256, 2258, 2260, 2262, 2264, 2266, 2268, 2270, 2272, 2275, 2278, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2287, 2289, 2291, 2293, 2295, 2297, 2299, 2301, 2303, 2306, 2308, 2334, 2337, 2338, 2339, 2340, 2341, 2342, 2343, 2344, 2345, 2346, 2348, 2350, 2352, 2354, 2356, 2358, 2360, 2362, 2364, 2367, 2370, 2371, 2372, 2373, 2374, 2375, 2376, 2377, 2378, 2379, 2381, 2383, 2385, 2387, 2389, 2391, 2393, 2395, 2397, 2399, 2425, 2428, 2429, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437, 2439, 2441, 2443, 2445, 2447, 2449, 2451, 2453, 2455, 2459, 2464, 2465, 2466, 2467, 2468, 2469, 2470, 2471, 2472, 2473, 2476, 2478, 2480, 2482, 2484, 2486, 2488, 2490, 2492, 2494, 2520, 2523, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531, 2532, 2534, 2536, 2538, 2540, 2542, 2544, 2546, 2548, 2550, 2557, 2564, 2565, 2566, 2567, 2568, 2569, 2570, 2571, 2572, 2573, 2578, 2581, 2583, 2585, 2587, 2589, 2591, 2593, 2595, 2597, 2623, 2626, 2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634, 2635, 2637, 2639, 2641, 2643, 2645, 2647, 2649, 2651, 2654, 2665, 2674, 2675, 2676, 2677, 2678, 2679, 2680, 2681, 2682, 2683, 2690, 2695, 2698, 2700, 2702, 2704, 2706, 2708, 2710, 2712, 2738, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2749, 2750, 2752, 2754, 2756, 2758, 2760, 2762, 2764, 2767, 2772, 2787, 2798, 2799, 2800, 2801, 2802, 2803, 2804, 2805, 2806, 2807, 2816, 2823, 2828, 2831, 2833, 2835, 2837, 2839, 2841, 2843, 2869, 2872, 2873, 2874, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2883, 2885, 2887, 2889, 2891, 2893, 2896, 2901, 2908, 2927, 2940, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2960, 2969, 2976, 2981, 2984, 2986, 2988, 2990, 2992, 2994, 3020, 3023, 3024, 3025, 3026, 3027, 3028, 3029, 3030, 3031, 3032, 3034, 3036, 3038, 3040, 3042, 3045, 3050, 3057, 3066, 3089, 3104, 3105, 3106, 3107, 3108, 3109, 3110, 3111, 3112, 3113, 3126, 3137, 3146, 3153, 3158, 3161, 3163, 3165, 3167, 3169, 3195, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3205, 3206, 3207, 3209, 3211, 3213, 3215, 3218, 3223, 3230, 3239, 3250, 3277, 3294, 3295, 3296, 3297, 3298, 3299, 3300, 3301, 3302, 3303, 3318, 3331, 3342, 3351, 3358, 3363, 3366, 3368, 3370, 3372, 3398, 3401, 3402, 3403, 3404, 3405, 3406, 3407, 3408, 3409, 3410, 3412, 3414, 3416, 3419, 3424, 3431, 3440, 3451, 3464, 3495, 3514, 3515, 3516, 3517, 3518, 3519, 3520, 3521, 3522, 3523, 3540, 3555, 3568, 3579, 3588, 3595, 3600, 3603, 3605, 3607, 3633, 3636, 3637, 3638, 3639, 3640, 3641, 3642, 3643, 3644, 3645, 3647, 3649, 3652, 3657, 3664, 3673, 3684, 3697, 3712, 3747, 3768, 3769, 3770, 3771, 3772, 3773, 3774, 3775, 3776, 3777, 3796, 3813, 3828, 3841, 3852, 3861, 3868, 3873, 3876, 3878, 3904, 3907, 3908, 3909, 3911, 3912, 3913, 3914, 3915, 3916, 3918, 3921, 3926, 3933, 3944, 3955, 3968, 3983, 4000, 4039, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4070, 4071, 4092, 4111, 4128, 4143, 4156, 4167, 4176, 4183, 4188, 4191, 4215, 4218, 4219, 4220, 4221, 4222, 4223, 4224, 4225, 4226, 4227, 4230, 4235, 4242, 4251, 4262, 4275, 4290, 4307, 4326, 4369, 4394, 4395, 4396, 4397, 4398, 4399, 4400, 4401, 4402, 4403, 4426, 4447, 4466, 4483, 4498, 4511, 4522, 4531, 4538, 4543]
Discarding 1026 places :
Implicit Place search using SMT only with invariants took 20129 ms to find 1026 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 4026/16441 places, 8396/24169 transitions.
Discarding 431 places :
Symmetric choice reduction at 0 with 431 rule applications. Total rules 431 place count 3595 transition count 7965
Iterating global reduction 0 with 431 rules applied. Total rules applied 862 place count 3595 transition count 7965
Discarding 430 places :
Symmetric choice reduction at 0 with 430 rule applications. Total rules 1292 place count 3165 transition count 7535
Iterating global reduction 0 with 430 rules applied. Total rules applied 1722 place count 3165 transition count 7535
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 1768 place count 3119 transition count 7121
Iterating global reduction 0 with 46 rules applied. Total rules applied 1814 place count 3119 transition count 7121
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1816 place count 3118 transition count 7120
Applied a total of 1816 rules in 3483 ms. Remains 3118 /4026 variables (removed 908) and now considering 7120/8396 (removed 1276) transitions.
[2025-06-04 22:14:01] [INFO ] Flow matrix only has 6520 transitions (discarded 600 similar events)
// Phase 1: matrix 6520 rows 3118 cols
[2025-06-04 22:14:02] [INFO ] Computed 68 invariants in 341 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:14:11] [INFO ] Implicit Places using invariants in 9526 ms returned []
[2025-06-04 22:14:11] [INFO ] Flow matrix only has 6520 transitions (discarded 600 similar events)
[2025-06-04 22:14:11] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:14:15] [INFO ] State equation strengthened by 2650 read => feed constraints.
[2025-06-04 22:14:46] [INFO ] Performed 446/3118 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 22:15:16] [INFO ] Performed 824/3118 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 22:15:46] [INFO ] Performed 1169/3118 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 22:16:16] [INFO ] Performed 1417/3118 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 22:16:16] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 22:16:16] [INFO ] Implicit Places using invariants and state equation in 124946 ms returned []
Implicit Place search using SMT with State Equation took 134503 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3118/16441 places, 7120/24169 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 163980 ms. Remains : 3118/16441 places, 7120/24169 transitions.
[2025-06-04 22:16:16] [INFO ] Flatten gal took : 150 ms
[2025-06-04 22:16:16] [INFO ] Flatten gal took : 188 ms
[2025-06-04 22:16:17] [INFO ] Input system was already deterministic with 7120 transitions.
[2025-06-04 22:16:17] [INFO ] Flatten gal took : 179 ms
[2025-06-04 22:16:17] [INFO ] Flatten gal took : 190 ms
[2025-06-04 22:16:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality5346223139957420871.gal : 167 ms
[2025-06-04 22:16:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality14288282495062170818.ctl : 6 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/CTLCardinality5346223139957420871.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14288282495062170818.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-04 22:16:48] [INFO ] Flatten gal took : 272 ms
[2025-06-04 22:16:48] [INFO ] Applying decomposition
[2025-06-04 22:16:48] [INFO ] Flatten gal took : 275 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/graph557502528484093135.txt' '-o' '/tmp/graph557502528484093135.bin' '-w' '/tmp/graph557502528484093135.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph557502528484093135.bin' '-l' '-1' '-v' '-w' '/tmp/graph557502528484093135.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:16:49] [INFO ] Decomposing Gal with order
[2025-06-04 22:16:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:16:52] [INFO ] Removed a total of 6193 redundant transitions.
[2025-06-04 22:16:52] [INFO ] Flatten gal took : 2124 ms
[2025-06-04 22:16:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 789 labels/synchronizations in 375 ms.
[2025-06-04 22:16:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality1335940459307460043.gal : 75 ms
[2025-06-04 22:16:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality3999574042406361467.ctl : 4 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/CTLCardinality1335940459307460043.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3999574042406361467.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 16441/16441 places, 24169/24169 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5399 transitions
Trivial Post-agglo rules discarded 5399 transitions
Performed 5399 trivial Post agglomeration. Transition count delta: 5399
Iterating post reduction 0 with 5399 rules applied. Total rules applied 5399 place count 16441 transition count 18770
Reduce places removed 5399 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 5400 rules applied. Total rules applied 10799 place count 11042 transition count 18769
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 10800 place count 11041 transition count 18769
Performed 450 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 450 Pre rules applied. Total rules applied 10800 place count 11041 transition count 18319
Deduced a syphon composed of 450 places in 18 ms
Reduce places removed 450 places and 0 transitions.
Iterating global reduction 3 with 900 rules applied. Total rules applied 11700 place count 10591 transition count 18319
Discarding 4949 places :
Symmetric choice reduction at 3 with 4949 rule applications. Total rules 16649 place count 5642 transition count 13370
Iterating global reduction 3 with 4949 rules applied. Total rules applied 21598 place count 5642 transition count 13370
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 17 Pre rules applied. Total rules applied 21598 place count 5642 transition count 13353
Deduced a syphon composed of 17 places in 11 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 21632 place count 5625 transition count 13353
Discarding 548 places :
Symmetric choice reduction at 3 with 548 rule applications. Total rules 22180 place count 5077 transition count 8421
Iterating global reduction 3 with 548 rules applied. Total rules applied 22728 place count 5077 transition count 8421
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 6 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 22778 place count 5052 transition count 8396
Applied a total of 22778 rules in 5114 ms. Remains 5052 /16441 variables (removed 11389) and now considering 8396/24169 (removed 15773) transitions.
[2025-06-04 22:17:29] [INFO ] Flow matrix only has 7796 transitions (discarded 600 similar events)
// Phase 1: matrix 7796 rows 5052 cols
[2025-06-04 22:17:29] [INFO ] Computed 1094 invariants in 298 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:17:50] [INFO ] Implicit Places using invariants in 21070 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 24, 31, 40, 51, 64, 79, 96, 115, 158, 182, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 236, 255, 272, 287, 300, 311, 320, 327, 332, 335, 361, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 376, 381, 388, 397, 408, 421, 436, 453, 492, 514, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 564, 581, 596, 609, 620, 629, 636, 641, 644, 646, 672, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 686, 689, 694, 701, 710, 721, 734, 749, 784, 804, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 850, 865, 878, 889, 898, 905, 910, 913, 915, 917, 943, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 957, 959, 962, 967, 974, 983, 994, 1007, 1038, 1056, 1074, 1075, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1098, 1111, 1122, 1131, 1138, 1143, 1146, 1148, 1150, 1152, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1192, 1194, 1196, 1199, 1204, 1211, 1220, 1231, 1258, 1274, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1312, 1323, 1332, 1339, 1344, 1347, 1349, 1351, 1353, 1355, 1381, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1395, 1397, 1399, 1401, 1404, 1409, 1416, 1425, 1448, 1462, 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1483, 1484, 1485, 1496, 1505, 1512, 1517, 1520, 1522, 1524, 1526, 1528, 1530, 1556, 1559, 1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1570, 1572, 1574, 1576, 1578, 1581, 1586, 1593, 1612, 1624, 1636, 1637, 1638, 1639, 1640, 1641, 1642, 1643, 1644, 1645, 1654, 1661, 1666, 1669, 1671, 1673, 1675, 1677, 1679, 1681, 1707, 1710, 1711, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1721, 1723, 1725, 1727, 1729, 1731, 1734, 1739, 1754, 1764, 1774, 1775, 1776, 1777, 1778, 1779, 1780, 1781, 1782, 1783, 1790, 1795, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1838, 1841, 1842, 1843, 1844, 1845, 1846, 1847, 1848, 1849, 1850, 1852, 1854, 1856, 1858, 1860, 1862, 1864, 1867, 1878, 1886, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1901, 1902, 1903, 1908, 1911, 1913, 1915, 1917, 1919, 1921, 1923, 1925, 1927, 1953, 1956, 1957, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1988, 1994, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2012, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028, 2030, 2056, 2059, 2060, 2061, 2062, 2063, 2064, 2065, 2066, 2067, 2068, 2070, 2072, 2074, 2076, 2078, 2080, 2082, 2084, 2088, 2092, 2096, 2097, 2098, 2099, 2100, 2101, 2102, 2103, 2104, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2123, 2125, 2151, 2154, 2155, 2156, 2157, 2158, 2159, 2160, 2161, 2162, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2185, 2188, 2189, 2190, 2191, 2192, 2193, 2194, 2195, 2196, 2197, 2199, 2201, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2217, 2238, 2242, 2245, 2246, 2247, 2248, 2249, 2250, 2251, 2252, 2253, 2254, 2256, 2258, 2260, 2262, 2264, 2266, 2268, 2270, 2272, 2275, 2278, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2287, 2289, 2291, 2293, 2295, 2297, 2299, 2301, 2303, 2305, 2307, 2333, 2336, 2337, 2338, 2339, 2340, 2341, 2342, 2343, 2344, 2345, 2347, 2349, 2351, 2353, 2355, 2357, 2359, 2361, 2363, 2366, 2369, 2370, 2371, 2372, 2373, 2374, 2375, 2376, 2377, 2378, 2380, 2382, 2384, 2386, 2388, 2390, 2392, 2394, 2396, 2398, 2424, 2427, 2428, 2429, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2438, 2440, 2442, 2444, 2446, 2448, 2450, 2452, 2454, 2458, 2463, 2464, 2465, 2466, 2467, 2468, 2469, 2470, 2471, 2472, 2476, 2478, 2480, 2482, 2484, 2486, 2488, 2490, 2492, 2494, 2520, 2523, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531, 2532, 2534, 2536, 2538, 2540, 2542, 2544, 2546, 2548, 2550, 2557, 2564, 2565, 2566, 2567, 2568, 2569, 2570, 2571, 2572, 2573, 2578, 2581, 2583, 2585, 2587, 2589, 2591, 2593, 2595, 2597, 2623, 2626, 2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634, 2635, 2637, 2639, 2641, 2643, 2645, 2647, 2649, 2651, 2654, 2665, 2674, 2675, 2676, 2677, 2678, 2679, 2680, 2681, 2682, 2683, 2690, 2695, 2698, 2700, 2702, 2704, 2706, 2708, 2710, 2712, 2738, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2749, 2750, 2752, 2754, 2756, 2758, 2760, 2762, 2764, 2767, 2772, 2787, 2798, 2799, 2800, 2801, 2802, 2803, 2804, 2805, 2806, 2807, 2816, 2823, 2828, 2831, 2833, 2835, 2837, 2839, 2841, 2843, 2869, 2872, 2873, 2874, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2883, 2885, 2887, 2889, 2891, 2893, 2896, 2901, 2908, 2927, 2940, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2960, 2969, 2976, 2981, 2984, 2986, 2988, 2990, 2992, 2994, 3020, 3023, 3024, 3025, 3026, 3027, 3028, 3029, 3030, 3031, 3032, 3034, 3036, 3038, 3040, 3042, 3045, 3050, 3057, 3066, 3089, 3104, 3105, 3106, 3107, 3108, 3109, 3110, 3111, 3112, 3113, 3126, 3137, 3146, 3153, 3158, 3161, 3163, 3165, 3167, 3169, 3195, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3205, 3206, 3207, 3209, 3211, 3213, 3215, 3218, 3223, 3230, 3239, 3250, 3277, 3294, 3295, 3296, 3297, 3298, 3299, 3300, 3301, 3302, 3303, 3318, 3331, 3342, 3351, 3358, 3363, 3366, 3368, 3370, 3372, 3398, 3401, 3402, 3403, 3404, 3405, 3406, 3407, 3408, 3409, 3410, 3412, 3414, 3416, 3419, 3424, 3431, 3440, 3451, 3464, 3495, 3514, 3515, 3516, 3517, 3518, 3519, 3520, 3521, 3522, 3523, 3540, 3555, 3568, 3579, 3588, 3595, 3600, 3603, 3605, 3607, 3633, 3636, 3637, 3638, 3639, 3640, 3641, 3642, 3643, 3644, 3645, 3647, 3649, 3652, 3657, 3664, 3673, 3684, 3697, 3712, 3747, 3768, 3769, 3770, 3771, 3772, 3773, 3774, 3775, 3776, 3777, 3796, 3813, 3828, 3841, 3852, 3861, 3868, 3873, 3876, 3878, 3904, 3907, 3908, 3909, 3910, 3911, 3912, 3913, 3914, 3915, 3916, 3918, 3921, 3926, 3933, 3942, 3953, 3966, 3981, 3998, 4037, 4060, 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4090, 4109, 4126, 4141, 4154, 4165, 4174, 4181, 4186, 4189, 4213, 4216, 4217, 4218, 4219, 4220, 4221, 4222, 4223, 4224, 4225, 4228, 4233, 4240, 4249, 4260, 4273, 4288, 4305, 4324, 4367, 4392, 4393, 4395, 4396, 4397, 4398, 4399, 4400, 4401, 4424, 4445, 4464, 4481, 4496, 4511, 4522, 4531, 4538, 4543]
Discarding 1026 places :
Implicit Place search using SMT only with invariants took 21095 ms to find 1026 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 4026/16441 places, 8396/24169 transitions.
Discarding 431 places :
Symmetric choice reduction at 0 with 431 rule applications. Total rules 431 place count 3595 transition count 7965
Iterating global reduction 0 with 431 rules applied. Total rules applied 862 place count 3595 transition count 7965
Discarding 431 places :
Symmetric choice reduction at 0 with 431 rule applications. Total rules 1293 place count 3164 transition count 7534
Iterating global reduction 0 with 431 rules applied. Total rules applied 1724 place count 3164 transition count 7534
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 1771 place count 3117 transition count 7111
Iterating global reduction 0 with 47 rules applied. Total rules applied 1818 place count 3117 transition count 7111
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1820 place count 3116 transition count 7110
Applied a total of 1820 rules in 3627 ms. Remains 3116 /4026 variables (removed 910) and now considering 7110/8396 (removed 1286) transitions.
[2025-06-04 22:17:54] [INFO ] Flow matrix only has 6510 transitions (discarded 600 similar events)
// Phase 1: matrix 6510 rows 3116 cols
[2025-06-04 22:17:54] [INFO ] Computed 68 invariants in 374 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:18:05] [INFO ] Implicit Places using invariants in 10769 ms returned []
[2025-06-04 22:18:05] [INFO ] Flow matrix only has 6510 transitions (discarded 600 similar events)
[2025-06-04 22:18:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:18:10] [INFO ] State equation strengthened by 2642 read => feed constraints.
[2025-06-04 22:18:40] [INFO ] Performed 397/3116 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 22:19:10] [INFO ] Performed 774/3116 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 22:19:40] [INFO ] Performed 1051/3116 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 22:20:10] [INFO ] Performed 1290/3116 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 22:20:10] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 22:20:10] [INFO ] Implicit Places using invariants and state equation in 125886 ms returned []
Implicit Place search using SMT with State Equation took 136661 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3116/16441 places, 7110/24169 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 166498 ms. Remains : 3116/16441 places, 7110/24169 transitions.
[2025-06-04 22:20:11] [INFO ] Flatten gal took : 269 ms
[2025-06-04 22:20:11] [INFO ] Flatten gal took : 455 ms
[2025-06-04 22:20:12] [INFO ] Input system was already deterministic with 7110 transitions.
[2025-06-04 22:20:12] [INFO ] Flatten gal took : 240 ms
[2025-06-04 22:20:12] [INFO ] Flatten gal took : 260 ms
[2025-06-04 22:20:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality10001439929386073765.gal : 40 ms
[2025-06-04 22:20:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality6855251785037671707.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/CTLCardinality10001439929386073765.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6855251785037671707.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-04 22:20:43] [INFO ] Flatten gal took : 201 ms
[2025-06-04 22:20:43] [INFO ] Applying decomposition
[2025-06-04 22:20:43] [INFO ] Flatten gal took : 204 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/graph7869472107897779502.txt' '-o' '/tmp/graph7869472107897779502.bin' '-w' '/tmp/graph7869472107897779502.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7869472107897779502.bin' '-l' '-1' '-v' '-w' '/tmp/graph7869472107897779502.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:20:43] [INFO ] Decomposing Gal with order
[2025-06-04 22:20:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:20:46] [INFO ] Removed a total of 6202 redundant transitions.
[2025-06-04 22:20:46] [INFO ] Flatten gal took : 1581 ms
[2025-06-04 22:20:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 778 labels/synchronizations in 169 ms.
[2025-06-04 22:20:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality16425630311595491610.gal : 61 ms
[2025-06-04 22:20:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality5748753305378265724.ctl : 3 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/CTLCardinality16425630311595491610.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5748753305378265724.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 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 913 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:21:18] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
// Phase 1: matrix 23569 rows 16441 cols
[2025-06-04 22:21:20] [INFO ] Computed 1094 invariants in 2087 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:21:55] [INFO ] Performed 5473/16441 implicitness test of which 184 returned IMPLICIT in 30 seconds.
[2025-06-04 22:22:26] [INFO ] Performed 10469/16441 implicitness test of which 393 returned IMPLICIT in 60 seconds.
[2025-06-04 22:22:56] [INFO ] Performed 15105/16441 implicitness test of which 554 returned IMPLICIT in 90 seconds.
[2025-06-04 22:23:18] [INFO ] Implicit Places using invariants in 120563 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 120590 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 798 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 122304 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:23:20] [INFO ] Flatten gal took : 658 ms
[2025-06-04 22:23:21] [INFO ] Flatten gal took : 701 ms
[2025-06-04 22:23:22] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:23:23] [INFO ] Flatten gal took : 704 ms
[2025-06-04 22:23:23] [INFO ] Flatten gal took : 719 ms
[2025-06-04 22:23:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality6043911841377259616.gal : 119 ms
[2025-06-04 22:23:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality6339778088139699207.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/CTLCardinality6043911841377259616.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6339778088139699207.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-04 22:23:55] [INFO ] Flatten gal took : 953 ms
[2025-06-04 22:23:55] [INFO ] Applying decomposition
[2025-06-04 22:23:55] [INFO ] Flatten gal took : 737 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/graph12426082970552666512.txt' '-o' '/tmp/graph12426082970552666512.bin' '-w' '/tmp/graph12426082970552666512.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12426082970552666512.bin' '-l' '-1' '-v' '-w' '/tmp/graph12426082970552666512.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:23:57] [INFO ] Decomposing Gal with order
[2025-06-04 22:23:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:24:10] [INFO ] Removed a total of 16331 redundant transitions.
[2025-06-04 22:24:11] [INFO ] Flatten gal took : 3290 ms
[2025-06-04 22:24:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 136 ms.
[2025-06-04 22:24:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality10400660235677066411.gal : 141 ms
[2025-06-04 22:24:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality6098766784923434396.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/CTLCardinality10400660235677066411.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6098766784923434396.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 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 1049 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:24:44] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
[2025-06-04 22:24:44] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:25:20] [INFO ] Performed 4889/16441 implicitness test of which 161 returned IMPLICIT in 30 seconds.
[2025-06-04 22:25:50] [INFO ] Performed 10455/16441 implicitness test of which 393 returned IMPLICIT in 60 seconds.
[2025-06-04 22:26:20] [INFO ] Performed 15963/16441 implicitness test of which 577 returned IMPLICIT in 90 seconds.
[2025-06-04 22:26:36] [INFO ] Implicit Places using invariants in 111989 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 112020 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 878 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 113948 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:26:38] [INFO ] Flatten gal took : 614 ms
[2025-06-04 22:26:39] [INFO ] Flatten gal took : 699 ms
[2025-06-04 22:26:40] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:26:41] [INFO ] Flatten gal took : 770 ms
[2025-06-04 22:26:41] [INFO ] Flatten gal took : 745 ms
[2025-06-04 22:26:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality4937140409274877753.gal : 120 ms
[2025-06-04 22:26:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality9106962132206896512.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/CTLCardinality4937140409274877753.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9106962132206896512.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-04 22:27:13] [INFO ] Flatten gal took : 818 ms
[2025-06-04 22:27:13] [INFO ] Applying decomposition
[2025-06-04 22:27:13] [INFO ] Flatten gal took : 831 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/graph11047795546961514999.txt' '-o' '/tmp/graph11047795546961514999.bin' '-w' '/tmp/graph11047795546961514999.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11047795546961514999.bin' '-l' '-1' '-v' '-w' '/tmp/graph11047795546961514999.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:27:15] [INFO ] Decomposing Gal with order
[2025-06-04 22:27:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:27:28] [INFO ] Removed a total of 16166 redundant transitions.
[2025-06-04 22:27:28] [INFO ] Flatten gal took : 3231 ms
[2025-06-04 22:27:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 132 ms.
[2025-06-04 22:27:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality5541628170450396242.gal : 134 ms
[2025-06-04 22:27:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality7869995829300029600.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/CTLCardinality5541628170450396242.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7869995829300029600.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.
Starting structural reductions in LTL mode, iteration 0 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 813 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:28:01] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
[2025-06-04 22:28:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:28:36] [INFO ] Performed 4986/16441 implicitness test of which 166 returned IMPLICIT in 30 seconds.
[2025-06-04 22:29:06] [INFO ] Performed 9411/16441 implicitness test of which 351 returned IMPLICIT in 60 seconds.
[2025-06-04 22:29:36] [INFO ] Performed 13611/16441 implicitness test of which 508 returned IMPLICIT in 90 seconds.
[2025-06-04 22:30:06] [INFO ] Performed 16368/16441 implicitness test of which 577 returned IMPLICIT in 120 seconds.
[2025-06-04 22:30:09] [INFO ] Implicit Places using invariants in 127174 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 127204 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 1088 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 129105 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:30:10] [INFO ] Flatten gal took : 667 ms
[2025-06-04 22:30:11] [INFO ] Flatten gal took : 783 ms
[2025-06-04 22:30:13] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:30:14] [INFO ] Flatten gal took : 779 ms
[2025-06-04 22:30:14] [INFO ] Flatten gal took : 715 ms
[2025-06-04 22:30:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality10639265747825430289.gal : 108 ms
[2025-06-04 22:30:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality6308562449371250059.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/CTLCardinality10639265747825430289.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6308562449371250059.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-04 22:30:45] [INFO ] Flatten gal took : 690 ms
[2025-06-04 22:30:45] [INFO ] Applying decomposition
[2025-06-04 22:30:46] [INFO ] Flatten gal took : 718 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/graph8379000754087435229.txt' '-o' '/tmp/graph8379000754087435229.bin' '-w' '/tmp/graph8379000754087435229.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8379000754087435229.bin' '-l' '-1' '-v' '-w' '/tmp/graph8379000754087435229.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:30:47] [INFO ] Decomposing Gal with order
[2025-06-04 22:30:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:31:00] [INFO ] Removed a total of 16370 redundant transitions.
[2025-06-04 22:31:00] [INFO ] Flatten gal took : 3104 ms
[2025-06-04 22:31:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 65 labels/synchronizations in 109 ms.
[2025-06-04 22:31:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality4100750789974704803.gal : 157 ms
[2025-06-04 22:31:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality12072311310540337618.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/CTLCardinality4100750789974704803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12072311310540337618.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 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 999 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:31:34] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
[2025-06-04 22:31:34] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:32:09] [INFO ] Performed 5475/16441 implicitness test of which 184 returned IMPLICIT in 30 seconds.
[2025-06-04 22:32:39] [INFO ] Performed 10817/16441 implicitness test of which 407 returned IMPLICIT in 60 seconds.
[2025-06-04 22:33:09] [INFO ] Performed 15532/16441 implicitness test of which 566 returned IMPLICIT in 90 seconds.
[2025-06-04 22:33:30] [INFO ] Implicit Places using invariants in 116349 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 116376 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 833 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 118209 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:33:32] [INFO ] Flatten gal took : 776 ms
[2025-06-04 22:33:32] [INFO ] Flatten gal took : 704 ms
[2025-06-04 22:33:33] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:33:34] [INFO ] Flatten gal took : 712 ms
[2025-06-04 22:33:35] [INFO ] Flatten gal took : 731 ms
[2025-06-04 22:33:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality3290437840176357598.gal : 110 ms
[2025-06-04 22:33:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality5450664644170183364.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/CTLCardinality3290437840176357598.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5450664644170183364.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-04 22:34:06] [INFO ] Flatten gal took : 728 ms
[2025-06-04 22:34:06] [INFO ] Applying decomposition
[2025-06-04 22:34:07] [INFO ] Flatten gal took : 755 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/graph9182776551472642972.txt' '-o' '/tmp/graph9182776551472642972.bin' '-w' '/tmp/graph9182776551472642972.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9182776551472642972.bin' '-l' '-1' '-v' '-w' '/tmp/graph9182776551472642972.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:34:08] [INFO ] Decomposing Gal with order
[2025-06-04 22:34:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:34:20] [INFO ] Removed a total of 16310 redundant transitions.
[2025-06-04 22:34:21] [INFO ] Flatten gal took : 3159 ms
[2025-06-04 22:34:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 51 labels/synchronizations in 85 ms.
[2025-06-04 22:34:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality12490150455887294438.gal : 139 ms
[2025-06-04 22:34:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality15484393224584388114.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/CTLCardinality12490150455887294438.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15484393224584388114.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 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 796 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:34:54] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
[2025-06-04 22:34:54] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:35:28] [INFO ] Performed 6044/16441 implicitness test of which 207 returned IMPLICIT in 30 seconds.
[2025-06-04 22:35:58] [INFO ] Performed 11477/16441 implicitness test of which 433 returned IMPLICIT in 60 seconds.
[2025-06-04 22:36:28] [INFO ] Performed 16099/16441 implicitness test of which 577 returned IMPLICIT in 90 seconds.
[2025-06-04 22:36:42] [INFO ] Implicit Places using invariants in 107787 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 107824 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 868 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 109490 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:36:43] [INFO ] Flatten gal took : 750 ms
[2025-06-04 22:36:44] [INFO ] Flatten gal took : 701 ms
[2025-06-04 22:36:45] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:36:46] [INFO ] Flatten gal took : 895 ms
[2025-06-04 22:36:47] [INFO ] Flatten gal took : 732 ms
[2025-06-04 22:36:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality13192008956183172471.gal : 112 ms
[2025-06-04 22:36:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality13053793546669201630.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/CTLCardinality13192008956183172471.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13053793546669201630.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.
[2025-06-04 22:37:18] [INFO ] Flatten gal took : 732 ms
[2025-06-04 22:37:18] [INFO ] Applying decomposition
[2025-06-04 22:37:19] [INFO ] Flatten gal took : 749 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/graph14319137064337177014.txt' '-o' '/tmp/graph14319137064337177014.bin' '-w' '/tmp/graph14319137064337177014.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14319137064337177014.bin' '-l' '-1' '-v' '-w' '/tmp/graph14319137064337177014.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:37:20] [INFO ] Decomposing Gal with order
[2025-06-04 22:37:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:37:32] [INFO ] Removed a total of 16082 redundant transitions.
[2025-06-04 22:37:32] [INFO ] Flatten gal took : 3259 ms
[2025-06-04 22:37:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 1570 labels/synchronizations in 417 ms.
[2025-06-04 22:37:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality10199153112776129829.gal : 163 ms
[2025-06-04 22:37:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality10548933011202712160.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/CTLCardinality10199153112776129829.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10548933011202712160.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 : 16441/16441 places, 24169/24169 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5399 transitions
Trivial Post-agglo rules discarded 5399 transitions
Performed 5399 trivial Post agglomeration. Transition count delta: 5399
Iterating post reduction 0 with 5399 rules applied. Total rules applied 5399 place count 16441 transition count 18770
Reduce places removed 5399 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 5400 rules applied. Total rules applied 10799 place count 11042 transition count 18769
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 10800 place count 11041 transition count 18769
Performed 450 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 450 Pre rules applied. Total rules applied 10800 place count 11041 transition count 18319
Deduced a syphon composed of 450 places in 28 ms
Reduce places removed 450 places and 0 transitions.
Iterating global reduction 3 with 900 rules applied. Total rules applied 11700 place count 10591 transition count 18319
Discarding 4949 places :
Symmetric choice reduction at 3 with 4949 rule applications. Total rules 16649 place count 5642 transition count 13370
Iterating global reduction 3 with 4949 rules applied. Total rules applied 21598 place count 5642 transition count 13370
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 17 Pre rules applied. Total rules applied 21598 place count 5642 transition count 13353
Deduced a syphon composed of 17 places in 11 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 21632 place count 5625 transition count 13353
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 22181 place count 5076 transition count 8412
Iterating global reduction 3 with 549 rules applied. Total rules applied 22730 place count 5076 transition count 8412
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 7 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 22780 place count 5051 transition count 8387
Applied a total of 22780 rules in 6146 ms. Remains 5051 /16441 variables (removed 11390) and now considering 8387/24169 (removed 15782) transitions.
[2025-06-04 22:38:09] [INFO ] Flow matrix only has 7787 transitions (discarded 600 similar events)
// Phase 1: matrix 7787 rows 5051 cols
[2025-06-04 22:38:10] [INFO ] Computed 1094 invariants in 389 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:38:30] [INFO ] Implicit Places using invariants in 20395 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 24, 31, 40, 51, 64, 79, 96, 115, 158, 182, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 236, 255, 272, 287, 300, 311, 320, 327, 332, 335, 361, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 376, 381, 388, 397, 408, 421, 436, 453, 492, 514, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 564, 581, 596, 609, 620, 629, 636, 641, 644, 646, 672, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 686, 689, 694, 701, 710, 721, 734, 749, 784, 804, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 850, 865, 878, 889, 898, 905, 910, 913, 915, 917, 943, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 957, 959, 962, 967, 974, 983, 994, 1007, 1038, 1056, 1074, 1075, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1098, 1111, 1122, 1131, 1138, 1143, 1146, 1148, 1150, 1152, 1178, 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1192, 1194, 1196, 1199, 1204, 1211, 1220, 1231, 1258, 1274, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1312, 1323, 1332, 1339, 1344, 1347, 1349, 1351, 1353, 1355, 1381, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1395, 1397, 1399, 1401, 1404, 1409, 1416, 1425, 1448, 1462, 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1483, 1484, 1485, 1496, 1505, 1512, 1517, 1520, 1522, 1524, 1526, 1528, 1530, 1556, 1559, 1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1570, 1572, 1574, 1576, 1578, 1581, 1586, 1593, 1612, 1624, 1636, 1637, 1638, 1639, 1640, 1641, 1642, 1643, 1644, 1645, 1654, 1661, 1666, 1669, 1671, 1673, 1675, 1677, 1679, 1681, 1707, 1710, 1711, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1721, 1723, 1725, 1727, 1729, 1731, 1734, 1739, 1754, 1764, 1774, 1775, 1776, 1777, 1778, 1779, 1780, 1781, 1782, 1783, 1790, 1795, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1838, 1841, 1842, 1843, 1844, 1845, 1846, 1847, 1848, 1849, 1850, 1852, 1854, 1856, 1858, 1860, 1862, 1864, 1867, 1878, 1886, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1901, 1902, 1903, 1908, 1911, 1913, 1915, 1917, 1919, 1921, 1923, 1925, 1927, 1953, 1956, 1957, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1988, 1994, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2012, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028, 2030, 2056, 2059, 2060, 2061, 2062, 2063, 2064, 2065, 2066, 2067, 2068, 2070, 2072, 2074, 2076, 2078, 2080, 2082, 2084, 2088, 2092, 2096, 2097, 2098, 2099, 2100, 2101, 2102, 2103, 2104, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2123, 2125, 2151, 2154, 2155, 2156, 2157, 2158, 2159, 2160, 2161, 2162, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2185, 2188, 2189, 2190, 2191, 2192, 2193, 2194, 2195, 2196, 2197, 2199, 2201, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2217, 2238, 2242, 2245, 2246, 2247, 2248, 2249, 2250, 2251, 2252, 2253, 2254, 2256, 2258, 2260, 2262, 2264, 2266, 2268, 2270, 2272, 2275, 2278, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2287, 2289, 2291, 2293, 2295, 2297, 2299, 2301, 2303, 2305, 2307, 2333, 2336, 2337, 2338, 2339, 2340, 2341, 2342, 2343, 2344, 2345, 2347, 2349, 2351, 2353, 2355, 2357, 2359, 2361, 2363, 2366, 2369, 2370, 2371, 2373, 2374, 2375, 2376, 2377, 2378, 2380, 2382, 2384, 2386, 2388, 2390, 2394, 2396, 2398, 2400, 2426, 2429, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437, 2438, 2440, 2442, 2444, 2446, 2448, 2450, 2452, 2454, 2456, 2460, 2465, 2466, 2467, 2468, 2469, 2470, 2471, 2472, 2473, 2474, 2477, 2479, 2481, 2483, 2485, 2487, 2489, 2491, 2493, 2495, 2521, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531, 2532, 2533, 2535, 2537, 2539, 2541, 2543, 2545, 2547, 2549, 2551, 2558, 2565, 2566, 2567, 2568, 2569, 2570, 2571, 2572, 2573, 2574, 2579, 2582, 2584, 2586, 2588, 2590, 2592, 2594, 2596, 2598, 2624, 2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634, 2635, 2636, 2638, 2640, 2642, 2644, 2646, 2648, 2650, 2652, 2655, 2666, 2675, 2676, 2677, 2678, 2679, 2680, 2681, 2682, 2683, 2684, 2691, 2696, 2699, 2701, 2703, 2705, 2707, 2709, 2711, 2713, 2739, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2749, 2750, 2751, 2753, 2755, 2757, 2759, 2761, 2763, 2765, 2768, 2773, 2788, 2799, 2800, 2801, 2802, 2803, 2804, 2805, 2806, 2807, 2808, 2817, 2824, 2829, 2832, 2834, 2836, 2838, 2840, 2842, 2844, 2870, 2873, 2874, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882, 2884, 2886, 2888, 2890, 2892, 2894, 2897, 2902, 2909, 2928, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2950, 2961, 2970, 2977, 2982, 2985, 2987, 2989, 2991, 2993, 2995, 3021, 3024, 3025, 3026, 3027, 3028, 3029, 3030, 3031, 3032, 3033, 3035, 3037, 3039, 3041, 3043, 3046, 3051, 3058, 3067, 3090, 3105, 3106, 3107, 3108, 3109, 3110, 3111, 3112, 3113, 3114, 3127, 3138, 3147, 3154, 3159, 3162, 3164, 3166, 3168, 3170, 3196, 3199, 3200, 3201, 3202, 3203, 3204, 3205, 3206, 3207, 3208, 3210, 3212, 3214, 3216, 3219, 3224, 3231, 3240, 3251, 3278, 3295, 3296, 3297, 3298, 3299, 3300, 3301, 3302, 3303, 3304, 3319, 3332, 3343, 3352, 3359, 3364, 3367, 3369, 3371, 3373, 3399, 3402, 3403, 3404, 3405, 3406, 3407, 3408, 3409, 3410, 3411, 3413, 3415, 3417, 3420, 3425, 3432, 3441, 3452, 3465, 3496, 3515, 3516, 3517, 3518, 3519, 3520, 3521, 3522, 3523, 3524, 3541, 3556, 3569, 3580, 3589, 3596, 3601, 3604, 3606, 3608, 3634, 3637, 3638, 3639, 3640, 3641, 3642, 3643, 3644, 3645, 3646, 3648, 3650, 3653, 3658, 3665, 3674, 3685, 3698, 3713, 3748, 3769, 3770, 3771, 3772, 3773, 3774, 3775, 3776, 3777, 3778, 3797, 3814, 3829, 3842, 3853, 3862, 3869, 3874, 3877, 3879, 3905, 3908, 3909, 3910, 3911, 3912, 3913, 3914, 3915, 3916, 3917, 3919, 3922, 3927, 3934, 3943, 3954, 3967, 3982, 3999, 4038, 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4070, 4091, 4110, 4127, 4142, 4155, 4166, 4175, 4182, 4187, 4190, 4214, 4217, 4218, 4219, 4220, 4221, 4222, 4223, 4224, 4225, 4226, 4229, 4234, 4241, 4250, 4261, 4274, 4289, 4306, 4325, 4368, 4393, 4394, 4395, 4396, 4397, 4398, 4399, 4400, 4401, 4402, 4425, 4446, 4465, 4482, 4497, 4510, 4521, 4530, 4537, 4542]
Discarding 1026 places :
Implicit Place search using SMT only with invariants took 20415 ms to find 1026 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 4025/16441 places, 8387/24169 transitions.
Discarding 431 places :
Symmetric choice reduction at 0 with 431 rule applications. Total rules 431 place count 3594 transition count 7956
Iterating global reduction 0 with 431 rules applied. Total rules applied 862 place count 3594 transition count 7956
Discarding 431 places :
Symmetric choice reduction at 0 with 431 rule applications. Total rules 1293 place count 3163 transition count 7525
Iterating global reduction 0 with 431 rules applied. Total rules applied 1724 place count 3163 transition count 7525
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 1771 place count 3116 transition count 7102
Iterating global reduction 0 with 47 rules applied. Total rules applied 1818 place count 3116 transition count 7102
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1820 place count 3115 transition count 7101
Applied a total of 1820 rules in 3714 ms. Remains 3115 /4025 variables (removed 910) and now considering 7101/8387 (removed 1286) transitions.
[2025-06-04 22:38:33] [INFO ] Flow matrix only has 6501 transitions (discarded 600 similar events)
// Phase 1: matrix 6501 rows 3115 cols
[2025-06-04 22:38:34] [INFO ] Computed 68 invariants in 230 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:38:42] [INFO ] Implicit Places using invariants in 8403 ms returned []
[2025-06-04 22:38:42] [INFO ] Flow matrix only has 6501 transitions (discarded 600 similar events)
[2025-06-04 22:38:42] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:38:46] [INFO ] State equation strengthened by 2634 read => feed constraints.
[2025-06-04 22:39:16] [INFO ] Performed 476/3115 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 22:39:46] [INFO ] Performed 857/3115 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 22:40:16] [INFO ] Performed 1194/3115 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 22:40:47] [INFO ] Performed 1378/3115 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 22:40:47] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 22:40:47] [INFO ] Implicit Places using invariants and state equation in 124847 ms returned []
Implicit Place search using SMT with State Equation took 133258 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3115/16441 places, 7101/24169 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 163533 ms. Remains : 3115/16441 places, 7101/24169 transitions.
[2025-06-04 22:40:47] [INFO ] Flatten gal took : 156 ms
[2025-06-04 22:40:47] [INFO ] Flatten gal took : 185 ms
[2025-06-04 22:40:47] [INFO ] Input system was already deterministic with 7101 transitions.
[2025-06-04 22:40:48] [INFO ] Flatten gal took : 386 ms
RANDOM walk for 25802 steps (395 resets) in 908 ms. (28 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C09-CTLCardinality-2023-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-06-04 22:40:48] [INFO ] Flatten gal took : 193 ms
[2025-06-04 22:40:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1234938235639636789.gal : 33 ms
[2025-06-04 22:40:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18000376982347808262.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1234938235639636789.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18000376982347808262.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 1010 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:40:49] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
// Phase 1: matrix 23569 rows 16441 cols
[2025-06-04 22:40:51] [INFO ] Computed 1094 invariants in 2181 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:41:26] [INFO ] Performed 4936/16441 implicitness test of which 164 returned IMPLICIT in 30 seconds.
[2025-06-04 22:41:56] [INFO ] Performed 9899/16441 implicitness test of which 370 returned IMPLICIT in 60 seconds.
[2025-06-04 22:42:26] [INFO ] Performed 14366/16441 implicitness test of which 531 returned IMPLICIT in 90 seconds.
[2025-06-04 22:42:50] [INFO ] Implicit Places using invariants in 121258 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 121283 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 986 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 123281 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:42:52] [INFO ] Flatten gal took : 646 ms
[2025-06-04 22:42:53] [INFO ] Flatten gal took : 745 ms
[2025-06-04 22:42:54] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:42:55] [INFO ] Flatten gal took : 684 ms
[2025-06-04 22:42:56] [INFO ] Flatten gal took : 666 ms
[2025-06-04 22:42:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality876367094188658072.gal : 98 ms
[2025-06-04 22:42:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality15666375249431407166.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/CTLCardinality876367094188658072.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15666375249431407166.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-04 22:43:27] [INFO ] Flatten gal took : 896 ms
[2025-06-04 22:43:27] [INFO ] Applying decomposition
[2025-06-04 22:43:27] [INFO ] Flatten gal took : 714 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/graph8814269508173444717.txt' '-o' '/tmp/graph8814269508173444717.bin' '-w' '/tmp/graph8814269508173444717.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8814269508173444717.bin' '-l' '-1' '-v' '-w' '/tmp/graph8814269508173444717.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:43:29] [INFO ] Decomposing Gal with order
[2025-06-04 22:43:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:43:41] [INFO ] Removed a total of 16099 redundant transitions.
[2025-06-04 22:43:41] [INFO ] Flatten gal took : 3028 ms
[2025-06-04 22:43:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 1425 labels/synchronizations in 522 ms.
[2025-06-04 22:43:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality12747495253962060834.gal : 131 ms
[2025-06-04 22:43:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality17369495454967316428.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/CTLCardinality12747495253962060834.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17369495454967316428.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 LTL mode, iteration 0 : 16441/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 1034 ms. Remains 16441 /16441 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
[2025-06-04 22:44:13] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
[2025-06-04 22:44:13] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 22:44:48] [INFO ] Performed 6146/16441 implicitness test of which 212 returned IMPLICIT in 30 seconds.
[2025-06-04 22:45:18] [INFO ] Performed 11660/16441 implicitness test of which 439 returned IMPLICIT in 60 seconds.
[2025-06-04 22:45:48] [INFO ] Performed 16125/16441 implicitness test of which 577 returned IMPLICIT in 90 seconds.
[2025-06-04 22:45:59] [INFO ] Implicit Places using invariants in 106276 ms returned [7, 29, 53, 79, 107, 137, 169, 203, 239, 277, 358, 401, 443, 483, 521, 557, 591, 623, 653, 681, 707, 731, 753, 817, 838, 860, 884, 910, 938, 968, 1000, 1034, 1070, 1147, 1188, 1228, 1266, 1302, 1336, 1368, 1398, 1426, 1452, 1476, 1498, 1519, 1583, 1604, 1625, 1647, 1671, 1697, 1725, 1755, 1787, 1821, 1894, 1933, 1971, 2007, 2041, 2073, 2103, 2131, 2157, 2181, 2203, 2224, 2245, 2309, 2330, 2351, 2372, 2394, 2418, 2444, 2472, 2502, 2534, 2603, 2640, 2676, 2710, 2742, 2772, 2800, 2826, 2850, 2872, 2893, 2914, 2935, 2999, 3020, 3041, 3062, 3083, 3105, 3129, 3155, 3183, 3213, 3278, 3313, 3347, 3379, 3409, 3437, 3463, 3487, 3509, 3530, 3551, 3572, 3593, 3657, 3678, 3699, 3720, 3741, 3762, 3784, 3808, 3834, 3862, 3923, 3956, 3988, 4018, 4046, 4072, 4096, 4118, 4139, 4160, 4181, 4202, 4223, 4287, 4308, 4329, 4350, 4371, 4392, 4413, 4435, 4459, 4485, 4542, 4573, 4603, 4631, 4657, 4681, 4703, 4724, 4745, 4766, 4787, 4808, 4829, 4893, 4914, 4935, 4956, 4977, 4998, 5019, 5040, 5062, 5086, 5139, 5168, 5196, 5222, 5246, 5268, 5289, 5310, 5331, 5352, 5373, 5394, 5415, 5479, 5500, 5521, 5542, 5563, 5584, 5605, 5626, 5647, 5669, 5718, 5745, 5771, 5795, 5817, 5838, 5859, 5880, 5901, 5922, 5943, 5964, 5985, 6049, 6070, 6091, 6112, 6133, 6154, 6175, 6196, 6217, 6238, 6283, 6308, 6332, 6354, 6375, 6396, 6417, 6438, 6459, 6480, 6501, 6522, 6543, 6607, 6628, 6649, 6670, 6691, 6712, 6733, 6754, 6775, 6796, 6838, 6861, 6883, 6904, 6925, 6946, 6967, 6988, 7009, 7030, 7051, 7072, 7093, 7157, 7178, 7199, 7220, 7241, 7262, 7283, 7304, 7325, 7346, 7367, 7388, 7409, 7430, 7451, 7472, 7493, 7514, 7535, 7556, 7577, 7598, 7619, 7640, 7698, 7703, 7724, 7745, 7766, 7787, 7808, 7829, 7850, 7871, 7892, 7913, 7954, 7975, 7996, 8017, 8038, 8059, 8080, 8101, 8122, 8143, 8164, 8185, 8249, 8270, 8291, 8312, 8333, 8354, 8375, 8396, 8417, 8438, 8459, 8500, 8521, 8542, 8563, 8584, 8605, 8626, 8647, 8668, 8689, 8710, 8731, 8795, 8816, 8837, 8858, 8879, 8900, 8921, 8942, 8963, 8984, 9005, 9047, 9070, 9092, 9113, 9134, 9155, 9176, 9197, 9218, 9239, 9260, 9281, 9345, 9366, 9387, 9408, 9429, 9450, 9471, 9492, 9513, 9534, 9555, 9600, 9625, 9649, 9671, 9692, 9713, 9734, 9755, 9776, 9797, 9818, 9839, 9903, 9924, 9945, 9966, 9987, 10008, 10029, 10050, 10071, 10092, 10114, 10163, 10190, 10216, 10240, 10262, 10283, 10304, 10325, 10346, 10367, 10388, 10409, 10473, 10494, 10515, 10536, 10557, 10578, 10599, 10620, 10641, 10663, 10687, 10740, 10769, 10797, 10823, 10847, 10869, 10890, 10911, 10932, 10953, 10974, 10995, 11059, 11080, 11101, 11122, 11143, 11164, 11185, 11206, 11228, 11252, 11278, 11335, 11366, 11396, 11424, 11450, 11474, 11496, 11517, 11538, 11559, 11580, 11601, 11665, 11686, 11707, 11728, 11749, 11770, 11791, 11813, 11837, 11863, 11891, 11952, 11985, 12017, 12047, 12075, 12101, 12125, 12147, 12168, 12189, 12210, 12231, 12295, 12316, 12337, 12358, 12379, 12400, 12422, 12446, 12472, 12500, 12530, 12595, 12630, 12664, 12696, 12726, 12754, 12780, 12804, 12826, 12847, 12868, 12889, 12953, 12974, 12995, 13016, 13037, 13059, 13083, 13109, 13137, 13167, 13199, 13268, 13305, 13341, 13375, 13407, 13437, 13465, 13491, 13515, 13537, 13558, 13579, 13643, 13664, 13685, 13706, 13728, 13752, 13778, 13806, 13836, 13868, 13902, 13975, 14014, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14262, 14284, 14305, 14369, 14390, 14411, 14433, 14457, 14483, 14511, 14541, 14573, 14607, 14643, 14720, 14761, 14801, 14839, 14875, 14909, 14941, 14971, 14999, 15025, 15049, 15071, 15133, 15154, 15176, 15200, 15226, 15254, 15284, 15316, 15350, 15386, 15424, 15505, 15548, 15590, 15630, 15668, 15704, 15738, 15770, 15800, 15828, 15854, 15878]
Discarding 577 places :
Implicit Place search using SMT only with invariants took 106302 ms to find 577 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 15864/16441 places, 24169/24169 transitions.
Applied a total of 0 rules in 1020 ms. Remains 15864 /15864 variables (removed 0) and now considering 24169/24169 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 108358 ms. Remains : 15864/16441 places, 24169/24169 transitions.
[2025-06-04 22:46:01] [INFO ] Flatten gal took : 725 ms
[2025-06-04 22:46:02] [INFO ] Flatten gal took : 750 ms
[2025-06-04 22:46:03] [INFO ] Input system was already deterministic with 24169 transitions.
[2025-06-04 22:46:04] [INFO ] Flatten gal took : 927 ms
[2025-06-04 22:46:05] [INFO ] Flatten gal took : 759 ms
[2025-06-04 22:46:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality13382942498208888529.gal : 108 ms
[2025-06-04 22:46:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality15809845806486268859.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/CTLCardinality13382942498208888529.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15809845806486268859.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.
[2025-06-04 22:46:36] [INFO ] Flatten gal took : 936 ms
[2025-06-04 22:46:36] [INFO ] Applying decomposition
[2025-06-04 22:46:37] [INFO ] Flatten gal took : 869 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/graph7290800744575836390.txt' '-o' '/tmp/graph7290800744575836390.bin' '-w' '/tmp/graph7290800744575836390.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7290800744575836390.bin' '-l' '-1' '-v' '-w' '/tmp/graph7290800744575836390.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:46:38] [INFO ] Decomposing Gal with order
[2025-06-04 22:46:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:46:51] [INFO ] Removed a total of 16422 redundant transitions.
[2025-06-04 22:46:51] [INFO ] Flatten gal took : 3050 ms
[2025-06-04 22:46:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 36 labels/synchronizations in 98 ms.
[2025-06-04 22:46:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality10832937744710469823.gal : 141 ms
[2025-06-04 22:46:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality5164867394299097477.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/CTLCardinality10832937744710469823.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5164867394299097477.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-04 22:47:25] [INFO ] Flatten gal took : 865 ms
[2025-06-04 22:47:26] [INFO ] Flatten gal took : 700 ms
[2025-06-04 22:47:26] [INFO ] Applying decomposition
[2025-06-04 22:47:27] [INFO ] Flatten gal took : 961 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/graph14088525162805093234.txt' '-o' '/tmp/graph14088525162805093234.bin' '-w' '/tmp/graph14088525162805093234.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14088525162805093234.bin' '-l' '-1' '-v' '-w' '/tmp/graph14088525162805093234.weights' '-q' '0' '-e' '0.001'
[2025-06-04 22:47:29] [INFO ] Decomposing Gal with order
[2025-06-04 22:47:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 22:47:46] [INFO ] Removed a total of 16443 redundant transitions.
[2025-06-04 22:47:47] [INFO ] Flatten gal took : 3265 ms
[2025-06-04 22:47:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 246 labels/synchronizations in 200 ms.
[2025-06-04 22:47:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality13051751535124494123.gal : 136 ms
[2025-06-04 22:47:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality8543164366850132515.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/CTLCardinality13051751535124494123.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8543164366850132515.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 9 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.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-S24C09"
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-S24C09, 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-174876524400393"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C09.tgz
mv MultiCrashLeafsetExtension-PT-S24C09 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 ;