About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C03
| 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 | ??F?F??F??F??F?? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524500433.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-S32C03, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524500433
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K 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 20K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K 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 18M 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-S32C03-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1749144507227
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-S32C03
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-05 17:28:29] [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-05 17:28:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-05 17:28:31] [INFO ] Load time of PNML (sax parser for PT used): 1307 ms
[2025-06-05 17:28:31] [INFO ] Transformed 15862 places.
[2025-06-05 17:28:31] [INFO ] Transformed 25109 transitions.
[2025-06-05 17:28:31] [INFO ] Parsed PT model containing 15862 places and 25109 transitions and 104566 arcs in 1667 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 32 ms.
Support contains 165 out of 15862 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 15862/15862 places, 25109/25109 transitions.
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 0 with 42 rules applied. Total rules applied 42 place count 15820 transition count 25109
Discarding 3129 places :
Symmetric choice reduction at 1 with 3129 rule applications. Total rules 3171 place count 12691 transition count 21980
Iterating global reduction 1 with 3129 rules applied. Total rules applied 6300 place count 12691 transition count 21980
Discarding 2904 places :
Symmetric choice reduction at 1 with 2904 rule applications. Total rules 9204 place count 9787 transition count 19076
Iterating global reduction 1 with 2904 rules applied. Total rules applied 12108 place count 9787 transition count 19076
Discarding 914 places :
Symmetric choice reduction at 1 with 914 rule applications. Total rules 13022 place count 8873 transition count 16334
Iterating global reduction 1 with 914 rules applied. Total rules applied 13936 place count 8873 transition count 16334
Applied a total of 13936 rules in 11605 ms. Remains 8873 /15862 variables (removed 6989) and now considering 16334/25109 (removed 8775) transitions.
[2025-06-05 17:28:43] [INFO ] Flow matrix only has 15278 transitions (discarded 1056 similar events)
// Phase 1: matrix 15278 rows 8873 cols
[2025-06-05 17:28:45] [INFO ] Computed 1361 invariants in 1925 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:29:19] [INFO ] Performed 4810/8873 implicitness test of which 780 returned IMPLICIT in 30 seconds.
[2025-06-05 17:29:38] [INFO ] Implicit Places using invariants in 54553 ms returned [4, 8, 12, 14, 16, 18, 31, 40, 51, 64, 79, 96, 115, 136, 159, 184, 211, 240, 271, 303, 337, 339, 341, 373, 400, 425, 448, 469, 488, 507, 522, 535, 546, 555, 562, 567, 570, 585, 592, 595, 596, 597, 598, 601, 606, 613, 622, 633, 646, 661, 678, 697, 718, 741, 766, 793, 852, 882, 884, 885, 912, 937, 963, 984, 1003, 1020, 1035, 1048, 1059, 1068, 1075, 1080, 1083, 1085, 1100, 1107, 1110, 1111, 1113, 1115, 1118, 1123, 1130, 1139, 1150, 1163, 1181, 1198, 1217, 1238, 1261, 1286, 1313, 1341, 1369, 1371, 1372, 1397, 1420, 1441, 1460, 1477, 1492, 1505, 1516, 1525, 1534, 1539, 1542, 1544, 1546, 1561, 1568, 1571, 1573, 1574, 1576, 1578, 1583, 1591, 1598, 1607, 1618, 1631, 1646, 1663, 1682, 1703, 1726, 1751, 1777, 1805, 1806, 1829, 1850, 1869, 1886, 1901, 1914, 1925, 1934, 1950, 1953, 1955, 1957, 1961, 1976, 1983, 1986, 1987, 1988, 1989, 1991, 1993, 1995, 1998, 2003, 2010, 2019, 2030, 2043, 2058, 2075, 2094, 2115, 2138, 2162, 2186, 2187, 2188, 2189, 2210, 2229, 2246, 2261, 2274, 2285, 2294, 2301, 2306, 2309, 2311, 2313, 2315, 2317, 2332, 2339, 2342, 2344, 2345, 2347, 2349, 2351, 2353, 2356, 2361, 2368, 2377, 2388, 2404, 2419, 2436, 2455, 2476, 2498, 2520, 2521, 2522, 2523, 2542, 2559, 2574, 2587, 2598, 2607, 2614, 2619, 2622, 2624, 2626, 2628, 2630, 2632, 2647, 2654, 2657, 2658, 2660, 2662, 2664, 2666, 2668, 2670, 2673, 2678, 2685, 2694, 2705, 2718, 2735, 2752, 2771, 2811, 2813, 2814, 2831, 2848, 2861, 2872, 2881, 2888, 2893, 2896, 2898, 2902, 2904, 2906, 2908, 2910, 2925, 2932, 2935, 2937, 2938, 2941, 2944, 2949, 2951, 2953, 2955, 2958, 2963, 2970, 2979, 2990, 3003, 3018, 3035, 3053, 3071, 3072, 3073, 3074, 3089, 3102, 3113, 3122, 3129, 3134, 3137, 3139, 3141, 3143, 3145, 3147, 3149, 3151, 3166, 3173, 3178, 3179, 3181, 3183, 3185, 3187, 3189, 3194, 3196, 3202, 3210, 3217, 3229, 3240, 3253, 3268, 3284, 3300, 3303, 3316, 3329, 3338, 3348, 3353, 3356, 3358, 3360, 3362, 3364, 3366, 3368, 3370, 3372, 3387, 3394, 3397, 3399, 3400, 3404, 3406, 3408, 3410, 3412, 3414, 3416, 3418, 3421, 3426, 3433, 3442, 3453, 3466, 3480, 3494, 3495, 3496, 3497, 3508, 3517, 3524, 3529, 3532, 3534, 3536, 3540, 3542, 3544, 3546, 3548, 3550, 3565, 3572, 3575, 3577, 3578, 3580, 3582, 3584, 3586, 3590, 3592, 3594, 3597, 3600, 3603, 3608, 3615, 3624, 3635, 3647, 3659, 3660, 3661, 3662, 3671, 3678, 3683, 3686, 3688, 3690, 3692, 3694, 3696, 3698, 3700, 3702, 3704, 3706, 3721, 3728, 3732, 3733, 3734, 3736, 3738, 3740, 3745, 3747, 3749, 3751, 3753, 3755, 3760, 3763, 3768, 3775, 3784, 3794, 3805, 3806, 3807, 3814, 3822, 3825, 3827, 3829, 3831, 3835, 3837, 3839, 3841, 3843, 3845, 3847, 3849, 3864, 3871, 3874, 3876, 3877, 3879, 3881, 3883, 3885, 3887, 3889, 3891, 3898, 3900, 3902, 3905, 3910, 3917, 3925, 3933, 3934, 3935, 3936, 3941, 3944, 3946, 3948, 3950, 3952, 3954, 3956, 3958, 3960, 3962, 3964, 3966, 3968, 3983, 3990, 3994, 3995, 3996, 3998, 4000, 4002, 4004, 4006, 4008, 4012, 4014, 4016, 4021, 4023, 4026, 4031, 4038, 4044, 4046, 4047, 4050, 4052, 4054, 4058, 4060, 4062, 4064, 4066, 4068, 4070, 4072, 4074, 4076, 4078, 4093, 4100, 4103, 4105, 4106, 4110, 4112, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4128, 4130, 4132, 4134, 4137, 4141, 4146, 4147, 4148, 4150, 4152, 4154, 4156, 4158, 4160, 4162, 4166, 4168, 4170, 4172, 4174, 4176, 4178, 4193, 4200, 4203, 4204, 4206, 4208, 4210, 4212, 4214, 4216, 4218, 4220, 4222, 4227, 4229, 4231, 4233, 4235, 4237, 4239, 4242, 4243, 4244, 4245, 4247, 4249, 4251, 4253, 4255, 4257, 4259, 4261, 4263, 4265, 4267, 4269, 4271, 4273, 4288, 4290, 4294, 4297, 4298, 4299, 4300, 4302, 4304, 4306, 4308, 4310, 4312, 4314, 4316, 4318, 4320, 4322, 4324, 4326, 4328, 4330, 4334, 4335, 4336, 4338, 4340, 4342, 4344, 4346, 4348, 4350, 4352, 4354, 4356, 4358, 4360, 4364, 4366, 4381, 4388, 4391, 4392, 4393, 4394, 4396, 4398, 4400, 4402, 4404, 4406, 4408, 4410, 4412, 4414, 4417, 4419, 4421, 4423, 4425, 4428, 4429, 4431, 4433, 4435, 4437, 4439, 4441, 4445, 4447, 4449, 4451, 4453, 4455, 4457, 4459, 4461, 4476, 4483, 4486, 4487, 4488, 4489, 4491, 4493, 4495, 4497, 4499, 4501, 4503, 4505, 4507, 4509, 4511, 4513, 4515, 4517, 4520, 4525, 4526, 4528, 4531, 4533, 4535, 4537, 4539, 4541, 4546, 4548, 4550, 4552, 4554, 4556, 4558, 4560, 4575, 4582, 4587, 4588, 4590, 4592, 4594, 4596, 4598, 4600, 4602, 4604, 4606, 4608, 4612, 4614, 4616, 4621, 4626, 4633, 4634, 4636, 4641, 4644, 4646, 4648, 4650, 4652, 4654, 4656, 4658, 4663, 4665, 4667, 4669, 4671, 4686, 4693, 4696, 4698, 4699, 4701, 4703, 4705, 4709, 4711, 4713, 4715, 4717, 4719, 4721, 4723, 4726, 4734, 4741, 4750, 4752, 4753, 4760, 4767, 4770, 4772, 4774, 4776, 4778, 4780, 4782, 4784, 4786, 4788, 4790, 4792, 4807, 4814, 4817, 4818, 4820, 4822, 4824, 4826, 4831, 4833, 4835, 4837, 4839, 4841, 4843, 4845, 4848, 4853, 4860, 4869, 4880, 4881, 4882, 4883, 4893, 4900, 4905, 4908, 4910, 4912, 4914, 4916, 4918, 4920, 4922, 4924, 4926, 4928, 4943, 4950, 4953, 4954, 4955, 4956, 4958, 4960, 4962, 4964, 4966, 4968, 4970, 4972, 4974, 4979, 4984, 4991, 5000, 5011, 5025, 5026, 5027, 5041, 5050, 5057, 5062, 5067, 5069, 5071, 5073, 5075, 5077, 5079, 5081, 5083, 5098, 5105, 5108, 5109, 5111, 5115, 5117, 5119, 5121, 5123, 5125, 5127, 5129, 5131, 5134, 5139, 5146, 5155, 5166, 5179, 5194, 5195, 5196, 5197, 5210, 5221, 5230, 5237, 5242, 5245, 5247, 5249, 5251, 5253, 5255, 5257, 5259, 5261, 5276, 5283, 5289, 5294, 5296, 5301, 5303, 5305, 5307, 5309, 5311, 5314, 5319, 5326, 5335, 5346, 5361, 5376, 5393, 5394, 5395, 5396, 5411, 5424, 5435, 5444, 5451, 5456, 5459, 5461, 5463, 5465, 5467, 5471, 5473, 5488, 5495, 5499, 5500, 5501, 5503, 5505, 5507, 5509, 5511, 5513, 5515, 5518, 5523, 5530, 5539, 5550, 5563, 5580, 5597, 5616, 5617, 5618, 5619, 5636, 5651, 5665, 5676, 5685, 5692, 5697, 5700, 5702, 5704, 5706, 5708, 5710, 5712, 5727, 5734, 5739, 5740, 5742, 5744, 5746, 5748, 5750, 5752, 5755, 5760, 5769, 5781, 5792, 5805, 5820, 5837, 5856, 5877, 5878, 5880, 5899, 5916, 5931, 5944, 5958, 5967, 5974, 5979, 5982, 5984, 5986, 5988, 5990, 5992, 6007, 6014, 6017, 6018, 6019, 6020, 6022, 6024, 6026, 6028, 6030, 6033, 6038, 6045, 6054, 6065, 6078, 6093, 6110, 6129, 6150, 6173, 6174, 6176, 6197, 6216, 6233, 6248, 6261, 6272, 6284, 6291, 6296, 6299, 6301, 6303, 6305, 6307, 6322, 6329, 6335, 6337, 6339, 6343, 6346, 6351, 6361, 6373, 6386, 6399, 6414, 6431, 6450, 6471, 6494, 6519, 6520, 6521, 6522, 6545, 6566, 6585, 6602, 6617, 6630, 6641, 6650, 6657, 6662, 6665, 6667, 6669, 6671, 6686, 6693, 6696, 6697, 6698, 6699, 6701, 6703, 6705, 6708, 6720, 6729, 6740, 6753, 6768, 6785, 6804, 6825, 6848, 6873, 6900, 6901, 6902, 6903, 6928, 6951, 6972, 6991, 7008, 7023, 7036, 7047, 7056, 7063, 7068, 7071, 7073, 7075, 7090, 7097, 7100, 7101, 7102, 7103, 7105, 7107, 7110, 7115, 7122, 7131, 7142, 7155, 7170, 7187, 7206, 7227, 7250, 7275, 7302, 7331, 7332, 7333, 7334, 7361, 7386, 7409, 7430, 7449, 7466, 7494, 7505, 7514, 7521, 7526, 7529, 7531, 7546, 7553, 7558, 7559, 7561, 7564, 7569, 7577, 7586, 7599, 7612, 7629, 7646, 7665, 7686, 7709, 7734, 7761, 7793, 7826, 7827, 7859, 7886, 7911, 7934, 7955, 7974, 7991, 8008, 8021, 8032, 8041, 8048, 8053, 8058, 8073, 8075, 8079, 8088, 8093, 8100, 8111, 8122, 8135, 8150, 8167, 8186, 8207, 8232, 8257, 8287, 8316, 8347, 8380, 8384, 8417, 8446, 8473, 8498, 8521, 8542, 8561, 8578, 8593, 8608, 8619, 8628, 8635, 8640, 8656]
[2025-06-05 17:29:38] [INFO ] Actually due to overlaps returned [585, 1100, 1561, 1976, 2332, 2647, 2925, 3166, 3387, 3565, 3721, 3864, 3983, 4093, 4193, 4288, 4381, 4476, 4575, 4686, 4807, 4943, 5098, 5276, 5488, 5727, 6007, 6322, 6686, 7090, 7546, 8073, 8656, 4, 12, 14, 16, 337, 339, 595, 596, 597, 882, 884, 1110, 1111, 1369, 1371, 1571, 1573, 1805, 1986, 1987, 1988, 2186, 2187, 2188, 2342, 2344, 2520, 2521, 2522, 2657, 2658, 2811, 2813, 2935, 2937, 3071, 3072, 3073, 3178, 3300, 3397, 3399, 3494, 3495, 3496, 3575, 3577, 3659, 3660, 3661, 3732, 3733, 3805, 3806, 3874, 3876, 3933, 3934, 3935, 3994, 3995, 4044, 4046, 4103, 4105, 4146, 4147, 4203, 4204, 4242, 4243, 4244, 4290, 4297, 4298, 4299, 4334, 4335, 4391, 4392, 4393, 4428, 4429, 4486, 4487, 4488, 4525, 4526, 4587, 4633, 4634, 4696, 4698, 4750, 4752, 4817, 4818, 4880, 4881, 4882, 4953, 4954, 4955, 5025, 5026, 5108, 5109, 5194, 5195, 5196, 5393, 5394, 5395, 5499, 5500, 5616, 5617, 5618, 5739, 5877, 5878, 6017, 6018, 6019, 6173, 6174, 6519, 6520, 6521, 6696, 6697, 6698, 6900, 6901, 6902, 7100, 7101, 7102, 7331, 7332, 7333, 7558, 7826, 8075, 8380]
Discarding 178 places :
Implicit Place search using SMT only with invariants took 54675 ms to find 178 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 8695/15862 places, 16334/25109 transitions.
Discarding 134 places :
Symmetric choice reduction at 0 with 134 rule applications. Total rules 134 place count 8561 transition count 16200
Iterating global reduction 0 with 134 rules applied. Total rules applied 268 place count 8561 transition count 16200
Discarding 133 places :
Symmetric choice reduction at 0 with 133 rule applications. Total rules 401 place count 8428 transition count 16067
Iterating global reduction 0 with 133 rules applied. Total rules applied 534 place count 8428 transition count 16067
Discarding 132 places :
Symmetric choice reduction at 0 with 132 rule applications. Total rules 666 place count 8296 transition count 15935
Iterating global reduction 0 with 132 rules applied. Total rules applied 798 place count 8296 transition count 15935
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 820 place count 8274 transition count 15869
Iterating global reduction 0 with 22 rules applied. Total rules applied 842 place count 8274 transition count 15869
Applied a total of 842 rules in 16395 ms. Remains 8274 /8695 variables (removed 421) and now considering 15869/16334 (removed 465) transitions.
[2025-06-05 17:29:54] [INFO ] Flow matrix only has 14813 transitions (discarded 1056 similar events)
// Phase 1: matrix 14813 rows 8274 cols
[2025-06-05 17:29:55] [INFO ] Computed 1183 invariants in 1363 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:30:28] [INFO ] Performed 4933/8274 implicitness test of which 758 returned IMPLICIT in 30 seconds.
[2025-06-05 17:30:40] [INFO ] Implicit Places using invariants in 45609 ms returned [7, 14, 27, 36, 47, 60, 75, 92, 111, 132, 155, 180, 207, 236, 267, 299, 335, 367, 394, 419, 442, 463, 482, 501, 516, 529, 540, 549, 556, 561, 564, 585, 587, 590, 595, 602, 611, 622, 635, 650, 667, 686, 707, 730, 755, 782, 841, 872, 899, 924, 950, 971, 990, 1007, 1022, 1035, 1046, 1055, 1062, 1067, 1070, 1072, 1085, 1089, 1091, 1094, 1099, 1106, 1115, 1126, 1139, 1157, 1174, 1193, 1214, 1237, 1262, 1289, 1317, 1346, 1371, 1394, 1415, 1434, 1451, 1466, 1479, 1490, 1499, 1508, 1513, 1516, 1518, 1520, 1533, 1537, 1539, 1541, 1546, 1554, 1561, 1570, 1581, 1594, 1609, 1626, 1645, 1666, 1689, 1714, 1740, 1768, 1791, 1812, 1831, 1848, 1863, 1876, 1887, 1896, 1912, 1915, 1917, 1919, 1923, 1938, 1940, 1942, 1944, 1946, 1949, 1954, 1961, 1970, 1981, 1994, 2009, 2026, 2045, 2066, 2089, 2113, 2137, 2158, 2177, 2194, 2209, 2222, 2233, 2242, 2249, 2254, 2257, 2259, 2261, 2263, 2265, 2276, 2280, 2282, 2284, 2286, 2288, 2291, 2296, 2303, 2312, 2323, 2339, 2354, 2371, 2390, 2411, 2433, 2454, 2473, 2490, 2505, 2518, 2529, 2538, 2545, 2550, 2553, 2555, 2557, 2559, 2561, 2563, 2574, 2578, 2580, 2582, 2584, 2586, 2588, 2591, 2596, 2603, 2612, 2623, 2636, 2653, 2670, 2689, 2730, 2747, 2764, 2777, 2788, 2797, 2804, 2809, 2812, 2814, 2818, 2820, 2822, 2824, 2826, 2840, 2844, 2847, 2850, 2855, 2857, 2859, 2861, 2864, 2869, 2876, 2885, 2896, 2909, 2924, 2941, 2959, 2976, 2991, 3004, 3015, 3024, 3031, 3036, 3039, 3041, 3043, 3045, 3047, 3049, 3051, 3053, 3066, 3071, 3073, 3075, 3077, 3079, 3081, 3086, 3088, 3094, 3102, 3109, 3121, 3132, 3145, 3160, 3176, 3194, 3207, 3220, 3229, 3239, 3244, 3247, 3249, 3251, 3253, 3255, 3257, 3259, 3261, 3263, 3280, 3284, 3288, 3290, 3292, 3294, 3296, 3298, 3300, 3302, 3305, 3310, 3317, 3326, 3337, 3350, 3364, 3377, 3388, 3397, 3404, 3409, 3412, 3414, 3416, 3420, 3422, 3424, 3426, 3428, 3430, 3441, 3445, 3447, 3449, 3451, 3453, 3457, 3459, 3461, 3464, 3467, 3470, 3475, 3482, 3491, 3502, 3514, 3525, 3534, 3541, 3546, 3549, 3551, 3553, 3555, 3557, 3559, 3561, 3563, 3565, 3567, 3569, 3580, 3584, 3586, 3588, 3590, 3595, 3597, 3599, 3601, 3603, 3605, 3610, 3613, 3618, 3625, 3634, 3644, 3655, 3662, 3670, 3673, 3675, 3677, 3679, 3683, 3685, 3687, 3689, 3691, 3693, 3695, 3697, 3710, 3714, 3716, 3718, 3720, 3722, 3724, 3726, 3728, 3735, 3737, 3739, 3742, 3747, 3754, 3762, 3769, 3774, 3777, 3779, 3781, 3783, 3785, 3787, 3789, 3791, 3793, 3795, 3797, 3799, 3801, 3812, 3816, 3818, 3820, 3822, 3824, 3826, 3828, 3832, 3834, 3836, 3841, 3843, 3846, 3851, 3858, 3865, 3868, 3870, 3872, 3876, 3878, 3880, 3882, 3884, 3886, 3888, 3890, 3892, 3894, 3896, 3909, 3913, 3917, 3919, 3921, 3923, 3925, 3927, 3929, 3931, 3933, 3935, 3937, 3939, 3941, 3944, 3948, 3953, 3955, 3957, 3959, 3961, 3963, 3965, 3967, 3971, 3973, 3975, 3977, 3979, 3981, 3983, 3996, 4000, 4002, 4004, 4006, 4008, 4010, 4012, 4014, 4016, 4021, 4023, 4025, 4027, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4059, 4061, 4063, 4072, 4074, 4076, 4078, 4080, 4082, 4084, 4086, 4088, 4090, 4092, 4094, 4096, 4098, 4100, 4102, 4104, 4108, 4110, 4112, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4128, 4130, 4132, 4136, 4138, 4149, 4151, 4153, 4155, 4157, 4159, 4161, 4163, 4165, 4167, 4169, 4171, 4174, 4176, 4178, 4180, 4182, 4186, 4188, 4190, 4192, 4194, 4196, 4200, 4202, 4204, 4206, 4208, 4210, 4212, 4214, 4216, 4227, 4229, 4231, 4233, 4235, 4237, 4239, 4241, 4243, 4245, 4247, 4249, 4251, 4253, 4255, 4257, 4260, 4266, 4269, 4271, 4273, 4275, 4277, 4279, 4284, 4286, 4288, 4290, 4292, 4294, 4296, 4298, 4309, 4314, 4316, 4318, 4320, 4322, 4324, 4326, 4328, 4330, 4332, 4334, 4338, 4340, 4342, 4347, 4352, 4360, 4365, 4368, 4370, 4372, 4374, 4376, 4378, 4380, 4382, 4387, 4389, 4391, 4393, 4395, 4411, 4415, 4417, 4419, 4421, 4425, 4427, 4429, 4431, 4433, 4435, 4437, 4439, 4442, 4450, 4457, 4467, 4474, 4481, 4484, 4486, 4488, 4490, 4492, 4494, 4496, 4498, 4500, 4502, 4504, 4506, 4519, 4523, 4525, 4527, 4529, 4534, 4536, 4538, 4540, 4542, 4544, 4546, 4548, 4551, 4556, 4563, 4572, 4582, 4592, 4599, 4604, 4607, 4609, 4611, 4613, 4615, 4617, 4619, 4621, 4623, 4625, 4627, 4638, 4640, 4642, 4644, 4646, 4648, 4650, 4652, 4654, 4656, 4658, 4663, 4668, 4675, 4684, 4695, 4709, 4723, 4732, 4739, 4744, 4749, 4751, 4753, 4755, 4757, 4759, 4761, 4763, 4765, 4776, 4780, 4784, 4786, 4788, 4790, 4792, 4794, 4796, 4798, 4800, 4803, 4808, 4815, 4824, 4835, 4848, 4862, 4875, 4886, 4895, 4902, 4907, 4910, 4912, 4914, 4916, 4918, 4920, 4922, 4924, 4926, 4937, 4943, 4948, 4950, 4955, 4957, 4959, 4961, 4963, 4965, 4968, 4973, 4980, 4989, 5000, 5015, 5030, 5046, 5061, 5074, 5085, 5094, 5101, 5106, 5109, 5111, 5113, 5115, 5117, 5121, 5123, 5138, 5142, 5144, 5146, 5148, 5150, 5152, 5154, 5156, 5159, 5164, 5171, 5180, 5191, 5204, 5221, 5238, 5256, 5273, 5288, 5302, 5313, 5322, 5329, 5334, 5337, 5339, 5341, 5343, 5345, 5347, 5349, 5360, 5365, 5367, 5369, 5371, 5373, 5375, 5377, 5380, 5385, 5394, 5406, 5417, 5430, 5445, 5462, 5481, 5503, 5522, 5539, 5554, 5567, 5581, 5590, 5597, 5602, 5605, 5607, 5609, 5611, 5613, 5615, 5630, 5632, 5634, 5636, 5638, 5640, 5642, 5645, 5650, 5657, 5666, 5677, 5690, 5705, 5722, 5741, 5762, 5786, 5807, 5826, 5843, 5858, 5871, 5882, 5894, 5901, 5906, 5909, 5911, 5913, 5915, 5917, 5928, 5934, 5936, 5938, 5942, 5945, 5950, 5960, 5972, 5985, 5998, 6013, 6030, 6049, 6070, 6093, 6117, 6140, 6161, 6180, 6197, 6212, 6225, 6236, 6245, 6252, 6257, 6260, 6262, 6264, 6266, 6281, 6283, 6285, 6287, 6289, 6292, 6304, 6313, 6324, 6337, 6352, 6369, 6388, 6409, 6432, 6457, 6483, 6508, 6531, 6552, 6571, 6588, 6603, 6616, 6627, 6636, 6643, 6648, 6651, 6653, 6655, 6664, 6666, 6668, 6670, 6673, 6678, 6685, 6694, 6705, 6718, 6733, 6750, 6769, 6790, 6813, 6838, 6865, 6893, 6920, 6945, 6968, 6989, 7008, 7025, 7053, 7064, 7073, 7080, 7085, 7088, 7090, 7099, 7104, 7106, 7109, 7114, 7122, 7131, 7144, 7157, 7174, 7191, 7210, 7231, 7254, 7279, 7306, 7338, 7371, 7403, 7430, 7455, 7478, 7499, 7518, 7535, 7552, 7565, 7576, 7585, 7592, 7597, 7602, 7617, 7626, 7631, 7638, 7649, 7660, 7673, 7688, 7705, 7724, 7745, 7770, 7795, 7825, 7854, 7885, 7921, 7954, 7983, 8010, 8035, 8058, 8079, 8098, 8115, 8130, 8145, 8156, 8165, 8172, 8177]
Discarding 1041 places :
Implicit Place search using SMT only with invariants took 45660 ms to find 1041 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 7233/15862 places, 15869/25109 transitions.
Applied a total of 0 rules in 2390 ms. Remains 7233 /7233 variables (removed 0) and now considering 15869/15869 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 130764 ms. Remains : 7233/15862 places, 15869/25109 transitions.
Support contains 165 out of 7233 places after structural reductions.
[2025-06-05 17:30:44] [INFO ] Flatten gal took : 1064 ms
[2025-06-05 17:30:44] [INFO ] Flatten gal took : 563 ms
[2025-06-05 17:30:46] [INFO ] Input system was already deterministic with 15869 transitions.
Support contains 163 out of 7233 places (down from 165) after GAL structural reductions.
RANDOM walk for 40000 steps (1278 resets) in 5467 ms. (7 steps per ms) remains 68/93 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 64 ms. (61 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 29 ms. (133 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 67/68 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 96 ms. (41 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 33 ms. (117 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 32 ms. (121 steps per ms) remains 66/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 33 ms. (117 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
[2025-06-05 17:30:49] [INFO ] Flow matrix only has 14813 transitions (discarded 1056 similar events)
// Phase 1: matrix 14813 rows 7233 cols
[2025-06-05 17:30:50] [INFO ] Computed 142 invariants in 1232 ms
[2025-06-05 17:30:50] [INFO ] State equation strengthened by 6226 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/106 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 66 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp66 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp70 is UNSAT
Problem AtomicPropp77 is UNSAT
Problem AtomicPropp78 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp90 is UNSAT
At refinement iteration 1 (OVERLAPS) 6914/7020 variables, 4/4 constraints. Problems are: Problem set: 33 solved, 33 unsolved
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp61 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/7020 variables, 8/12 constraints. Problems are: Problem set: 37 solved, 29 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7020/22046 variables, and 12 constraints, problems are : Problem set: 37 solved, 29 unsolved in 5018 ms.
Refiners :[Positive P Invariants (semi-flows): 4/64 constraints, Generalized P Invariants (flows): 8/78 constraints, State Equation: 0/7233 constraints, ReadFeed: 0/6226 constraints, PredecessorRefiner: 66/66 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 37 solved, 29 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/49 variables, 0/0 constraints. Problems are: Problem set: 37 solved, 29 unsolved
Problem AtomicPropp55 is UNSAT
At refinement iteration 1 (OVERLAPS) 6961/7010 variables, 4/4 constraints. Problems are: Problem set: 38 solved, 28 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7010 variables, 2/6 constraints. Problems are: Problem set: 38 solved, 28 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 17:31:15] [INFO ] Deduced a trap composed of 939 places in 18145 ms of which 7297 ms to minimize.
SMT process timed out in 26737ms, After SMT, problems are : Problem set: 38 solved, 28 unsolved
Fused 28 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 45 out of 7233 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7233/7233 places, 15869/15869 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 7233 transition count 15834
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 1 with 35 rules applied. Total rules applied 70 place count 7198 transition count 15834
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 70 place count 7198 transition count 15777
Deduced a syphon composed of 57 places in 21 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 184 place count 7141 transition count 15777
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 214 place count 7111 transition count 15733
Iterating global reduction 2 with 30 rules applied. Total rules applied 244 place count 7111 transition count 15733
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 266 place count 7089 transition count 15673
Iterating global reduction 2 with 22 rules applied. Total rules applied 288 place count 7089 transition count 15673
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 28 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 378 place count 7044 transition count 15628
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 403 place count 7019 transition count 15603
Iterating global reduction 2 with 25 rules applied. Total rules applied 428 place count 7019 transition count 15603
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 453 place count 6994 transition count 15528
Iterating global reduction 2 with 25 rules applied. Total rules applied 478 place count 6994 transition count 15528
Free-agglomeration rule (complex) applied 574 times.
Iterating global reduction 2 with 574 rules applied. Total rules applied 1052 place count 6994 transition count 16840
Reduce places removed 574 places and 0 transitions.
Iterating post reduction 2 with 574 rules applied. Total rules applied 1626 place count 6420 transition count 16840
Partial Free-agglomeration rule applied 56 times.
Drop transitions (Partial Free agglomeration) removed 56 transitions
Iterating global reduction 3 with 56 rules applied. Total rules applied 1682 place count 6420 transition count 16840
Applied a total of 1682 rules in 23403 ms. Remains 6420 /7233 variables (removed 813) and now considering 16840/15869 (removed -971) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23410 ms. Remains : 6420/7233 places, 16840/15869 transitions.
RANDOM walk for 40000 steps (2246 resets) in 2575 ms. (15 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 29 ms. (133 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (10 resets) in 32 ms. (121 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 29 ms. (133 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (11 resets) in 31 ms. (125 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (11 resets) in 34 ms. (114 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (11 resets) in 33 ms. (117 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (11 resets) in 36 ms. (108 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (10 resets) in 26 ms. (148 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (11 resets) in 30 ms. (129 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (10 resets) in 24 ms. (160 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 23 ms. (166 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (10 resets) in 27 ms. (143 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4002 steps (10 resets) in 23 ms. (166 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (10 resets) in 24 ms. (160 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (10 resets) in 25 ms. (154 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4002 steps (10 resets) in 24 ms. (160 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (9 resets) in 22 ms. (174 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 26 ms. (148 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 29 ms. (133 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (11 resets) in 25 ms. (154 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4003 steps (9 resets) in 27 ms. (142 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (10 resets) in 29 ms. (133 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 29 ms. (133 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 26 ms. (148 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (11 resets) in 29 ms. (133 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (9 resets) in 24 ms. (160 steps per ms) remains 28/28 properties
Interrupted probabilistic random walk after 8470 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :1 out of 28
Probabilistic random walk after 8470 steps, saw 3729 distinct states, run finished after 3010 ms. (steps per millisecond=2 ) properties seen :1
[2025-06-05 17:31:43] [INFO ] Flow matrix only has 15276 transitions (discarded 1564 similar events)
// Phase 1: matrix 15276 rows 6420 cols
[2025-06-05 17:31:44] [INFO ] Computed 142 invariants in 939 ms
[2025-06-05 17:31:44] [INFO ] State equation strengthened by 8010 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/44 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 27 unsolved
At refinement iteration 1 (OVERLAPS) 6197/6241 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 27 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6241 variables, 2/6 constraints. Problems are: Problem set: 0 solved, 27 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6241 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 27 unsolved
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp62 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp83 is UNSAT
Problem AtomicPropp88 is UNSAT
Problem AtomicPropp89 is UNSAT
At refinement iteration 4 (OVERLAPS) 113/6354 variables, 70/76 constraints. Problems are: Problem set: 13 solved, 14 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 17:32:06] [INFO ] Deduced a trap composed of 6 places in 14501 ms of which 223 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 17:32:17] [INFO ] Deduced a trap composed of 52 places in 11120 ms of which 654 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 17:32:28] [INFO ] Deduced a trap composed of 52 places in 10608 ms of which 677 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 17:32:40] [INFO ] Deduced a trap composed of 113 places in 11511 ms of which 1199 ms to minimize.
SMT process timed out in 57123ms, After SMT, problems are : Problem set: 13 solved, 14 unsolved
Fused 14 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 31 out of 6420 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6420/6420 places, 16840/16840 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 6420 transition count 16839
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 6419 transition count 16839
Partial Free-agglomeration rule applied 13 times.
Drop transitions (Partial Free agglomeration) removed 13 transitions
Iterating global reduction 1 with 13 rules applied. Total rules applied 15 place count 6419 transition count 16839
Discarding 13 places :
Symmetric choice reduction at 1 with 13 rule applications. Total rules 28 place count 6406 transition count 16826
Iterating global reduction 1 with 13 rules applied. Total rules applied 41 place count 6406 transition count 16826
Applied a total of 41 rules in 10481 ms. Remains 6406 /6420 variables (removed 14) and now considering 16826/16840 (removed 14) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10481 ms. Remains : 6406/6420 places, 16826/16840 transitions.
Successfully simplified 51 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-05 17:32:51] [INFO ] Flatten gal took : 460 ms
[2025-06-05 17:32:51] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2023-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C03-CTLCardinality-2025-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-05 17:32:51] [INFO ] Flatten gal took : 510 ms
[2025-06-05 17:32:52] [INFO ] Input system was already deterministic with 15869 transitions.
Support contains 63 out of 7233 places (down from 80) after GAL structural reductions.
Computed a total of 1217 stabilizing places and 3900 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 7233/7233 places, 15869/15869 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 7233 transition count 15830
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 78 place count 7194 transition count 15830
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 78 place count 7194 transition count 15773
Deduced a syphon composed of 57 places in 14 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 192 place count 7137 transition count 15773
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 241 place count 7088 transition count 15704
Iterating global reduction 2 with 49 rules applied. Total rules applied 290 place count 7088 transition count 15704
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 328 place count 7050 transition count 15596
Iterating global reduction 2 with 38 rules applied. Total rules applied 366 place count 7050 transition count 15596
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 15 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 456 place count 7005 transition count 15551
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 486 place count 6975 transition count 15521
Iterating global reduction 2 with 30 rules applied. Total rules applied 516 place count 6975 transition count 15521
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 546 place count 6945 transition count 15431
Iterating global reduction 2 with 30 rules applied. Total rules applied 576 place count 6945 transition count 15431
Applied a total of 576 rules in 20536 ms. Remains 6945 /7233 variables (removed 288) and now considering 15431/15869 (removed 438) transitions.
[2025-06-05 17:33:13] [INFO ] Flow matrix only has 14375 transitions (discarded 1056 similar events)
// Phase 1: matrix 14375 rows 6945 cols
[2025-06-05 17:33:14] [INFO ] Computed 142 invariants in 1067 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:33:46] [INFO ] Performed 4974/6945 implicitness test of which 58 returned IMPLICIT in 30 seconds.
[2025-06-05 17:33:50] [INFO ] Implicit Places using invariants in 37372 ms returned [13, 310, 745, 804, 999, 1237, 1407, 1616, 1617, 1744, 2069, 2330, 2445, 2465, 2555, 2740, 2741, 2835, 2836, 2900, 3009, 3026, 3179, 3214, 3223, 3280, 3288, 3310, 3337, 3359, 3385, 3440, 3481, 3525, 3551, 3552, 3578, 3609, 3614, 3643, 3678, 3768, 3811, 3842, 3862, 3987, 3988, 3989, 4130, 4145, 4330, 4331, 4448, 4692, 4817, 4818, 4819, 4823, 5135, 5828, 5881, 5882, 6124, 6125, 6347, 6348, 6349, 6350, 6623, 6624]
Discarding 70 places :
Implicit Place search using SMT only with invariants took 37393 ms to find 70 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 6875/7233 places, 15431/15869 transitions.
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 49 place count 6826 transition count 15382
Iterating global reduction 0 with 49 rules applied. Total rules applied 98 place count 6826 transition count 15382
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 147 place count 6777 transition count 15333
Iterating global reduction 0 with 49 rules applied. Total rules applied 196 place count 6777 transition count 15333
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 227 place count 6746 transition count 15240
Iterating global reduction 0 with 31 rules applied. Total rules applied 258 place count 6746 transition count 15240
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 13 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 270 place count 6740 transition count 15234
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 276 place count 6734 transition count 15228
Iterating global reduction 0 with 6 rules applied. Total rules applied 282 place count 6734 transition count 15228
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 292 place count 6724 transition count 15198
Iterating global reduction 0 with 10 rules applied. Total rules applied 302 place count 6724 transition count 15198
Applied a total of 302 rules in 23609 ms. Remains 6724 /6875 variables (removed 151) and now considering 15198/15431 (removed 233) transitions.
[2025-06-05 17:34:14] [INFO ] Flow matrix only has 14142 transitions (discarded 1056 similar events)
// Phase 1: matrix 14142 rows 6724 cols
[2025-06-05 17:34:15] [INFO ] Computed 72 invariants in 1143 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:34:43] [INFO ] Implicit Places using invariants in 29480 ms returned []
Implicit Place search using SMT only with invariants took 29484 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 6724/7233 places, 15198/15869 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 111024 ms. Remains : 6724/7233 places, 15198/15869 transitions.
[2025-06-05 17:34:44] [INFO ] Flatten gal took : 508 ms
[2025-06-05 17:34:44] [INFO ] Flatten gal took : 420 ms
[2025-06-05 17:34:45] [INFO ] Input system was already deterministic with 15198 transitions.
[2025-06-05 17:34:46] [INFO ] Flatten gal took : 375 ms
[2025-06-05 17:34:46] [INFO ] Flatten gal took : 376 ms
[2025-06-05 17:34:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality8592738847623426478.gal : 236 ms
[2025-06-05 17:34:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality676557991381442605.ctl : 10 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/CTLCardinality8592738847623426478.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality676557991381442605.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.
[2025-06-05 17:35:17] [INFO ] Flatten gal took : 369 ms
[2025-06-05 17:35:17] [INFO ] Applying decomposition
[2025-06-05 17:35:17] [INFO ] Flatten gal took : 378 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/graph5896635937177328970.txt' '-o' '/tmp/graph5896635937177328970.bin' '-w' '/tmp/graph5896635937177328970.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5896635937177328970.bin' '-l' '-1' '-v' '-w' '/tmp/graph5896635937177328970.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:35:18] [INFO ] Decomposing Gal with order
[2025-06-05 17:35:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:35:25] [INFO ] Removed a total of 14438 redundant transitions.
[2025-06-05 17:35:25] [INFO ] Flatten gal took : 4628 ms
[2025-06-05 17:35:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 9934 labels/synchronizations in 1878 ms.
[2025-06-05 17:35:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality1968073725528563519.gal : 152 ms
[2025-06-05 17:35:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality5509388061252448880.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/CTLCardinality1968073725528563519.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5509388061252448880.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 7233/7233 places, 15869/15869 transitions.
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 80 place count 7153 transition count 15769
Iterating global reduction 0 with 80 rules applied. Total rules applied 160 place count 7153 transition count 15769
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 229 place count 7084 transition count 15634
Iterating global reduction 0 with 69 rules applied. Total rules applied 298 place count 7084 transition count 15634
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 333 place count 7049 transition count 15533
Iterating global reduction 0 with 35 rules applied. Total rules applied 368 place count 7049 transition count 15533
Applied a total of 368 rules in 12032 ms. Remains 7049 /7233 variables (removed 184) and now considering 15533/15869 (removed 336) transitions.
[2025-06-05 17:36:11] [INFO ] Flow matrix only has 14477 transitions (discarded 1056 similar events)
// Phase 1: matrix 14477 rows 7049 cols
[2025-06-05 17:36:11] [INFO ] Computed 142 invariants in 879 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:36:44] [INFO ] Performed 4629/7049 implicitness test of which 54 returned IMPLICIT in 30 seconds.
[2025-06-05 17:36:52] [INFO ] Implicit Places using invariants in 41075 ms returned [17, 314, 759, 818, 1016, 1254, 1427, 1636, 1637, 1764, 2094, 2357, 2472, 2492, 2585, 2772, 2773, 2867, 2868, 2937, 3046, 3065, 3168, 3217, 3255, 3264, 3323, 3331, 3353, 3383, 3405, 3434, 3491, 3534, 3580, 3608, 3609, 3635, 3670, 3675, 3704, 3742, 3834, 3877, 3908, 3930, 4057, 4058, 4059, 4200, 4219, 4406, 4407, 4524, 4772, 4899, 4900, 4901, 4905, 5221, 5915, 5969, 5970, 6212, 6213, 6440, 6441, 6442, 6443, 6716, 6717]
Discarding 71 places :
Implicit Place search using SMT only with invariants took 41103 ms to find 71 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6978/7233 places, 15533/15869 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 6922 transition count 15477
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 6922 transition count 15477
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 168 place count 6866 transition count 15421
Iterating global reduction 0 with 56 rules applied. Total rules applied 224 place count 6866 transition count 15421
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 280 place count 6810 transition count 15365
Iterating global reduction 0 with 56 rules applied. Total rules applied 336 place count 6810 transition count 15365
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 378 place count 6768 transition count 15239
Iterating global reduction 0 with 42 rules applied. Total rules applied 420 place count 6768 transition count 15239
Applied a total of 420 rules in 15172 ms. Remains 6768 /6978 variables (removed 210) and now considering 15239/15533 (removed 294) transitions.
[2025-06-05 17:37:07] [INFO ] Flow matrix only has 14183 transitions (discarded 1056 similar events)
// Phase 1: matrix 14183 rows 6768 cols
[2025-06-05 17:37:08] [INFO ] Computed 71 invariants in 1152 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:37:37] [INFO ] Implicit Places using invariants in 30621 ms returned []
Implicit Place search using SMT only with invariants took 30625 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6768/7233 places, 15239/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 98944 ms. Remains : 6768/7233 places, 15239/15869 transitions.
[2025-06-05 17:37:38] [INFO ] Flatten gal took : 548 ms
[2025-06-05 17:37:39] [INFO ] Flatten gal took : 449 ms
[2025-06-05 17:37:39] [INFO ] Input system was already deterministic with 15239 transitions.
[2025-06-05 17:37:40] [INFO ] Flatten gal took : 431 ms
[2025-06-05 17:37:40] [INFO ] Flatten gal took : 448 ms
[2025-06-05 17:37:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality17524928555157177123.gal : 75 ms
[2025-06-05 17:37:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality16006666722632888810.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/CTLCardinality17524928555157177123.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16006666722632888810.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-05 17:38:11] [INFO ] Flatten gal took : 662 ms
[2025-06-05 17:38:11] [INFO ] Applying decomposition
[2025-06-05 17:38:12] [INFO ] Flatten gal took : 466 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/graph12222922953934724709.txt' '-o' '/tmp/graph12222922953934724709.bin' '-w' '/tmp/graph12222922953934724709.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12222922953934724709.bin' '-l' '-1' '-v' '-w' '/tmp/graph12222922953934724709.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:38:12] [INFO ] Decomposing Gal with order
[2025-06-05 17:38:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:38:16] [INFO ] Removed a total of 13145 redundant transitions.
[2025-06-05 17:38:16] [INFO ] Flatten gal took : 1402 ms
[2025-06-05 17:38:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 7492 labels/synchronizations in 1093 ms.
[2025-06-05 17:38:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality1690653751289409250.gal : 98 ms
[2025-06-05 17:38:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality11162226870528862818.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/CTLCardinality1690653751289409250.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11162226870528862818.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 SI_CTL mode, iteration 0 : 7233/7233 places, 15869/15869 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 40 transitions
Trivial Post-agglo rules discarded 40 transitions
Performed 40 trivial Post agglomeration. Transition count delta: 40
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 7233 transition count 15829
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 1 with 40 rules applied. Total rules applied 80 place count 7193 transition count 15829
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 80 place count 7193 transition count 15772
Deduced a syphon composed of 57 places in 23 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 194 place count 7136 transition count 15772
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 243 place count 7087 transition count 15705
Iterating global reduction 2 with 49 rules applied. Total rules applied 292 place count 7087 transition count 15705
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 331 place count 7048 transition count 15594
Iterating global reduction 2 with 39 rules applied. Total rules applied 370 place count 7048 transition count 15594
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 14 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 460 place count 7003 transition count 15549
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 490 place count 6973 transition count 15519
Iterating global reduction 2 with 30 rules applied. Total rules applied 520 place count 6973 transition count 15519
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 550 place count 6943 transition count 15429
Iterating global reduction 2 with 30 rules applied. Total rules applied 580 place count 6943 transition count 15429
Applied a total of 580 rules in 19952 ms. Remains 6943 /7233 variables (removed 290) and now considering 15429/15869 (removed 440) transitions.
[2025-06-05 17:39:08] [INFO ] Flow matrix only has 14373 transitions (discarded 1056 similar events)
// Phase 1: matrix 14373 rows 6943 cols
[2025-06-05 17:39:09] [INFO ] Computed 142 invariants in 915 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:39:41] [INFO ] Performed 4811/6943 implicitness test of which 55 returned IMPLICIT in 30 seconds.
[2025-06-05 17:39:45] [INFO ] Implicit Places using invariants in 37545 ms returned [13, 310, 745, 804, 999, 1237, 1407, 1616, 1617, 1744, 2069, 2330, 2445, 2465, 2555, 2741, 2742, 2836, 2837, 2901, 3010, 3027, 3128, 3177, 3212, 3221, 3278, 3286, 3308, 3335, 3357, 3383, 3438, 3479, 3523, 3549, 3550, 3576, 3607, 3612, 3641, 3676, 3766, 3809, 3840, 3860, 3985, 3986, 3987, 4128, 4143, 4328, 4329, 4446, 4690, 4815, 4816, 4817, 4821, 5133, 5826, 5879, 5880, 6122, 6123, 6345, 6346, 6347, 6348, 6621, 6622]
Discarding 71 places :
Implicit Place search using SMT only with invariants took 37563 ms to find 71 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 6872/7233 places, 15429/15869 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 6822 transition count 15379
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 6822 transition count 15379
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 150 place count 6772 transition count 15329
Iterating global reduction 0 with 50 rules applied. Total rules applied 200 place count 6772 transition count 15329
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 232 place count 6740 transition count 15233
Iterating global reduction 0 with 32 rules applied. Total rules applied 264 place count 6740 transition count 15233
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 12 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 276 place count 6734 transition count 15227
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 282 place count 6728 transition count 15221
Iterating global reduction 0 with 6 rules applied. Total rules applied 288 place count 6728 transition count 15221
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 298 place count 6718 transition count 15191
Iterating global reduction 0 with 10 rules applied. Total rules applied 308 place count 6718 transition count 15191
Applied a total of 308 rules in 23576 ms. Remains 6718 /6872 variables (removed 154) and now considering 15191/15429 (removed 238) transitions.
[2025-06-05 17:40:09] [INFO ] Flow matrix only has 14135 transitions (discarded 1056 similar events)
// Phase 1: matrix 14135 rows 6718 cols
[2025-06-05 17:40:10] [INFO ] Computed 71 invariants in 961 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:40:36] [INFO ] Implicit Places using invariants in 27259 ms returned []
Implicit Place search using SMT only with invariants took 27265 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 6718/7233 places, 15191/15869 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 108358 ms. Remains : 6718/7233 places, 15191/15869 transitions.
[2025-06-05 17:40:37] [INFO ] Flatten gal took : 333 ms
[2025-06-05 17:40:37] [INFO ] Flatten gal took : 417 ms
[2025-06-05 17:40:38] [INFO ] Input system was already deterministic with 15191 transitions.
[2025-06-05 17:40:38] [INFO ] Flatten gal took : 418 ms
[2025-06-05 17:40:39] [INFO ] Flatten gal took : 385 ms
[2025-06-05 17:40:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality4937979492795731162.gal : 80 ms
[2025-06-05 17:40:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality9637943405037334270.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/CTLCardinality4937979492795731162.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9637943405037334270.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-05 17:41:09] [INFO ] Flatten gal took : 589 ms
[2025-06-05 17:41:09] [INFO ] Applying decomposition
[2025-06-05 17:41:10] [INFO ] Flatten gal took : 425 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/graph4218180416041838529.txt' '-o' '/tmp/graph4218180416041838529.bin' '-w' '/tmp/graph4218180416041838529.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4218180416041838529.bin' '-l' '-1' '-v' '-w' '/tmp/graph4218180416041838529.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:41:11] [INFO ] Decomposing Gal with order
[2025-06-05 17:41:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:41:17] [INFO ] Removed a total of 14294 redundant transitions.
[2025-06-05 17:41:18] [INFO ] Flatten gal took : 4606 ms
[2025-06-05 17:41:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 1591 labels/synchronizations in 654 ms.
[2025-06-05 17:41:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality11127435149522592639.gal : 125 ms
[2025-06-05 17:41:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality13656648829577373178.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/CTLCardinality11127435149522592639.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13656648829577373178.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 7158 transition count 15778
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 7158 transition count 15778
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 216 place count 7092 transition count 15648
Iterating global reduction 0 with 66 rules applied. Total rules applied 282 place count 7092 transition count 15648
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 314 place count 7060 transition count 15556
Iterating global reduction 0 with 32 rules applied. Total rules applied 346 place count 7060 transition count 15556
Applied a total of 346 rules in 12473 ms. Remains 7060 /7233 variables (removed 173) and now considering 15556/15869 (removed 313) transitions.
[2025-06-05 17:42:03] [INFO ] Flow matrix only has 14500 transitions (discarded 1056 similar events)
// Phase 1: matrix 14500 rows 7060 cols
[2025-06-05 17:42:03] [INFO ] Computed 142 invariants in 837 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:42:36] [INFO ] Performed 4411/7060 implicitness test of which 48 returned IMPLICIT in 30 seconds.
[2025-06-05 17:42:42] [INFO ] Implicit Places using invariants in 39749 ms returned [17, 315, 760, 819, 1018, 1256, 1429, 1638, 1639, 1766, 2096, 2359, 2474, 2494, 2587, 2774, 2775, 2869, 2870, 2939, 3048, 3067, 3223, 3261, 3270, 3329, 3337, 3359, 3389, 3411, 3440, 3497, 3540, 3586, 3615, 3681, 3686, 3715, 3753, 3845, 3888, 3919, 3941, 4068, 4069, 4070, 4211, 4230, 4417, 4418, 4535, 4783, 4910, 4911, 4912, 4916, 5232, 5926, 5980, 5981, 6223, 6224, 6451, 6452, 6453, 6454, 6727, 6728]
Discarding 68 places :
Implicit Place search using SMT only with invariants took 39765 ms to find 68 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6992/7233 places, 15556/15869 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 6939 transition count 15503
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 6939 transition count 15503
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 159 place count 6886 transition count 15450
Iterating global reduction 0 with 53 rules applied. Total rules applied 212 place count 6886 transition count 15450
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 265 place count 6833 transition count 15397
Iterating global reduction 0 with 53 rules applied. Total rules applied 318 place count 6833 transition count 15397
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 357 place count 6794 transition count 15280
Iterating global reduction 0 with 39 rules applied. Total rules applied 396 place count 6794 transition count 15280
Applied a total of 396 rules in 14434 ms. Remains 6794 /6992 variables (removed 198) and now considering 15280/15556 (removed 276) transitions.
[2025-06-05 17:42:57] [INFO ] Flow matrix only has 14224 transitions (discarded 1056 similar events)
// Phase 1: matrix 14224 rows 6794 cols
[2025-06-05 17:42:58] [INFO ] Computed 74 invariants in 1172 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:43:26] [INFO ] Implicit Places using invariants in 29572 ms returned []
Implicit Place search using SMT only with invariants took 29578 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6794/7233 places, 15280/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 96253 ms. Remains : 6794/7233 places, 15280/15869 transitions.
[2025-06-05 17:43:27] [INFO ] Flatten gal took : 689 ms
[2025-06-05 17:43:28] [INFO ] Flatten gal took : 476 ms
[2025-06-05 17:43:28] [INFO ] Input system was already deterministic with 15280 transitions.
[2025-06-05 17:43:29] [INFO ] Flatten gal took : 479 ms
[2025-06-05 17:43:30] [INFO ] Flatten gal took : 632 ms
[2025-06-05 17:43:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality15743503667230006437.gal : 71 ms
[2025-06-05 17:43:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality1814632035908705674.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/CTLCardinality15743503667230006437.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1814632035908705674.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-05 17:44:00] [INFO ] Flatten gal took : 521 ms
[2025-06-05 17:44:00] [INFO ] Applying decomposition
[2025-06-05 17:44:01] [INFO ] Flatten gal took : 546 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/graph17583709120676650600.txt' '-o' '/tmp/graph17583709120676650600.bin' '-w' '/tmp/graph17583709120676650600.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17583709120676650600.bin' '-l' '-1' '-v' '-w' '/tmp/graph17583709120676650600.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:44:02] [INFO ] Decomposing Gal with order
[2025-06-05 17:44:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:44:07] [INFO ] Removed a total of 14025 redundant transitions.
[2025-06-05 17:44:07] [INFO ] Flatten gal took : 2400 ms
[2025-06-05 17:44:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 684 labels/synchronizations in 380 ms.
[2025-06-05 17:44:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality13109606952113233450.gal : 93 ms
[2025-06-05 17:44:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality10426583767005189902.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/CTLCardinality13109606952113233450.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10426583767005189902.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 80 place count 7153 transition count 15769
Iterating global reduction 0 with 80 rules applied. Total rules applied 160 place count 7153 transition count 15769
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 229 place count 7084 transition count 15634
Iterating global reduction 0 with 69 rules applied. Total rules applied 298 place count 7084 transition count 15634
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 333 place count 7049 transition count 15533
Iterating global reduction 0 with 35 rules applied. Total rules applied 368 place count 7049 transition count 15533
Applied a total of 368 rules in 13110 ms. Remains 7049 /7233 variables (removed 184) and now considering 15533/15869 (removed 336) transitions.
[2025-06-05 17:44:53] [INFO ] Flow matrix only has 14477 transitions (discarded 1056 similar events)
// Phase 1: matrix 14477 rows 7049 cols
[2025-06-05 17:44:54] [INFO ] Computed 142 invariants in 850 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:45:26] [INFO ] Performed 4632/7049 implicitness test of which 54 returned IMPLICIT in 30 seconds.
[2025-06-05 17:45:32] [INFO ] Implicit Places using invariants in 39324 ms returned [17, 314, 759, 818, 1016, 1254, 1427, 1636, 1637, 1764, 2094, 2357, 2472, 2492, 2585, 2772, 2773, 2867, 2868, 2937, 3046, 3065, 3168, 3217, 3255, 3264, 3323, 3331, 3353, 3383, 3405, 3434, 3491, 3534, 3580, 3608, 3609, 3635, 3670, 3675, 3704, 3742, 3834, 3877, 3908, 3930, 4057, 4058, 4059, 4200, 4219, 4406, 4407, 4524, 4772, 4899, 4900, 4901, 4905, 5221, 5915, 5969, 5970, 6212, 6213, 6440, 6441, 6442, 6443, 6716, 6717]
Discarding 71 places :
Implicit Place search using SMT only with invariants took 39345 ms to find 71 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6978/7233 places, 15533/15869 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 6922 transition count 15477
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 6922 transition count 15477
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 168 place count 6866 transition count 15421
Iterating global reduction 0 with 56 rules applied. Total rules applied 224 place count 6866 transition count 15421
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 280 place count 6810 transition count 15365
Iterating global reduction 0 with 56 rules applied. Total rules applied 336 place count 6810 transition count 15365
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 378 place count 6768 transition count 15239
Iterating global reduction 0 with 42 rules applied. Total rules applied 420 place count 6768 transition count 15239
Applied a total of 420 rules in 14967 ms. Remains 6768 /6978 variables (removed 210) and now considering 15239/15533 (removed 294) transitions.
[2025-06-05 17:45:47] [INFO ] Flow matrix only has 14183 transitions (discarded 1056 similar events)
// Phase 1: matrix 14183 rows 6768 cols
[2025-06-05 17:45:48] [INFO ] Computed 71 invariants in 934 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:46:18] [INFO ] Implicit Places using invariants in 30364 ms returned []
Implicit Place search using SMT only with invariants took 30366 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6768/7233 places, 15239/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 97790 ms. Remains : 6768/7233 places, 15239/15869 transitions.
[2025-06-05 17:46:18] [INFO ] Flatten gal took : 393 ms
[2025-06-05 17:46:19] [INFO ] Flatten gal took : 469 ms
[2025-06-05 17:46:19] [INFO ] Input system was already deterministic with 15239 transitions.
[2025-06-05 17:46:20] [INFO ] Flatten gal took : 563 ms
[2025-06-05 17:46:20] [INFO ] Flatten gal took : 550 ms
[2025-06-05 17:46:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality2974329322078519773.gal : 66 ms
[2025-06-05 17:46:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality13422149123632129804.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/CTLCardinality2974329322078519773.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13422149123632129804.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-05 17:46:51] [INFO ] Flatten gal took : 459 ms
[2025-06-05 17:46:51] [INFO ] Applying decomposition
[2025-06-05 17:46:51] [INFO ] Flatten gal took : 475 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/graph1047877039608611535.txt' '-o' '/tmp/graph1047877039608611535.bin' '-w' '/tmp/graph1047877039608611535.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1047877039608611535.bin' '-l' '-1' '-v' '-w' '/tmp/graph1047877039608611535.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:46:52] [INFO ] Decomposing Gal with order
[2025-06-05 17:46:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:46:56] [INFO ] Removed a total of 13226 redundant transitions.
[2025-06-05 17:46:56] [INFO ] Flatten gal took : 1562 ms
[2025-06-05 17:46:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 7205 labels/synchronizations in 1153 ms.
[2025-06-05 17:46:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality608235330278741882.gal : 89 ms
[2025-06-05 17:46:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality17528256086099856234.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/CTLCardinality608235330278741882.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17528256086099856234.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 7233/7233 places, 15869/15869 transitions.
Discarding 73 places :
Symmetric choice reduction at 0 with 73 rule applications. Total rules 73 place count 7160 transition count 15780
Iterating global reduction 0 with 73 rules applied. Total rules applied 146 place count 7160 transition count 15780
Discarding 64 places :
Symmetric choice reduction at 0 with 64 rule applications. Total rules 210 place count 7096 transition count 15654
Iterating global reduction 0 with 64 rules applied. Total rules applied 274 place count 7096 transition count 15654
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 306 place count 7064 transition count 15562
Iterating global reduction 0 with 32 rules applied. Total rules applied 338 place count 7064 transition count 15562
Applied a total of 338 rules in 11971 ms. Remains 7064 /7233 variables (removed 169) and now considering 15562/15869 (removed 307) transitions.
[2025-06-05 17:47:40] [INFO ] Flow matrix only has 14506 transitions (discarded 1056 similar events)
// Phase 1: matrix 14506 rows 7064 cols
[2025-06-05 17:47:41] [INFO ] Computed 142 invariants in 1097 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:48:13] [INFO ] Performed 4641/7064 implicitness test of which 50 returned IMPLICIT in 30 seconds.
[2025-06-05 17:48:19] [INFO ] Implicit Places using invariants in 39691 ms returned [17, 314, 759, 818, 1016, 1254, 1638, 1639, 1766, 2362, 2477, 2497, 2590, 2778, 2875, 2876, 2945, 3054, 3073, 3177, 3226, 3264, 3273, 3332, 3340, 3362, 3392, 3414, 3443, 3500, 3543, 3589, 3617, 3618, 3644, 3679, 3684, 3713, 3846, 3889, 3920, 3942, 4069, 4070, 4071, 4212, 4231, 4418, 4419, 4536, 4784, 4911, 4912, 4913, 4917, 5927, 5981, 5982, 6226, 6455, 6456, 6457, 6458, 6731, 6732]
Discarding 65 places :
Implicit Place search using SMT only with invariants took 39703 ms to find 65 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6999/7233 places, 15562/15869 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 6948 transition count 15511
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 6948 transition count 15511
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 153 place count 6897 transition count 15460
Iterating global reduction 0 with 51 rules applied. Total rules applied 204 place count 6897 transition count 15460
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 255 place count 6846 transition count 15409
Iterating global reduction 0 with 51 rules applied. Total rules applied 306 place count 6846 transition count 15409
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 343 place count 6809 transition count 15298
Iterating global reduction 0 with 37 rules applied. Total rules applied 380 place count 6809 transition count 15298
Applied a total of 380 rules in 14625 ms. Remains 6809 /6999 variables (removed 190) and now considering 15298/15562 (removed 264) transitions.
[2025-06-05 17:48:34] [INFO ] Flow matrix only has 14242 transitions (discarded 1056 similar events)
// Phase 1: matrix 14242 rows 6809 cols
[2025-06-05 17:48:36] [INFO ] Computed 77 invariants in 1425 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:49:07] [INFO ] Implicit Places using invariants in 33077 ms returned []
Implicit Place search using SMT only with invariants took 33080 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6809/7233 places, 15298/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 99381 ms. Remains : 6809/7233 places, 15298/15869 transitions.
[2025-06-05 17:49:08] [INFO ] Flatten gal took : 668 ms
[2025-06-05 17:49:09] [INFO ] Flatten gal took : 615 ms
[2025-06-05 17:49:09] [INFO ] Input system was already deterministic with 15298 transitions.
[2025-06-05 17:49:10] [INFO ] Flatten gal took : 493 ms
[2025-06-05 17:49:10] [INFO ] Flatten gal took : 460 ms
[2025-06-05 17:49:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality5728857711323552225.gal : 72 ms
[2025-06-05 17:49:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality16397941678929273258.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/CTLCardinality5728857711323552225.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16397941678929273258.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-05 17:49:41] [INFO ] Flatten gal took : 524 ms
[2025-06-05 17:49:41] [INFO ] Applying decomposition
[2025-06-05 17:49:42] [INFO ] Flatten gal took : 497 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/graph3279685880837074438.txt' '-o' '/tmp/graph3279685880837074438.bin' '-w' '/tmp/graph3279685880837074438.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3279685880837074438.bin' '-l' '-1' '-v' '-w' '/tmp/graph3279685880837074438.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:49:42] [INFO ] Decomposing Gal with order
[2025-06-05 17:49:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:49:47] [INFO ] Removed a total of 14365 redundant transitions.
[2025-06-05 17:49:48] [INFO ] Flatten gal took : 2041 ms
[2025-06-05 17:49:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 681 labels/synchronizations in 415 ms.
[2025-06-05 17:49:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality15907181912125774602.gal : 89 ms
[2025-06-05 17:49:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality109833551791671216.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/CTLCardinality15907181912125774602.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality109833551791671216.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 7159 transition count 15777
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 7159 transition count 15777
Discarding 64 places :
Symmetric choice reduction at 0 with 64 rule applications. Total rules 212 place count 7095 transition count 15651
Iterating global reduction 0 with 64 rules applied. Total rules applied 276 place count 7095 transition count 15651
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 308 place count 7063 transition count 15557
Iterating global reduction 0 with 32 rules applied. Total rules applied 340 place count 7063 transition count 15557
Applied a total of 340 rules in 11887 ms. Remains 7063 /7233 variables (removed 170) and now considering 15557/15869 (removed 312) transitions.
[2025-06-05 17:50:32] [INFO ] Flow matrix only has 14501 transitions (discarded 1056 similar events)
// Phase 1: matrix 14501 rows 7063 cols
[2025-06-05 17:50:33] [INFO ] Computed 142 invariants in 1068 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:51:05] [INFO ] Performed 4410/7063 implicitness test of which 47 returned IMPLICIT in 30 seconds.
[2025-06-05 17:51:12] [INFO ] Implicit Places using invariants in 39967 ms returned [17, 314, 759, 818, 1016, 1254, 1427, 1636, 1766, 2098, 2361, 2476, 2496, 2589, 2776, 2777, 2871, 2872, 2941, 3050, 3069, 3172, 3221, 3259, 3268, 3327, 3335, 3357, 3387, 3409, 3438, 3495, 3538, 3615, 3616, 3642, 3677, 3751, 3844, 3887, 3918, 3940, 4067, 4068, 4069, 4210, 4229, 4416, 4537, 4785, 4912, 4913, 4914, 4918, 5234, 5928, 5982, 5983, 6225, 6226, 6453, 6454, 6455, 6456, 6729, 6730]
Discarding 66 places :
Implicit Place search using SMT only with invariants took 39979 ms to find 66 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6997/7233 places, 15557/15869 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 6945 transition count 15505
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 6945 transition count 15505
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 156 place count 6893 transition count 15453
Iterating global reduction 0 with 52 rules applied. Total rules applied 208 place count 6893 transition count 15453
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 260 place count 6841 transition count 15401
Iterating global reduction 0 with 52 rules applied. Total rules applied 312 place count 6841 transition count 15401
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 349 place count 6804 transition count 15290
Iterating global reduction 0 with 37 rules applied. Total rules applied 386 place count 6804 transition count 15290
Applied a total of 386 rules in 14473 ms. Remains 6804 /6997 variables (removed 193) and now considering 15290/15557 (removed 267) transitions.
[2025-06-05 17:51:26] [INFO ] Flow matrix only has 14234 transitions (discarded 1056 similar events)
// Phase 1: matrix 14234 rows 6804 cols
[2025-06-05 17:51:27] [INFO ] Computed 76 invariants in 955 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:51:57] [INFO ] Implicit Places using invariants in 30548 ms returned []
Implicit Place search using SMT only with invariants took 30551 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6804/7233 places, 15290/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 96894 ms. Remains : 6804/7233 places, 15290/15869 transitions.
[2025-06-05 17:51:57] [INFO ] Flatten gal took : 465 ms
[2025-06-05 17:51:58] [INFO ] Flatten gal took : 635 ms
[2025-06-05 17:51:59] [INFO ] Input system was already deterministic with 15290 transitions.
[2025-06-05 17:51:59] [INFO ] Flatten gal took : 624 ms
[2025-06-05 17:52:00] [INFO ] Flatten gal took : 525 ms
[2025-06-05 17:52:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality4374354759574168270.gal : 62 ms
[2025-06-05 17:52:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality16384402745596611990.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/CTLCardinality4374354759574168270.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16384402745596611990.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-05 17:52:31] [INFO ] Flatten gal took : 491 ms
[2025-06-05 17:52:31] [INFO ] Applying decomposition
[2025-06-05 17:52:31] [INFO ] Flatten gal took : 509 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/graph9758832102506795806.txt' '-o' '/tmp/graph9758832102506795806.bin' '-w' '/tmp/graph9758832102506795806.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9758832102506795806.bin' '-l' '-1' '-v' '-w' '/tmp/graph9758832102506795806.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:52:32] [INFO ] Decomposing Gal with order
[2025-06-05 17:52:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:52:36] [INFO ] Removed a total of 14245 redundant transitions.
[2025-06-05 17:52:37] [INFO ] Flatten gal took : 2086 ms
[2025-06-05 17:52:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 707 labels/synchronizations in 413 ms.
[2025-06-05 17:52:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality8645015032833925292.gal : 123 ms
[2025-06-05 17:52:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality6369445647582909839.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/CTLCardinality8645015032833925292.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6369445647582909839.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 76 places :
Symmetric choice reduction at 0 with 76 rule applications. Total rules 76 place count 7157 transition count 15773
Iterating global reduction 0 with 76 rules applied. Total rules applied 152 place count 7157 transition count 15773
Discarding 65 places :
Symmetric choice reduction at 0 with 65 rule applications. Total rules 217 place count 7092 transition count 15646
Iterating global reduction 0 with 65 rules applied. Total rules applied 282 place count 7092 transition count 15646
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 315 place count 7059 transition count 15551
Iterating global reduction 0 with 33 rules applied. Total rules applied 348 place count 7059 transition count 15551
Applied a total of 348 rules in 12161 ms. Remains 7059 /7233 variables (removed 174) and now considering 15551/15869 (removed 318) transitions.
[2025-06-05 17:53:22] [INFO ] Flow matrix only has 14495 transitions (discarded 1056 similar events)
// Phase 1: matrix 14495 rows 7059 cols
[2025-06-05 17:53:23] [INFO ] Computed 142 invariants in 986 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:53:54] [INFO ] Performed 4592/7059 implicitness test of which 51 returned IMPLICIT in 30 seconds.
[2025-06-05 17:54:02] [INFO ] Implicit Places using invariants in 40140 ms returned [17, 314, 759, 1019, 1257, 1430, 1639, 1640, 1767, 2097, 2360, 2475, 2495, 2588, 2775, 2776, 2870, 2871, 2940, 3049, 3068, 3171, 3220, 3270, 3329, 3337, 3359, 3389, 3411, 3440, 3497, 3540, 3586, 3614, 3615, 3641, 3676, 3681, 3710, 3748, 3840, 3883, 3914, 4065, 4066, 4067, 4208, 4227, 4414, 4415, 4532, 4780, 4907, 4908, 4909, 4913, 5229, 5923, 5977, 5978, 6220, 6221, 6449, 6450, 6451, 6726, 6727]
Discarding 67 places :
Implicit Place search using SMT only with invariants took 40165 ms to find 67 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6992/7233 places, 15551/15869 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 6940 transition count 15499
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 6940 transition count 15499
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 156 place count 6888 transition count 15447
Iterating global reduction 0 with 52 rules applied. Total rules applied 208 place count 6888 transition count 15447
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 260 place count 6836 transition count 15395
Iterating global reduction 0 with 52 rules applied. Total rules applied 312 place count 6836 transition count 15395
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 350 place count 6798 transition count 15281
Iterating global reduction 0 with 38 rules applied. Total rules applied 388 place count 6798 transition count 15281
Applied a total of 388 rules in 15089 ms. Remains 6798 /6992 variables (removed 194) and now considering 15281/15551 (removed 270) transitions.
[2025-06-05 17:54:17] [INFO ] Flow matrix only has 14225 transitions (discarded 1056 similar events)
// Phase 1: matrix 14225 rows 6798 cols
[2025-06-05 17:54:18] [INFO ] Computed 75 invariants in 1104 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:54:47] [INFO ] Implicit Places using invariants in 29854 ms returned []
Implicit Place search using SMT only with invariants took 29863 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6798/7233 places, 15281/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 97280 ms. Remains : 6798/7233 places, 15281/15869 transitions.
[2025-06-05 17:54:47] [INFO ] Flatten gal took : 638 ms
[2025-06-05 17:54:48] [INFO ] Flatten gal took : 511 ms
[2025-06-05 17:54:49] [INFO ] Input system was already deterministic with 15281 transitions.
[2025-06-05 17:54:50] [INFO ] Flatten gal took : 739 ms
[2025-06-05 17:54:50] [INFO ] Flatten gal took : 474 ms
[2025-06-05 17:54:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality2394007324603257725.gal : 67 ms
[2025-06-05 17:54:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality15428830369577843841.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/CTLCardinality2394007324603257725.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15428830369577843841.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-05 17:55:21] [INFO ] Flatten gal took : 467 ms
[2025-06-05 17:55:21] [INFO ] Applying decomposition
[2025-06-05 17:55:21] [INFO ] Flatten gal took : 439 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/graph15096337050446817612.txt' '-o' '/tmp/graph15096337050446817612.bin' '-w' '/tmp/graph15096337050446817612.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15096337050446817612.bin' '-l' '-1' '-v' '-w' '/tmp/graph15096337050446817612.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:55:22] [INFO ] Decomposing Gal with order
[2025-06-05 17:55:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:55:26] [INFO ] Removed a total of 13584 redundant transitions.
[2025-06-05 17:55:26] [INFO ] Flatten gal took : 1956 ms
[2025-06-05 17:55:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 709 labels/synchronizations in 303 ms.
[2025-06-05 17:55:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality10215807224517828787.gal : 79 ms
[2025-06-05 17:55:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality3203490260320318023.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/CTLCardinality10215807224517828787.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3203490260320318023.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 7156 transition count 15774
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 7156 transition count 15774
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 221 place count 7089 transition count 15645
Iterating global reduction 0 with 67 rules applied. Total rules applied 288 place count 7089 transition count 15645
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 323 place count 7054 transition count 15544
Iterating global reduction 0 with 35 rules applied. Total rules applied 358 place count 7054 transition count 15544
Applied a total of 358 rules in 12094 ms. Remains 7054 /7233 variables (removed 179) and now considering 15544/15869 (removed 325) transitions.
[2025-06-05 17:56:10] [INFO ] Flow matrix only has 14488 transitions (discarded 1056 similar events)
// Phase 1: matrix 14488 rows 7054 cols
[2025-06-05 17:56:11] [INFO ] Computed 142 invariants in 795 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:56:43] [INFO ] Performed 4896/7054 implicitness test of which 53 returned IMPLICIT in 30 seconds.
[2025-06-05 17:56:48] [INFO ] Implicit Places using invariants in 37980 ms returned [17, 314, 759, 818, 1016, 1254, 1427, 1636, 1637, 1764, 2094, 2357, 2492, 2585, 2772, 2773, 2867, 2868, 2937, 3046, 3065, 3168, 3217, 3255, 3264, 3323, 3331, 3354, 3384, 3406, 3435, 3492, 3535, 3581, 3609, 3610, 3636, 3671, 3676, 3705, 3743, 3835, 3878, 3909, 3931, 4059, 4060, 4203, 4222, 4409, 4410, 4527, 4775, 4902, 4903, 4904, 4908, 5224, 5918, 5972, 5973, 6215, 6445, 6446, 6447, 6448, 6721, 6722]
Discarding 68 places :
Implicit Place search using SMT only with invariants took 37998 ms to find 68 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6986/7233 places, 15544/15869 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 6932 transition count 15490
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 6932 transition count 15490
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 162 place count 6878 transition count 15436
Iterating global reduction 0 with 54 rules applied. Total rules applied 216 place count 6878 transition count 15436
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 270 place count 6824 transition count 15382
Iterating global reduction 0 with 54 rules applied. Total rules applied 324 place count 6824 transition count 15382
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 364 place count 6784 transition count 15262
Iterating global reduction 0 with 40 rules applied. Total rules applied 404 place count 6784 transition count 15262
Applied a total of 404 rules in 14950 ms. Remains 6784 /6986 variables (removed 202) and now considering 15262/15544 (removed 282) transitions.
[2025-06-05 17:57:03] [INFO ] Flow matrix only has 14206 transitions (discarded 1056 similar events)
// Phase 1: matrix 14206 rows 6784 cols
[2025-06-05 17:57:04] [INFO ] Computed 74 invariants in 1152 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:57:33] [INFO ] Implicit Places using invariants in 29533 ms returned []
Implicit Place search using SMT only with invariants took 29548 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6784/7233 places, 15262/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 94591 ms. Remains : 6784/7233 places, 15262/15869 transitions.
[2025-06-05 17:57:33] [INFO ] Flatten gal took : 411 ms
[2025-06-05 17:57:34] [INFO ] Flatten gal took : 520 ms
[2025-06-05 17:57:34] [INFO ] Input system was already deterministic with 15262 transitions.
[2025-06-05 17:57:35] [INFO ] Flatten gal took : 523 ms
[2025-06-05 17:57:35] [INFO ] Flatten gal took : 483 ms
[2025-06-05 17:57:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality2952160268368981302.gal : 67 ms
[2025-06-05 17:57:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality4515600221208531572.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/CTLCardinality2952160268368981302.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4515600221208531572.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-05 17:58:06] [INFO ] Flatten gal took : 529 ms
[2025-06-05 17:58:06] [INFO ] Applying decomposition
[2025-06-05 17:58:07] [INFO ] Flatten gal took : 487 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/graph3718624664744903737.txt' '-o' '/tmp/graph3718624664744903737.bin' '-w' '/tmp/graph3718624664744903737.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3718624664744903737.bin' '-l' '-1' '-v' '-w' '/tmp/graph3718624664744903737.weights' '-q' '0' '-e' '0.001'
[2025-06-05 17:58:08] [INFO ] Decomposing Gal with order
[2025-06-05 17:58:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 17:58:12] [INFO ] Removed a total of 13533 redundant transitions.
[2025-06-05 17:58:12] [INFO ] Flatten gal took : 2502 ms
[2025-06-05 17:58:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 673 labels/synchronizations in 432 ms.
[2025-06-05 17:58:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality15512409465653112896.gal : 80 ms
[2025-06-05 17:58:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality17457435186524840793.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/CTLCardinality15512409465653112896.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17457435186524840793.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 7156 transition count 15772
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 7156 transition count 15772
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 220 place count 7090 transition count 15642
Iterating global reduction 0 with 66 rules applied. Total rules applied 286 place count 7090 transition count 15642
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 319 place count 7057 transition count 15547
Iterating global reduction 0 with 33 rules applied. Total rules applied 352 place count 7057 transition count 15547
Applied a total of 352 rules in 11794 ms. Remains 7057 /7233 variables (removed 176) and now considering 15547/15869 (removed 322) transitions.
[2025-06-05 17:58:56] [INFO ] Flow matrix only has 14491 transitions (discarded 1056 similar events)
// Phase 1: matrix 14491 rows 7057 cols
[2025-06-05 17:58:57] [INFO ] Computed 142 invariants in 869 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 17:59:29] [INFO ] Performed 4634/7057 implicitness test of which 51 returned IMPLICIT in 30 seconds.
[2025-06-05 17:59:36] [INFO ] Implicit Places using invariants in 39498 ms returned [17, 314, 759, 818, 1016, 1254, 1427, 1636, 1637, 2094, 2357, 2472, 2492, 2585, 2772, 2773, 2867, 2868, 2937, 3046, 3065, 3168, 3217, 3255, 3264, 3323, 3331, 3385, 3407, 3436, 3493, 3536, 3582, 3610, 3611, 3637, 3672, 3677, 3706, 3744, 3836, 3879, 3910, 3932, 4059, 4060, 4205, 4224, 4411, 4412, 4529, 4777, 4904, 4906, 4910, 5229, 5923, 5977, 5978, 6220, 6221, 6448, 6449, 6450, 6451, 6724, 6725]
Discarding 67 places :
Implicit Place search using SMT only with invariants took 39517 ms to find 67 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6990/7233 places, 15547/15869 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 6937 transition count 15494
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 6937 transition count 15494
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 159 place count 6884 transition count 15441
Iterating global reduction 0 with 53 rules applied. Total rules applied 212 place count 6884 transition count 15441
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 265 place count 6831 transition count 15388
Iterating global reduction 0 with 53 rules applied. Total rules applied 318 place count 6831 transition count 15388
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 357 place count 6792 transition count 15271
Iterating global reduction 0 with 39 rules applied. Total rules applied 396 place count 6792 transition count 15271
Applied a total of 396 rules in 14746 ms. Remains 6792 /6990 variables (removed 198) and now considering 15271/15547 (removed 276) transitions.
[2025-06-05 17:59:51] [INFO ] Flow matrix only has 14215 transitions (discarded 1056 similar events)
// Phase 1: matrix 14215 rows 6792 cols
[2025-06-05 17:59:52] [INFO ] Computed 75 invariants in 1343 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 18:00:20] [INFO ] Implicit Places using invariants in 29385 ms returned []
Implicit Place search using SMT only with invariants took 29389 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6792/7233 places, 15271/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 95455 ms. Remains : 6792/7233 places, 15271/15869 transitions.
[2025-06-05 18:00:21] [INFO ] Flatten gal took : 401 ms
[2025-06-05 18:00:21] [INFO ] Flatten gal took : 696 ms
[2025-06-05 18:00:22] [INFO ] Input system was already deterministic with 15271 transitions.
[2025-06-05 18:00:23] [INFO ] Flatten gal took : 469 ms
[2025-06-05 18:00:23] [INFO ] Flatten gal took : 490 ms
[2025-06-05 18:00:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality1691883625262690082.gal : 67 ms
[2025-06-05 18:00:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality12339421548371715982.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/CTLCardinality1691883625262690082.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12339421548371715982.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-05 18:00:54] [INFO ] Flatten gal took : 558 ms
[2025-06-05 18:00:54] [INFO ] Applying decomposition
[2025-06-05 18:00:54] [INFO ] Flatten gal took : 585 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/graph8308635032779194228.txt' '-o' '/tmp/graph8308635032779194228.bin' '-w' '/tmp/graph8308635032779194228.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8308635032779194228.bin' '-l' '-1' '-v' '-w' '/tmp/graph8308635032779194228.weights' '-q' '0' '-e' '0.001'
[2025-06-05 18:00:55] [INFO ] Decomposing Gal with order
[2025-06-05 18:00:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 18:00:59] [INFO ] Removed a total of 13744 redundant transitions.
[2025-06-05 18:01:00] [INFO ] Flatten gal took : 2060 ms
[2025-06-05 18:01:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 582 labels/synchronizations in 302 ms.
[2025-06-05 18:01:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality7868164139774804753.gal : 100 ms
[2025-06-05 18:01:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality361124333933946084.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/CTLCardinality7868164139774804753.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality361124333933946084.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 : 7233/7233 places, 15869/15869 transitions.
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 78 place count 7155 transition count 15773
Iterating global reduction 0 with 78 rules applied. Total rules applied 156 place count 7155 transition count 15773
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 224 place count 7087 transition count 15641
Iterating global reduction 0 with 68 rules applied. Total rules applied 292 place count 7087 transition count 15641
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 327 place count 7052 transition count 15540
Iterating global reduction 0 with 35 rules applied. Total rules applied 362 place count 7052 transition count 15540
Applied a total of 362 rules in 12010 ms. Remains 7052 /7233 variables (removed 181) and now considering 15540/15869 (removed 329) transitions.
[2025-06-05 18:01:44] [INFO ] Flow matrix only has 14484 transitions (discarded 1056 similar events)
// Phase 1: matrix 14484 rows 7052 cols
[2025-06-05 18:01:45] [INFO ] Computed 142 invariants in 906 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 18:02:17] [INFO ] Performed 4402/7052 implicitness test of which 50 returned IMPLICIT in 30 seconds.
[2025-06-05 18:02:24] [INFO ] Implicit Places using invariants in 40010 ms returned [17, 314, 759, 818, 1016, 1254, 1427, 1636, 1637, 1764, 2094, 2357, 2472, 2492, 2585, 2772, 2773, 2867, 2868, 2937, 3046, 3170, 3219, 3257, 3266, 3325, 3333, 3355, 3385, 3407, 3436, 3493, 3536, 3582, 3610, 3611, 3637, 3672, 3677, 3706, 3744, 3836, 3879, 3910, 3932, 4059, 4060, 4061, 4202, 4221, 4409, 4410, 4527, 4775, 4902, 4903, 4904, 4908, 5224, 5918, 5972, 5973, 6215, 6216, 6443, 6444, 6445, 6446, 6719, 6720]
Discarding 70 places :
Implicit Place search using SMT only with invariants took 40027 ms to find 70 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6982/7233 places, 15540/15869 transitions.
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 55 place count 6927 transition count 15485
Iterating global reduction 0 with 55 rules applied. Total rules applied 110 place count 6927 transition count 15485
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 165 place count 6872 transition count 15430
Iterating global reduction 0 with 55 rules applied. Total rules applied 220 place count 6872 transition count 15430
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 275 place count 6817 transition count 15375
Iterating global reduction 0 with 55 rules applied. Total rules applied 330 place count 6817 transition count 15375
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 371 place count 6776 transition count 15252
Iterating global reduction 0 with 41 rules applied. Total rules applied 412 place count 6776 transition count 15252
Applied a total of 412 rules in 15272 ms. Remains 6776 /6982 variables (removed 206) and now considering 15252/15540 (removed 288) transitions.
[2025-06-05 18:02:39] [INFO ] Flow matrix only has 14196 transitions (discarded 1056 similar events)
// Phase 1: matrix 14196 rows 6776 cols
[2025-06-05 18:02:40] [INFO ] Computed 72 invariants in 1237 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 18:03:07] [INFO ] Implicit Places using invariants in 28188 ms returned []
Implicit Place search using SMT only with invariants took 28193 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 6776/7233 places, 15252/15869 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 95504 ms. Remains : 6776/7233 places, 15252/15869 transitions.
[2025-06-05 18:03:08] [INFO ] Flatten gal took : 411 ms
[2025-06-05 18:03:08] [INFO ] Flatten gal took : 492 ms
[2025-06-05 18:03:09] [INFO ] Input system was already deterministic with 15252 transitions.
[2025-06-05 18:03:10] [INFO ] Flatten gal took : 530 ms
[2025-06-05 18:03:10] [INFO ] Flatten gal took : 493 ms
[2025-06-05 18:03:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality8208968529597788095.gal : 69 ms
[2025-06-05 18:03:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality1198415672269550141.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/CTLCardinality8208968529597788095.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1198415672269550141.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-05 18:03:41] [INFO ] Flatten gal took : 497 ms
[2025-06-05 18:03:41] [INFO ] Applying decomposition
[2025-06-05 18:03:41] [INFO ] Flatten gal took : 572 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/graph13185614581738192305.txt' '-o' '/tmp/graph13185614581738192305.bin' '-w' '/tmp/graph13185614581738192305.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13185614581738192305.bin' '-l' '-1' '-v' '-w' '/tmp/graph13185614581738192305.weights' '-q' '0' '-e' '0.001'
[2025-06-05 18:03:42] [INFO ] Decomposing Gal with order
[2025-06-05 18:03:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 18:03:46] [INFO ] Removed a total of 13836 redundant transitions.
[2025-06-05 18:03:47] [INFO ] Flatten gal took : 1660 ms
[2025-06-05 18:03:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 521 labels/synchronizations in 317 ms.
[2025-06-05 18:03:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality8635791703972439262.gal : 85 ms
[2025-06-05 18:03:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality1730004790865962087.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/CTLCardinality8635791703972439262.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1730004790865962087.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-05 18:04:20] [INFO ] Flatten gal took : 829 ms
[2025-06-05 18:04:20] [INFO ] Flatten gal took : 733 ms
[2025-06-05 18:04:21] [INFO ] Applying decomposition
[2025-06-05 18:04:21] [INFO ] Flatten gal took : 487 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/graph8736343172690971250.txt' '-o' '/tmp/graph8736343172690971250.bin' '-w' '/tmp/graph8736343172690971250.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8736343172690971250.bin' '-l' '-1' '-v' '-w' '/tmp/graph8736343172690971250.weights' '-q' '0' '-e' '0.001'
[2025-06-05 18:04:22] [INFO ] Decomposing Gal with order
[2025-06-05 18:04:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 18:04:29] [INFO ] Removed a total of 15822 redundant transitions.
[2025-06-05 18:04:29] [INFO ] Flatten gal took : 2966 ms
[2025-06-05 18:04:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 772 labels/synchronizations in 412 ms.
[2025-06-05 18:04:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality12184949329760161671.gal : 93 ms
[2025-06-05 18:04:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality12545934199432478262.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/CTLCardinality12184949329760161671.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12545934199432478262.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 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//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
++ perl -pe 's/.*\.//g'
+ 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-S32C03"
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-S32C03, 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-174876524500433"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C03.tgz
mv MultiCrashLeafsetExtension-PT-S32C03 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 ;