About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S16C06
| 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 | ????????FTF?F?T? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524300313.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-S16C06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524300313
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K 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 5.2M 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-S16C06-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1748939649444
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-S16C06
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-03 08:34:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-03 08:34:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 08:34:12] [INFO ] Load time of PNML (sax parser for PT used): 597 ms
[2025-06-03 08:34:12] [INFO ] Transformed 5568 places.
[2025-06-03 08:34:12] [INFO ] Transformed 7799 transitions.
[2025-06-03 08:34:12] [INFO ] Parsed PT model containing 5568 places and 7799 transitions and 29646 arcs in 828 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 28 ms.
Support contains 157 out of 5568 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5568/5568 places, 7799/7799 transitions.
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 5536 transition count 7799
Discarding 1575 places :
Symmetric choice reduction at 1 with 1575 rule applications. Total rules 1607 place count 3961 transition count 6224
Iterating global reduction 1 with 1575 rules applied. Total rules applied 3182 place count 3961 transition count 6224
Discarding 1338 places :
Symmetric choice reduction at 1 with 1338 rule applications. Total rules 4520 place count 2623 transition count 4886
Iterating global reduction 1 with 1338 rules applied. Total rules applied 5858 place count 2623 transition count 4886
Discarding 156 places :
Symmetric choice reduction at 1 with 156 rule applications. Total rules 6014 place count 2467 transition count 3950
Iterating global reduction 1 with 156 rules applied. Total rules applied 6170 place count 2467 transition count 3950
Applied a total of 6170 rules in 1788 ms. Remains 2467 /5568 variables (removed 3101) and now considering 3950/7799 (removed 3849) transitions.
[2025-06-03 08:34:14] [INFO ] Flow matrix only has 3678 transitions (discarded 272 similar events)
// Phase 1: matrix 3678 rows 2467 cols
[2025-06-03 08:34:14] [INFO ] Computed 541 invariants in 244 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:34:21] [INFO ] Implicit Places using invariants in 6988 ms returned [4, 8, 14, 16, 18, 20, 22, 24, 29, 36, 45, 56, 69, 84, 103, 119, 121, 123, 125, 127, 131, 146, 157, 166, 173, 178, 181, 208, 215, 218, 220, 221, 223, 224, 230, 235, 242, 251, 262, 275, 292, 306, 311, 312, 326, 337, 344, 352, 358, 363, 393, 400, 403, 406, 407, 409, 416, 422, 430, 438, 447, 458, 470, 488, 490, 503, 513, 518, 521, 525, 527, 554, 561, 566, 568, 569, 570, 574, 576, 581, 586, 595, 604, 617, 627, 628, 629, 630, 632, 633, 645, 648, 652, 654, 656, 683, 690, 693, 694, 695, 696, 697, 698, 699, 702, 704, 706, 709, 714, 721, 729, 739, 740, 741, 742, 743, 748, 754, 756, 761, 763, 765, 795, 802, 805, 806, 807, 808, 809, 810, 811, 813, 815, 817, 819, 822, 827, 833, 840, 841, 842, 844, 845, 850, 852, 854, 860, 862, 864, 891, 898, 902, 903, 904, 905, 906, 907, 909, 911, 913, 915, 920, 923, 927, 933, 934, 935, 936, 937, 942, 944, 948, 950, 952, 956, 983, 990, 993, 994, 996, 997, 998, 999, 1005, 1009, 1011, 1013, 1015, 1017, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1028, 1031, 1033, 1035, 1037, 1039, 1066, 1068, 1072, 1075, 1077, 1078, 1081, 1083, 1087, 1093, 1096, 1101, 1103, 1105, 1109, 1110, 1111, 1112, 1114, 1116, 1123, 1125, 1127, 1130, 1159, 1166, 1169, 1171, 1172, 1174, 1175, 1177, 1179, 1181, 1183, 1188, 1192, 1194, 1197, 1198, 1199, 1200, 1202, 1203, 1205, 1207, 1209, 1211, 1216, 1218, 1245, 1252, 1255, 1256, 1259, 1262, 1270, 1275, 1277, 1279, 1281, 1286, 1292, 1293, 1294, 1295, 1296, 1297, 1300, 1302, 1304, 1308, 1310, 1312, 1339, 1346, 1349, 1350, 1351, 1352, 1354, 1355, 1357, 1359, 1361, 1363, 1367, 1370, 1377, 1391, 1400, 1405, 1408, 1414, 1419, 1421, 1451, 1458, 1461, 1463, 1464, 1466, 1467, 1469, 1471, 1473, 1475, 1478, 1486, 1495, 1504, 1505, 1511, 1522, 1528, 1537, 1542, 1546, 1548, 1575, 1582, 1585, 1586, 1587, 1588, 1591, 1593, 1601, 1604, 1609, 1616, 1625, 1636, 1637, 1638, 1639, 1640, 1642, 1651, 1658, 1663, 1666, 1668, 1670, 1700, 1707, 1711, 1713, 1716, 1718, 1723, 1726, 1733, 1740, 1751, 1765, 1778, 1779, 1780, 1783, 1784, 1798, 1807, 1814, 1822, 1827, 1854, 1861, 1867, 1869, 1870, 1875, 1878, 1883, 1892, 1901, 1914, 1929, 1944, 1945, 1949, 1950, 1951, 1966, 1977, 1986, 1993, 1998, 2005, 2032, 2034, 2038, 2041, 2042, 2043, 2047, 2048, 2053, 2058, 2065, 2074, 2085, 2098, 2115, 2132, 2133, 2134, 2135, 2136, 2137, 2138, 2153, 2166, 2177, 2186, 2193, 2198, 2226]
[2025-06-03 08:34:21] [INFO ] Actually due to overlaps returned [208, 393, 554, 683, 795, 891, 983, 1066, 1159, 1245, 1339, 1451, 1575, 1700, 1854, 2032, 2226, 4, 14, 16, 18, 20, 22, 119, 121, 123, 125, 127, 218, 220, 221, 223, 306, 311, 403, 406, 407, 488, 566, 568, 569, 627, 628, 629, 630, 632, 693, 694, 695, 696, 697, 698, 739, 740, 741, 742, 805, 806, 807, 808, 809, 810, 840, 841, 842, 844, 902, 903, 904, 905, 906, 933, 934, 935, 936, 993, 994, 996, 997, 998, 1020, 1021, 1022, 1023, 1024, 1025, 1068, 1075, 1077, 1078, 1109, 1110, 1111, 1112, 1169, 1171, 1172, 1174, 1197, 1198, 1199, 1200, 1202, 1255, 1256, 1259, 1292, 1293, 1294, 1295, 1296, 1349, 1350, 1351, 1352, 1354, 1461, 1463, 1464, 1466, 1504, 1505, 1585, 1586, 1587, 1588, 1636, 1637, 1638, 1639, 1640, 1711, 1713, 1778, 1779, 1780, 1783, 1867, 1869, 1944, 1945, 1949, 1950, 2034, 2041, 2042, 2043, 2047, 2132, 2133, 2134, 2135, 2136, 2137]
Discarding 154 places :
Implicit Place search using SMT only with invariants took 7059 ms to find 154 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2313/5568 places, 3950/7799 transitions.
Discarding 117 places :
Symmetric choice reduction at 0 with 117 rule applications. Total rules 117 place count 2196 transition count 3833
Iterating global reduction 0 with 117 rules applied. Total rules applied 234 place count 2196 transition count 3833
Discarding 112 places :
Symmetric choice reduction at 0 with 112 rule applications. Total rules 346 place count 2084 transition count 3721
Iterating global reduction 0 with 112 rules applied. Total rules applied 458 place count 2084 transition count 3721
Discarding 109 places :
Symmetric choice reduction at 0 with 109 rule applications. Total rules 567 place count 1975 transition count 3612
Iterating global reduction 0 with 109 rules applied. Total rules applied 676 place count 1975 transition count 3612
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 677 place count 1974 transition count 3606
Iterating global reduction 0 with 1 rules applied. Total rules applied 678 place count 1974 transition count 3606
Applied a total of 678 rules in 736 ms. Remains 1974 /2313 variables (removed 339) and now considering 3606/3950 (removed 344) transitions.
[2025-06-03 08:34:22] [INFO ] Flow matrix only has 3334 transitions (discarded 272 similar events)
// Phase 1: matrix 3334 rows 1974 cols
[2025-06-03 08:34:22] [INFO ] Computed 387 invariants in 102 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:34:26] [INFO ] Implicit Places using invariants in 4331 ms returned [7, 18, 23, 30, 39, 50, 63, 78, 97, 120, 135, 146, 155, 162, 167, 170, 203, 208, 214, 219, 226, 235, 246, 259, 276, 294, 308, 319, 326, 334, 340, 345, 373, 379, 386, 392, 400, 408, 417, 428, 440, 459, 472, 482, 487, 490, 494, 496, 523, 529, 533, 535, 540, 545, 554, 563, 576, 587, 599, 602, 606, 608, 610, 627, 630, 633, 635, 637, 640, 645, 652, 660, 670, 675, 681, 683, 688, 690, 692, 710, 712, 714, 716, 718, 720, 723, 728, 734, 742, 747, 749, 751, 757, 759, 761, 774, 778, 780, 782, 784, 786, 791, 794, 798, 804, 809, 811, 815, 817, 819, 823, 839, 843, 849, 853, 855, 857, 859, 861, 864, 866, 869, 871, 873, 875, 877, 890, 896, 898, 902, 908, 911, 916, 918, 920, 925, 927, 934, 936, 938, 941, 962, 967, 969, 971, 973, 975, 980, 984, 986, 990, 992, 994, 996, 998, 1003, 1005, 1020, 1027, 1035, 1040, 1042, 1044, 1046, 1051, 1057, 1060, 1062, 1064, 1068, 1070, 1072, 1089, 1093, 1095, 1097, 1099, 1101, 1105, 1108, 1115, 1129, 1138, 1143, 1146, 1152, 1157, 1159, 1186, 1191, 1193, 1195, 1197, 1199, 1202, 1210, 1219, 1233, 1244, 1250, 1259, 1264, 1268, 1270, 1293, 1298, 1300, 1308, 1311, 1316, 1323, 1332, 1344, 1353, 1360, 1365, 1368, 1370, 1372, 1392, 1399, 1401, 1406, 1409, 1416, 1423, 1434, 1448, 1463, 1477, 1486, 1493, 1501, 1506, 1527, 1534, 1539, 1542, 1547, 1556, 1565, 1578, 1593, 1611, 1626, 1637, 1646, 1653, 1658, 1665, 1686, 1692, 1697, 1702, 1709, 1718, 1729, 1742, 1759, 1776, 1791, 1804, 1815, 1824, 1831, 1836]
Discarding 266 places :
Implicit Place search using SMT only with invariants took 4349 ms to find 266 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1708/5568 places, 3606/7799 transitions.
Applied a total of 0 rules in 139 ms. Remains 1708 /1708 variables (removed 0) and now considering 3606/3606 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 14098 ms. Remains : 1708/5568 places, 3606/7799 transitions.
Support contains 157 out of 1708 places after structural reductions.
[2025-06-03 08:34:27] [INFO ] Flatten gal took : 541 ms
[2025-06-03 08:34:27] [INFO ] Flatten gal took : 227 ms
[2025-06-03 08:34:28] [INFO ] Input system was already deterministic with 3606 transitions.
Support contains 153 out of 1708 places (down from 157) after GAL structural reductions.
RANDOM walk for 40000 steps (640 resets) in 4095 ms. (9 steps per ms) remains 60/86 properties
BEST_FIRST walk for 4000 steps (16 resets) in 99 ms. (40 steps per ms) remains 59/60 properties
BEST_FIRST walk for 4000 steps (16 resets) in 90 ms. (43 steps per ms) remains 59/59 properties
BEST_FIRST walk for 4001 steps (16 resets) in 50 ms. (78 steps per ms) remains 59/59 properties
BEST_FIRST walk for 4000 steps (16 resets) in 41 ms. (95 steps per ms) remains 59/59 properties
BEST_FIRST walk for 4001 steps (16 resets) in 45 ms. (86 steps per ms) remains 59/59 properties
BEST_FIRST walk for 4001 steps (16 resets) in 53 ms. (74 steps per ms) remains 58/59 properties
BEST_FIRST walk for 4000 steps (16 resets) in 51 ms. (76 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (16 resets) in 40 ms. (97 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4000 steps (16 resets) in 57 ms. (68 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (16 resets) in 49 ms. (80 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4001 steps (16 resets) in 50 ms. (78 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (16 resets) in 43 ms. (90 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4001 steps (16 resets) in 30 ms. (129 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4001 steps (16 resets) in 24 ms. (160 steps per ms) remains 57/58 properties
BEST_FIRST walk for 4001 steps (16 resets) in 24 ms. (160 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4000 steps (16 resets) in 27 ms. (142 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4001 steps (16 resets) in 35 ms. (111 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4000 steps (16 resets) in 26 ms. (148 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4002 steps (16 resets) in 98 ms. (40 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4000 steps (16 resets) in 36 ms. (108 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4001 steps (16 resets) in 36 ms. (108 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4002 steps (16 resets) in 31 ms. (125 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4002 steps (16 resets) in 35 ms. (111 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4000 steps (16 resets) in 39 ms. (100 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4001 steps (16 resets) in 50 ms. (78 steps per ms) remains 56/57 properties
BEST_FIRST walk for 4000 steps (16 resets) in 49 ms. (80 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 37 ms. (105 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 37 ms. (105 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 43 ms. (90 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 39 ms. (100 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 41 ms. (95 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 35 ms. (111 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 41 ms. (95 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 30 ms. (129 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 28 ms. (137 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 85 ms. (46 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 39 ms. (100 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 42 ms. (93 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 54 ms. (72 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 44 ms. (88 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 41 ms. (95 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 39 ms. (100 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 60 ms. (65 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 61 ms. (64 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 59 ms. (66 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 54 ms. (72 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 39 ms. (100 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 48 ms. (81 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 36 ms. (108 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 39 ms. (100 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4002 steps (16 resets) in 38 ms. (102 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 68 ms. (57 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 51 ms. (76 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 42 ms. (93 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 30 ms. (129 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 42 ms. (93 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4000 steps (16 resets) in 34 ms. (114 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4001 steps (16 resets) in 39 ms. (100 steps per ms) remains 56/56 properties
[2025-06-03 08:34:30] [INFO ] Flow matrix only has 3334 transitions (discarded 272 similar events)
// Phase 1: matrix 3334 rows 1708 cols
[2025-06-03 08:34:30] [INFO ] Computed 121 invariants in 67 ms
[2025-06-03 08:34:30] [INFO ] State equation strengthened by 1393 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/88 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 56 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp66 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp84 is UNSAT
At refinement iteration 1 (OVERLAPS) 1397/1485 variables, 3/3 constraints. Problems are: Problem set: 30 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1485 variables, 0/3 constraints. Problems are: Problem set: 30 solved, 26 unsolved
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp80 is UNSAT
At refinement iteration 3 (OVERLAPS) 183/1668 variables, 78/81 constraints. Problems are: Problem set: 45 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1668 variables, 0/81 constraints. Problems are: Problem set: 45 solved, 11 unsolved
At refinement iteration 5 (OVERLAPS) 28/1696 variables, 28/109 constraints. Problems are: Problem set: 45 solved, 11 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1696 variables, 0/109 constraints. Problems are: Problem set: 45 solved, 11 unsolved
At refinement iteration 7 (OVERLAPS) 12/1708 variables, 12/121 constraints. Problems are: Problem set: 45 solved, 11 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1708 variables, 0/121 constraints. Problems are: Problem set: 45 solved, 11 unsolved
At refinement iteration 9 (OVERLAPS) 3334/5042 variables, 1708/1829 constraints. Problems are: Problem set: 45 solved, 11 unsolved
SMT process timed out in 5253ms, After SMT, problems are : Problem set: 45 solved, 11 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 25 out of 1708 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 54 transitions
Trivial Post-agglo rules discarded 54 transitions
Performed 54 trivial Post agglomeration. Transition count delta: 54
Iterating post reduction 0 with 54 rules applied. Total rules applied 54 place count 1708 transition count 3552
Reduce places removed 54 places and 0 transitions.
Iterating post reduction 1 with 54 rules applied. Total rules applied 108 place count 1654 transition count 3552
Performed 74 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 74 Pre rules applied. Total rules applied 108 place count 1654 transition count 3478
Deduced a syphon composed of 74 places in 3 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 2 with 148 rules applied. Total rules applied 256 place count 1580 transition count 3478
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 311 place count 1525 transition count 3403
Iterating global reduction 2 with 55 rules applied. Total rules applied 366 place count 1525 transition count 3403
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 405 place count 1486 transition count 3214
Iterating global reduction 2 with 39 rules applied. Total rules applied 444 place count 1486 transition count 3214
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 445 place count 1485 transition count 3208
Iterating global reduction 2 with 1 rules applied. Total rules applied 446 place count 1485 transition count 3208
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 3 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 528 place count 1444 transition count 3167
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 566 place count 1406 transition count 3129
Iterating global reduction 2 with 38 rules applied. Total rules applied 604 place count 1406 transition count 3129
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 639 place count 1371 transition count 2919
Iterating global reduction 2 with 35 rules applied. Total rules applied 674 place count 1371 transition count 2919
Free-agglomeration rule (complex) applied 172 times.
Iterating global reduction 2 with 172 rules applied. Total rules applied 846 place count 1371 transition count 3882
Reduce places removed 172 places and 0 transitions.
Iterating post reduction 2 with 172 rules applied. Total rules applied 1018 place count 1199 transition count 3882
Partial Free-agglomeration rule applied 70 times.
Drop transitions (Partial Free agglomeration) removed 70 transitions
Iterating global reduction 3 with 70 rules applied. Total rules applied 1088 place count 1199 transition count 3882
Applied a total of 1088 rules in 1530 ms. Remains 1199 /1708 variables (removed 509) and now considering 3882/3606 (removed -276) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1532 ms. Remains : 1199/1708 places, 3882/3606 transitions.
RANDOM walk for 40000 steps (1123 resets) in 1822 ms. (21 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (144 resets) in 360 ms. (110 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (141 resets) in 348 ms. (114 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (141 resets) in 248 ms. (160 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (140 resets) in 190 ms. (209 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (141 resets) in 210 ms. (189 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40002 steps (139 resets) in 158 ms. (251 steps per ms) remains 10/11 properties
BEST_FIRST walk for 40004 steps (142 resets) in 164 ms. (242 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (141 resets) in 157 ms. (253 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (142 resets) in 159 ms. (250 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (140 resets) in 223 ms. (178 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (141 resets) in 193 ms. (206 steps per ms) remains 10/10 properties
Interrupted probabilistic random walk after 44786 steps, run timeout after 3001 ms. (steps per millisecond=14 ) properties seen :0 out of 10
Probabilistic random walk after 44786 steps, saw 19452 distinct states, run finished after 3008 ms. (steps per millisecond=14 ) properties seen :0
[2025-06-03 08:34:41] [INFO ] Flow matrix only has 3485 transitions (discarded 397 similar events)
// Phase 1: matrix 3485 rows 1199 cols
[2025-06-03 08:34:41] [INFO ] Computed 121 invariants in 53 ms
[2025-06-03 08:34:41] [INFO ] State equation strengthened by 2178 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/23 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1028/1051 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1051 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 109/1160 variables, 78/82 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:44] [INFO ] Deduced a trap composed of 5 places in 1929 ms of which 45 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:46] [INFO ] Deduced a trap composed of 28 places in 1538 ms of which 79 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:48] [INFO ] Deduced a trap composed of 47 places in 1801 ms of which 115 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:49] [INFO ] Deduced a trap composed of 47 places in 1639 ms of which 110 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:51] [INFO ] Deduced a trap composed of 72 places in 1771 ms of which 234 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:53] [INFO ] Deduced a trap composed of 63 places in 1541 ms of which 160 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:34:54] [INFO ] Deduced a trap composed of 63 places in 1710 ms of which 141 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1160 variables, 7/89 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1160 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 28/1188 variables, 28/117 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1188 variables, 0/117 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 11/1199 variables, 11/128 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1199 variables, 0/128 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (OVERLAPS) 3485/4684 variables, 1199/1327 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/4684 variables, 2178/3505 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/4684 variables, 0/3505 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (OVERLAPS) 0/4684 variables, 0/3505 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 4684/4684 variables, and 3505 constraints, problems are : Problem set: 0 solved, 10 unsolved in 24192 ms.
Refiners :[Positive P Invariants (semi-flows): 32/32 constraints, Generalized P Invariants (flows): 89/89 constraints, State Equation: 1199/1199 constraints, ReadFeed: 2178/2178 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 7/7 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/23 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1028/1051 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1051 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Problem AtomicPropp37 is UNSAT
At refinement iteration 3 (OVERLAPS) 109/1160 variables, 78/82 constraints. Problems are: Problem set: 1 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1160 variables, 7/89 constraints. Problems are: Problem set: 1 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:08] [INFO ] Deduced a trap composed of 63 places in 1884 ms of which 138 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:10] [INFO ] Deduced a trap composed of 82 places in 1566 ms of which 165 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:11] [INFO ] Deduced a trap composed of 80 places in 1579 ms of which 163 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:13] [INFO ] Deduced a trap composed of 80 places in 1734 ms of which 163 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:15] [INFO ] Deduced a trap composed of 79 places in 1767 ms of which 162 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:16] [INFO ] Deduced a trap composed of 144 places in 1482 ms of which 190 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:18] [INFO ] Deduced a trap composed of 80 places in 1696 ms of which 165 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:20] [INFO ] Deduced a trap composed of 80 places in 1583 ms of which 163 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:21] [INFO ] Deduced a trap composed of 80 places in 1573 ms of which 162 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:23] [INFO ] Deduced a trap composed of 86 places in 1587 ms of which 163 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:25] [INFO ] Deduced a trap composed of 80 places in 1584 ms of which 167 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:26] [INFO ] Deduced a trap composed of 80 places in 1604 ms of which 162 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:28] [INFO ] Deduced a trap composed of 89 places in 1635 ms of which 173 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:30] [INFO ] Deduced a trap composed of 80 places in 1582 ms of which 166 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:31] [INFO ] Deduced a trap composed of 85 places in 1738 ms of which 172 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:33] [INFO ] Deduced a trap composed of 87 places in 1783 ms of which 170 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:35] [INFO ] Deduced a trap composed of 86 places in 1572 ms of which 172 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:37] [INFO ] Deduced a trap composed of 91 places in 1786 ms of which 172 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:38] [INFO ] Deduced a trap composed of 83 places in 1856 ms of which 169 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:40] [INFO ] Deduced a trap composed of 85 places in 1887 ms of which 176 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1160 variables, 20/109 constraints. Problems are: Problem set: 1 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:42] [INFO ] Deduced a trap composed of 85 places in 1740 ms of which 278 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:44] [INFO ] Deduced a trap composed of 84 places in 1490 ms of which 168 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:45] [INFO ] Deduced a trap composed of 89 places in 1501 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:47] [INFO ] Deduced a trap composed of 87 places in 1491 ms of which 171 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:49] [INFO ] Deduced a trap composed of 80 places in 1786 ms of which 165 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:50] [INFO ] Deduced a trap composed of 80 places in 1878 ms of which 166 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:52] [INFO ] Deduced a trap composed of 58 places in 1835 ms of which 135 ms to minimize.
SMT process timed out in 71082ms, After SMT, problems are : Problem set: 1 solved, 9 unsolved
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 19 out of 1199 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1199/1199 places, 3882/3882 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1199 transition count 3881
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1198 transition count 3881
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 2 with 3 rules applied. Total rules applied 5 place count 1198 transition count 3881
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 8 place count 1195 transition count 3878
Iterating global reduction 2 with 3 rules applied. Total rules applied 11 place count 1195 transition count 3878
Applied a total of 11 rules in 604 ms. Remains 1195 /1199 variables (removed 4) and now considering 3878/3882 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 605 ms. Remains : 1195/1199 places, 3878/3882 transitions.
RANDOM walk for 40000 steps (1123 resets) in 2161 ms. (18 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (143 resets) in 213 ms. (186 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (143 resets) in 205 ms. (194 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (139 resets) in 160 ms. (248 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (140 resets) in 180 ms. (221 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (141 resets) in 204 ms. (195 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (140 resets) in 209 ms. (190 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (139 resets) in 201 ms. (198 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (140 resets) in 201 ms. (198 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (139 resets) in 201 ms. (198 steps per ms) remains 9/9 properties
Interrupted probabilistic random walk after 39029 steps, run timeout after 3001 ms. (steps per millisecond=13 ) properties seen :0 out of 9
Probabilistic random walk after 39029 steps, saw 16995 distinct states, run finished after 3001 ms. (steps per millisecond=13 ) properties seen :0
[2025-06-03 08:35:57] [INFO ] Flow matrix only has 3481 transitions (discarded 397 similar events)
// Phase 1: matrix 3481 rows 1195 cols
[2025-06-03 08:35:57] [INFO ] Computed 121 invariants in 90 ms
[2025-06-03 08:35:57] [INFO ] State equation strengthened by 2178 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/19 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 1029/1048 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1048 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 107/1155 variables, 77/81 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:35:59] [INFO ] Deduced a trap composed of 5 places in 1420 ms of which 44 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:01] [INFO ] Deduced a trap composed of 47 places in 1521 ms of which 115 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:02] [INFO ] Deduced a trap composed of 47 places in 1439 ms of which 113 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:04] [INFO ] Deduced a trap composed of 89 places in 1539 ms of which 181 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:06] [INFO ] Deduced a trap composed of 72 places in 1493 ms of which 141 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:07] [INFO ] Deduced a trap composed of 63 places in 1526 ms of which 141 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:09] [INFO ] Deduced a trap composed of 28 places in 1403 ms of which 77 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:10] [INFO ] Deduced a trap composed of 76 places in 1491 ms of which 148 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:12] [INFO ] Deduced a trap composed of 86 places in 1539 ms of which 186 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:13] [INFO ] Deduced a trap composed of 93 places in 1622 ms of which 293 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:15] [INFO ] Deduced a trap composed of 93 places in 1432 ms of which 284 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:16] [INFO ] Deduced a trap composed of 98 places in 1350 ms of which 190 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:17] [INFO ] Deduced a trap composed of 95 places in 1324 ms of which 186 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:19] [INFO ] Deduced a trap composed of 95 places in 1518 ms of which 187 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:21] [INFO ] Deduced a trap composed of 95 places in 1508 ms of which 183 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:22] [INFO ] Deduced a trap composed of 95 places in 1443 ms of which 184 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:23] [INFO ] Deduced a trap composed of 102 places in 1367 ms of which 200 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:25] [INFO ] Deduced a trap composed of 102 places in 1350 ms of which 198 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:26] [INFO ] Deduced a trap composed of 104 places in 1659 ms of which 199 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:28] [INFO ] Deduced a trap composed of 86 places in 1295 ms of which 172 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1155 variables, 20/101 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:29] [INFO ] Deduced a trap composed of 201 places in 1330 ms of which 253 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:31] [INFO ] Deduced a trap composed of 210 places in 1570 ms of which 269 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:32] [INFO ] Deduced a trap composed of 207 places in 1330 ms of which 259 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:34] [INFO ] Deduced a trap composed of 210 places in 1501 ms of which 277 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:35] [INFO ] Deduced a trap composed of 209 places in 1560 ms of which 272 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:37] [INFO ] Deduced a trap composed of 208 places in 1541 ms of which 270 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:39] [INFO ] Deduced a trap composed of 207 places in 1524 ms of which 271 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:40] [INFO ] Deduced a trap composed of 209 places in 1524 ms of which 268 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:42] [INFO ] Deduced a trap composed of 204 places in 1446 ms of which 358 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:43] [INFO ] Deduced a trap composed of 207 places in 1495 ms of which 276 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:44] [INFO ] Deduced a trap composed of 207 places in 1340 ms of which 279 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:46] [INFO ] Deduced a trap composed of 210 places in 1409 ms of which 275 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:47] [INFO ] Deduced a trap composed of 211 places in 1350 ms of which 272 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:49] [INFO ] Deduced a trap composed of 204 places in 1541 ms of which 269 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:50] [INFO ] Deduced a trap composed of 76 places in 1292 ms of which 147 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:52] [INFO ] Deduced a trap composed of 91 places in 1336 ms of which 183 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:53] [INFO ] Deduced a trap composed of 86 places in 1421 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:54] [INFO ] Deduced a trap composed of 107 places in 1434 ms of which 201 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:56] [INFO ] Deduced a trap composed of 63 places in 1490 ms of which 130 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:57] [INFO ] Deduced a trap composed of 76 places in 1443 ms of which 145 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1155 variables, 20/121 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:36:59] [INFO ] Deduced a trap composed of 86 places in 1617 ms of which 177 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1155 variables, 1/122 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1155 variables, 0/122 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 28/1183 variables, 28/150 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1183 variables, 0/150 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (OVERLAPS) 12/1195 variables, 12/162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1195 variables, 0/162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 3481/4676 variables, 1195/1357 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/4676 variables, 2178/3535 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/4676 variables, 0/3535 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (OVERLAPS) 0/4676 variables, 0/3535 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 4676/4676 variables, and 3535 constraints, problems are : Problem set: 0 solved, 9 unsolved in 73353 ms.
Refiners :[Positive P Invariants (semi-flows): 32/32 constraints, Generalized P Invariants (flows): 89/89 constraints, State Equation: 1195/1195 constraints, ReadFeed: 2178/2178 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 41/41 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/19 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 1029/1048 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1048 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 107/1155 variables, 77/81 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1155 variables, 41/122 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:13] [INFO ] Deduced a trap composed of 28 places in 1516 ms of which 79 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:14] [INFO ] Deduced a trap composed of 47 places in 1601 ms of which 114 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:16] [INFO ] Deduced a trap composed of 86 places in 1583 ms of which 168 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:17] [INFO ] Deduced a trap composed of 85 places in 1540 ms of which 168 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:19] [INFO ] Deduced a trap composed of 84 places in 1533 ms of which 167 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:21] [INFO ] Deduced a trap composed of 86 places in 1521 ms of which 174 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:22] [INFO ] Deduced a trap composed of 85 places in 1683 ms of which 173 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:24] [INFO ] Deduced a trap composed of 85 places in 1628 ms of which 170 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:25] [INFO ] Deduced a trap composed of 85 places in 1524 ms of which 172 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:27] [INFO ] Deduced a trap composed of 147 places in 1495 ms of which 211 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:29] [INFO ] Deduced a trap composed of 94 places in 1677 ms of which 183 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:30] [INFO ] Deduced a trap composed of 94 places in 1652 ms of which 181 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:32] [INFO ] Deduced a trap composed of 94 places in 1676 ms of which 173 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:34] [INFO ] Deduced a trap composed of 155 places in 1442 ms of which 222 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:35] [INFO ] Deduced a trap composed of 95 places in 1813 ms of which 183 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:37] [INFO ] Deduced a trap composed of 92 places in 1584 ms of which 178 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:39] [INFO ] Deduced a trap composed of 87 places in 1814 ms of which 172 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:41] [INFO ] Deduced a trap composed of 92 places in 1797 ms of which 178 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:42] [INFO ] Deduced a trap composed of 93 places in 1548 ms of which 179 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:44] [INFO ] Deduced a trap composed of 152 places in 1281 ms of which 218 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1155 variables, 20/142 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:45] [INFO ] Deduced a trap composed of 96 places in 1539 ms of which 187 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:47] [INFO ] Deduced a trap composed of 101 places in 1828 ms of which 195 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:49] [INFO ] Deduced a trap composed of 101 places in 1840 ms of which 194 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:51] [INFO ] Deduced a trap composed of 101 places in 1719 ms of which 190 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:52] [INFO ] Deduced a trap composed of 101 places in 1640 ms of which 197 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:54] [INFO ] Deduced a trap composed of 102 places in 1839 ms of which 188 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:56] [INFO ] Deduced a trap composed of 102 places in 1740 ms of which 194 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:58] [INFO ] Deduced a trap composed of 160 places in 1482 ms of which 224 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:37:59] [INFO ] Deduced a trap composed of 99 places in 1590 ms of which 188 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:01] [INFO ] Deduced a trap composed of 104 places in 1554 ms of which 195 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:02] [INFO ] Deduced a trap composed of 104 places in 1527 ms of which 192 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:04] [INFO ] Deduced a trap composed of 163 places in 1486 ms of which 227 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:06] [INFO ] Deduced a trap composed of 93 places in 1697 ms of which 181 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:07] [INFO ] Deduced a trap composed of 95 places in 1799 ms of which 185 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:09] [INFO ] Deduced a trap composed of 96 places in 1813 ms of which 182 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:11] [INFO ] Deduced a trap composed of 95 places in 1614 ms of which 184 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:12] [INFO ] Deduced a trap composed of 97 places in 1598 ms of which 184 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:14] [INFO ] Deduced a trap composed of 101 places in 1723 ms of which 198 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:16] [INFO ] Deduced a trap composed of 95 places in 1763 ms of which 181 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:18] [INFO ] Deduced a trap composed of 94 places in 1734 ms of which 180 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1155 variables, 20/162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:20] [INFO ] Deduced a trap composed of 92 places in 1698 ms of which 180 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:21] [INFO ] Deduced a trap composed of 152 places in 1287 ms of which 212 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:23] [INFO ] Deduced a trap composed of 97 places in 1700 ms of which 182 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:24] [INFO ] Deduced a trap composed of 155 places in 1330 ms of which 223 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 08:38:26] [INFO ] Deduced a trap composed of 101 places in 1742 ms of which 190 ms to minimize.
SMT process timed out in 148811ms, After SMT, problems are : Problem set: 0 solved, 9 unsolved
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 19 out of 1195 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1195/1195 places, 3878/3878 transitions.
Applied a total of 0 rules in 225 ms. Remains 1195 /1195 variables (removed 0) and now considering 3878/3878 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 225 ms. Remains : 1195/1195 places, 3878/3878 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1195/1195 places, 3878/3878 transitions.
Applied a total of 0 rules in 225 ms. Remains 1195 /1195 variables (removed 0) and now considering 3878/3878 (removed 0) transitions.
[2025-06-03 08:38:26] [INFO ] Flow matrix only has 3481 transitions (discarded 397 similar events)
[2025-06-03 08:38:26] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:38:31] [INFO ] Implicit Places using invariants in 5115 ms returned [7, 140, 141, 201, 202, 203, 249, 250, 251, 297, 298, 299, 300, 301, 337, 338, 339, 373, 379, 422, 423, 457, 458, 475, 485, 486, 506, 530, 531, 532, 541, 545, 563, 564, 573, 591, 592, 593, 595, 604, 623, 637, 638, 639, 640, 641, 642, 666, 667, 687, 688, 689, 718, 719, 722, 780, 781, 782, 823, 824, 849, 866, 869, 921, 922, 972]
Discarding 66 places :
Implicit Place search using SMT only with invariants took 5119 ms to find 66 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 1129/1195 places, 3878/3878 transitions.
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 48 place count 1081 transition count 3830
Iterating global reduction 0 with 48 rules applied. Total rules applied 96 place count 1081 transition count 3830
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 144 place count 1033 transition count 3782
Iterating global reduction 0 with 48 rules applied. Total rules applied 192 place count 1033 transition count 3782
Applied a total of 192 rules in 215 ms. Remains 1033 /1129 variables (removed 96) and now considering 3782/3878 (removed 96) transitions.
[2025-06-03 08:38:32] [INFO ] Flow matrix only has 3385 transitions (discarded 397 similar events)
// Phase 1: matrix 3385 rows 1033 cols
[2025-06-03 08:38:32] [INFO ] Computed 55 invariants in 29 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:38:34] [INFO ] Implicit Places using invariants in 2781 ms returned []
[2025-06-03 08:38:34] [INFO ] Flow matrix only has 3385 transitions (discarded 397 similar events)
[2025-06-03 08:38:34] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:38:36] [INFO ] State equation strengthened by 2178 read => feed constraints.
[2025-06-03 08:39:06] [INFO ] Performed 387/1033 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:39:36] [INFO ] Performed 616/1033 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 08:40:07] [INFO ] Performed 1003/1033 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 08:40:10] [INFO ] Implicit Places using invariants and state equation in 96007 ms returned []
Implicit Place search using SMT with State Equation took 98792 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 1033/1195 places, 3782/3878 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 104353 ms. Remains : 1033/1195 places, 3782/3878 transitions.
Successfully simplified 46 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 08:40:11] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2025-06-03 08:40:11] [INFO ] Flatten gal took : 142 ms
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C06-CTLCardinality-2025-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 08:40:11] [INFO ] Flatten gal took : 153 ms
[2025-06-03 08:40:11] [INFO ] Input system was already deterministic with 3606 transitions.
Support contains 49 out of 1708 places (down from 66) after GAL structural reductions.
Computed a total of 876 stabilizing places and 1973 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Discarding 105 places :
Symmetric choice reduction at 0 with 105 rule applications. Total rules 105 place count 1603 transition count 3481
Iterating global reduction 0 with 105 rules applied. Total rules applied 210 place count 1603 transition count 3481
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 298 place count 1515 transition count 3228
Iterating global reduction 0 with 88 rules applied. Total rules applied 386 place count 1515 transition count 3228
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 434 place count 1467 transition count 2965
Iterating global reduction 0 with 48 rules applied. Total rules applied 482 place count 1467 transition count 2965
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 483 place count 1466 transition count 2959
Iterating global reduction 0 with 1 rules applied. Total rules applied 484 place count 1466 transition count 2959
Applied a total of 484 rules in 362 ms. Remains 1466 /1708 variables (removed 242) and now considering 2959/3606 (removed 647) transitions.
[2025-06-03 08:40:12] [INFO ] Flow matrix only has 2687 transitions (discarded 272 similar events)
// Phase 1: matrix 2687 rows 1466 cols
[2025-06-03 08:40:12] [INFO ] Computed 121 invariants in 50 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:40:19] [INFO ] Implicit Places using invariants in 7314 ms returned [10, 186, 187, 256, 257, 258, 259, 317, 318, 319, 373, 374, 375, 376, 377, 426, 427, 471, 478, 535, 536, 580, 581, 603, 617, 618, 641, 643, 668, 669, 670, 680, 681, 684, 709, 710, 720, 743, 744, 745, 747, 759, 785, 803, 804, 805, 806, 807, 808, 843, 844, 869, 870, 871, 872, 910, 911, 914, 946, 985, 986, 987, 988, 1033, 1034, 1063, 1089, 1090, 1091, 1092, 1150, 1151, 1214, 1215]
Discarding 74 places :
Implicit Place search using SMT only with invariants took 7329 ms to find 74 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1392/1708 places, 2959/3606 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 1324 transition count 2891
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 1324 transition count 2891
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 204 place count 1256 transition count 2823
Iterating global reduction 0 with 68 rules applied. Total rules applied 272 place count 1256 transition count 2823
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 340 place count 1188 transition count 2755
Iterating global reduction 0 with 68 rules applied. Total rules applied 408 place count 1188 transition count 2755
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 436 place count 1160 transition count 2587
Iterating global reduction 0 with 28 rules applied. Total rules applied 464 place count 1160 transition count 2587
Applied a total of 464 rules in 316 ms. Remains 1160 /1392 variables (removed 232) and now considering 2587/2959 (removed 372) transitions.
[2025-06-03 08:40:19] [INFO ] Flow matrix only has 2315 transitions (discarded 272 similar events)
// Phase 1: matrix 2315 rows 1160 cols
[2025-06-03 08:40:19] [INFO ] Computed 47 invariants in 32 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:40:21] [INFO ] Implicit Places using invariants in 2068 ms returned []
[2025-06-03 08:40:21] [INFO ] Flow matrix only has 2315 transitions (discarded 272 similar events)
[2025-06-03 08:40:21] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:40:23] [INFO ] State equation strengthened by 848 read => feed constraints.
[2025-06-03 08:40:53] [INFO ] Performed 940/1160 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:40:57] [INFO ] Implicit Places using invariants and state equation in 36092 ms returned []
Implicit Place search using SMT with State Equation took 38176 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1160/1708 places, 2587/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 46187 ms. Remains : 1160/1708 places, 2587/3606 transitions.
[2025-06-03 08:40:57] [INFO ] Flatten gal took : 70 ms
[2025-06-03 08:40:58] [INFO ] Flatten gal took : 87 ms
[2025-06-03 08:40:58] [INFO ] Input system was already deterministic with 2587 transitions.
[2025-06-03 08:40:58] [INFO ] Flatten gal took : 138 ms
[2025-06-03 08:40:58] [INFO ] Flatten gal took : 138 ms
[2025-06-03 08:40:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality14248952875755220051.gal : 132 ms
[2025-06-03 08:40:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality7828040087864209350.ctl : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14248952875755220051.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7828040087864209350.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 08:41:28] [INFO ] Flatten gal took : 85 ms
[2025-06-03 08:41:28] [INFO ] Applying decomposition
[2025-06-03 08:41:29] [INFO ] Flatten gal took : 88 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/graph13945178476172910813.txt' '-o' '/tmp/graph13945178476172910813.bin' '-w' '/tmp/graph13945178476172910813.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13945178476172910813.bin' '-l' '-1' '-v' '-w' '/tmp/graph13945178476172910813.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:41:29] [INFO ] Decomposing Gal with order
[2025-06-03 08:41:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:41:30] [INFO ] Removed a total of 1667 redundant transitions.
[2025-06-03 08:41:30] [INFO ] Flatten gal took : 812 ms
[2025-06-03 08:41:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 124 labels/synchronizations in 146 ms.
[2025-06-03 08:41:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality11766628409573498402.gal : 34 ms
[2025-06-03 08:41:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality10066496108673197204.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11766628409573498402.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10066496108673197204.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Discarding 107 places :
Symmetric choice reduction at 0 with 107 rule applications. Total rules 107 place count 1601 transition count 3479
Iterating global reduction 0 with 107 rules applied. Total rules applied 214 place count 1601 transition count 3479
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 304 place count 1511 transition count 3214
Iterating global reduction 0 with 90 rules applied. Total rules applied 394 place count 1511 transition count 3214
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 442 place count 1463 transition count 2951
Iterating global reduction 0 with 48 rules applied. Total rules applied 490 place count 1463 transition count 2951
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 491 place count 1462 transition count 2945
Iterating global reduction 0 with 1 rules applied. Total rules applied 492 place count 1462 transition count 2945
Applied a total of 492 rules in 348 ms. Remains 1462 /1708 variables (removed 246) and now considering 2945/3606 (removed 661) transitions.
[2025-06-03 08:42:01] [INFO ] Flow matrix only has 2673 transitions (discarded 272 similar events)
// Phase 1: matrix 2673 rows 1462 cols
[2025-06-03 08:42:01] [INFO ] Computed 121 invariants in 49 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:42:07] [INFO ] Implicit Places using invariants in 5973 ms returned [10, 106, 184, 185, 254, 255, 256, 257, 315, 316, 317, 371, 372, 373, 374, 375, 424, 425, 426, 467, 474, 531, 532, 576, 577, 599, 613, 614, 637, 639, 664, 665, 666, 676, 677, 680, 705, 706, 716, 739, 740, 741, 743, 755, 781, 799, 800, 801, 802, 803, 804, 839, 840, 865, 866, 867, 868, 906, 907, 910, 942, 981, 982, 983, 984, 1029, 1030, 1059, 1085, 1086, 1087, 1088, 1146, 1147, 1210, 1211]
Discarding 76 places :
Implicit Place search using SMT only with invariants took 5978 ms to find 76 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1386/1708 places, 2945/3606 transitions.
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 70 place count 1316 transition count 2875
Iterating global reduction 0 with 70 rules applied. Total rules applied 140 place count 1316 transition count 2875
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 210 place count 1246 transition count 2805
Iterating global reduction 0 with 70 rules applied. Total rules applied 280 place count 1246 transition count 2805
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 350 place count 1176 transition count 2735
Iterating global reduction 0 with 70 rules applied. Total rules applied 420 place count 1176 transition count 2735
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 450 place count 1146 transition count 2555
Iterating global reduction 0 with 30 rules applied. Total rules applied 480 place count 1146 transition count 2555
Applied a total of 480 rules in 517 ms. Remains 1146 /1386 variables (removed 240) and now considering 2555/2945 (removed 390) transitions.
[2025-06-03 08:42:08] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
// Phase 1: matrix 2283 rows 1146 cols
[2025-06-03 08:42:08] [INFO ] Computed 45 invariants in 34 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:42:10] [INFO ] Implicit Places using invariants in 2462 ms returned []
[2025-06-03 08:42:10] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
[2025-06-03 08:42:10] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:42:12] [INFO ] State equation strengthened by 828 read => feed constraints.
[2025-06-03 08:42:42] [INFO ] Performed 1025/1146 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:42:47] [INFO ] Implicit Places using invariants and state equation in 36297 ms returned [1113, 1131]
Discarding 2 places :
Implicit Place search using SMT with State Equation took 38764 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1144/1708 places, 2555/3606 transitions.
Applied a total of 0 rules in 71 ms. Remains 1144 /1144 variables (removed 0) and now considering 2555/2555 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 45679 ms. Remains : 1144/1708 places, 2555/3606 transitions.
[2025-06-03 08:42:47] [INFO ] Flatten gal took : 137 ms
[2025-06-03 08:42:47] [INFO ] Flatten gal took : 135 ms
[2025-06-03 08:42:47] [INFO ] Input system was already deterministic with 2555 transitions.
[2025-06-03 08:42:47] [INFO ] Flatten gal took : 146 ms
[2025-06-03 08:42:47] [INFO ] Flatten gal took : 142 ms
[2025-06-03 08:42:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality12936189847111344518.gal : 23 ms
[2025-06-03 08:42:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality15529537147541570713.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/CTLCardinality12936189847111344518.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15529537147541570713.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 08:43:18] [INFO ] Flatten gal took : 77 ms
[2025-06-03 08:43:18] [INFO ] Applying decomposition
[2025-06-03 08:43:18] [INFO ] Flatten gal took : 95 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/graph4144127288897863387.txt' '-o' '/tmp/graph4144127288897863387.bin' '-w' '/tmp/graph4144127288897863387.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4144127288897863387.bin' '-l' '-1' '-v' '-w' '/tmp/graph4144127288897863387.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:43:18] [INFO ] Decomposing Gal with order
[2025-06-03 08:43:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:43:18] [INFO ] Removed a total of 3090 redundant transitions.
[2025-06-03 08:43:19] [INFO ] Flatten gal took : 371 ms
[2025-06-03 08:43:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 1095 labels/synchronizations in 186 ms.
[2025-06-03 08:43:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality16310270999259920874.gal : 30 ms
[2025-06-03 08:43:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality9769937557463493664.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/CTLCardinality16310270999259920874.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9769937557463493664.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Discarding 104 places :
Symmetric choice reduction at 0 with 104 rule applications. Total rules 104 place count 1604 transition count 3482
Iterating global reduction 0 with 104 rules applied. Total rules applied 208 place count 1604 transition count 3482
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 296 place count 1516 transition count 3224
Iterating global reduction 0 with 88 rules applied. Total rules applied 384 place count 1516 transition count 3224
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 431 place count 1469 transition count 2967
Iterating global reduction 0 with 47 rules applied. Total rules applied 478 place count 1469 transition count 2967
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 479 place count 1468 transition count 2961
Iterating global reduction 0 with 1 rules applied. Total rules applied 480 place count 1468 transition count 2961
Applied a total of 480 rules in 571 ms. Remains 1468 /1708 variables (removed 240) and now considering 2961/3606 (removed 645) transitions.
[2025-06-03 08:43:50] [INFO ] Flow matrix only has 2689 transitions (discarded 272 similar events)
// Phase 1: matrix 2689 rows 1468 cols
[2025-06-03 08:43:50] [INFO ] Computed 121 invariants in 44 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:43:56] [INFO ] Implicit Places using invariants in 6435 ms returned [10, 106, 184, 185, 254, 255, 256, 257, 315, 316, 317, 371, 372, 373, 374, 375, 424, 425, 426, 467, 474, 532, 579, 580, 602, 616, 617, 641, 643, 668, 669, 670, 680, 681, 684, 709, 710, 720, 743, 744, 745, 747, 759, 785, 803, 804, 805, 806, 807, 808, 843, 844, 869, 870, 871, 872, 910, 916, 948, 987, 988, 989, 990, 1035, 1036, 1065, 1091, 1092, 1093, 1094, 1152, 1153, 1216, 1217]
Discarding 74 places :
Implicit Place search using SMT only with invariants took 6440 ms to find 74 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1394/1708 places, 2961/3606 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 1326 transition count 2893
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 1326 transition count 2893
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 204 place count 1258 transition count 2825
Iterating global reduction 0 with 68 rules applied. Total rules applied 272 place count 1258 transition count 2825
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 340 place count 1190 transition count 2757
Iterating global reduction 0 with 68 rules applied. Total rules applied 408 place count 1190 transition count 2757
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 435 place count 1163 transition count 2595
Iterating global reduction 0 with 27 rules applied. Total rules applied 462 place count 1163 transition count 2595
Applied a total of 462 rules in 538 ms. Remains 1163 /1394 variables (removed 231) and now considering 2595/2961 (removed 366) transitions.
[2025-06-03 08:43:57] [INFO ] Flow matrix only has 2323 transitions (discarded 272 similar events)
// Phase 1: matrix 2323 rows 1163 cols
[2025-06-03 08:43:57] [INFO ] Computed 47 invariants in 45 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:44:00] [INFO ] Implicit Places using invariants in 2967 ms returned []
[2025-06-03 08:44:00] [INFO ] Flow matrix only has 2323 transitions (discarded 272 similar events)
[2025-06-03 08:44:00] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:44:01] [INFO ] State equation strengthened by 853 read => feed constraints.
[2025-06-03 08:44:31] [INFO ] Performed 997/1163 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:44:35] [INFO ] Implicit Places using invariants and state equation in 35301 ms returned []
Implicit Place search using SMT with State Equation took 38271 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1163/1708 places, 2595/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 45823 ms. Remains : 1163/1708 places, 2595/3606 transitions.
[2025-06-03 08:44:35] [INFO ] Flatten gal took : 64 ms
[2025-06-03 08:44:35] [INFO ] Flatten gal took : 79 ms
[2025-06-03 08:44:35] [INFO ] Input system was already deterministic with 2595 transitions.
[2025-06-03 08:44:35] [INFO ] Flatten gal took : 128 ms
[2025-06-03 08:44:35] [INFO ] Flatten gal took : 119 ms
[2025-06-03 08:44:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality8582376625741486920.gal : 19 ms
[2025-06-03 08:44:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality8153537500093888825.ctl : 2 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/CTLCardinality8582376625741486920.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8153537500093888825.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 08:45:06] [INFO ] Flatten gal took : 73 ms
[2025-06-03 08:45:06] [INFO ] Applying decomposition
[2025-06-03 08:45:06] [INFO ] Flatten gal took : 80 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/graph3526996443584108411.txt' '-o' '/tmp/graph3526996443584108411.bin' '-w' '/tmp/graph3526996443584108411.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3526996443584108411.bin' '-l' '-1' '-v' '-w' '/tmp/graph3526996443584108411.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:45:06] [INFO ] Decomposing Gal with order
[2025-06-03 08:45:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:45:06] [INFO ] Removed a total of 1736 redundant transitions.
[2025-06-03 08:45:06] [INFO ] Flatten gal took : 339 ms
[2025-06-03 08:45:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 102 labels/synchronizations in 32 ms.
[2025-06-03 08:45:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality5465667504845716925.gal : 18 ms
[2025-06-03 08:45:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality13605381592068497090.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/CTLCardinality5465667504845716925.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13605381592068497090.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 : 1708/1708 places, 3606/3606 transitions.
Discarding 103 places :
Symmetric choice reduction at 0 with 103 rule applications. Total rules 103 place count 1605 transition count 3488
Iterating global reduction 0 with 103 rules applied. Total rules applied 206 place count 1605 transition count 3488
Discarding 87 places :
Symmetric choice reduction at 0 with 87 rule applications. Total rules 293 place count 1518 transition count 3231
Iterating global reduction 0 with 87 rules applied. Total rules applied 380 place count 1518 transition count 3231
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 426 place count 1472 transition count 2980
Iterating global reduction 0 with 46 rules applied. Total rules applied 472 place count 1472 transition count 2980
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 473 place count 1471 transition count 2974
Iterating global reduction 0 with 1 rules applied. Total rules applied 474 place count 1471 transition count 2974
Applied a total of 474 rules in 421 ms. Remains 1471 /1708 variables (removed 237) and now considering 2974/3606 (removed 632) transitions.
[2025-06-03 08:45:37] [INFO ] Flow matrix only has 2702 transitions (discarded 272 similar events)
// Phase 1: matrix 2702 rows 1471 cols
[2025-06-03 08:45:37] [INFO ] Computed 121 invariants in 49 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:45:43] [INFO ] Implicit Places using invariants in 5811 ms returned [10, 106, 184, 185, 254, 255, 256, 257, 315, 316, 317, 371, 372, 373, 374, 375, 424, 425, 426, 467, 474, 531, 532, 576, 577, 599, 613, 614, 637, 639, 666, 667, 680, 681, 684, 709, 710, 720, 743, 744, 745, 747, 759, 785, 803, 804, 805, 806, 807, 808, 843, 844, 869, 871, 872, 913, 914, 917, 949, 988, 989, 990, 991, 1036, 1037, 1066, 1092, 1093, 1094, 1155, 1156, 1219, 1220]
Discarding 73 places :
Implicit Place search using SMT only with invariants took 5815 ms to find 73 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1398/1708 places, 2974/3606 transitions.
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 67 place count 1331 transition count 2907
Iterating global reduction 0 with 67 rules applied. Total rules applied 134 place count 1331 transition count 2907
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 201 place count 1264 transition count 2840
Iterating global reduction 0 with 67 rules applied. Total rules applied 268 place count 1264 transition count 2840
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 335 place count 1197 transition count 2773
Iterating global reduction 0 with 67 rules applied. Total rules applied 402 place count 1197 transition count 2773
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 429 place count 1170 transition count 2611
Iterating global reduction 0 with 27 rules applied. Total rules applied 456 place count 1170 transition count 2611
Applied a total of 456 rules in 584 ms. Remains 1170 /1398 variables (removed 228) and now considering 2611/2974 (removed 363) transitions.
[2025-06-03 08:45:44] [INFO ] Flow matrix only has 2339 transitions (discarded 272 similar events)
// Phase 1: matrix 2339 rows 1170 cols
[2025-06-03 08:45:44] [INFO ] Computed 48 invariants in 40 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:45:47] [INFO ] Implicit Places using invariants in 3036 ms returned []
[2025-06-03 08:45:47] [INFO ] Flow matrix only has 2339 transitions (discarded 272 similar events)
[2025-06-03 08:45:47] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:45:49] [INFO ] State equation strengthened by 863 read => feed constraints.
[2025-06-03 08:46:19] [INFO ] Performed 793/1170 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:46:31] [INFO ] Implicit Places using invariants and state equation in 44580 ms returned []
Implicit Place search using SMT with State Equation took 47638 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1170/1708 places, 2611/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 54460 ms. Remains : 1170/1708 places, 2611/3606 transitions.
[2025-06-03 08:46:31] [INFO ] Flatten gal took : 63 ms
[2025-06-03 08:46:32] [INFO ] Flatten gal took : 78 ms
[2025-06-03 08:46:32] [INFO ] Input system was already deterministic with 2611 transitions.
[2025-06-03 08:46:32] [INFO ] Flatten gal took : 99 ms
[2025-06-03 08:46:32] [INFO ] Flatten gal took : 149 ms
[2025-06-03 08:46:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality14485037595682302905.gal : 29 ms
[2025-06-03 08:46:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality14936500369455836323.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/CTLCardinality14485037595682302905.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14936500369455836323.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 08:47:02] [INFO ] Flatten gal took : 78 ms
[2025-06-03 08:47:02] [INFO ] Applying decomposition
[2025-06-03 08:47:02] [INFO ] Flatten gal took : 83 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/graph2262917929732041527.txt' '-o' '/tmp/graph2262917929732041527.bin' '-w' '/tmp/graph2262917929732041527.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2262917929732041527.bin' '-l' '-1' '-v' '-w' '/tmp/graph2262917929732041527.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:47:02] [INFO ] Decomposing Gal with order
[2025-06-03 08:47:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:47:03] [INFO ] Removed a total of 1697 redundant transitions.
[2025-06-03 08:47:03] [INFO ] Flatten gal took : 261 ms
[2025-06-03 08:47:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 112 labels/synchronizations in 29 ms.
[2025-06-03 08:47:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality4989621051827846751.gal : 22 ms
[2025-06-03 08:47:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality12631248959477593467.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/CTLCardinality4989621051827846751.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12631248959477593467.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 : 1708/1708 places, 3606/3606 transitions.
Discarding 102 places :
Symmetric choice reduction at 0 with 102 rule applications. Total rules 102 place count 1606 transition count 3484
Iterating global reduction 0 with 102 rules applied. Total rules applied 204 place count 1606 transition count 3484
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 289 place count 1521 transition count 3229
Iterating global reduction 0 with 85 rules applied. Total rules applied 374 place count 1521 transition count 3229
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 419 place count 1476 transition count 2974
Iterating global reduction 0 with 45 rules applied. Total rules applied 464 place count 1476 transition count 2974
Applied a total of 464 rules in 327 ms. Remains 1476 /1708 variables (removed 232) and now considering 2974/3606 (removed 632) transitions.
[2025-06-03 08:47:34] [INFO ] Flow matrix only has 2702 transitions (discarded 272 similar events)
// Phase 1: matrix 2702 rows 1476 cols
[2025-06-03 08:47:34] [INFO ] Computed 121 invariants in 48 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:47:39] [INFO ] Implicit Places using invariants in 5558 ms returned [10, 106, 184, 185, 254, 255, 256, 257, 315, 316, 317, 371, 372, 373, 374, 375, 424, 425, 426, 467, 474, 531, 532, 576, 577, 599, 613, 614, 637, 639, 668, 669, 670, 680, 681, 684, 709, 710, 720, 743, 744, 745, 747, 759, 785, 803, 804, 805, 806, 807, 808, 843, 844, 869, 870, 872, 913, 914, 917, 949, 989, 990, 991, 992, 1037, 1038, 1067, 1094, 1095, 1096, 1156, 1157, 1220, 1221]
Discarding 74 places :
Implicit Place search using SMT only with invariants took 5563 ms to find 74 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1402/1708 places, 2974/3606 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 1334 transition count 2906
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 1334 transition count 2906
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 204 place count 1266 transition count 2838
Iterating global reduction 0 with 68 rules applied. Total rules applied 272 place count 1266 transition count 2838
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 340 place count 1198 transition count 2770
Iterating global reduction 0 with 68 rules applied. Total rules applied 408 place count 1198 transition count 2770
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 434 place count 1172 transition count 2614
Iterating global reduction 0 with 26 rules applied. Total rules applied 460 place count 1172 transition count 2614
Applied a total of 460 rules in 500 ms. Remains 1172 /1402 variables (removed 230) and now considering 2614/2974 (removed 360) transitions.
[2025-06-03 08:47:40] [INFO ] Flow matrix only has 2342 transitions (discarded 272 similar events)
// Phase 1: matrix 2342 rows 1172 cols
[2025-06-03 08:47:40] [INFO ] Computed 47 invariants in 39 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:47:43] [INFO ] Implicit Places using invariants in 3202 ms returned []
[2025-06-03 08:47:43] [INFO ] Flow matrix only has 2342 transitions (discarded 272 similar events)
[2025-06-03 08:47:43] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:47:45] [INFO ] State equation strengthened by 863 read => feed constraints.
[2025-06-03 08:48:15] [INFO ] Performed 1009/1172 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:48:19] [INFO ] Implicit Places using invariants and state equation in 36305 ms returned []
Implicit Place search using SMT with State Equation took 39510 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1172/1708 places, 2614/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 45905 ms. Remains : 1172/1708 places, 2614/3606 transitions.
[2025-06-03 08:48:19] [INFO ] Flatten gal took : 60 ms
[2025-06-03 08:48:19] [INFO ] Flatten gal took : 75 ms
[2025-06-03 08:48:20] [INFO ] Input system was already deterministic with 2614 transitions.
[2025-06-03 08:48:20] [INFO ] Flatten gal took : 66 ms
[2025-06-03 08:48:20] [INFO ] Flatten gal took : 70 ms
[2025-06-03 08:48:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality1193603020289408637.gal : 11 ms
[2025-06-03 08:48:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality9647109638280213343.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/CTLCardinality1193603020289408637.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9647109638280213343.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 08:48:50] [INFO ] Flatten gal took : 66 ms
[2025-06-03 08:48:50] [INFO ] Applying decomposition
[2025-06-03 08:48:50] [INFO ] Flatten gal took : 95 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/graph13644628713653737855.txt' '-o' '/tmp/graph13644628713653737855.bin' '-w' '/tmp/graph13644628713653737855.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13644628713653737855.bin' '-l' '-1' '-v' '-w' '/tmp/graph13644628713653737855.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:48:50] [INFO ] Decomposing Gal with order
[2025-06-03 08:48:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:48:50] [INFO ] Removed a total of 1671 redundant transitions.
[2025-06-03 08:48:50] [INFO ] Flatten gal took : 212 ms
[2025-06-03 08:48:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 106 labels/synchronizations in 27 ms.
[2025-06-03 08:48:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality8602907167069554938.gal : 16 ms
[2025-06-03 08:48:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality6652706743655157992.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/CTLCardinality8602907167069554938.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6652706743655157992.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 : 1708/1708 places, 3606/3606 transitions.
Discarding 107 places :
Symmetric choice reduction at 0 with 107 rule applications. Total rules 107 place count 1601 transition count 3479
Iterating global reduction 0 with 107 rules applied. Total rules applied 214 place count 1601 transition count 3479
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 304 place count 1511 transition count 3214
Iterating global reduction 0 with 90 rules applied. Total rules applied 394 place count 1511 transition count 3214
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 442 place count 1463 transition count 2951
Iterating global reduction 0 with 48 rules applied. Total rules applied 490 place count 1463 transition count 2951
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 491 place count 1462 transition count 2945
Iterating global reduction 0 with 1 rules applied. Total rules applied 492 place count 1462 transition count 2945
Applied a total of 492 rules in 350 ms. Remains 1462 /1708 variables (removed 246) and now considering 2945/3606 (removed 661) transitions.
[2025-06-03 08:49:21] [INFO ] Flow matrix only has 2673 transitions (discarded 272 similar events)
// Phase 1: matrix 2673 rows 1462 cols
[2025-06-03 08:49:21] [INFO ] Computed 121 invariants in 29 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:49:27] [INFO ] Implicit Places using invariants in 6102 ms returned [10, 106, 184, 185, 254, 255, 256, 257, 315, 316, 317, 371, 372, 373, 374, 375, 424, 425, 426, 467, 474, 531, 532, 576, 577, 599, 613, 614, 637, 639, 664, 665, 666, 676, 677, 680, 705, 706, 716, 739, 740, 741, 743, 755, 781, 799, 800, 801, 802, 803, 804, 839, 840, 865, 866, 867, 868, 906, 907, 910, 942, 981, 982, 983, 984, 1029, 1030, 1059, 1085, 1086, 1087, 1088, 1146, 1147, 1210, 1211]
Discarding 76 places :
Implicit Place search using SMT only with invariants took 6113 ms to find 76 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1386/1708 places, 2945/3606 transitions.
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 70 place count 1316 transition count 2875
Iterating global reduction 0 with 70 rules applied. Total rules applied 140 place count 1316 transition count 2875
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 210 place count 1246 transition count 2805
Iterating global reduction 0 with 70 rules applied. Total rules applied 280 place count 1246 transition count 2805
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 350 place count 1176 transition count 2735
Iterating global reduction 0 with 70 rules applied. Total rules applied 420 place count 1176 transition count 2735
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 450 place count 1146 transition count 2555
Iterating global reduction 0 with 30 rules applied. Total rules applied 480 place count 1146 transition count 2555
Applied a total of 480 rules in 308 ms. Remains 1146 /1386 variables (removed 240) and now considering 2555/2945 (removed 390) transitions.
[2025-06-03 08:49:27] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
// Phase 1: matrix 2283 rows 1146 cols
[2025-06-03 08:49:28] [INFO ] Computed 45 invariants in 26 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:49:30] [INFO ] Implicit Places using invariants in 2175 ms returned []
[2025-06-03 08:49:30] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
[2025-06-03 08:49:30] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:49:31] [INFO ] State equation strengthened by 828 read => feed constraints.
[2025-06-03 08:50:01] [INFO ] Performed 1056/1146 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:50:05] [INFO ] Implicit Places using invariants and state equation in 35148 ms returned [1113, 1131]
Discarding 2 places :
Implicit Place search using SMT with State Equation took 37329 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1144/1708 places, 2555/3606 transitions.
Applied a total of 0 rules in 59 ms. Remains 1144 /1144 variables (removed 0) and now considering 2555/2555 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 44163 ms. Remains : 1144/1708 places, 2555/3606 transitions.
[2025-06-03 08:50:05] [INFO ] Flatten gal took : 63 ms
[2025-06-03 08:50:05] [INFO ] Flatten gal took : 73 ms
[2025-06-03 08:50:05] [INFO ] Input system was already deterministic with 2555 transitions.
[2025-06-03 08:50:05] [INFO ] Flatten gal took : 71 ms
[2025-06-03 08:50:05] [INFO ] Flatten gal took : 74 ms
[2025-06-03 08:50:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality15170519506496879569.gal : 13 ms
[2025-06-03 08:50:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality10557734308735382436.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/CTLCardinality15170519506496879569.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10557734308735382436.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 08:50:35] [INFO ] Flatten gal took : 88 ms
[2025-06-03 08:50:35] [INFO ] Applying decomposition
[2025-06-03 08:50:36] [INFO ] Flatten gal took : 69 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/graph8159419437218792333.txt' '-o' '/tmp/graph8159419437218792333.bin' '-w' '/tmp/graph8159419437218792333.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8159419437218792333.bin' '-l' '-1' '-v' '-w' '/tmp/graph8159419437218792333.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:50:36] [INFO ] Decomposing Gal with order
[2025-06-03 08:50:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:50:36] [INFO ] Removed a total of 2825 redundant transitions.
[2025-06-03 08:50:36] [INFO ] Flatten gal took : 203 ms
[2025-06-03 08:50:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 1227 labels/synchronizations in 64 ms.
[2025-06-03 08:50:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality8634608931416535265.gal : 25 ms
[2025-06-03 08:50:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality17313531492668415246.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/CTLCardinality8634608931416535265.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17313531492668415246.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 1607 transition count 3490
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 1607 transition count 3490
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 287 place count 1522 transition count 3240
Iterating global reduction 0 with 85 rules applied. Total rules applied 372 place count 1522 transition count 3240
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 418 place count 1476 transition count 2989
Iterating global reduction 0 with 46 rules applied. Total rules applied 464 place count 1476 transition count 2989
Applied a total of 464 rules in 306 ms. Remains 1476 /1708 variables (removed 232) and now considering 2989/3606 (removed 617) transitions.
[2025-06-03 08:51:06] [INFO ] Flow matrix only has 2717 transitions (discarded 272 similar events)
// Phase 1: matrix 2717 rows 1476 cols
[2025-06-03 08:51:07] [INFO ] Computed 121 invariants in 37 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:51:12] [INFO ] Implicit Places using invariants in 5399 ms returned [10, 106, 184, 185, 255, 256, 257, 318, 319, 320, 374, 375, 376, 377, 378, 427, 428, 472, 479, 536, 537, 581, 582, 604, 618, 619, 642, 644, 669, 670, 671, 681, 682, 712, 725, 748, 749, 750, 752, 764, 790, 808, 809, 810, 811, 812, 813, 848, 849, 874, 875, 876, 877, 915, 916, 919, 951, 991, 992, 993, 1040, 1041, 1070, 1096, 1097, 1098, 1099, 1157, 1158, 1221, 1222]
Discarding 71 places :
Implicit Place search using SMT only with invariants took 5403 ms to find 71 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1405/1708 places, 2989/3606 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 1339 transition count 2923
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 1339 transition count 2923
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 198 place count 1273 transition count 2857
Iterating global reduction 0 with 66 rules applied. Total rules applied 264 place count 1273 transition count 2857
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 330 place count 1207 transition count 2791
Iterating global reduction 0 with 66 rules applied. Total rules applied 396 place count 1207 transition count 2791
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 422 place count 1181 transition count 2635
Iterating global reduction 0 with 26 rules applied. Total rules applied 448 place count 1181 transition count 2635
Applied a total of 448 rules in 301 ms. Remains 1181 /1405 variables (removed 224) and now considering 2635/2989 (removed 354) transitions.
[2025-06-03 08:51:12] [INFO ] Flow matrix only has 2363 transitions (discarded 272 similar events)
// Phase 1: matrix 2363 rows 1181 cols
[2025-06-03 08:51:12] [INFO ] Computed 50 invariants in 27 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:51:15] [INFO ] Implicit Places using invariants in 2383 ms returned []
[2025-06-03 08:51:15] [INFO ] Flow matrix only has 2363 transitions (discarded 272 similar events)
[2025-06-03 08:51:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:51:16] [INFO ] State equation strengthened by 878 read => feed constraints.
[2025-06-03 08:51:46] [INFO ] Performed 872/1181 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:51:55] [INFO ] Implicit Places using invariants and state equation in 39940 ms returned []
Implicit Place search using SMT with State Equation took 42327 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1181/1708 places, 2635/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 48337 ms. Remains : 1181/1708 places, 2635/3606 transitions.
[2025-06-03 08:51:55] [INFO ] Flatten gal took : 73 ms
[2025-06-03 08:51:55] [INFO ] Flatten gal took : 76 ms
[2025-06-03 08:51:55] [INFO ] Input system was already deterministic with 2635 transitions.
[2025-06-03 08:51:55] [INFO ] Flatten gal took : 87 ms
[2025-06-03 08:51:55] [INFO ] Flatten gal took : 90 ms
[2025-06-03 08:51:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality13278490919799355391.gal : 15 ms
[2025-06-03 08:51:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality8747311524815658445.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/CTLCardinality13278490919799355391.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8747311524815658445.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 08:52:25] [INFO ] Flatten gal took : 123 ms
[2025-06-03 08:52:25] [INFO ] Applying decomposition
[2025-06-03 08:52:25] [INFO ] Flatten gal took : 126 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/graph2595013407403540413.txt' '-o' '/tmp/graph2595013407403540413.bin' '-w' '/tmp/graph2595013407403540413.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2595013407403540413.bin' '-l' '-1' '-v' '-w' '/tmp/graph2595013407403540413.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:52:26] [INFO ] Decomposing Gal with order
[2025-06-03 08:52:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:52:26] [INFO ] Removed a total of 1779 redundant transitions.
[2025-06-03 08:52:26] [INFO ] Flatten gal took : 284 ms
[2025-06-03 08:52:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 92 labels/synchronizations in 19 ms.
[2025-06-03 08:52:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality572659590206480129.gal : 16 ms
[2025-06-03 08:52:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality3615861820412562288.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/CTLCardinality572659590206480129.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3615861820412562288.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 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Discarding 104 places :
Symmetric choice reduction at 0 with 104 rule applications. Total rules 104 place count 1604 transition count 3482
Iterating global reduction 0 with 104 rules applied. Total rules applied 208 place count 1604 transition count 3482
Discarding 87 places :
Symmetric choice reduction at 0 with 87 rule applications. Total rules 295 place count 1517 transition count 3230
Iterating global reduction 0 with 87 rules applied. Total rules applied 382 place count 1517 transition count 3230
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 429 place count 1470 transition count 2973
Iterating global reduction 0 with 47 rules applied. Total rules applied 476 place count 1470 transition count 2973
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 477 place count 1469 transition count 2967
Iterating global reduction 0 with 1 rules applied. Total rules applied 478 place count 1469 transition count 2967
Applied a total of 478 rules in 636 ms. Remains 1469 /1708 variables (removed 239) and now considering 2967/3606 (removed 639) transitions.
[2025-06-03 08:52:57] [INFO ] Flow matrix only has 2695 transitions (discarded 272 similar events)
// Phase 1: matrix 2695 rows 1469 cols
[2025-06-03 08:52:57] [INFO ] Computed 121 invariants in 29 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:53:03] [INFO ] Implicit Places using invariants in 5922 ms returned [10, 106, 184, 185, 254, 256, 257, 318, 319, 320, 374, 375, 376, 377, 378, 427, 428, 429, 470, 477, 534, 535, 579, 580, 602, 616, 617, 640, 642, 667, 668, 669, 679, 680, 683, 708, 709, 719, 742, 743, 744, 746, 758, 784, 802, 803, 804, 806, 807, 844, 845, 870, 871, 872, 873, 911, 912, 915, 947, 986, 987, 988, 989, 1034, 1035, 1064, 1090, 1092, 1093, 1153, 1154, 1217, 1218]
Discarding 73 places :
Implicit Place search using SMT only with invariants took 5934 ms to find 73 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1396/1708 places, 2967/3606 transitions.
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 67 place count 1329 transition count 2900
Iterating global reduction 0 with 67 rules applied. Total rules applied 134 place count 1329 transition count 2900
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 201 place count 1262 transition count 2833
Iterating global reduction 0 with 67 rules applied. Total rules applied 268 place count 1262 transition count 2833
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 335 place count 1195 transition count 2766
Iterating global reduction 0 with 67 rules applied. Total rules applied 402 place count 1195 transition count 2766
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 429 place count 1168 transition count 2604
Iterating global reduction 0 with 27 rules applied. Total rules applied 456 place count 1168 transition count 2604
Applied a total of 456 rules in 304 ms. Remains 1168 /1396 variables (removed 228) and now considering 2604/2967 (removed 363) transitions.
[2025-06-03 08:53:03] [INFO ] Flow matrix only has 2332 transitions (discarded 272 similar events)
// Phase 1: matrix 2332 rows 1168 cols
[2025-06-03 08:53:03] [INFO ] Computed 48 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:53:06] [INFO ] Implicit Places using invariants in 2432 ms returned []
[2025-06-03 08:53:06] [INFO ] Flow matrix only has 2332 transitions (discarded 272 similar events)
[2025-06-03 08:53:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:53:07] [INFO ] State equation strengthened by 858 read => feed constraints.
[2025-06-03 08:53:37] [INFO ] Performed 807/1168 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:53:48] [INFO ] Implicit Places using invariants and state equation in 42384 ms returned []
Implicit Place search using SMT with State Equation took 44819 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1168/1708 places, 2604/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 51696 ms. Remains : 1168/1708 places, 2604/3606 transitions.
[2025-06-03 08:53:48] [INFO ] Flatten gal took : 63 ms
[2025-06-03 08:53:48] [INFO ] Flatten gal took : 72 ms
[2025-06-03 08:53:48] [INFO ] Input system was already deterministic with 2604 transitions.
[2025-06-03 08:53:48] [INFO ] Flatten gal took : 73 ms
[2025-06-03 08:53:49] [INFO ] Flatten gal took : 81 ms
[2025-06-03 08:53:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality11719268647769815667.gal : 14 ms
[2025-06-03 08:53:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality17534297130052642618.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/CTLCardinality11719268647769815667.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17534297130052642618.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 08:54:19] [INFO ] Flatten gal took : 73 ms
[2025-06-03 08:54:19] [INFO ] Applying decomposition
[2025-06-03 08:54:19] [INFO ] Flatten gal took : 80 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/graph14599455047002489070.txt' '-o' '/tmp/graph14599455047002489070.bin' '-w' '/tmp/graph14599455047002489070.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14599455047002489070.bin' '-l' '-1' '-v' '-w' '/tmp/graph14599455047002489070.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:54:19] [INFO ] Decomposing Gal with order
[2025-06-03 08:54:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:54:19] [INFO ] Removed a total of 1688 redundant transitions.
[2025-06-03 08:54:19] [INFO ] Flatten gal took : 309 ms
[2025-06-03 08:54:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 122 labels/synchronizations in 32 ms.
[2025-06-03 08:54:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality9227231132522410943.gal : 16 ms
[2025-06-03 08:54:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality4301758267645888335.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/CTLCardinality9227231132522410943.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4301758267645888335.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 : 1708/1708 places, 3606/3606 transitions.
Discarding 105 places :
Symmetric choice reduction at 0 with 105 rule applications. Total rules 105 place count 1603 transition count 3481
Iterating global reduction 0 with 105 rules applied. Total rules applied 210 place count 1603 transition count 3481
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 298 place count 1515 transition count 3218
Iterating global reduction 0 with 88 rules applied. Total rules applied 386 place count 1515 transition count 3218
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 432 place count 1469 transition count 2967
Iterating global reduction 0 with 46 rules applied. Total rules applied 478 place count 1469 transition count 2967
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 479 place count 1468 transition count 2961
Iterating global reduction 0 with 1 rules applied. Total rules applied 480 place count 1468 transition count 2961
Applied a total of 480 rules in 590 ms. Remains 1468 /1708 variables (removed 240) and now considering 2961/3606 (removed 645) transitions.
[2025-06-03 08:54:50] [INFO ] Flow matrix only has 2689 transitions (discarded 272 similar events)
// Phase 1: matrix 2689 rows 1468 cols
[2025-06-03 08:54:50] [INFO ] Computed 121 invariants in 32 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:54:57] [INFO ] Implicit Places using invariants in 6598 ms returned [10, 106, 184, 185, 254, 255, 256, 318, 319, 320, 374, 375, 376, 377, 378, 427, 428, 429, 470, 477, 534, 535, 579, 580, 602, 616, 617, 640, 642, 667, 668, 669, 679, 680, 683, 708, 709, 719, 742, 743, 744, 746, 758, 784, 802, 803, 804, 805, 806, 807, 842, 843, 868, 869, 870, 871, 909, 910, 913, 987, 988, 989, 990, 1035, 1036, 1065, 1091, 1092, 1093, 1094, 1152, 1153, 1216, 1217]
Discarding 74 places :
Implicit Place search using SMT only with invariants took 6602 ms to find 74 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1394/1708 places, 2961/3606 transitions.
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 67 place count 1327 transition count 2894
Iterating global reduction 0 with 67 rules applied. Total rules applied 134 place count 1327 transition count 2894
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 200 place count 1261 transition count 2828
Iterating global reduction 0 with 66 rules applied. Total rules applied 266 place count 1261 transition count 2828
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 332 place count 1195 transition count 2762
Iterating global reduction 0 with 66 rules applied. Total rules applied 398 place count 1195 transition count 2762
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 424 place count 1169 transition count 2606
Iterating global reduction 0 with 26 rules applied. Total rules applied 450 place count 1169 transition count 2606
Applied a total of 450 rules in 298 ms. Remains 1169 /1394 variables (removed 225) and now considering 2606/2961 (removed 355) transitions.
[2025-06-03 08:54:57] [INFO ] Flow matrix only has 2334 transitions (discarded 272 similar events)
// Phase 1: matrix 2334 rows 1169 cols
[2025-06-03 08:54:57] [INFO ] Computed 47 invariants in 40 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:55:00] [INFO ] Implicit Places using invariants in 2224 ms returned []
[2025-06-03 08:55:00] [INFO ] Flow matrix only has 2334 transitions (discarded 272 similar events)
[2025-06-03 08:55:00] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:55:01] [INFO ] State equation strengthened by 858 read => feed constraints.
[2025-06-03 08:55:31] [INFO ] Performed 1011/1169 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:55:36] [INFO ] Implicit Places using invariants and state equation in 36220 ms returned []
Implicit Place search using SMT with State Equation took 38459 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1169/1708 places, 2606/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 45952 ms. Remains : 1169/1708 places, 2606/3606 transitions.
[2025-06-03 08:55:36] [INFO ] Flatten gal took : 98 ms
[2025-06-03 08:55:36] [INFO ] Flatten gal took : 113 ms
[2025-06-03 08:55:36] [INFO ] Input system was already deterministic with 2606 transitions.
[2025-06-03 08:55:36] [INFO ] Flatten gal took : 112 ms
[2025-06-03 08:55:36] [INFO ] Flatten gal took : 118 ms
[2025-06-03 08:55:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality12297089487055447056.gal : 18 ms
[2025-06-03 08:55:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality2196732791298817108.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/CTLCardinality12297089487055447056.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2196732791298817108.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 08:56:07] [INFO ] Flatten gal took : 124 ms
[2025-06-03 08:56:07] [INFO ] Applying decomposition
[2025-06-03 08:56:07] [INFO ] Flatten gal took : 121 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/graph11106442775655090861.txt' '-o' '/tmp/graph11106442775655090861.bin' '-w' '/tmp/graph11106442775655090861.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11106442775655090861.bin' '-l' '-1' '-v' '-w' '/tmp/graph11106442775655090861.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:56:07] [INFO ] Decomposing Gal with order
[2025-06-03 08:56:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:56:07] [INFO ] Removed a total of 1708 redundant transitions.
[2025-06-03 08:56:07] [INFO ] Flatten gal took : 178 ms
[2025-06-03 08:56:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 92 labels/synchronizations in 13 ms.
[2025-06-03 08:56:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality12123102484824465219.gal : 15 ms
[2025-06-03 08:56:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality3654168546141482111.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/CTLCardinality12123102484824465219.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3654168546141482111.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 : 1708/1708 places, 3606/3606 transitions.
Discarding 102 places :
Symmetric choice reduction at 0 with 102 rule applications. Total rules 102 place count 1606 transition count 3484
Iterating global reduction 0 with 102 rules applied. Total rules applied 204 place count 1606 transition count 3484
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 290 place count 1520 transition count 3233
Iterating global reduction 0 with 86 rules applied. Total rules applied 376 place count 1520 transition count 3233
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 421 place count 1475 transition count 2988
Iterating global reduction 0 with 45 rules applied. Total rules applied 466 place count 1475 transition count 2988
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 467 place count 1474 transition count 2982
Iterating global reduction 0 with 1 rules applied. Total rules applied 468 place count 1474 transition count 2982
Applied a total of 468 rules in 442 ms. Remains 1474 /1708 variables (removed 234) and now considering 2982/3606 (removed 624) transitions.
[2025-06-03 08:56:38] [INFO ] Flow matrix only has 2710 transitions (discarded 272 similar events)
// Phase 1: matrix 2710 rows 1474 cols
[2025-06-03 08:56:38] [INFO ] Computed 121 invariants in 30 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:56:44] [INFO ] Implicit Places using invariants in 5946 ms returned [10, 106, 185, 257, 258, 259, 260, 318, 319, 320, 374, 375, 376, 377, 378, 427, 428, 429, 477, 536, 537, 581, 582, 604, 618, 619, 642, 644, 669, 671, 683, 684, 687, 712, 713, 723, 746, 747, 748, 750, 762, 788, 806, 807, 808, 809, 810, 811, 847, 875, 876, 877, 878, 916, 917, 920, 952, 991, 992, 993, 994, 1039, 1040, 1069, 1095, 1096, 1098, 1158, 1159, 1222, 1223]
Discarding 71 places :
Implicit Place search using SMT only with invariants took 5950 ms to find 71 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1403/1708 places, 2982/3606 transitions.
Discarding 65 places :
Symmetric choice reduction at 0 with 65 rule applications. Total rules 65 place count 1338 transition count 2917
Iterating global reduction 0 with 65 rules applied. Total rules applied 130 place count 1338 transition count 2917
Discarding 65 places :
Symmetric choice reduction at 0 with 65 rule applications. Total rules 195 place count 1273 transition count 2852
Iterating global reduction 0 with 65 rules applied. Total rules applied 260 place count 1273 transition count 2852
Discarding 65 places :
Symmetric choice reduction at 0 with 65 rule applications. Total rules 325 place count 1208 transition count 2787
Iterating global reduction 0 with 65 rules applied. Total rules applied 390 place count 1208 transition count 2787
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 415 place count 1183 transition count 2637
Iterating global reduction 0 with 25 rules applied. Total rules applied 440 place count 1183 transition count 2637
Applied a total of 440 rules in 501 ms. Remains 1183 /1403 variables (removed 220) and now considering 2637/2982 (removed 345) transitions.
[2025-06-03 08:56:45] [INFO ] Flow matrix only has 2365 transitions (discarded 272 similar events)
// Phase 1: matrix 2365 rows 1183 cols
[2025-06-03 08:56:45] [INFO ] Computed 50 invariants in 39 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:56:47] [INFO ] Implicit Places using invariants in 2406 ms returned []
[2025-06-03 08:56:47] [INFO ] Flow matrix only has 2365 transitions (discarded 272 similar events)
[2025-06-03 08:56:47] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:56:49] [INFO ] State equation strengthened by 878 read => feed constraints.
[2025-06-03 08:57:19] [INFO ] Performed 912/1183 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:57:24] [INFO ] Implicit Places using invariants and state equation in 36699 ms returned []
Implicit Place search using SMT with State Equation took 39110 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1183/1708 places, 2637/3606 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 46004 ms. Remains : 1183/1708 places, 2637/3606 transitions.
[2025-06-03 08:57:24] [INFO ] Flatten gal took : 127 ms
[2025-06-03 08:57:24] [INFO ] Flatten gal took : 119 ms
[2025-06-03 08:57:24] [INFO ] Input system was already deterministic with 2637 transitions.
[2025-06-03 08:57:24] [INFO ] Flatten gal took : 119 ms
[2025-06-03 08:57:24] [INFO ] Flatten gal took : 99 ms
[2025-06-03 08:57:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality4961369475759748950.gal : 14 ms
[2025-06-03 08:57:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality17370160580684363957.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/CTLCardinality4961369475759748950.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17370160580684363957.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 08:57:54] [INFO ] Flatten gal took : 77 ms
[2025-06-03 08:57:54] [INFO ] Applying decomposition
[2025-06-03 08:57:55] [INFO ] Flatten gal took : 80 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/graph12189532204907533940.txt' '-o' '/tmp/graph12189532204907533940.bin' '-w' '/tmp/graph12189532204907533940.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12189532204907533940.bin' '-l' '-1' '-v' '-w' '/tmp/graph12189532204907533940.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:57:55] [INFO ] Decomposing Gal with order
[2025-06-03 08:57:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:57:55] [INFO ] Removed a total of 1781 redundant transitions.
[2025-06-03 08:57:55] [INFO ] Flatten gal took : 293 ms
[2025-06-03 08:57:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 82 labels/synchronizations in 29 ms.
[2025-06-03 08:57:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality14825818797059043994.gal : 21 ms
[2025-06-03 08:57:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality14579900830473716164.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/CTLCardinality14825818797059043994.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14579900830473716164.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1708/1708 places, 3606/3606 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 1708 transition count 3549
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 1651 transition count 3549
Performed 73 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 73 Pre rules applied. Total rules applied 114 place count 1651 transition count 3476
Deduced a syphon composed of 73 places in 4 ms
Reduce places removed 73 places and 0 transitions.
Iterating global reduction 2 with 146 rules applied. Total rules applied 260 place count 1578 transition count 3476
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 323 place count 1515 transition count 3393
Iterating global reduction 2 with 63 rules applied. Total rules applied 386 place count 1515 transition count 3393
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 433 place count 1468 transition count 3151
Iterating global reduction 2 with 47 rules applied. Total rules applied 480 place count 1468 transition count 3151
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 481 place count 1467 transition count 3145
Iterating global reduction 2 with 1 rules applied. Total rules applied 482 place count 1467 transition count 3145
Performed 42 Post agglomeration using F-continuation condition.Transition count delta: 42
Deduced a syphon composed of 42 places in 3 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 2 with 84 rules applied. Total rules applied 566 place count 1425 transition count 3103
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 606 place count 1385 transition count 3063
Iterating global reduction 2 with 40 rules applied. Total rules applied 646 place count 1385 transition count 3063
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 683 place count 1348 transition count 2841
Iterating global reduction 2 with 37 rules applied. Total rules applied 720 place count 1348 transition count 2841
Applied a total of 720 rules in 1219 ms. Remains 1348 /1708 variables (removed 360) and now considering 2841/3606 (removed 765) transitions.
[2025-06-03 08:58:27] [INFO ] Flow matrix only has 2569 transitions (discarded 272 similar events)
// Phase 1: matrix 2569 rows 1348 cols
[2025-06-03 08:58:27] [INFO ] Computed 121 invariants in 31 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:58:31] [INFO ] Implicit Places using invariants in 4381 ms returned [9, 94, 158, 159, 228, 229, 230, 231, 280, 281, 282, 336, 337, 338, 339, 340, 380, 381, 382, 423, 430, 482, 483, 525, 547, 561, 562, 581, 583, 606, 607, 608, 618, 619, 622, 641, 642, 652, 671, 672, 673, 675, 687, 708, 726, 727, 728, 729, 730, 762, 763, 788, 789, 790, 791, 822, 823, 826, 858, 894, 895, 896, 897, 942, 943, 972, 991, 992, 993, 994, 1052, 1053, 1109, 1110]
Discarding 74 places :
Implicit Place search using SMT only with invariants took 4386 ms to find 74 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1274/1708 places, 2841/3606 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 1218 transition count 2785
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 1218 transition count 2785
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 168 place count 1162 transition count 2729
Iterating global reduction 0 with 56 rules applied. Total rules applied 224 place count 1162 transition count 2729
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 228 place count 1158 transition count 2705
Iterating global reduction 0 with 4 rules applied. Total rules applied 232 place count 1158 transition count 2705
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 0 with 24 rules applied. Total rules applied 256 place count 1146 transition count 2693
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 268 place count 1134 transition count 2681
Iterating global reduction 0 with 12 rules applied. Total rules applied 280 place count 1134 transition count 2681
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 301 place count 1113 transition count 2555
Iterating global reduction 0 with 21 rules applied. Total rules applied 322 place count 1113 transition count 2555
Applied a total of 322 rules in 567 ms. Remains 1113 /1274 variables (removed 161) and now considering 2555/2841 (removed 286) transitions.
[2025-06-03 08:58:32] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
// Phase 1: matrix 2283 rows 1113 cols
[2025-06-03 08:58:32] [INFO ] Computed 47 invariants in 42 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:58:34] [INFO ] Implicit Places using invariants in 1799 ms returned []
[2025-06-03 08:58:34] [INFO ] Flow matrix only has 2283 transitions (discarded 272 similar events)
[2025-06-03 08:58:34] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 08:58:35] [INFO ] State equation strengthened by 863 read => feed constraints.
[2025-06-03 08:59:05] [INFO ] Performed 840/1113 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 08:59:12] [INFO ] Implicit Places using invariants and state equation in 38693 ms returned []
Implicit Place search using SMT with State Equation took 40500 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1113/1708 places, 2555/3606 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 46673 ms. Remains : 1113/1708 places, 2555/3606 transitions.
[2025-06-03 08:59:12] [INFO ] Flatten gal took : 57 ms
[2025-06-03 08:59:12] [INFO ] Flatten gal took : 66 ms
[2025-06-03 08:59:13] [INFO ] Input system was already deterministic with 2555 transitions.
[2025-06-03 08:59:13] [INFO ] Flatten gal took : 63 ms
[2025-06-03 08:59:13] [INFO ] Flatten gal took : 69 ms
[2025-06-03 08:59:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality14678282139916061319.gal : 13 ms
[2025-06-03 08:59:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality6055438410928820976.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/CTLCardinality14678282139916061319.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6055438410928820976.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 08:59:43] [INFO ] Flatten gal took : 101 ms
[2025-06-03 08:59:43] [INFO ] Applying decomposition
[2025-06-03 08:59:43] [INFO ] Flatten gal took : 101 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/graph3000578843782714669.txt' '-o' '/tmp/graph3000578843782714669.bin' '-w' '/tmp/graph3000578843782714669.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3000578843782714669.bin' '-l' '-1' '-v' '-w' '/tmp/graph3000578843782714669.weights' '-q' '0' '-e' '0.001'
[2025-06-03 08:59:43] [INFO ] Decomposing Gal with order
[2025-06-03 08:59:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 08:59:43] [INFO ] Removed a total of 98 redundant transitions.
[2025-06-03 08:59:44] [INFO ] Flatten gal took : 181 ms
[2025-06-03 08:59:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 2 ms.
[2025-06-03 08:59:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality18347233818100234507.gal : 20 ms
[2025-06-03 08:59:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality18124504949582600887.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18347233818100234507.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18124504949582600887.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 09:00:14] [INFO ] Flatten gal took : 98 ms
[2025-06-03 09:00:14] [INFO ] Flatten gal took : 101 ms
[2025-06-03 09:00:14] [INFO ] Applying decomposition
[2025-06-03 09:00:14] [INFO ] Flatten gal took : 102 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/graph17503049406772770357.txt' '-o' '/tmp/graph17503049406772770357.bin' '-w' '/tmp/graph17503049406772770357.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17503049406772770357.bin' '-l' '-1' '-v' '-w' '/tmp/graph17503049406772770357.weights' '-q' '0' '-e' '0.001'
[2025-06-03 09:00:14] [INFO ] Decomposing Gal with order
[2025-06-03 09:00:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 09:00:15] [INFO ] Removed a total of 3427 redundant transitions.
[2025-06-03 09:00:15] [INFO ] Flatten gal took : 287 ms
[2025-06-03 09:00:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 119 labels/synchronizations in 30 ms.
[2025-06-03 09:00:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality13611476375775872170.gal : 19 ms
[2025-06-03 09:00:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality7582106172146547989.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/CTLCardinality13611476375775872170.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7582106172146547989.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 11 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 09:29:04] [INFO ] Flatten gal took : 750 ms
[2025-06-03 09:29:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality13365134680872047444.gal : 159 ms
[2025-06-03 09:29:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality5694409575323233472.ctl : 47 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/CTLCardinality13365134680872047444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5694409575323233472.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 11 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-S16C06"
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-S16C06, 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-174876524300313"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C06.tgz
mv MultiCrashLeafsetExtension-PT-S16C06 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 ;