About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S16C04
| 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????T?FTF????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-174876524300297.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-S16C04, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524300297
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.5M
-rw-r--r-- 1 mcc users 9.0K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K 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 21K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K 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.4K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K 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 4.1M 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-S16C04-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1748918518347
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-S16C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-03 02:42: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-03 02:42:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 02:42:01] [INFO ] Load time of PNML (sax parser for PT used): 707 ms
[2025-06-03 02:42:01] [INFO ] Transformed 4260 places.
[2025-06-03 02:42:01] [INFO ] Transformed 6027 transitions.
[2025-06-03 02:42:01] [INFO ] Parsed PT model containing 4260 places and 6027 transitions and 23774 arcs in 970 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 25 ms.
Support contains 99 out of 4260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 4260/4260 places, 6027/6027 transitions.
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 28 place count 4232 transition count 6027
Discarding 1053 places :
Symmetric choice reduction at 1 with 1053 rule applications. Total rules 1081 place count 3179 transition count 4974
Iterating global reduction 1 with 1053 rules applied. Total rules applied 2134 place count 3179 transition count 4974
Discarding 905 places :
Symmetric choice reduction at 1 with 905 rule applications. Total rules 3039 place count 2274 transition count 4069
Iterating global reduction 1 with 905 rules applied. Total rules applied 3944 place count 2274 transition count 4069
Discarding 188 places :
Symmetric choice reduction at 1 with 188 rule applications. Total rules 4132 place count 2086 transition count 3317
Iterating global reduction 1 with 188 rules applied. Total rules applied 4320 place count 2086 transition count 3317
Applied a total of 4320 rules in 1326 ms. Remains 2086 /4260 variables (removed 2174) and now considering 3317/6027 (removed 2710) transitions.
[2025-06-03 02:42:03] [INFO ] Flow matrix only has 3045 transitions (discarded 272 similar events)
// Phase 1: matrix 3045 rows 2086 cols
[2025-06-03 02:42:03] [INFO ] Computed 469 invariants in 304 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:42:10] [INFO ] Implicit Places using invariants in 7301 ms returned [4, 8, 12, 14, 20, 28, 35, 44, 55, 68, 83, 101, 117, 119, 121, 123, 125, 138, 149, 158, 165, 170, 173, 192, 199, 202, 203, 204, 205, 206, 209, 214, 221, 230, 241, 254, 268, 282, 283, 286, 297, 306, 315, 320, 323, 327, 353, 356, 357, 358, 359, 360, 362, 365, 370, 377, 386, 397, 409, 421, 422, 423, 424, 425, 434, 441, 446, 449, 451, 453, 472, 479, 482, 483, 486, 490, 492, 495, 500, 507, 528, 539, 540, 542, 549, 554, 560, 562, 564, 588, 595, 598, 599, 601, 602, 604, 606, 608, 611, 616, 625, 633, 641, 642, 644, 645, 652, 657, 662, 664, 666, 668, 687, 694, 701, 702, 706, 708, 710, 714, 717, 722, 731, 737, 738, 739, 741, 744, 746, 750, 752, 754, 756, 775, 782, 786, 787, 790, 794, 796, 798, 805, 808, 812, 817, 819, 820, 825, 827, 834, 839, 841, 860, 867, 870, 871, 873, 874, 876, 878, 880, 882, 886, 888, 890, 893, 894, 896, 897, 899, 901, 903, 908, 910, 912, 931, 933, 937, 941, 942, 944, 948, 950, 957, 959, 962, 966, 969, 971, 972, 973, 975, 977, 981, 983, 985, 987, 1006, 1013, 1016, 1017, 1020, 1021, 1025, 1027, 1029, 1031, 1033, 1035, 1037, 1040, 1041, 1042, 1043, 1044, 1048, 1050, 1052, 1055, 1057, 1076, 1083, 1086, 1087, 1088, 1089, 1090, 1092, 1094, 1096, 1098, 1100, 1102, 1105, 1111, 1112, 1113, 1114, 1117, 1119, 1123, 1125, 1127, 1129, 1148, 1155, 1159, 1160, 1162, 1164, 1166, 1171, 1173, 1175, 1178, 1186, 1193, 1196, 1197, 1202, 1208, 1211, 1213, 1217, 1219, 1238, 1245, 1248, 1249, 1251, 1252, 1256, 1258, 1260, 1262, 1265, 1270, 1277, 1290, 1302, 1307, 1310, 1312, 1316, 1318, 1340, 1347, 1350, 1351, 1352, 1353, 1354, 1356, 1358, 1360, 1363, 1368, 1375, 1384, 1395, 1396, 1397, 1398, 1408, 1415, 1420, 1423, 1425, 1427, 1446, 1453, 1457, 1458, 1459, 1460, 1462, 1464, 1467, 1472, 1479, 1491, 1502, 1516, 1517, 1518, 1519, 1530, 1539, 1546, 1551, 1554, 1556, 1578, 1585, 1588, 1589, 1590, 1592, 1594, 1597, 1602, 1609, 1621, 1632, 1645, 1661, 1662, 1663, 1664, 1677, 1690, 1699, 1706, 1711, 1714, 1733, 1735, 1739, 1742, 1743, 1752, 1758, 1767, 1779, 1790, 1803, 1818, 1836, 1838, 1839, 1854, 1870, 1884, 1893, 1900, 1905, 1925]
[2025-06-03 02:42:10] [INFO ] Actually due to overlaps returned [192, 472, 588, 687, 775, 860, 931, 1006, 1076, 1148, 1238, 1340, 1446, 1578, 1733, 1925, 4, 8, 12, 14, 117, 119, 121, 123, 202, 203, 204, 205, 282, 283, 356, 357, 358, 359, 360, 421, 422, 423, 424, 482, 483, 486, 539, 540, 598, 599, 601, 602, 641, 642, 644, 701, 702, 737, 738, 739, 786, 787, 790, 817, 819, 870, 871, 873, 874, 893, 894, 896, 933, 941, 942, 944, 969, 971, 972, 1016, 1017, 1020, 1021, 1040, 1041, 1042, 1043, 1086, 1087, 1088, 1089, 1090, 1111, 1112, 1113, 1159, 1160, 1162, 1193, 1196, 1248, 1249, 1251, 1252, 1350, 1351, 1352, 1353, 1354, 1395, 1396, 1397, 1398, 1457, 1458, 1459, 1460, 1516, 1517, 1518, 1588, 1589, 1590, 1592, 1661, 1662, 1663, 1735, 1742, 1743, 1836, 1838]
Discarding 128 places :
Implicit Place search using SMT only with invariants took 7380 ms to find 128 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1958/4260 places, 3317/6027 transitions.
Discarding 82 places :
Symmetric choice reduction at 0 with 82 rule applications. Total rules 82 place count 1876 transition count 3235
Iterating global reduction 0 with 82 rules applied. Total rules applied 164 place count 1876 transition count 3235
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 244 place count 1796 transition count 3155
Iterating global reduction 0 with 80 rules applied. Total rules applied 324 place count 1796 transition count 3155
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 401 place count 1719 transition count 3078
Iterating global reduction 0 with 77 rules applied. Total rules applied 478 place count 1719 transition count 3078
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 480 place count 1717 transition count 3070
Iterating global reduction 0 with 2 rules applied. Total rules applied 482 place count 1717 transition count 3070
Applied a total of 482 rules in 661 ms. Remains 1717 /1958 variables (removed 241) and now considering 3070/3317 (removed 247) transitions.
[2025-06-03 02:42:11] [INFO ] Flow matrix only has 2798 transitions (discarded 272 similar events)
// Phase 1: matrix 2798 rows 1717 cols
[2025-06-03 02:42:11] [INFO ] Computed 341 invariants in 121 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:42:16] [INFO ] Implicit Places using invariants in 4963 ms returned [16, 24, 31, 40, 51, 64, 79, 97, 117, 130, 141, 150, 157, 162, 165, 190, 193, 196, 201, 208, 217, 228, 241, 255, 271, 282, 291, 300, 305, 308, 312, 330, 334, 337, 342, 349, 358, 369, 381, 393, 402, 409, 414, 417, 419, 421, 434, 442, 444, 447, 452, 459, 480, 492, 499, 504, 510, 512, 514, 536, 541, 543, 545, 548, 553, 562, 570, 579, 586, 591, 596, 598, 600, 602, 616, 626, 628, 630, 634, 637, 642, 651, 658, 661, 663, 667, 669, 671, 673, 690, 699, 701, 703, 710, 713, 717, 723, 728, 730, 737, 742, 744, 761, 766, 768, 770, 772, 776, 778, 780, 784, 786, 788, 790, 795, 797, 799, 812, 820, 822, 829, 831, 834, 838, 842, 844, 846, 850, 852, 854, 856, 871, 879, 881, 883, 885, 887, 889, 891, 893, 897, 899, 901, 904, 906, 917, 921, 923, 925, 927, 929, 931, 934, 940, 943, 945, 949, 951, 953, 955, 968, 974, 976, 981, 983, 985, 988, 996, 1005, 1010, 1016, 1019, 1021, 1025, 1027, 1044, 1051, 1053, 1055, 1057, 1060, 1065, 1072, 1085, 1097, 1102, 1105, 1107, 1111, 1113, 1136, 1139, 1141, 1143, 1146, 1151, 1158, 1167, 1187, 1194, 1199, 1202, 1204, 1206, 1216, 1221, 1223, 1226, 1231, 1238, 1250, 1261, 1275, 1286, 1295, 1302, 1307, 1310, 1312, 1329, 1334, 1337, 1342, 1349, 1361, 1372, 1385, 1401, 1414, 1427, 1436, 1443, 1448, 1451, 1463, 1474, 1480, 1489, 1501, 1512, 1525, 1540, 1559, 1574, 1590, 1604, 1613, 1620, 1625]
Discarding 249 places :
Implicit Place search using SMT only with invariants took 4971 ms to find 249 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1468/4260 places, 3070/6027 transitions.
Applied a total of 0 rules in 134 ms. Remains 1468 /1468 variables (removed 0) and now considering 3070/3070 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 14501 ms. Remains : 1468/4260 places, 3070/6027 transitions.
Support contains 99 out of 1468 places after structural reductions.
[2025-06-03 02:42:17] [INFO ] Flatten gal took : 505 ms
[2025-06-03 02:42:17] [INFO ] Flatten gal took : 261 ms
[2025-06-03 02:42:18] [INFO ] Input system was already deterministic with 3070 transitions.
Support contains 96 out of 1468 places (down from 99) after GAL structural reductions.
RANDOM walk for 40000 steps (955 resets) in 3537 ms. (11 steps per ms) remains 35/59 properties
BEST_FIRST walk for 4004 steps (24 resets) in 59 ms. (66 steps per ms) remains 35/35 properties
BEST_FIRST walk for 4004 steps (24 resets) in 43 ms. (91 steps per ms) remains 35/35 properties
BEST_FIRST walk for 4004 steps (24 resets) in 39 ms. (100 steps per ms) remains 35/35 properties
BEST_FIRST walk for 4004 steps (24 resets) in 46 ms. (85 steps per ms) remains 35/35 properties
BEST_FIRST walk for 4003 steps (24 resets) in 53 ms. (74 steps per ms) remains 34/35 properties
BEST_FIRST walk for 4004 steps (24 resets) in 42 ms. (93 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 60 ms. (65 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 59 ms. (66 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 46 ms. (85 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 25 ms. (154 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (24 resets) in 35 ms. (111 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 27 ms. (143 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 32 ms. (121 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 31 ms. (125 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 25 ms. (154 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 29 ms. (133 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 33 ms. (117 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 30 ms. (129 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 29 ms. (133 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 26 ms. (148 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 76 ms. (52 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 24 ms. (160 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 37 ms. (105 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 30 ms. (129 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 34 ms. (114 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 31 ms. (125 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 28 ms. (138 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 24 ms. (160 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 28 ms. (138 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 29 ms. (133 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 24 ms. (160 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 26 ms. (148 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 27 ms. (143 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (24 resets) in 27 ms. (143 steps per ms) remains 34/34 properties
[2025-06-03 02:42:19] [INFO ] Flow matrix only has 2798 transitions (discarded 272 similar events)
// Phase 1: matrix 2798 rows 1468 cols
[2025-06-03 02:42:19] [INFO ] Computed 92 invariants in 59 ms
[2025-06-03 02:42:20] [INFO ] State equation strengthened by 1064 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/53 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 34 unsolved
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp58 is UNSAT
At refinement iteration 1 (OVERLAPS) 1256/1309 variables, 4/4 constraints. Problems are: Problem set: 16 solved, 18 unsolved
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp51 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/1309 variables, 7/11 constraints. Problems are: Problem set: 22 solved, 12 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1309 variables, 0/11 constraints. Problems are: Problem set: 22 solved, 12 unsolved
At refinement iteration 4 (OVERLAPS) 1/1310 variables, 1/12 constraints. Problems are: Problem set: 22 solved, 12 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1310 variables, 0/12 constraints. Problems are: Problem set: 22 solved, 12 unsolved
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp27 is UNSAT
At refinement iteration 6 (OVERLAPS) 124/1434 variables, 46/58 constraints. Problems are: Problem set: 27 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:24] [INFO ] Deduced a trap composed of 50 places in 2481 ms of which 219 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:27] [INFO ] Deduced a trap composed of 205 places in 2482 ms of which 653 ms to minimize.
SMT process timed out in 7136ms, After SMT, problems are : Problem set: 27 solved, 7 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 12 out of 1468 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1468/1468 places, 3070/3070 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 33 transitions
Trivial Post-agglo rules discarded 33 transitions
Performed 33 trivial Post agglomeration. Transition count delta: 33
Iterating post reduction 0 with 33 rules applied. Total rules applied 33 place count 1468 transition count 3037
Reduce places removed 33 places and 0 transitions.
Iterating post reduction 1 with 33 rules applied. Total rules applied 66 place count 1435 transition count 3037
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 66 place count 1435 transition count 2992
Deduced a syphon composed of 45 places in 3 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 156 place count 1390 transition count 2992
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 189 place count 1357 transition count 2947
Iterating global reduction 2 with 33 rules applied. Total rules applied 222 place count 1357 transition count 2947
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 222 place count 1357 transition count 2946
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 224 place count 1356 transition count 2946
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 251 place count 1329 transition count 2856
Iterating global reduction 2 with 27 rules applied. Total rules applied 278 place count 1329 transition count 2856
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 281 place count 1326 transition count 2844
Iterating global reduction 2 with 3 rules applied. Total rules applied 284 place count 1326 transition count 2844
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 5 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 346 place count 1295 transition count 2813
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 368 place count 1273 transition count 2791
Iterating global reduction 2 with 22 rules applied. Total rules applied 390 place count 1273 transition count 2791
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 411 place count 1252 transition count 2707
Iterating global reduction 2 with 21 rules applied. Total rules applied 432 place count 1252 transition count 2707
Free-agglomeration rule (complex) applied 161 times.
Iterating global reduction 2 with 161 rules applied. Total rules applied 593 place count 1252 transition count 3263
Reduce places removed 161 places and 0 transitions.
Iterating post reduction 2 with 161 rules applied. Total rules applied 754 place count 1091 transition count 3263
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 795 place count 1091 transition count 3263
Applied a total of 795 rules in 1578 ms. Remains 1091 /1468 variables (removed 377) and now considering 3263/3070 (removed -193) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1580 ms. Remains : 1091/1468 places, 3263/3070 transitions.
RANDOM walk for 40000 steps (1702 resets) in 1160 ms. (34 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (160 resets) in 146 ms. (272 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (187 resets) in 171 ms. (232 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (186 resets) in 232 ms. (171 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (184 resets) in 173 ms. (229 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (185 resets) in 134 ms. (296 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (184 resets) in 121 ms. (327 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (186 resets) in 146 ms. (272 steps per ms) remains 7/7 properties
Interrupted probabilistic random walk after 41783 steps, run timeout after 3001 ms. (steps per millisecond=13 ) properties seen :0 out of 7
Probabilistic random walk after 41783 steps, saw 17863 distinct states, run finished after 3009 ms. (steps per millisecond=13 ) properties seen :0
[2025-06-03 02:42:32] [INFO ] Flow matrix only has 2866 transitions (discarded 397 similar events)
// Phase 1: matrix 2866 rows 1091 cols
[2025-06-03 02:42:32] [INFO ] Computed 92 invariants in 61 ms
[2025-06-03 02:42:32] [INFO ] State equation strengthened by 1634 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/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 965/977 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/977 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (OVERLAPS) 1/978 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/978 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 79/1057 variables, 52/58 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1057 variables, 0/58 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (OVERLAPS) 26/1083 variables, 26/84 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1083 variables, 0/84 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 9 (OVERLAPS) 8/1091 variables, 8/92 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1091 variables, 0/92 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 11 (OVERLAPS) 2866/3957 variables, 1091/1183 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/3957 variables, 1634/2817 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/3957 variables, 0/2817 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 14 (OVERLAPS) 0/3957 variables, 0/2817 constraints. Problems are: Problem set: 0 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3957/3957 variables, and 2817 constraints, problems are : Problem set: 0 solved, 7 unsolved in 6246 ms.
Refiners :[Positive P Invariants (semi-flows): 32/32 constraints, Generalized P Invariants (flows): 60/60 constraints, State Equation: 1091/1091 constraints, ReadFeed: 1634/1634 constraints, PredecessorRefiner: 7/7 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 965/977 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:40] [INFO ] Deduced a trap composed of 153 places in 1210 ms of which 224 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:41] [INFO ] Deduced a trap composed of 201 places in 1643 ms of which 404 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:43] [INFO ] Deduced a trap composed of 153 places in 1905 ms of which 358 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:45] [INFO ] Deduced a trap composed of 223 places in 1899 ms of which 369 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:47] [INFO ] Deduced a trap composed of 249 places in 1722 ms of which 287 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:49] [INFO ] Deduced a trap composed of 152 places in 1748 ms of which 214 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:51] [INFO ] Deduced a trap composed of 183 places in 1720 ms of which 229 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:53] [INFO ] Deduced a trap composed of 184 places in 1821 ms of which 362 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:54] [INFO ] Deduced a trap composed of 249 places in 1657 ms of which 396 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/977 variables, 9/14 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/977 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (OVERLAPS) 1/978 variables, 1/15 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:57] [INFO ] Deduced a trap composed of 847 places in 1702 ms of which 492 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/978 variables, 1/16 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/978 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (OVERLAPS) 79/1057 variables, 52/68 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:42:59] [INFO ] Deduced a trap composed of 5 places in 1696 ms of which 37 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:01] [INFO ] Deduced a trap composed of 28 places in 1765 ms of which 105 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:03] [INFO ] Deduced a trap composed of 47 places in 1775 ms of which 129 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:04] [INFO ] Deduced a trap composed of 47 places in 1716 ms of which 115 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:06] [INFO ] Deduced a trap composed of 72 places in 1957 ms of which 222 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:08] [INFO ] Deduced a trap composed of 63 places in 1765 ms of which 185 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:10] [INFO ] Deduced a trap composed of 76 places in 1967 ms of which 208 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:12] [INFO ] Deduced a trap composed of 83 places in 1767 ms of which 182 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:14] [INFO ] Deduced a trap composed of 84 places in 1630 ms of which 170 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:15] [INFO ] Deduced a trap composed of 86 places in 1501 ms of which 175 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:16] [INFO ] Deduced a trap composed of 83 places in 1332 ms of which 166 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:18] [INFO ] Deduced a trap composed of 87 places in 1663 ms of which 181 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:20] [INFO ] Deduced a trap composed of 89 places in 1813 ms of which 206 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:22] [INFO ] Deduced a trap composed of 91 places in 1900 ms of which 187 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:24] [INFO ] Deduced a trap composed of 91 places in 1635 ms of which 180 ms to minimize.
SMT process timed out in 51721ms, After SMT, problems are : Problem set: 0 solved, 7 unsolved
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 12 out of 1091 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1091/1091 places, 3263/3263 transitions.
Applied a total of 0 rules in 114 ms. Remains 1091 /1091 variables (removed 0) and now considering 3263/3263 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 114 ms. Remains : 1091/1091 places, 3263/3263 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1091/1091 places, 3263/3263 transitions.
Applied a total of 0 rules in 202 ms. Remains 1091 /1091 variables (removed 0) and now considering 3263/3263 (removed 0) transitions.
[2025-06-03 02:43:24] [INFO ] Flow matrix only has 2866 transitions (discarded 397 similar events)
[2025-06-03 02:43:24] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:43:27] [INFO ] Implicit Places using invariants in 3593 ms returned [7, 8, 194, 195, 228, 306, 307, 326, 342, 343, 356, 369, 393, 413, 414, 432, 451, 452, 457, 463, 464, 468, 484, 493, 508, 509, 513, 519, 536, 546, 570, 587, 603, 604, 625, 645, 646, 647, 648, 701, 729, 767, 903, 904, 970, 971]
[2025-06-03 02:43:27] [INFO ] Actually due to overlaps returned [228, 326, 356, 457, 468, 513, 546, 701, 7, 8, 194, 195, 306, 307, 342, 343, 369, 393, 413, 414, 432, 451, 452, 463, 464, 484, 493, 508, 509, 519, 536, 570, 587, 603, 604, 625, 645, 646, 647, 648, 729, 767, 903, 970, 971]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 3600 ms to find 45 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 1046/1091 places, 3263/3263 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 1016 transition count 3233
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 1016 transition count 3233
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 90 place count 986 transition count 3203
Iterating global reduction 0 with 30 rules applied. Total rules applied 120 place count 986 transition count 3203
Applied a total of 120 rules in 266 ms. Remains 986 /1046 variables (removed 60) and now considering 3203/3263 (removed 60) transitions.
[2025-06-03 02:43:28] [INFO ] Flow matrix only has 2806 transitions (discarded 397 similar events)
// Phase 1: matrix 2806 rows 986 cols
[2025-06-03 02:43:28] [INFO ] Computed 47 invariants in 65 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:43:31] [INFO ] Implicit Places using invariants in 2923 ms returned [834]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2961 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 985/1091 places, 3203/3263 transitions.
Applied a total of 0 rules in 132 ms. Remains 985 /985 variables (removed 0) and now considering 3203/3203 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 7164 ms. Remains : 985/1091 places, 3203/3263 transitions.
RANDOM walk for 40000 steps (1701 resets) in 1550 ms. (25 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (160 resets) in 156 ms. (254 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (183 resets) in 144 ms. (275 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (183 resets) in 146 ms. (272 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (185 resets) in 144 ms. (275 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (182 resets) in 141 ms. (281 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (182 resets) in 144 ms. (275 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (182 resets) in 179 ms. (222 steps per ms) remains 7/7 properties
Interrupted probabilistic random walk after 43658 steps, run timeout after 3001 ms. (steps per millisecond=14 ) properties seen :0 out of 7
Probabilistic random walk after 43658 steps, saw 18376 distinct states, run finished after 3001 ms. (steps per millisecond=14 ) properties seen :0
[2025-06-03 02:43:35] [INFO ] Flow matrix only has 2806 transitions (discarded 397 similar events)
// Phase 1: matrix 2806 rows 985 cols
[2025-06-03 02:43:35] [INFO ] Computed 46 invariants in 46 ms
[2025-06-03 02:43:35] [INFO ] State equation strengthened by 1634 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 904/916 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:37] [INFO ] Deduced a trap composed of 92 places in 1544 ms of which 202 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:39] [INFO ] Deduced a trap composed of 163 places in 1691 ms of which 324 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:40] [INFO ] Deduced a trap composed of 109 places in 1410 ms of which 199 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:41] [INFO ] Deduced a trap composed of 123 places in 1416 ms of which 174 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:43] [INFO ] Deduced a trap composed of 189 places in 1767 ms of which 355 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:45] [INFO ] Deduced a trap composed of 109 places in 1489 ms of which 198 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:46] [INFO ] Deduced a trap composed of 141 places in 1439 ms of which 206 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:48] [INFO ] Deduced a trap composed of 92 places in 1396 ms of which 144 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/916 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/916 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (OVERLAPS) 1/917 variables, 1/13 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/917 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (OVERLAPS) 34/951 variables, 7/20 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:49] [INFO ] Deduced a trap composed of 5 places in 927 ms of which 30 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:51] [INFO ] Deduced a trap composed of 113 places in 1288 ms of which 144 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:52] [INFO ] Deduced a trap composed of 115 places in 1383 ms of which 156 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:53] [INFO ] Deduced a trap composed of 116 places in 1248 ms of which 134 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:54] [INFO ] Deduced a trap composed of 116 places in 1139 ms of which 131 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:56] [INFO ] Deduced a trap composed of 116 places in 1292 ms of which 140 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:57] [INFO ] Deduced a trap composed of 114 places in 1378 ms of which 136 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:43:58] [INFO ] Deduced a trap composed of 117 places in 1325 ms of which 136 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:00] [INFO ] Deduced a trap composed of 114 places in 1412 ms of which 200 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:01] [INFO ] Deduced a trap composed of 113 places in 1352 ms of which 177 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:03] [INFO ] Deduced a trap composed of 102 places in 1244 ms of which 142 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/951 variables, 11/31 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/951 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 9 (OVERLAPS) 26/977 variables, 26/57 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/977 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 11 (OVERLAPS) 8/985 variables, 8/65 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/985 variables, 0/65 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 13 (OVERLAPS) 2806/3791 variables, 985/1050 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/3791 variables, 1634/2684 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/3791 variables, 0/2684 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 16 (OVERLAPS) 0/3791 variables, 0/2684 constraints. Problems are: Problem set: 0 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3791/3791 variables, and 2684 constraints, problems are : Problem set: 0 solved, 7 unsolved in 33726 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, Generalized P Invariants (flows): 15/15 constraints, State Equation: 985/985 constraints, ReadFeed: 1634/1634 constraints, PredecessorRefiner: 7/7 constraints, Known Traps: 19/19 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 904/916 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/916 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/916 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (OVERLAPS) 1/917 variables, 1/13 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/917 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (OVERLAPS) 34/951 variables, 7/20 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/951 variables, 11/31 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:10] [INFO ] Deduced a trap composed of 28 places in 1211 ms of which 69 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:12] [INFO ] Deduced a trap composed of 47 places in 1388 ms of which 141 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:13] [INFO ] Deduced a trap composed of 63 places in 1487 ms of which 114 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:15] [INFO ] Deduced a trap composed of 63 places in 1689 ms of which 153 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:17] [INFO ] Deduced a trap composed of 56 places in 1807 ms of which 174 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:18] [INFO ] Deduced a trap composed of 61 places in 1549 ms of which 114 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:20] [INFO ] Deduced a trap composed of 62 places in 1579 ms of which 181 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:22] [INFO ] Deduced a trap composed of 63 places in 1496 ms of which 116 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:23] [INFO ] Deduced a trap composed of 47 places in 1556 ms of which 92 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:25] [INFO ] Deduced a trap composed of 69 places in 1568 ms of which 200 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:26] [INFO ] Deduced a trap composed of 66 places in 1214 ms of which 108 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:28] [INFO ] Deduced a trap composed of 61 places in 1692 ms of which 157 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:30] [INFO ] Deduced a trap composed of 62 places in 1808 ms of which 172 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:31] [INFO ] Deduced a trap composed of 63 places in 1340 ms of which 112 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:33] [INFO ] Deduced a trap composed of 66 places in 1598 ms of which 125 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:34] [INFO ] Deduced a trap composed of 65 places in 1425 ms of which 111 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:35] [INFO ] Deduced a trap composed of 89 places in 1440 ms of which 141 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:37] [INFO ] Deduced a trap composed of 56 places in 1360 ms of which 101 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:38] [INFO ] Deduced a trap composed of 72 places in 1189 ms of which 111 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:39] [INFO ] Deduced a trap composed of 76 places in 1195 ms of which 135 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/951 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:41] [INFO ] Deduced a trap composed of 76 places in 1254 ms of which 134 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:42] [INFO ] Deduced a trap composed of 91 places in 1163 ms of which 154 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:43] [INFO ] Deduced a trap composed of 56 places in 1329 ms of which 164 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:44] [INFO ] Deduced a trap composed of 56 places in 1310 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:45] [INFO ] Deduced a trap composed of 86 places in 986 ms of which 146 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:47] [INFO ] Deduced a trap composed of 86 places in 1182 ms of which 145 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:48] [INFO ] Deduced a trap composed of 56 places in 1324 ms of which 105 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:49] [INFO ] Deduced a trap composed of 56 places in 1233 ms of which 101 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:50] [INFO ] Deduced a trap composed of 76 places in 1142 ms of which 129 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:52] [INFO ] Deduced a trap composed of 91 places in 1074 ms of which 157 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:53] [INFO ] Deduced a trap composed of 104 places in 1261 ms of which 166 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:54] [INFO ] Deduced a trap composed of 139 places in 1043 ms of which 195 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:55] [INFO ] Deduced a trap composed of 56 places in 1062 ms of which 104 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:56] [INFO ] Deduced a trap composed of 107 places in 1161 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:57] [INFO ] Deduced a trap composed of 107 places in 1146 ms of which 163 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:44:59] [INFO ] Deduced a trap composed of 56 places in 1215 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:00] [INFO ] Deduced a trap composed of 76 places in 1083 ms of which 130 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:01] [INFO ] Deduced a trap composed of 76 places in 1012 ms of which 132 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:02] [INFO ] Deduced a trap composed of 98 places in 1172 ms of which 159 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:03] [INFO ] Deduced a trap composed of 95 places in 957 ms of which 158 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/951 variables, 20/71 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:04] [INFO ] Deduced a trap composed of 91 places in 1260 ms of which 153 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:05] [INFO ] Deduced a trap composed of 111 places in 1029 ms of which 180 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:07] [INFO ] Deduced a trap composed of 126 places in 1357 ms of which 202 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:08] [INFO ] Deduced a trap composed of 116 places in 1221 ms of which 186 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:09] [INFO ] Deduced a trap composed of 95 places in 1181 ms of which 159 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:10] [INFO ] Deduced a trap composed of 116 places in 1197 ms of which 193 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:11] [INFO ] Deduced a trap composed of 102 places in 1055 ms of which 161 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:13] [INFO ] Deduced a trap composed of 123 places in 1239 ms of which 182 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:14] [INFO ] Deduced a trap composed of 56 places in 1156 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:15] [INFO ] Deduced a trap composed of 95 places in 1156 ms of which 159 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:16] [INFO ] Deduced a trap composed of 104 places in 1026 ms of which 159 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:17] [INFO ] Deduced a trap composed of 116 places in 1001 ms of which 171 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:18] [INFO ] Deduced a trap composed of 125 places in 1060 ms of which 183 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:19] [INFO ] Deduced a trap composed of 58 places in 1046 ms of which 101 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:21] [INFO ] Deduced a trap composed of 146 places in 1315 ms of which 220 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:22] [INFO ] Deduced a trap composed of 65 places in 1102 ms of which 110 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:23] [INFO ] Deduced a trap composed of 66 places in 1094 ms of which 115 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 02:45:24] [INFO ] Deduced a trap composed of 68 places in 1166 ms of which 118 ms to minimize.
SMT process timed out in 109311ms, After SMT, problems are : Problem set: 0 solved, 7 unsolved
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 12 out of 985 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 985/985 places, 3203/3203 transitions.
Applied a total of 0 rules in 101 ms. Remains 985 /985 variables (removed 0) and now considering 3203/3203 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 101 ms. Remains : 985/985 places, 3203/3203 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 985/985 places, 3203/3203 transitions.
Applied a total of 0 rules in 102 ms. Remains 985 /985 variables (removed 0) and now considering 3203/3203 (removed 0) transitions.
[2025-06-03 02:45:24] [INFO ] Flow matrix only has 2806 transitions (discarded 397 similar events)
[2025-06-03 02:45:24] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:45:26] [INFO ] Implicit Places using invariants in 2173 ms returned []
[2025-06-03 02:45:26] [INFO ] Flow matrix only has 2806 transitions (discarded 397 similar events)
[2025-06-03 02:45:26] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:45:28] [INFO ] State equation strengthened by 1634 read => feed constraints.
[2025-06-03 02:45:58] [INFO ] Performed 484/985 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 02:46:28] [INFO ] Performed 959/985 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 02:46:31] [INFO ] Implicit Places using invariants and state equation in 64837 ms returned []
Implicit Place search using SMT with State Equation took 67013 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-03 02:46:32] [INFO ] Redundant transitions in 451 ms returned []
Running 3141 sub problems to find dead transitions.
[2025-06-03 02:46:32] [INFO ] Flow matrix only has 2806 transitions (discarded 397 similar events)
[2025-06-03 02:46:32] [INFO ] Invariant cache hit.
[2025-06-03 02:46:32] [INFO ] State equation strengthened by 1634 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/983 variables, 29/29 constraints. Problems are: Problem set: 0 solved, 3141 unsolved
SMT process timed out in 34475ms, After SMT, problems are : Problem set: 0 solved, 3141 unsolved
Search for dead transitions found 0 dead transitions in 34514ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 102124 ms. Remains : 985/985 places, 3203/3203 transitions.
Successfully simplified 27 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 02:47:06] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2025-06-03 02:47:06] [INFO ] Flatten gal took : 136 ms
[2025-06-03 02:47:06] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2023-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C04-CTLCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 02:47:07] [INFO ] Flatten gal took : 173 ms
[2025-06-03 02:47:07] [INFO ] Input system was already deterministic with 3070 transitions.
Support contains 36 out of 1468 places (down from 45) after GAL structural reductions.
Computed a total of 636 stabilizing places and 1437 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 1468/1468 places, 3070/3070 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 1468 transition count 3035
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 1 with 35 rules applied. Total rules applied 70 place count 1433 transition count 3035
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 70 place count 1433 transition count 2990
Deduced a syphon composed of 45 places in 2 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 160 place count 1388 transition count 2990
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 191 place count 1357 transition count 2947
Iterating global reduction 2 with 31 rules applied. Total rules applied 222 place count 1357 transition count 2947
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 222 place count 1357 transition count 2946
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 224 place count 1356 transition count 2946
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 250 place count 1330 transition count 2857
Iterating global reduction 2 with 26 rules applied. Total rules applied 276 place count 1330 transition count 2857
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 278 place count 1328 transition count 2849
Iterating global reduction 2 with 2 rules applied. Total rules applied 280 place count 1328 transition count 2849
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 2 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 342 place count 1297 transition count 2818
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 367 place count 1272 transition count 2793
Iterating global reduction 2 with 25 rules applied. Total rules applied 392 place count 1272 transition count 2793
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 416 place count 1248 transition count 2697
Iterating global reduction 2 with 24 rules applied. Total rules applied 440 place count 1248 transition count 2697
Applied a total of 440 rules in 749 ms. Remains 1248 /1468 variables (removed 220) and now considering 2697/3070 (removed 373) transitions.
[2025-06-03 02:47:08] [INFO ] Flow matrix only has 2425 transitions (discarded 272 similar events)
// Phase 1: matrix 2425 rows 1248 cols
[2025-06-03 02:47:08] [INFO ] Computed 92 invariants in 35 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:47:11] [INFO ] Implicit Places using invariants in 2861 ms returned [9, 10, 223, 263, 353, 354, 377, 396, 397, 413, 427, 457, 480, 481, 482, 503, 524, 525, 530, 540, 541, 545, 562, 572, 588, 589, 593, 600, 619, 629, 657, 678, 699, 700, 724, 749, 750, 751, 752, 813, 845, 890, 933, 991, 1043, 1044, 1045, 1118, 1119]
[2025-06-03 02:47:11] [INFO ] Actually due to overlaps returned [263, 9, 10, 223, 353, 354, 377, 396, 397, 413, 427, 457, 480, 481, 482, 503, 524, 525, 530, 540, 541, 545, 562, 572, 588, 589, 593, 600, 619, 629, 657, 678, 699, 700, 724, 749, 750, 751, 752, 813, 845, 890, 933, 991, 1043, 1044, 1118, 1119]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 2870 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1200/1468 places, 2697/3070 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 1167 transition count 2664
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 1167 transition count 2664
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 99 place count 1134 transition count 2631
Iterating global reduction 0 with 33 rules applied. Total rules applied 132 place count 1134 transition count 2631
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 141 place count 1125 transition count 2595
Iterating global reduction 0 with 9 rules applied. Total rules applied 150 place count 1125 transition count 2595
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 164 place count 1118 transition count 2588
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 171 place count 1111 transition count 2581
Iterating global reduction 0 with 7 rules applied. Total rules applied 178 place count 1111 transition count 2581
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 192 place count 1097 transition count 2525
Iterating global reduction 0 with 14 rules applied. Total rules applied 206 place count 1097 transition count 2525
Applied a total of 206 rules in 617 ms. Remains 1097 /1200 variables (removed 103) and now considering 2525/2697 (removed 172) transitions.
[2025-06-03 02:47:11] [INFO ] Flow matrix only has 2253 transitions (discarded 272 similar events)
// Phase 1: matrix 2253 rows 1097 cols
[2025-06-03 02:47:11] [INFO ] Computed 44 invariants in 43 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:47:14] [INFO ] Implicit Places using invariants in 2356 ms returned [941]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2359 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1096/1468 places, 2525/3070 transitions.
Applied a total of 0 rules in 104 ms. Remains 1096 /1096 variables (removed 0) and now considering 2525/2525 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 6702 ms. Remains : 1096/1468 places, 2525/3070 transitions.
[2025-06-03 02:47:14] [INFO ] Flatten gal took : 70 ms
[2025-06-03 02:47:14] [INFO ] Flatten gal took : 86 ms
[2025-06-03 02:47:14] [INFO ] Input system was already deterministic with 2525 transitions.
[2025-06-03 02:47:14] [INFO ] Flatten gal took : 84 ms
[2025-06-03 02:47:14] [INFO ] Flatten gal took : 82 ms
[2025-06-03 02:47:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality3684630885305830981.gal : 72 ms
[2025-06-03 02:47:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality7184362948342375688.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/CTLCardinality3684630885305830981.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7184362948342375688.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-03 02:47:44] [INFO ] Flatten gal took : 61 ms
[2025-06-03 02:47:44] [INFO ] Applying decomposition
[2025-06-03 02:47:45] [INFO ] Flatten gal took : 64 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/graph5271975055074384433.txt' '-o' '/tmp/graph5271975055074384433.bin' '-w' '/tmp/graph5271975055074384433.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5271975055074384433.bin' '-l' '-1' '-v' '-w' '/tmp/graph5271975055074384433.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:47:45] [INFO ] Decomposing Gal with order
[2025-06-03 02:47:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:47:45] [INFO ] Removed a total of 86 redundant transitions.
[2025-06-03 02:47:46] [INFO ] Flatten gal took : 259 ms
[2025-06-03 02:47:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 116 labels/synchronizations in 24 ms.
[2025-06-03 02:47:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality5948285329864021259.gal : 26 ms
[2025-06-03 02:47:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality7025836733423724217.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/CTLCardinality5948285329864021259.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7025836733423724217.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 : 1468/1468 places, 3070/3070 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 1468 transition count 3033
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 1 with 37 rules applied. Total rules applied 74 place count 1431 transition count 3033
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 74 place count 1431 transition count 2988
Deduced a syphon composed of 45 places in 2 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 164 place count 1386 transition count 2988
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 196 place count 1354 transition count 2944
Iterating global reduction 2 with 32 rules applied. Total rules applied 228 place count 1354 transition count 2944
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 228 place count 1354 transition count 2943
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 230 place count 1353 transition count 2943
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 256 place count 1327 transition count 2857
Iterating global reduction 2 with 26 rules applied. Total rules applied 282 place count 1327 transition count 2857
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 285 place count 1324 transition count 2845
Iterating global reduction 2 with 3 rules applied. Total rules applied 288 place count 1324 transition count 2845
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 2 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 350 place count 1293 transition count 2814
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 376 place count 1267 transition count 2788
Iterating global reduction 2 with 26 rules applied. Total rules applied 402 place count 1267 transition count 2788
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 427 place count 1242 transition count 2688
Iterating global reduction 2 with 25 rules applied. Total rules applied 452 place count 1242 transition count 2688
Applied a total of 452 rules in 721 ms. Remains 1242 /1468 variables (removed 226) and now considering 2688/3070 (removed 382) transitions.
[2025-06-03 02:48:17] [INFO ] Flow matrix only has 2416 transitions (discarded 272 similar events)
// Phase 1: matrix 2416 rows 1242 cols
[2025-06-03 02:48:17] [INFO ] Computed 92 invariants in 29 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:48:20] [INFO ] Implicit Places using invariants in 3183 ms returned [9, 10, 222, 223, 261, 351, 352, 375, 394, 395, 411, 425, 455, 477, 478, 479, 500, 521, 522, 527, 537, 538, 542, 559, 569, 586, 590, 599, 618, 628, 655, 673, 674, 692, 693, 717, 742, 743, 744, 745, 806, 838, 883, 926, 984, 1037, 1038, 1113, 1114]
[2025-06-03 02:48:20] [INFO ] Actually due to overlaps returned [261, 9, 10, 222, 223, 351, 352, 375, 394, 395, 411, 425, 455, 477, 478, 479, 500, 521, 522, 527, 537, 538, 542, 559, 569, 586, 590, 599, 618, 628, 655, 673, 674, 692, 693, 717, 742, 743, 744, 745, 806, 838, 883, 926, 984, 1037, 1113, 1114]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 3186 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1194/1468 places, 2688/3070 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 1161 transition count 2655
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 1161 transition count 2655
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 99 place count 1128 transition count 2622
Iterating global reduction 0 with 33 rules applied. Total rules applied 132 place count 1128 transition count 2622
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 141 place count 1119 transition count 2586
Iterating global reduction 0 with 9 rules applied. Total rules applied 150 place count 1119 transition count 2586
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 164 place count 1112 transition count 2579
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 171 place count 1105 transition count 2572
Iterating global reduction 0 with 7 rules applied. Total rules applied 178 place count 1105 transition count 2572
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 193 place count 1090 transition count 2512
Iterating global reduction 0 with 15 rules applied. Total rules applied 208 place count 1090 transition count 2512
Applied a total of 208 rules in 646 ms. Remains 1090 /1194 variables (removed 104) and now considering 2512/2688 (removed 176) transitions.
[2025-06-03 02:48:21] [INFO ] Flow matrix only has 2240 transitions (discarded 272 similar events)
// Phase 1: matrix 2240 rows 1090 cols
[2025-06-03 02:48:21] [INFO ] Computed 44 invariants in 24 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:48:23] [INFO ] Implicit Places using invariants in 2169 ms returned [932]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2177 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1089/1468 places, 2512/3070 transitions.
Applied a total of 0 rules in 171 ms. Remains 1089 /1089 variables (removed 0) and now considering 2512/2512 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 6903 ms. Remains : 1089/1468 places, 2512/3070 transitions.
[2025-06-03 02:48:23] [INFO ] Flatten gal took : 166 ms
[2025-06-03 02:48:24] [INFO ] Flatten gal took : 137 ms
[2025-06-03 02:48:24] [INFO ] Input system was already deterministic with 2512 transitions.
[2025-06-03 02:48:24] [INFO ] Flatten gal took : 74 ms
[2025-06-03 02:48:24] [INFO ] Flatten gal took : 75 ms
[2025-06-03 02:48:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality11998343270373009003.gal : 13 ms
[2025-06-03 02:48:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality16735178174789213898.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/CTLCardinality11998343270373009003.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16735178174789213898.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-03 02:48:54] [INFO ] Flatten gal took : 71 ms
[2025-06-03 02:48:54] [INFO ] Applying decomposition
[2025-06-03 02:48:54] [INFO ] Flatten gal took : 71 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/graph8070382704988749759.txt' '-o' '/tmp/graph8070382704988749759.bin' '-w' '/tmp/graph8070382704988749759.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8070382704988749759.bin' '-l' '-1' '-v' '-w' '/tmp/graph8070382704988749759.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:48:54] [INFO ] Decomposing Gal with order
[2025-06-03 02:48:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:48:55] [INFO ] Removed a total of 1209 redundant transitions.
[2025-06-03 02:48:55] [INFO ] Flatten gal took : 466 ms
[2025-06-03 02:48:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 202 labels/synchronizations in 47 ms.
[2025-06-03 02:48:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality5822880206337798216.gal : 19 ms
[2025-06-03 02:48:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality5732050383814095524.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/CTLCardinality5822880206337798216.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5732050383814095524.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 : 1468/1468 places, 3070/3070 transitions.
Discarding 57 places :
Symmetric choice reduction at 0 with 57 rule applications. Total rules 57 place count 1411 transition count 3001
Iterating global reduction 0 with 57 rules applied. Total rules applied 114 place count 1411 transition count 3001
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 165 place count 1360 transition count 2887
Iterating global reduction 0 with 51 rules applied. Total rules applied 216 place count 1360 transition count 2887
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 243 place count 1333 transition count 2791
Iterating global reduction 0 with 27 rules applied. Total rules applied 270 place count 1333 transition count 2791
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 273 place count 1330 transition count 2779
Iterating global reduction 0 with 3 rules applied. Total rules applied 276 place count 1330 transition count 2779
Applied a total of 276 rules in 617 ms. Remains 1330 /1468 variables (removed 138) and now considering 2779/3070 (removed 291) transitions.
[2025-06-03 02:49:26] [INFO ] Flow matrix only has 2507 transitions (discarded 272 similar events)
// Phase 1: matrix 2507 rows 1330 cols
[2025-06-03 02:49:26] [INFO ] Computed 92 invariants in 44 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:49:30] [INFO ] Implicit Places using invariants in 4093 ms returned [12, 14, 240, 241, 283, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 574, 575, 579, 601, 633, 638, 648, 671, 681, 710, 730, 731, 749, 782, 807, 808, 809, 810, 877, 910, 955, 1001, 1059, 1114, 1115, 1116, 1189, 1190]
[2025-06-03 02:49:30] [INFO ] Actually due to overlaps returned [283, 12, 14, 240, 241, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 574, 575, 579, 601, 633, 638, 648, 671, 681, 710, 730, 731, 749, 782, 807, 808, 809, 810, 877, 910, 955, 1001, 1059, 1114, 1115, 1189, 1190]
Discarding 47 places :
Implicit Place search using SMT only with invariants took 4104 ms to find 47 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1283/1468 places, 2779/3070 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 1244 transition count 2740
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 1244 transition count 2740
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 117 place count 1205 transition count 2701
Iterating global reduction 0 with 39 rules applied. Total rules applied 156 place count 1205 transition count 2701
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 195 place count 1166 transition count 2662
Iterating global reduction 0 with 39 rules applied. Total rules applied 234 place count 1166 transition count 2662
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 257 place count 1143 transition count 2570
Iterating global reduction 0 with 23 rules applied. Total rules applied 280 place count 1143 transition count 2570
Applied a total of 280 rules in 342 ms. Remains 1143 /1283 variables (removed 140) and now considering 2570/2779 (removed 209) transitions.
[2025-06-03 02:49:30] [INFO ] Flow matrix only has 2298 transitions (discarded 272 similar events)
// Phase 1: matrix 2298 rows 1143 cols
[2025-06-03 02:49:31] [INFO ] Computed 45 invariants in 31 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:49:33] [INFO ] Implicit Places using invariants in 2332 ms returned [979]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2336 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1142/1468 places, 2570/3070 transitions.
Applied a total of 0 rules in 107 ms. Remains 1142 /1142 variables (removed 0) and now considering 2570/2570 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7510 ms. Remains : 1142/1468 places, 2570/3070 transitions.
[2025-06-03 02:49:33] [INFO ] Flatten gal took : 72 ms
[2025-06-03 02:49:33] [INFO ] Flatten gal took : 90 ms
[2025-06-03 02:49:33] [INFO ] Input system was already deterministic with 2570 transitions.
[2025-06-03 02:49:33] [INFO ] Flatten gal took : 85 ms
[2025-06-03 02:49:33] [INFO ] Flatten gal took : 89 ms
[2025-06-03 02:49:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality3977750759224193409.gal : 15 ms
[2025-06-03 02:49:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality17793577624925135370.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/CTLCardinality3977750759224193409.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17793577624925135370.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-03 02:50:04] [INFO ] Flatten gal took : 78 ms
[2025-06-03 02:50:04] [INFO ] Applying decomposition
[2025-06-03 02:50:04] [INFO ] Flatten gal took : 81 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/graph9928541338868105565.txt' '-o' '/tmp/graph9928541338868105565.bin' '-w' '/tmp/graph9928541338868105565.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9928541338868105565.bin' '-l' '-1' '-v' '-w' '/tmp/graph9928541338868105565.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:50:04] [INFO ] Decomposing Gal with order
[2025-06-03 02:50:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:50:04] [INFO ] Removed a total of 1698 redundant transitions.
[2025-06-03 02:50:04] [INFO ] Flatten gal took : 241 ms
[2025-06-03 02:50:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 81 labels/synchronizations in 36 ms.
[2025-06-03 02:50:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality15352314005382219376.gal : 20 ms
[2025-06-03 02:50:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality9633098983410867681.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/CTLCardinality15352314005382219376.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9633098983410867681.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 : 1468/1468 places, 3070/3070 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 1412 transition count 3005
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 1412 transition count 3005
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 163 place count 1361 transition count 2894
Iterating global reduction 0 with 51 rules applied. Total rules applied 214 place count 1361 transition count 2894
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 242 place count 1333 transition count 2794
Iterating global reduction 0 with 28 rules applied. Total rules applied 270 place count 1333 transition count 2794
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 273 place count 1330 transition count 2782
Iterating global reduction 0 with 3 rules applied. Total rules applied 276 place count 1330 transition count 2782
Applied a total of 276 rules in 359 ms. Remains 1330 /1468 variables (removed 138) and now considering 2782/3070 (removed 288) transitions.
[2025-06-03 02:50:35] [INFO ] Flow matrix only has 2510 transitions (discarded 272 similar events)
// Phase 1: matrix 2510 rows 1330 cols
[2025-06-03 02:50:35] [INFO ] Computed 92 invariants in 45 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:50:39] [INFO ] Implicit Places using invariants in 3953 ms returned [12, 14, 240, 241, 283, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 575, 579, 604, 614, 633, 634, 638, 645, 668, 678, 707, 727, 728, 746, 747, 776, 801, 802, 803, 804, 872, 954, 1000, 1058, 1113, 1114, 1115, 1189, 1190]
[2025-06-03 02:50:39] [INFO ] Actually due to overlaps returned [283, 12, 14, 240, 241, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 575, 579, 604, 614, 633, 634, 638, 645, 668, 678, 707, 727, 728, 746, 747, 776, 801, 802, 803, 804, 872, 954, 1000, 1058, 1113, 1114, 1189, 1190]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 3959 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1282/1468 places, 2782/3070 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 1242 transition count 2742
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 1242 transition count 2742
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 120 place count 1202 transition count 2702
Iterating global reduction 0 with 40 rules applied. Total rules applied 160 place count 1202 transition count 2702
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 200 place count 1162 transition count 2662
Iterating global reduction 0 with 40 rules applied. Total rules applied 240 place count 1162 transition count 2662
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 264 place count 1138 transition count 2566
Iterating global reduction 0 with 24 rules applied. Total rules applied 288 place count 1138 transition count 2566
Applied a total of 288 rules in 585 ms. Remains 1138 /1282 variables (removed 144) and now considering 2566/2782 (removed 216) transitions.
[2025-06-03 02:50:40] [INFO ] Flow matrix only has 2294 transitions (discarded 272 similar events)
// Phase 1: matrix 2294 rows 1138 cols
[2025-06-03 02:50:40] [INFO ] Computed 44 invariants in 41 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:50:42] [INFO ] Implicit Places using invariants in 2251 ms returned [974]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2255 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1137/1468 places, 2566/3070 transitions.
Applied a total of 0 rules in 115 ms. Remains 1137 /1137 variables (removed 0) and now considering 2566/2566 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7278 ms. Remains : 1137/1468 places, 2566/3070 transitions.
[2025-06-03 02:50:42] [INFO ] Flatten gal took : 118 ms
[2025-06-03 02:50:42] [INFO ] Flatten gal took : 134 ms
[2025-06-03 02:50:43] [INFO ] Input system was already deterministic with 2566 transitions.
[2025-06-03 02:50:43] [INFO ] Flatten gal took : 124 ms
[2025-06-03 02:50:43] [INFO ] Flatten gal took : 101 ms
[2025-06-03 02:50:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality17749967774734683858.gal : 15 ms
[2025-06-03 02:50:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality12419784752446188487.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/CTLCardinality17749967774734683858.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12419784752446188487.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-03 02:51:13] [INFO ] Flatten gal took : 73 ms
[2025-06-03 02:51:13] [INFO ] Applying decomposition
[2025-06-03 02:51:13] [INFO ] Flatten gal took : 74 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/graph2385138655523009753.txt' '-o' '/tmp/graph2385138655523009753.bin' '-w' '/tmp/graph2385138655523009753.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2385138655523009753.bin' '-l' '-1' '-v' '-w' '/tmp/graph2385138655523009753.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:51:13] [INFO ] Decomposing Gal with order
[2025-06-03 02:51:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:51:14] [INFO ] Removed a total of 1690 redundant transitions.
[2025-06-03 02:51:14] [INFO ] Flatten gal took : 275 ms
[2025-06-03 02:51:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 99 labels/synchronizations in 49 ms.
[2025-06-03 02:51:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality2557791883058874626.gal : 19 ms
[2025-06-03 02:51:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality11463421310907131390.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/CTLCardinality2557791883058874626.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11463421310907131390.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 : 1468/1468 places, 3070/3070 transitions.
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 55 place count 1413 transition count 3003
Iterating global reduction 0 with 55 rules applied. Total rules applied 110 place count 1413 transition count 3003
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 159 place count 1364 transition count 2900
Iterating global reduction 0 with 49 rules applied. Total rules applied 208 place count 1364 transition count 2900
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 236 place count 1336 transition count 2800
Iterating global reduction 0 with 28 rules applied. Total rules applied 264 place count 1336 transition count 2800
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 267 place count 1333 transition count 2788
Iterating global reduction 0 with 3 rules applied. Total rules applied 270 place count 1333 transition count 2788
Applied a total of 270 rules in 346 ms. Remains 1333 /1468 variables (removed 135) and now considering 2788/3070 (removed 282) transitions.
[2025-06-03 02:51:44] [INFO ] Flow matrix only has 2516 transitions (discarded 272 similar events)
// Phase 1: matrix 2516 rows 1333 cols
[2025-06-03 02:51:44] [INFO ] Computed 92 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:51:48] [INFO ] Implicit Places using invariants in 3944 ms returned [14, 242, 287, 379, 380, 403, 422, 423, 439, 458, 488, 513, 515, 538, 564, 565, 570, 580, 581, 585, 607, 617, 636, 637, 641, 648, 671, 681, 710, 730, 731, 749, 750, 779, 804, 805, 806, 877, 910, 955, 1001, 1059, 1114, 1115, 1116, 1190]
[2025-06-03 02:51:48] [INFO ] Actually due to overlaps returned [287, 14, 242, 379, 380, 403, 422, 423, 439, 458, 488, 513, 515, 538, 564, 565, 570, 580, 581, 585, 607, 617, 636, 637, 641, 648, 671, 681, 710, 730, 731, 749, 750, 779, 804, 805, 806, 877, 910, 955, 1001, 1059, 1114, 1115, 1190]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 3969 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1288/1468 places, 2788/3070 transitions.
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 37 place count 1251 transition count 2751
Iterating global reduction 0 with 37 rules applied. Total rules applied 74 place count 1251 transition count 2751
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 111 place count 1214 transition count 2714
Iterating global reduction 0 with 37 rules applied. Total rules applied 148 place count 1214 transition count 2714
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 185 place count 1177 transition count 2677
Iterating global reduction 0 with 37 rules applied. Total rules applied 222 place count 1177 transition count 2677
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 243 place count 1156 transition count 2593
Iterating global reduction 0 with 21 rules applied. Total rules applied 264 place count 1156 transition count 2593
Applied a total of 264 rules in 380 ms. Remains 1156 /1288 variables (removed 132) and now considering 2593/2788 (removed 195) transitions.
[2025-06-03 02:51:49] [INFO ] Flow matrix only has 2321 transitions (discarded 272 similar events)
// Phase 1: matrix 2321 rows 1156 cols
[2025-06-03 02:51:49] [INFO ] Computed 47 invariants in 25 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:51:51] [INFO ] Implicit Places using invariants in 2311 ms returned [983]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2323 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1155/1468 places, 2593/3070 transitions.
Applied a total of 0 rules in 68 ms. Remains 1155 /1155 variables (removed 0) and now considering 2593/2593 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7090 ms. Remains : 1155/1468 places, 2593/3070 transitions.
[2025-06-03 02:51:51] [INFO ] Flatten gal took : 65 ms
[2025-06-03 02:51:51] [INFO ] Flatten gal took : 84 ms
[2025-06-03 02:51:51] [INFO ] Input system was already deterministic with 2593 transitions.
[2025-06-03 02:51:51] [INFO ] Flatten gal took : 76 ms
[2025-06-03 02:51:52] [INFO ] Flatten gal took : 79 ms
[2025-06-03 02:51:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality2643226357180234978.gal : 21 ms
[2025-06-03 02:51:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality2189031255253411569.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/CTLCardinality2643226357180234978.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2189031255253411569.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-03 02:52:22] [INFO ] Flatten gal took : 120 ms
[2025-06-03 02:52:22] [INFO ] Applying decomposition
[2025-06-03 02:52:22] [INFO ] Flatten gal took : 124 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/graph2395728203404823805.txt' '-o' '/tmp/graph2395728203404823805.bin' '-w' '/tmp/graph2395728203404823805.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2395728203404823805.bin' '-l' '-1' '-v' '-w' '/tmp/graph2395728203404823805.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:52:22] [INFO ] Decomposing Gal with order
[2025-06-03 02:52:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:52:22] [INFO ] Removed a total of 1689 redundant transitions.
[2025-06-03 02:52:23] [INFO ] Flatten gal took : 249 ms
[2025-06-03 02:52:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 96 labels/synchronizations in 19 ms.
[2025-06-03 02:52:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality6046194164810391914.gal : 21 ms
[2025-06-03 02:52:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality10516930148906473960.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/CTLCardinality6046194164810391914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10516930148906473960.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 : 1468/1468 places, 3070/3070 transitions.
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 60 place count 1408 transition count 2998
Iterating global reduction 0 with 60 rules applied. Total rules applied 120 place count 1408 transition count 2998
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 174 place count 1354 transition count 2881
Iterating global reduction 0 with 54 rules applied. Total rules applied 228 place count 1354 transition count 2881
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 258 place count 1324 transition count 2773
Iterating global reduction 0 with 30 rules applied. Total rules applied 288 place count 1324 transition count 2773
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 291 place count 1321 transition count 2761
Iterating global reduction 0 with 3 rules applied. Total rules applied 294 place count 1321 transition count 2761
Applied a total of 294 rules in 356 ms. Remains 1321 /1468 variables (removed 147) and now considering 2761/3070 (removed 309) transitions.
[2025-06-03 02:52:53] [INFO ] Flow matrix only has 2489 transitions (discarded 272 similar events)
// Phase 1: matrix 2489 rows 1321 cols
[2025-06-03 02:52:53] [INFO ] Computed 92 invariants in 43 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:52:57] [INFO ] Implicit Places using invariants in 4078 ms returned [12, 14, 240, 241, 283, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 574, 575, 579, 601, 611, 630, 631, 635, 642, 665, 675, 704, 724, 725, 743, 744, 773, 798, 799, 800, 801, 868, 901, 946, 992, 1050, 1105, 1106, 1107, 1180, 1181]
[2025-06-03 02:52:57] [INFO ] Actually due to overlaps returned [283, 12, 14, 240, 241, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 574, 575, 579, 601, 611, 630, 631, 635, 642, 665, 675, 704, 724, 725, 743, 744, 773, 798, 799, 800, 801, 868, 901, 946, 992, 1050, 1105, 1106, 1180, 1181]
Discarding 50 places :
Implicit Place search using SMT only with invariants took 4088 ms to find 50 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1271/1468 places, 2761/3070 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 1229 transition count 2719
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 1229 transition count 2719
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 126 place count 1187 transition count 2677
Iterating global reduction 0 with 42 rules applied. Total rules applied 168 place count 1187 transition count 2677
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 210 place count 1145 transition count 2635
Iterating global reduction 0 with 42 rules applied. Total rules applied 252 place count 1145 transition count 2635
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 278 place count 1119 transition count 2531
Iterating global reduction 0 with 26 rules applied. Total rules applied 304 place count 1119 transition count 2531
Applied a total of 304 rules in 345 ms. Remains 1119 /1271 variables (removed 152) and now considering 2531/2761 (removed 230) transitions.
[2025-06-03 02:52:58] [INFO ] Flow matrix only has 2259 transitions (discarded 272 similar events)
// Phase 1: matrix 2259 rows 1119 cols
[2025-06-03 02:52:58] [INFO ] Computed 42 invariants in 33 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:53:00] [INFO ] Implicit Places using invariants in 2125 ms returned [958]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2129 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1118/1468 places, 2531/3070 transitions.
Applied a total of 0 rules in 93 ms. Remains 1118 /1118 variables (removed 0) and now considering 2531/2531 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7014 ms. Remains : 1118/1468 places, 2531/3070 transitions.
[2025-06-03 02:53:00] [INFO ] Flatten gal took : 64 ms
[2025-06-03 02:53:00] [INFO ] Flatten gal took : 76 ms
[2025-06-03 02:53:00] [INFO ] Input system was already deterministic with 2531 transitions.
[2025-06-03 02:53:00] [INFO ] Flatten gal took : 84 ms
[2025-06-03 02:53:00] [INFO ] Flatten gal took : 77 ms
[2025-06-03 02:53:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality501594192145180441.gal : 13 ms
[2025-06-03 02:53:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality12734915812618812747.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/CTLCardinality501594192145180441.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12734915812618812747.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-03 02:53:31] [INFO ] Flatten gal took : 78 ms
[2025-06-03 02:53:31] [INFO ] Applying decomposition
[2025-06-03 02:53:31] [INFO ] Flatten gal took : 82 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/graph4442366592837522262.txt' '-o' '/tmp/graph4442366592837522262.bin' '-w' '/tmp/graph4442366592837522262.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4442366592837522262.bin' '-l' '-1' '-v' '-w' '/tmp/graph4442366592837522262.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:53:31] [INFO ] Decomposing Gal with order
[2025-06-03 02:53:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:53:31] [INFO ] Removed a total of 2906 redundant transitions.
[2025-06-03 02:53:31] [INFO ] Flatten gal took : 327 ms
[2025-06-03 02:53:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 1132 labels/synchronizations in 99 ms.
[2025-06-03 02:53:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality3266097412387791426.gal : 49 ms
[2025-06-03 02:53:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality4614560062464488269.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/CTLCardinality3266097412387791426.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4614560062464488269.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1468/1468 places, 3070/3070 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 1468 transition count 3035
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 1 with 35 rules applied. Total rules applied 70 place count 1433 transition count 3035
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 70 place count 1433 transition count 2990
Deduced a syphon composed of 45 places in 2 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 160 place count 1388 transition count 2990
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 190 place count 1358 transition count 2948
Iterating global reduction 2 with 30 rules applied. Total rules applied 220 place count 1358 transition count 2948
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 220 place count 1358 transition count 2947
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 222 place count 1357 transition count 2947
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 246 place count 1333 transition count 2869
Iterating global reduction 2 with 24 rules applied. Total rules applied 270 place count 1333 transition count 2869
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 273 place count 1330 transition count 2857
Iterating global reduction 2 with 3 rules applied. Total rules applied 276 place count 1330 transition count 2857
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 1 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 338 place count 1299 transition count 2826
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 363 place count 1274 transition count 2801
Iterating global reduction 2 with 25 rules applied. Total rules applied 388 place count 1274 transition count 2801
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 412 place count 1250 transition count 2705
Iterating global reduction 2 with 24 rules applied. Total rules applied 436 place count 1250 transition count 2705
Applied a total of 436 rules in 744 ms. Remains 1250 /1468 variables (removed 218) and now considering 2705/3070 (removed 365) transitions.
[2025-06-03 02:54:02] [INFO ] Flow matrix only has 2433 transitions (discarded 272 similar events)
// Phase 1: matrix 2433 rows 1250 cols
[2025-06-03 02:54:02] [INFO ] Computed 92 invariants in 42 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:54:07] [INFO ] Implicit Places using invariants in 4184 ms returned [9, 10, 222, 223, 261, 351, 352, 375, 394, 395, 411, 425, 479, 480, 481, 502, 523, 524, 529, 539, 544, 564, 574, 590, 591, 595, 623, 633, 660, 678, 679, 697, 698, 722, 747, 748, 749, 750, 811, 843, 888, 931, 1043, 1045, 1121, 1122]
[2025-06-03 02:54:07] [INFO ] Actually due to overlaps returned [261, 9, 10, 222, 223, 351, 352, 375, 394, 395, 411, 425, 479, 480, 481, 502, 523, 524, 529, 539, 544, 564, 574, 590, 591, 595, 623, 633, 660, 678, 679, 697, 698, 722, 747, 748, 749, 750, 811, 843, 888, 931, 1043, 1121, 1122]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 4187 ms to find 45 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1205/1468 places, 2705/3070 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 1175 transition count 2675
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 1175 transition count 2675
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 90 place count 1145 transition count 2645
Iterating global reduction 0 with 30 rules applied. Total rules applied 120 place count 1145 transition count 2645
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 127 place count 1138 transition count 2617
Iterating global reduction 0 with 7 rules applied. Total rules applied 134 place count 1138 transition count 2617
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 148 place count 1131 transition count 2610
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 155 place count 1124 transition count 2603
Iterating global reduction 0 with 7 rules applied. Total rules applied 162 place count 1124 transition count 2603
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 176 place count 1110 transition count 2547
Iterating global reduction 0 with 14 rules applied. Total rules applied 190 place count 1110 transition count 2547
Applied a total of 190 rules in 583 ms. Remains 1110 /1205 variables (removed 95) and now considering 2547/2705 (removed 158) transitions.
[2025-06-03 02:54:07] [INFO ] Flow matrix only has 2275 transitions (discarded 272 similar events)
// Phase 1: matrix 2275 rows 1110 cols
[2025-06-03 02:54:07] [INFO ] Computed 47 invariants in 45 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:54:09] [INFO ] Implicit Places using invariants in 2251 ms returned [948]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2253 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1109/1468 places, 2547/3070 transitions.
Applied a total of 0 rules in 129 ms. Remains 1109 /1109 variables (removed 0) and now considering 2547/2547 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 7901 ms. Remains : 1109/1468 places, 2547/3070 transitions.
[2025-06-03 02:54:10] [INFO ] Flatten gal took : 54 ms
[2025-06-03 02:54:10] [INFO ] Flatten gal took : 66 ms
[2025-06-03 02:54:10] [INFO ] Input system was already deterministic with 2547 transitions.
[2025-06-03 02:54:10] [INFO ] Flatten gal took : 64 ms
[2025-06-03 02:54:10] [INFO ] Flatten gal took : 66 ms
[2025-06-03 02:54:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality3515164952039562400.gal : 15 ms
[2025-06-03 02:54:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality16003419429068949763.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/CTLCardinality3515164952039562400.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16003419429068949763.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-03 02:54:40] [INFO ] Flatten gal took : 103 ms
[2025-06-03 02:54:40] [INFO ] Applying decomposition
[2025-06-03 02:54:40] [INFO ] Flatten gal took : 105 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/graph12359530756619412191.txt' '-o' '/tmp/graph12359530756619412191.bin' '-w' '/tmp/graph12359530756619412191.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12359530756619412191.bin' '-l' '-1' '-v' '-w' '/tmp/graph12359530756619412191.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:54:41] [INFO ] Decomposing Gal with order
[2025-06-03 02:54:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:54:41] [INFO ] Removed a total of 95 redundant transitions.
[2025-06-03 02:54:41] [INFO ] Flatten gal took : 146 ms
[2025-06-03 02:54:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 10 labels/synchronizations in 2 ms.
[2025-06-03 02:54:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality10272136971882132641.gal : 14 ms
[2025-06-03 02:54:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality2165345147956424163.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/CTLCardinality10272136971882132641.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2165345147956424163.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 SI_CTL mode, iteration 0 : 1468/1468 places, 3070/3070 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 1468 transition count 3034
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 72 place count 1432 transition count 3034
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 72 place count 1432 transition count 2989
Deduced a syphon composed of 45 places in 2 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 162 place count 1387 transition count 2989
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 195 place count 1354 transition count 2944
Iterating global reduction 2 with 33 rules applied. Total rules applied 228 place count 1354 transition count 2944
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 228 place count 1354 transition count 2943
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 230 place count 1353 transition count 2943
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 257 place count 1326 transition count 2853
Iterating global reduction 2 with 27 rules applied. Total rules applied 284 place count 1326 transition count 2853
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 287 place count 1323 transition count 2841
Iterating global reduction 2 with 3 rules applied. Total rules applied 290 place count 1323 transition count 2841
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 8 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 352 place count 1292 transition count 2810
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 377 place count 1267 transition count 2785
Iterating global reduction 2 with 25 rules applied. Total rules applied 402 place count 1267 transition count 2785
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 426 place count 1243 transition count 2689
Iterating global reduction 2 with 24 rules applied. Total rules applied 450 place count 1243 transition count 2689
Applied a total of 450 rules in 933 ms. Remains 1243 /1468 variables (removed 225) and now considering 2689/3070 (removed 381) transitions.
[2025-06-03 02:55:12] [INFO ] Flow matrix only has 2417 transitions (discarded 272 similar events)
// Phase 1: matrix 2417 rows 1243 cols
[2025-06-03 02:55:12] [INFO ] Computed 92 invariants in 27 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:55:15] [INFO ] Implicit Places using invariants in 2839 ms returned [9, 10, 222, 223, 261, 351, 352, 375, 394, 395, 411, 425, 455, 477, 478, 479, 523, 524, 529, 539, 540, 544, 561, 571, 587, 588, 592, 599, 618, 628, 655, 673, 674, 692, 693, 717, 742, 743, 745, 809, 841, 886, 929, 987, 1039, 1040, 1041, 1114, 1115]
[2025-06-03 02:55:15] [INFO ] Actually due to overlaps returned [261, 9, 10, 222, 223, 351, 352, 375, 394, 395, 411, 425, 455, 477, 478, 479, 523, 524, 529, 539, 540, 544, 561, 571, 587, 588, 592, 599, 618, 628, 655, 673, 674, 692, 693, 717, 742, 743, 745, 809, 841, 886, 929, 987, 1039, 1040, 1114, 1115]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 2860 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1195/1468 places, 2689/3070 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 1162 transition count 2656
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 1162 transition count 2656
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 99 place count 1129 transition count 2623
Iterating global reduction 0 with 33 rules applied. Total rules applied 132 place count 1129 transition count 2623
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 143 place count 1118 transition count 2579
Iterating global reduction 0 with 11 rules applied. Total rules applied 154 place count 1118 transition count 2579
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 168 place count 1111 transition count 2572
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 175 place count 1104 transition count 2565
Iterating global reduction 0 with 7 rules applied. Total rules applied 182 place count 1104 transition count 2565
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 195 place count 1091 transition count 2513
Iterating global reduction 0 with 13 rules applied. Total rules applied 208 place count 1091 transition count 2513
Applied a total of 208 rules in 694 ms. Remains 1091 /1195 variables (removed 104) and now considering 2513/2689 (removed 176) transitions.
[2025-06-03 02:55:15] [INFO ] Flow matrix only has 2241 transitions (discarded 272 similar events)
// Phase 1: matrix 2241 rows 1091 cols
[2025-06-03 02:55:16] [INFO ] Computed 44 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:55:18] [INFO ] Implicit Places using invariants in 2221 ms returned [936]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2232 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1090/1468 places, 2513/3070 transitions.
Applied a total of 0 rules in 167 ms. Remains 1090 /1090 variables (removed 0) and now considering 2513/2513 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 6888 ms. Remains : 1090/1468 places, 2513/3070 transitions.
[2025-06-03 02:55:18] [INFO ] Flatten gal took : 55 ms
[2025-06-03 02:55:18] [INFO ] Flatten gal took : 66 ms
[2025-06-03 02:55:18] [INFO ] Input system was already deterministic with 2513 transitions.
[2025-06-03 02:55:18] [INFO ] Flatten gal took : 118 ms
[2025-06-03 02:55:18] [INFO ] Flatten gal took : 104 ms
[2025-06-03 02:55:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality13493113798331101508.gal : 18 ms
[2025-06-03 02:55:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality2061603756499340418.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/CTLCardinality13493113798331101508.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2061603756499340418.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-03 02:55:49] [INFO ] Flatten gal took : 61 ms
[2025-06-03 02:55:49] [INFO ] Applying decomposition
[2025-06-03 02:55:49] [INFO ] Flatten gal took : 64 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/graph96492290812901415.txt' '-o' '/tmp/graph96492290812901415.bin' '-w' '/tmp/graph96492290812901415.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph96492290812901415.bin' '-l' '-1' '-v' '-w' '/tmp/graph96492290812901415.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:55:49] [INFO ] Decomposing Gal with order
[2025-06-03 02:55:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:55:49] [INFO ] Removed a total of 342 redundant transitions.
[2025-06-03 02:55:49] [INFO ] Flatten gal took : 110 ms
[2025-06-03 02:55:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 2 ms.
[2025-06-03 02:55:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality109166864141028192.gal : 13 ms
[2025-06-03 02:55:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality10437711965928759884.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/CTLCardinality109166864141028192.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10437711965928759884.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 : 1468/1468 places, 3070/3070 transitions.
Discarding 57 places :
Symmetric choice reduction at 0 with 57 rule applications. Total rules 57 place count 1411 transition count 3001
Iterating global reduction 0 with 57 rules applied. Total rules applied 114 place count 1411 transition count 3001
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 166 place count 1359 transition count 2889
Iterating global reduction 0 with 52 rules applied. Total rules applied 218 place count 1359 transition count 2889
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 247 place count 1330 transition count 2785
Iterating global reduction 0 with 29 rules applied. Total rules applied 276 place count 1330 transition count 2785
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 279 place count 1327 transition count 2773
Iterating global reduction 0 with 3 rules applied. Total rules applied 282 place count 1327 transition count 2773
Applied a total of 282 rules in 397 ms. Remains 1327 /1468 variables (removed 141) and now considering 2773/3070 (removed 297) transitions.
[2025-06-03 02:56:20] [INFO ] Flow matrix only has 2501 transitions (discarded 272 similar events)
// Phase 1: matrix 2501 rows 1327 cols
[2025-06-03 02:56:20] [INFO ] Computed 92 invariants in 32 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:56:24] [INFO ] Implicit Places using invariants in 3969 ms returned [12, 14, 240, 241, 283, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 574, 575, 579, 601, 611, 631, 637, 644, 667, 677, 706, 726, 727, 745, 746, 775, 800, 801, 802, 803, 870, 903, 948, 994, 1052, 1108, 1109, 1110, 1184]
[2025-06-03 02:56:24] [INFO ] Actually due to overlaps returned [283, 12, 14, 240, 241, 375, 376, 399, 418, 419, 435, 454, 484, 509, 510, 511, 532, 558, 559, 564, 574, 575, 579, 601, 611, 631, 637, 644, 667, 677, 706, 726, 727, 745, 746, 775, 800, 801, 802, 803, 870, 903, 948, 994, 1052, 1108, 1109, 1184]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 3973 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1279/1468 places, 2773/3070 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 1239 transition count 2733
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 1239 transition count 2733
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 120 place count 1199 transition count 2693
Iterating global reduction 0 with 40 rules applied. Total rules applied 160 place count 1199 transition count 2693
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 200 place count 1159 transition count 2653
Iterating global reduction 0 with 40 rules applied. Total rules applied 240 place count 1159 transition count 2653
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 263 place count 1136 transition count 2561
Iterating global reduction 0 with 23 rules applied. Total rules applied 286 place count 1136 transition count 2561
Applied a total of 286 rules in 457 ms. Remains 1136 /1279 variables (removed 143) and now considering 2561/2773 (removed 212) transitions.
[2025-06-03 02:56:24] [INFO ] Flow matrix only has 2289 transitions (discarded 272 similar events)
// Phase 1: matrix 2289 rows 1136 cols
[2025-06-03 02:56:24] [INFO ] Computed 44 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:56:26] [INFO ] Implicit Places using invariants in 2140 ms returned [966]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2143 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1135/1468 places, 2561/3070 transitions.
Applied a total of 0 rules in 65 ms. Remains 1135 /1135 variables (removed 0) and now considering 2561/2561 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7037 ms. Remains : 1135/1468 places, 2561/3070 transitions.
[2025-06-03 02:56:26] [INFO ] Flatten gal took : 62 ms
[2025-06-03 02:56:26] [INFO ] Flatten gal took : 72 ms
[2025-06-03 02:56:27] [INFO ] Input system was already deterministic with 2561 transitions.
[2025-06-03 02:56:27] [INFO ] Flatten gal took : 118 ms
[2025-06-03 02:56:27] [INFO ] Flatten gal took : 122 ms
[2025-06-03 02:56:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality7762024292167501848.gal : 19 ms
[2025-06-03 02:56:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality2427497795225691499.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/CTLCardinality7762024292167501848.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2427497795225691499.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-03 02:56:57] [INFO ] Flatten gal took : 71 ms
[2025-06-03 02:56:57] [INFO ] Applying decomposition
[2025-06-03 02:56:57] [INFO ] Flatten gal took : 94 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/graph15563185491861489292.txt' '-o' '/tmp/graph15563185491861489292.bin' '-w' '/tmp/graph15563185491861489292.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15563185491861489292.bin' '-l' '-1' '-v' '-w' '/tmp/graph15563185491861489292.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:56:57] [INFO ] Decomposing Gal with order
[2025-06-03 02:56:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:56:57] [INFO ] Removed a total of 1632 redundant transitions.
[2025-06-03 02:56:58] [INFO ] Flatten gal took : 221 ms
[2025-06-03 02:56:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 119 labels/synchronizations in 13 ms.
[2025-06-03 02:56:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality16855802977822977570.gal : 16 ms
[2025-06-03 02:56:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality569572410385546379.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/CTLCardinality16855802977822977570.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality569572410385546379.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 : 1468/1468 places, 3070/3070 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 1409 transition count 2999
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 1409 transition count 2999
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 171 place count 1356 transition count 2883
Iterating global reduction 0 with 53 rules applied. Total rules applied 224 place count 1356 transition count 2883
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 253 place count 1327 transition count 2779
Iterating global reduction 0 with 29 rules applied. Total rules applied 282 place count 1327 transition count 2779
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 285 place count 1324 transition count 2767
Iterating global reduction 0 with 3 rules applied. Total rules applied 288 place count 1324 transition count 2767
Applied a total of 288 rules in 613 ms. Remains 1324 /1468 variables (removed 144) and now considering 2767/3070 (removed 303) transitions.
[2025-06-03 02:57:28] [INFO ] Flow matrix only has 2495 transitions (discarded 272 similar events)
// Phase 1: matrix 2495 rows 1324 cols
[2025-06-03 02:57:29] [INFO ] Computed 92 invariants in 26 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:57:32] [INFO ] Implicit Places using invariants in 3741 ms returned [12, 243, 244, 286, 378, 379, 402, 421, 422, 438, 457, 487, 512, 513, 514, 535, 561, 562, 567, 577, 578, 582, 604, 614, 633, 634, 638, 645, 668, 678, 707, 727, 728, 746, 747, 776, 801, 802, 803, 804, 871, 904, 949, 995, 1053, 1108, 1109, 1110, 1183, 1184]
[2025-06-03 02:57:32] [INFO ] Actually due to overlaps returned [286, 12, 243, 244, 378, 379, 402, 421, 422, 438, 457, 487, 512, 513, 514, 535, 561, 562, 567, 577, 578, 582, 604, 614, 633, 634, 638, 645, 668, 678, 707, 727, 728, 746, 747, 776, 801, 802, 803, 804, 871, 904, 949, 995, 1053, 1108, 1109, 1183, 1184]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 3750 ms to find 49 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1275/1468 places, 2767/3070 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1234 transition count 2726
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1234 transition count 2726
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 123 place count 1193 transition count 2685
Iterating global reduction 0 with 41 rules applied. Total rules applied 164 place count 1193 transition count 2685
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 205 place count 1152 transition count 2644
Iterating global reduction 0 with 41 rules applied. Total rules applied 246 place count 1152 transition count 2644
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 271 place count 1127 transition count 2544
Iterating global reduction 0 with 25 rules applied. Total rules applied 296 place count 1127 transition count 2544
Applied a total of 296 rules in 550 ms. Remains 1127 /1275 variables (removed 148) and now considering 2544/2767 (removed 223) transitions.
[2025-06-03 02:57:33] [INFO ] Flow matrix only has 2272 transitions (discarded 272 similar events)
// Phase 1: matrix 2272 rows 1127 cols
[2025-06-03 02:57:33] [INFO ] Computed 43 invariants in 37 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:57:35] [INFO ] Implicit Places using invariants in 2071 ms returned [965]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2075 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1126/1468 places, 2544/3070 transitions.
Applied a total of 0 rules in 64 ms. Remains 1126 /1126 variables (removed 0) and now considering 2544/2544 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 7056 ms. Remains : 1126/1468 places, 2544/3070 transitions.
[2025-06-03 02:57:35] [INFO ] Flatten gal took : 61 ms
[2025-06-03 02:57:35] [INFO ] Flatten gal took : 121 ms
[2025-06-03 02:57:35] [INFO ] Input system was already deterministic with 2544 transitions.
[2025-06-03 02:57:35] [INFO ] Flatten gal took : 115 ms
[2025-06-03 02:57:36] [INFO ] Flatten gal took : 118 ms
[2025-06-03 02:57:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality3356247261992344819.gal : 19 ms
[2025-06-03 02:57:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality3728929768731894373.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/CTLCardinality3356247261992344819.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3728929768731894373.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-03 02:58:06] [INFO ] Flatten gal took : 77 ms
[2025-06-03 02:58:06] [INFO ] Applying decomposition
[2025-06-03 02:58:06] [INFO ] Flatten gal took : 77 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/graph1759297699622323199.txt' '-o' '/tmp/graph1759297699622323199.bin' '-w' '/tmp/graph1759297699622323199.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1759297699622323199.bin' '-l' '-1' '-v' '-w' '/tmp/graph1759297699622323199.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:58:06] [INFO ] Decomposing Gal with order
[2025-06-03 02:58:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:58:06] [INFO ] Removed a total of 1651 redundant transitions.
[2025-06-03 02:58:06] [INFO ] Flatten gal took : 208 ms
[2025-06-03 02:58:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 113 labels/synchronizations in 28 ms.
[2025-06-03 02:58:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality6451766442565210086.gal : 21 ms
[2025-06-03 02:58:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality5695174999432065440.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/CTLCardinality6451766442565210086.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5695174999432065440.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-03 02:58:37] [INFO ] Flatten gal took : 108 ms
[2025-06-03 02:58:37] [INFO ] Flatten gal took : 87 ms
[2025-06-03 02:58:37] [INFO ] Applying decomposition
[2025-06-03 02:58:37] [INFO ] Flatten gal took : 86 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/graph11779600400816662371.txt' '-o' '/tmp/graph11779600400816662371.bin' '-w' '/tmp/graph11779600400816662371.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11779600400816662371.bin' '-l' '-1' '-v' '-w' '/tmp/graph11779600400816662371.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:58:37] [INFO ] Decomposing Gal with order
[2025-06-03 02:58:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:58:38] [INFO ] Removed a total of 2604 redundant transitions.
[2025-06-03 02:58:38] [INFO ] Flatten gal took : 248 ms
[2025-06-03 02:58:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 208 labels/synchronizations in 33 ms.
[2025-06-03 02:58:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality8503292400647302064.gal : 16 ms
[2025-06-03 02:58:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality17343215769111585180.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/CTLCardinality8503292400647302064.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17343215769111585180.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 10 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 03:24:14] [INFO ] Flatten gal took : 424 ms
[2025-06-03 03:24:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality660389895343326512.gal : 80 ms
[2025-06-03 03:24:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality9331120385976210717.ctl : 53 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/CTLCardinality660389895343326512.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9331120385976210717.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 -...282
No direction supplied, using forward translation only.
Parsed 10 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-S16C04"
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-S16C04, 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-174876524300297"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C04.tgz
mv MultiCrashLeafsetExtension-PT-S16C04 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 ;