About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | T?FTF??TT?T??T?? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524400353.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-S24C04, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524400353
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 10K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 24K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K 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 10M 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-S24C04-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1749002998226
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-S24C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-04 02:10:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-04 02:10:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 02:10:02] [INFO ] Load time of PNML (sax parser for PT used): 1061 ms
[2025-06-04 02:10:02] [INFO ] Transformed 9748 places.
[2025-06-04 02:10:02] [INFO ] Transformed 14659 transitions.
[2025-06-04 02:10:02] [INFO ] Parsed PT model containing 9748 places and 14659 transitions and 58838 arcs in 1364 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 26 ms.
Support contains 114 out of 9748 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9748/9748 places, 14659/14659 transitions.
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 0 with 34 rules applied. Total rules applied 34 place count 9714 transition count 14659
Discarding 2370 places :
Symmetric choice reduction at 1 with 2370 rule applications. Total rules 2404 place count 7344 transition count 12289
Iterating global reduction 1 with 2370 rules applied. Total rules applied 4774 place count 7344 transition count 12289
Discarding 2154 places :
Symmetric choice reduction at 1 with 2154 rule applications. Total rules 6928 place count 5190 transition count 10135
Iterating global reduction 1 with 2154 rules applied. Total rules applied 9082 place count 5190 transition count 10135
Discarding 503 places :
Symmetric choice reduction at 1 with 503 rule applications. Total rules 9585 place count 4687 transition count 8123
Iterating global reduction 1 with 503 rules applied. Total rules applied 10088 place count 4687 transition count 8123
Applied a total of 10088 rules in 4735 ms. Remains 4687 /9748 variables (removed 5061) and now considering 8123/14659 (removed 6536) transitions.
[2025-06-04 02:10:07] [INFO ] Flow matrix only has 7523 transitions (discarded 600 similar events)
// Phase 1: matrix 7523 rows 4687 cols
[2025-06-04 02:10:08] [INFO ] Computed 887 invariants in 793 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:10:28] [INFO ] Implicit Places using invariants in 21042 ms returned [4, 8, 12, 14, 18, 20, 25, 32, 41, 52, 80, 99, 118, 139, 162, 186, 210, 212, 214, 216, 218, 239, 258, 275, 290, 303, 314, 323, 330, 335, 338, 357, 364, 367, 368, 370, 371, 377, 382, 389, 398, 409, 422, 437, 454, 473, 494, 516, 538, 539, 540, 542, 563, 580, 595, 608, 619, 628, 635, 640, 643, 645, 664, 672, 675, 676, 678, 679, 681, 684, 689, 696, 705, 718, 731, 746, 763, 782, 802, 822, 824, 825, 826, 843, 858, 871, 884, 893, 900, 905, 908, 910, 912, 931, 938, 941, 942, 943, 944, 945, 947, 949, 952, 957, 964, 973, 984, 997, 1012, 1029, 1047, 1065, 1067, 1068, 1069, 1084, 1097, 1108, 1117, 1127, 1132, 1135, 1137, 1139, 1141, 1160, 1167, 1170, 1171, 1172, 1173, 1174, 1176, 1178, 1180, 1183, 1188, 1195, 1204, 1215, 1228, 1243, 1259, 1275, 1276, 1277, 1279, 1294, 1305, 1314, 1321, 1326, 1329, 1331, 1333, 1335, 1337, 1356, 1363, 1367, 1368, 1369, 1370, 1375, 1377, 1379, 1381, 1384, 1389, 1396, 1405, 1416, 1429, 1443, 1458, 1461, 1476, 1485, 1492, 1497, 1500, 1502, 1504, 1506, 1508, 1510, 1531, 1538, 1542, 1543, 1544, 1545, 1547, 1549, 1551, 1553, 1555, 1558, 1563, 1581, 1592, 1604, 1616, 1617, 1618, 1620, 1629, 1636, 1641, 1647, 1649, 1651, 1653, 1655, 1657, 1659, 1678, 1685, 1688, 1689, 1690, 1691, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1707, 1712, 1719, 1728, 1738, 1748, 1749, 1750, 1752, 1759, 1764, 1767, 1769, 1771, 1775, 1777, 1779, 1781, 1783, 1802, 1809, 1812, 1813, 1815, 1816, 1818, 1820, 1822, 1824, 1829, 1831, 1833, 1836, 1841, 1851, 1859, 1867, 1868, 1869, 1870, 1871, 1876, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1914, 1921, 1925, 1926, 1927, 1928, 1930, 1932, 1934, 1936, 1938, 1940, 1944, 1947, 1950, 1955, 1961, 1967, 1968, 1970, 1971, 1974, 1976, 1978, 1980, 1982, 1984, 1986, 1988, 1993, 1995, 2014, 2021, 2024, 2025, 2026, 2027, 2028, 2030, 2032, 2034, 2036, 2038, 2040, 2042, 2044, 2046, 2049, 2053, 2057, 2058, 2059, 2060, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2075, 2077, 2079, 2081, 2100, 2107, 2110, 2111, 2112, 2113, 2114, 2116, 2118, 2120, 2122, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2140, 2143, 2144, 2146, 2148, 2150, 2152, 2154, 2157, 2159, 2163, 2165, 2169, 2188, 2190, 2198, 2199, 2201, 2203, 2208, 2210, 2212, 2214, 2216, 2220, 2222, 2224, 2226, 2228, 2233, 2235, 2237, 2239, 2241, 2245, 2250, 2254, 2256, 2258, 2260, 2262, 2281, 2288, 2292, 2293, 2295, 2297, 2299, 2301, 2303, 2305, 2307, 2309, 2314, 2316, 2318, 2320, 2324, 2325, 2326, 2327, 2329, 2331, 2333, 2337, 2339, 2341, 2343, 2348, 2350, 2369, 2376, 2379, 2380, 2381, 2382, 2383, 2385, 2387, 2389, 2391, 2393, 2395, 2397, 2399, 2401, 2403, 2411, 2412, 2413, 2414, 2415, 2418, 2420, 2422, 2424, 2426, 2428, 2430, 2432, 2434, 2436, 2455, 2462, 2465, 2466, 2468, 2469, 2474, 2476, 2478, 2481, 2483, 2485, 2487, 2489, 2491, 2496, 2501, 2508, 2511, 2512, 2520, 2523, 2525, 2530, 2532, 2534, 2536, 2538, 2540, 2542, 2561, 2568, 2571, 2572, 2573, 2574, 2575, 2577, 2579, 2581, 2583, 2585, 2587, 2589, 2591, 2599, 2606, 2615, 2616, 2617, 2618, 2619, 2626, 2631, 2634, 2636, 2638, 2640, 2642, 2644, 2646, 2648, 2667, 2674, 2678, 2679, 2680, 2681, 2683, 2685, 2687, 2689, 2691, 2695, 2697, 2700, 2705, 2712, 2721, 2732, 2733, 2734, 2736, 2745, 2752, 2757, 2760, 2765, 2767, 2769, 2771, 2773, 2775, 2794, 2801, 2804, 2805, 2808, 2810, 2812, 2814, 2816, 2818, 2820, 2823, 2828, 2835, 2844, 2859, 2872, 2873, 2874, 2875, 2876, 2887, 2896, 2903, 2908, 2911, 2913, 2915, 2917, 2919, 2921, 2940, 2947, 2950, 2951, 2952, 2953, 2954, 2956, 2960, 2962, 2964, 2967, 2972, 2979, 2988, 2999, 3012, 3027, 3028, 3029, 3030, 3031, 3044, 3055, 3064, 3071, 3076, 3079, 3081, 3083, 3085, 3087, 3106, 3113, 3116, 3118, 3119, 3120, 3122, 3124, 3126, 3128, 3131, 3139, 3146, 3155, 3168, 3181, 3196, 3213, 3214, 3215, 3216, 3217, 3232, 3245, 3256, 3265, 3272, 3277, 3280, 3282, 3284, 3286, 3305, 3312, 3315, 3317, 3318, 3319, 3321, 3323, 3325, 3328, 3333, 3342, 3351, 3362, 3375, 3390, 3407, 3426, 3427, 3428, 3429, 3430, 3447, 3462, 3475, 3486, 3495, 3502, 3507, 3510, 3512, 3514, 3533, 3540, 3545, 3546, 3547, 3549, 3551, 3557, 3562, 3569, 3578, 3592, 3605, 3620, 3640, 3659, 3681, 3682, 3683, 3684, 3703, 3720, 3735, 3748, 3759, 3768, 3775, 3780, 3783, 3788, 3807, 3814, 3817, 3818, 3819, 3820, 3821, 3823, 3826, 3831, 3838, 3847, 3858, 3871, 3886, 3903, 3922, 3943, 3967, 3968, 3969, 3970, 3991, 4010, 4027, 4042, 4055, 4066, 4075, 4085, 4090, 4093, 4112, 4114, 4118, 4121, 4122, 4124, 4125, 4128, 4133, 4140, 4149, 4160, 4173, 4188, 4226, 4247, 4270, 4295, 4297, 4298, 4299, 4322, 4343, 4362, 4379, 4394, 4407, 4418, 4427, 4434, 4439, 4461]
[2025-06-04 02:10:28] [INFO ] Actually due to overlaps returned [357, 664, 931, 1160, 1356, 1531, 1678, 1802, 1914, 2014, 2100, 2188, 2281, 2369, 2455, 2561, 2667, 2794, 2940, 3106, 3305, 3533, 3807, 4112, 4461, 4, 12, 14, 18, 210, 212, 214, 216, 367, 368, 370, 538, 539, 540, 675, 676, 678, 822, 824, 825, 941, 942, 943, 944, 1065, 1067, 1068, 1170, 1171, 1172, 1173, 1275, 1276, 1277, 1367, 1368, 1369, 1458, 1542, 1543, 1544, 1616, 1617, 1618, 1688, 1689, 1690, 1691, 1748, 1749, 1750, 1812, 1813, 1815, 1867, 1868, 1869, 1870, 1925, 1926, 1927, 1967, 1968, 1970, 2024, 2025, 2026, 2027, 2057, 2058, 2059, 2060, 2110, 2111, 2112, 2113, 2140, 2143, 2190, 2198, 2199, 2233, 2292, 2293, 2324, 2325, 2326, 2379, 2380, 2381, 2382, 2411, 2412, 2413, 2414, 2465, 2466, 2468, 2508, 2511, 2571, 2572, 2573, 2574, 2615, 2616, 2617, 2618, 2678, 2679, 2680, 2732, 2733, 2734, 2804, 2805, 2872, 2873, 2874, 2875, 2950, 2951, 2952, 2953, 3027, 3028, 3029, 3030, 3116, 3118, 3119, 3213, 3214, 3215, 3216, 3315, 3317, 3318, 3426, 3427, 3428, 3429, 3545, 3546, 3681, 3682, 3683, 3817, 3818, 3819, 3820, 3967, 3968, 3969, 4114, 4121, 4122, 4124, 4295, 4297, 4298]
Discarding 186 places :
Implicit Place search using SMT only with invariants took 21143 ms to find 186 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4501/9748 places, 8123/14659 transitions.
Discarding 146 places :
Symmetric choice reduction at 0 with 146 rule applications. Total rules 146 place count 4355 transition count 7977
Iterating global reduction 0 with 146 rules applied. Total rules applied 292 place count 4355 transition count 7977
Discarding 146 places :
Symmetric choice reduction at 0 with 146 rule applications. Total rules 438 place count 4209 transition count 7831
Iterating global reduction 0 with 146 rules applied. Total rules applied 584 place count 4209 transition count 7831
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 726 place count 4067 transition count 7689
Iterating global reduction 0 with 142 rules applied. Total rules applied 868 place count 4067 transition count 7689
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 882 place count 4053 transition count 7633
Iterating global reduction 0 with 14 rules applied. Total rules applied 896 place count 4053 transition count 7633
Applied a total of 896 rules in 3018 ms. Remains 4053 /4501 variables (removed 448) and now considering 7633/8123 (removed 490) transitions.
[2025-06-04 02:10:31] [INFO ] Flow matrix only has 7033 transitions (discarded 600 similar events)
// Phase 1: matrix 7033 rows 4053 cols
[2025-06-04 02:10:32] [INFO ] Computed 701 invariants in 264 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:10:47] [INFO ] Implicit Places using invariants in 15645 ms returned [7, 16, 21, 28, 37, 48, 76, 95, 114, 135, 158, 182, 210, 231, 250, 267, 282, 295, 306, 315, 322, 327, 330, 355, 359, 365, 370, 377, 386, 397, 410, 425, 442, 461, 482, 504, 527, 548, 565, 580, 593, 604, 613, 620, 625, 628, 630, 644, 648, 650, 653, 658, 665, 674, 687, 700, 715, 732, 751, 771, 792, 809, 824, 837, 850, 859, 866, 871, 874, 876, 878, 893, 896, 898, 900, 903, 908, 915, 924, 935, 948, 963, 980, 998, 1017, 1032, 1045, 1056, 1065, 1075, 1080, 1083, 1085, 1087, 1089, 1104, 1107, 1109, 1111, 1113, 1116, 1121, 1128, 1137, 1148, 1161, 1176, 1192, 1209, 1224, 1235, 1244, 1251, 1256, 1259, 1261, 1263, 1265, 1267, 1278, 1282, 1287, 1289, 1291, 1293, 1296, 1301, 1308, 1317, 1328, 1341, 1355, 1372, 1387, 1396, 1403, 1408, 1411, 1413, 1415, 1417, 1419, 1421, 1440, 1444, 1446, 1448, 1450, 1452, 1454, 1457, 1462, 1480, 1491, 1503, 1516, 1525, 1532, 1537, 1543, 1545, 1547, 1549, 1551, 1553, 1555, 1568, 1570, 1572, 1574, 1576, 1578, 1580, 1582, 1585, 1590, 1597, 1606, 1616, 1627, 1634, 1639, 1642, 1644, 1646, 1650, 1652, 1654, 1656, 1658, 1669, 1673, 1675, 1677, 1679, 1681, 1686, 1688, 1690, 1693, 1698, 1708, 1716, 1724, 1729, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1748, 1762, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1782, 1785, 1788, 1793, 1799, 1806, 1809, 1811, 1813, 1815, 1817, 1819, 1821, 1823, 1828, 1830, 1845, 1847, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1863, 1865, 1868, 1872, 1875, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1904, 1906, 1908, 1910, 1912, 1914, 1917, 1919, 1921, 1923, 1925, 1927, 1929, 1934, 1936, 1938, 1940, 1942, 1944, 1947, 1949, 1953, 1955, 1959, 1975, 1977, 1982, 1984, 1986, 1988, 1990, 1994, 1996, 1998, 2000, 2002, 2008, 2010, 2012, 2014, 2018, 2023, 2027, 2029, 2031, 2033, 2035, 2056, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2075, 2080, 2082, 2084, 2086, 2090, 2092, 2094, 2096, 2100, 2102, 2104, 2106, 2111, 2113, 2128, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2144, 2146, 2148, 2150, 2157, 2160, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2178, 2187, 2191, 2196, 2198, 2200, 2203, 2205, 2207, 2209, 2211, 2213, 2218, 2223, 2232, 2240, 2243, 2245, 2250, 2252, 2254, 2256, 2258, 2260, 2262, 2278, 2280, 2282, 2284, 2286, 2288, 2290, 2292, 2294, 2296, 2304, 2311, 2319, 2326, 2331, 2334, 2336, 2338, 2340, 2342, 2344, 2346, 2348, 2357, 2361, 2363, 2365, 2367, 2369, 2371, 2375, 2377, 2380, 2385, 2392, 2401, 2413, 2422, 2429, 2434, 2437, 2442, 2444, 2446, 2448, 2450, 2452, 2465, 2470, 2472, 2474, 2476, 2478, 2480, 2482, 2485, 2490, 2497, 2506, 2521, 2533, 2544, 2553, 2560, 2565, 2568, 2570, 2572, 2574, 2576, 2578, 2591, 2593, 2595, 2599, 2601, 2603, 2606, 2611, 2618, 2627, 2638, 2651, 2665, 2678, 2689, 2698, 2705, 2710, 2713, 2715, 2717, 2719, 2721, 2730, 2734, 2736, 2738, 2740, 2742, 2745, 2753, 2760, 2769, 2782, 2795, 2810, 2826, 2841, 2854, 2865, 2874, 2881, 2886, 2889, 2891, 2893, 2895, 2906, 2910, 2912, 2914, 2916, 2919, 2924, 2933, 2942, 2953, 2966, 2981, 2998, 3016, 3033, 3048, 3061, 3072, 3081, 3088, 3093, 3096, 3098, 3100, 3111, 3116, 3118, 3120, 3126, 3131, 3138, 3147, 3161, 3174, 3189, 3209, 3228, 3250, 3269, 3286, 3301, 3314, 3325, 3334, 3341, 3346, 3349, 3354, 3369, 3371, 3373, 3376, 3381, 3388, 3397, 3408, 3421, 3436, 3453, 3472, 3493, 3517, 3538, 3557, 3574, 3589, 3602, 3613, 3622, 3632, 3637, 3640, 3649, 3653, 3656, 3661, 3668, 3677, 3688, 3701, 3716, 3754, 3775, 3798, 3824, 3847, 3868, 3887, 3904, 3919, 3932, 3943, 3952, 3959, 3964]
Discarding 592 places :
Implicit Place search using SMT only with invariants took 15668 ms to find 592 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3461/9748 places, 7633/14659 transitions.
Applied a total of 0 rules in 584 ms. Remains 3461 /3461 variables (removed 0) and now considering 7633/7633 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 45181 ms. Remains : 3461/9748 places, 7633/14659 transitions.
Support contains 114 out of 3461 places after structural reductions.
[2025-06-04 02:10:49] [INFO ] Flatten gal took : 633 ms
[2025-06-04 02:10:49] [INFO ] Flatten gal took : 322 ms
[2025-06-04 02:10:50] [INFO ] Input system was already deterministic with 7633 transitions.
Support contains 112 out of 3461 places (down from 114) after GAL structural reductions.
RANDOM walk for 40000 steps (960 resets) in 3458 ms. (11 steps per ms) remains 50/67 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 29 ms. (133 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 25 ms. (154 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 49/50 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 31 ms. (125 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 30 ms. (129 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 30 ms. (129 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (16 resets) in 29 ms. (133 steps per ms) remains 49/49 properties
[2025-06-04 02:10:51] [INFO ] Flow matrix only has 7033 transitions (discarded 600 similar events)
// Phase 1: matrix 7033 rows 3461 cols
[2025-06-04 02:10:52] [INFO ] Computed 109 invariants in 195 ms
[2025-06-04 02:10:52] [INFO ] State equation strengthened by 2851 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/73 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 49 unsolved
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp62 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp66 is UNSAT
At refinement iteration 1 (OVERLAPS) 2641/2714 variables, 5/5 constraints. Problems are: Problem set: 17 solved, 32 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2714 variables, 0/5 constraints. Problems are: Problem set: 17 solved, 32 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp63 is UNSAT
At refinement iteration 3 (OVERLAPS) 697/3411 variables, 54/59 constraints. Problems are: Problem set: 36 solved, 13 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:00] [INFO ] Deduced a trap composed of 74 places in 4768 ms of which 420 ms to minimize.
SMT process timed out in 8749ms, After SMT, problems are : Problem set: 36 solved, 13 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 19 out of 3461 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3461/3461 places, 7633/7633 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 3461 transition count 7601
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 1 with 32 rules applied. Total rules applied 64 place count 3429 transition count 7601
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 64 place count 3429 transition count 7558
Deduced a syphon composed of 43 places in 5 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 2 with 86 rules applied. Total rules applied 150 place count 3386 transition count 7558
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 185 place count 3351 transition count 7511
Iterating global reduction 2 with 35 rules applied. Total rules applied 220 place count 3351 transition count 7511
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 220 place count 3351 transition count 7510
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 222 place count 3350 transition count 7510
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 247 place count 3325 transition count 7422
Iterating global reduction 2 with 25 rules applied. Total rules applied 272 place count 3325 transition count 7422
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 273 place count 3324 transition count 7418
Iterating global reduction 2 with 1 rules applied. Total rules applied 274 place count 3324 transition count 7418
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 7 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 2 with 78 rules applied. Total rules applied 352 place count 3285 transition count 7379
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 370 place count 3267 transition count 7361
Iterating global reduction 2 with 18 rules applied. Total rules applied 388 place count 3267 transition count 7361
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 406 place count 3249 transition count 7289
Iterating global reduction 2 with 18 rules applied. Total rules applied 424 place count 3249 transition count 7289
Free-agglomeration rule (complex) applied 326 times.
Iterating global reduction 2 with 326 rules applied. Total rules applied 750 place count 3249 transition count 8613
Reduce places removed 326 places and 0 transitions.
Iterating post reduction 2 with 326 rules applied. Total rules applied 1076 place count 2923 transition count 8613
Partial Free-agglomeration rule applied 39 times.
Drop transitions (Partial Free agglomeration) removed 39 transitions
Iterating global reduction 3 with 39 rules applied. Total rules applied 1115 place count 2923 transition count 8613
Applied a total of 1115 rules in 6841 ms. Remains 2923 /3461 variables (removed 538) and now considering 8613/7633 (removed -980) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6843 ms. Remains : 2923/3461 places, 8613/7633 transitions.
RANDOM walk for 40000 steps (1703 resets) in 2246 ms. (17 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (123 resets) in 187 ms. (212 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (122 resets) in 212 ms. (187 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (122 resets) in 308 ms. (129 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (120 resets) in 149 ms. (266 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (121 resets) in 147 ms. (270 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (122 resets) in 148 ms. (268 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (126 resets) in 153 ms. (259 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (123 resets) in 149 ms. (266 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (122 resets) in 148 ms. (268 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (123 resets) in 151 ms. (263 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (122 resets) in 147 ms. (270 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (123 resets) in 252 ms. (158 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (121 resets) in 186 ms. (213 steps per ms) remains 13/13 properties
Interrupted probabilistic random walk after 19778 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :1 out of 13
Probabilistic random walk after 19778 steps, saw 8631 distinct states, run finished after 3011 ms. (steps per millisecond=6 ) properties seen :1
[2025-06-04 02:11:11] [INFO ] Flow matrix only has 7728 transitions (discarded 885 similar events)
// Phase 1: matrix 7728 rows 2923 cols
[2025-06-04 02:11:12] [INFO ] Computed 109 invariants in 232 ms
[2025-06-04 02:11:12] [INFO ] State equation strengthened by 4369 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/18 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 2769/2787 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2787 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:16] [INFO ] Deduced a trap composed of 175 places in 3752 ms of which 674 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:20] [INFO ] Deduced a trap composed of 176 places in 3770 ms of which 671 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:24] [INFO ] Deduced a trap composed of 191 places in 3819 ms of which 707 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:29] [INFO ] Deduced a trap composed of 373 places in 4674 ms of which 1261 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:33] [INFO ] Deduced a trap composed of 223 places in 4190 ms of which 831 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:37] [INFO ] Deduced a trap composed of 181 places in 3874 ms of which 683 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:41] [INFO ] Deduced a trap composed of 174 places in 3987 ms of which 664 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:45] [INFO ] Deduced a trap composed of 245 places in 4335 ms of which 1035 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2787 variables, 8/13 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2787 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (OVERLAPS) 84/2871 variables, 52/65 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:52] [INFO ] Deduced a trap composed of 5 places in 4618 ms of which 91 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:11:56] [INFO ] Deduced a trap composed of 39 places in 4050 ms of which 233 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:00] [INFO ] Deduced a trap composed of 70 places in 4189 ms of which 339 ms to minimize.
SMT process timed out in 48906ms, After SMT, problems are : Problem set: 0 solved, 12 unsolved
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 18 out of 2923 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2923/2923 places, 8613/8613 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 2923 transition count 8612
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 2922 transition count 8612
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 2922 transition count 8612
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 4 place count 2921 transition count 8611
Iterating global reduction 2 with 1 rules applied. Total rules applied 5 place count 2921 transition count 8611
Applied a total of 5 rules in 1791 ms. Remains 2921 /2923 variables (removed 2) and now considering 8611/8613 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1791 ms. Remains : 2921/2923 places, 8611/8613 transitions.
RANDOM walk for 40000 steps (1705 resets) in 1440 ms. (27 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (126 resets) in 201 ms. (198 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (123 resets) in 148 ms. (268 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (123 resets) in 186 ms. (213 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (123 resets) in 203 ms. (196 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (123 resets) in 200 ms. (199 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (125 resets) in 204 ms. (195 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (124 resets) in 206 ms. (193 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (122 resets) in 201 ms. (198 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (123 resets) in 203 ms. (196 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (126 resets) in 219 ms. (181 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (122 resets) in 202 ms. (197 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (124 resets) in 214 ms. (186 steps per ms) remains 12/12 properties
Interrupted probabilistic random walk after 19146 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 12
Probabilistic random walk after 19146 steps, saw 8376 distinct states, run finished after 3001 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-04 02:12:06] [INFO ] Flow matrix only has 7726 transitions (discarded 885 similar events)
// Phase 1: matrix 7726 rows 2921 cols
[2025-06-04 02:12:06] [INFO ] Computed 109 invariants in 225 ms
[2025-06-04 02:12:06] [INFO ] State equation strengthened by 4369 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/18 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 2768/2786 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2786 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:12] [INFO ] Deduced a trap composed of 334 places in 4792 ms of which 1196 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:17] [INFO ] Deduced a trap composed of 335 places in 4979 ms of which 1192 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:22] [INFO ] Deduced a trap composed of 244 places in 4335 ms of which 787 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:26] [INFO ] Deduced a trap composed of 222 places in 4056 ms of which 818 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:30] [INFO ] Deduced a trap composed of 173 places in 4290 ms of which 656 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:35] [INFO ] Deduced a trap composed of 400 places in 4538 ms of which 1374 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:39] [INFO ] Deduced a trap composed of 204 places in 3950 ms of which 756 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:43] [INFO ] Deduced a trap composed of 190 places in 3941 ms of which 715 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:47] [INFO ] Deduced a trap composed of 412 places in 4468 ms of which 1408 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:51] [INFO ] Deduced a trap composed of 244 places in 4089 ms of which 888 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:12:56] [INFO ] Deduced a trap composed of 180 places in 4359 ms of which 844 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:00] [INFO ] Deduced a trap composed of 222 places in 4212 ms of which 817 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:04] [INFO ] Deduced a trap composed of 174 places in 4170 ms of which 661 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:08] [INFO ] Deduced a trap composed of 204 places in 3691 ms of which 763 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:12] [INFO ] Deduced a trap composed of 271 places in 3944 ms of which 858 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:16] [INFO ] Deduced a trap composed of 270 places in 4517 ms of which 993 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:21] [INFO ] Deduced a trap composed of 335 places in 4737 ms of which 1211 ms to minimize.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2786/10647 variables, and 22 constraints, problems are : Problem set: 0 solved, 12 unsolved in 75011 ms.
Refiners :[Positive P Invariants (semi-flows): 4/48 constraints, Generalized P Invariants (flows): 1/61 constraints, State Equation: 0/2921 constraints, ReadFeed: 0/4369 constraints, PredecessorRefiner: 12/12 constraints, Known Traps: 17/17 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/18 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 2768/2786 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2786 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2786 variables, 17/22 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:27] [INFO ] Deduced a trap composed of 300 places in 4942 ms of which 1140 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:32] [INFO ] Deduced a trap composed of 300 places in 4570 ms of which 853 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:37] [INFO ] Deduced a trap composed of 372 places in 5203 ms of which 1288 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:42] [INFO ] Deduced a trap composed of 190 places in 4290 ms of which 724 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:47] [INFO ] Deduced a trap composed of 174 places in 4820 ms of which 821 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:52] [INFO ] Deduced a trap composed of 372 places in 4879 ms of which 1277 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2786 variables, 6/28 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2786 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 6 (OVERLAPS) 83/2869 variables, 52/80 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:13:59] [INFO ] Deduced a trap composed of 5 places in 4389 ms of which 95 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:04] [INFO ] Deduced a trap composed of 39 places in 4907 ms of which 275 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:10] [INFO ] Deduced a trap composed of 70 places in 5297 ms of which 565 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:15] [INFO ] Deduced a trap composed of 70 places in 5282 ms of which 370 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:20] [INFO ] Deduced a trap composed of 101 places in 5031 ms of which 459 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:25] [INFO ] Deduced a trap composed of 102 places in 5051 ms of which 486 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:30] [INFO ] Deduced a trap composed of 102 places in 4835 ms of which 475 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:35] [INFO ] Deduced a trap composed of 102 places in 4756 ms of which 461 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:14:40] [INFO ] Deduced a trap composed of 102 places in 4832 ms of which 475 ms to minimize.
SMT process timed out in 153706ms, After SMT, problems are : Problem set: 0 solved, 12 unsolved
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 18 out of 2921 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2921/2921 places, 8611/8611 transitions.
Applied a total of 0 rules in 902 ms. Remains 2921 /2921 variables (removed 0) and now considering 8611/8611 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 902 ms. Remains : 2921/2921 places, 8611/8611 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2921/2921 places, 8611/8611 transitions.
Applied a total of 0 rules in 613 ms. Remains 2921 /2921 variables (removed 0) and now considering 8611/8611 (removed 0) transitions.
[2025-06-04 02:14:41] [INFO ] Flow matrix only has 7726 transitions (discarded 885 similar events)
[2025-06-04 02:14:41] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:14:54] [INFO ] Implicit Places using invariants in 12785 ms returned [8, 430, 524, 642, 816, 958, 1008, 1072, 1073, 1118, 1133, 1169, 1239, 1265, 1314, 1334, 1398, 1418, 1420, 1421, 1434, 1435, 1436, 1460, 1474, 1479, 1508, 1529, 1547, 1548, 1581, 1620, 1652, 1685, 1686, 1770, 1870, 2000, 2159, 2160, 2262, 2477, 2585, 2650, 2730]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 12792 ms to find 45 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 2876/2921 places, 8611/8611 transitions.
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 31 place count 2845 transition count 8580
Iterating global reduction 0 with 31 rules applied. Total rules applied 62 place count 2845 transition count 8580
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 93 place count 2814 transition count 8549
Iterating global reduction 0 with 31 rules applied. Total rules applied 124 place count 2814 transition count 8549
Applied a total of 124 rules in 1524 ms. Remains 2814 /2876 variables (removed 62) and now considering 8549/8611 (removed 62) transitions.
[2025-06-04 02:14:56] [INFO ] Flow matrix only has 7664 transitions (discarded 885 similar events)
// Phase 1: matrix 7664 rows 2814 cols
[2025-06-04 02:14:56] [INFO ] Computed 64 invariants in 164 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:15:06] [INFO ] Implicit Places using invariants in 10219 ms returned []
[2025-06-04 02:15:06] [INFO ] Flow matrix only has 7664 transitions (discarded 885 similar events)
[2025-06-04 02:15:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:15:10] [INFO ] State equation strengthened by 4369 read => feed constraints.
[2025-06-04 02:15:42] [INFO ] Performed 140/2814 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:16:12] [INFO ] Performed 510/2814 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:16:42] [INFO ] Performed 783/2814 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:17:13] [INFO ] Performed 988/2814 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 02:17:13] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 02:17:13] [INFO ] Implicit Places using invariants and state equation in 126760 ms returned []
Implicit Place search using SMT with State Equation took 136981 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2814/2921 places, 8549/8611 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 151911 ms. Remains : 2814/2921 places, 8549/8611 transitions.
Successfully simplified 36 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2023-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 02:17:13] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2025-06-04 02:17:13] [INFO ] Flatten gal took : 250 ms
[2025-06-04 02:17:13] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2023-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2023-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 02:17:13] [INFO ] Flatten gal took : 302 ms
[2025-06-04 02:17:14] [INFO ] Input system was already deterministic with 7633 transitions.
Support contains 41 out of 3461 places (down from 50) after GAL structural reductions.
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLCardinality-2025-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 837 stabilizing places and 2432 stable transitions
Graph (complete) has 24124 edges and 3461 vertex of which 3459 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.66 ms
Starting structural reductions in LTL mode, iteration 0 : 3461/3461 places, 7633/7633 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 3459 transition count 7633
Discarding 57 places :
Symmetric choice reduction at 1 with 57 rule applications. Total rules 59 place count 3402 transition count 7567
Iterating global reduction 1 with 57 rules applied. Total rules applied 116 place count 3402 transition count 7567
Discarding 48 places :
Symmetric choice reduction at 1 with 48 rule applications. Total rules 164 place count 3354 transition count 7453
Iterating global reduction 1 with 48 rules applied. Total rules applied 212 place count 3354 transition count 7453
Discarding 26 places :
Symmetric choice reduction at 1 with 26 rule applications. Total rules 238 place count 3328 transition count 7361
Iterating global reduction 1 with 26 rules applied. Total rules applied 264 place count 3328 transition count 7361
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 265 place count 3327 transition count 7357
Iterating global reduction 1 with 1 rules applied. Total rules applied 266 place count 3327 transition count 7357
Applied a total of 266 rules in 2708 ms. Remains 3327 /3461 variables (removed 134) and now considering 7357/7633 (removed 276) transitions.
[2025-06-04 02:17:17] [INFO ] Flow matrix only has 6757 transitions (discarded 600 similar events)
// Phase 1: matrix 6757 rows 3327 cols
[2025-06-04 02:17:17] [INFO ] Computed 107 invariants in 172 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:17:29] [INFO ] Implicit Places using invariants in 12264 ms returned [12, 55, 332, 485, 591, 721, 918, 1080, 1139, 1212, 1213, 1214, 1268, 1286, 1327, 1411, 1443, 1502, 1527, 1600, 1601, 1623, 1626, 1627, 1641, 1642, 1643, 1674, 1675, 1689, 1694, 1728, 1753, 1775, 1776, 1816, 1863, 1901, 1942, 1943, 2041, 2156, 2303, 2482, 2483, 2596, 2836, 2957, 3030, 3115]
Discarding 50 places :
Implicit Place search using SMT only with invariants took 12273 ms to find 50 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3277/3461 places, 7357/7633 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 3235 transition count 7315
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 3235 transition count 7315
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 126 place count 3193 transition count 7273
Iterating global reduction 0 with 42 rules applied. Total rules applied 168 place count 3193 transition count 7273
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 210 place count 3151 transition count 7231
Iterating global reduction 0 with 42 rules applied. Total rules applied 252 place count 3151 transition count 7231
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 284 place count 3119 transition count 7103
Iterating global reduction 0 with 32 rules applied. Total rules applied 316 place count 3119 transition count 7103
Applied a total of 316 rules in 3003 ms. Remains 3119 /3277 variables (removed 158) and now considering 7103/7357 (removed 254) transitions.
[2025-06-04 02:17:32] [INFO ] Flow matrix only has 6503 transitions (discarded 600 similar events)
// Phase 1: matrix 6503 rows 3119 cols
[2025-06-04 02:17:32] [INFO ] Computed 57 invariants in 219 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:17:41] [INFO ] Implicit Places using invariants in 8561 ms returned []
[2025-06-04 02:17:41] [INFO ] Flow matrix only has 6503 transitions (discarded 600 similar events)
[2025-06-04 02:17:41] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:17:46] [INFO ] State equation strengthened by 2611 read => feed constraints.
[2025-06-04 02:18:17] [INFO ] Performed 541/3119 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:18:47] [INFO ] Performed 1035/3119 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:19:17] [INFO ] Performed 1288/3119 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:19:49] [INFO ] Performed 1478/3119 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2025-06-04 02:19:49] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2025-06-04 02:19:49] [INFO ] Implicit Places using invariants and state equation in 128776 ms returned []
Implicit Place search using SMT with State Equation took 137342 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3119/3461 places, 7103/7633 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 155328 ms. Remains : 3119/3461 places, 7103/7633 transitions.
[2025-06-04 02:19:50] [INFO ] Flatten gal took : 205 ms
[2025-06-04 02:19:50] [INFO ] Flatten gal took : 322 ms
[2025-06-04 02:19:50] [INFO ] Input system was already deterministic with 7103 transitions.
[2025-06-04 02:19:51] [INFO ] Flatten gal took : 220 ms
[2025-06-04 02:19:51] [INFO ] Flatten gal took : 223 ms
[2025-06-04 02:19:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality13669843352958324610.gal : 121 ms
[2025-06-04 02:19:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality11668026772254833903.ctl : 8 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/CTLCardinality13669843352958324610.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11668026772254833903.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:20:21] [INFO ] Flatten gal took : 211 ms
[2025-06-04 02:20:21] [INFO ] Applying decomposition
[2025-06-04 02:20:21] [INFO ] Flatten gal took : 213 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/graph1271040309102504455.txt' '-o' '/tmp/graph1271040309102504455.bin' '-w' '/tmp/graph1271040309102504455.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1271040309102504455.bin' '-l' '-1' '-v' '-w' '/tmp/graph1271040309102504455.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:20:22] [INFO ] Decomposing Gal with order
[2025-06-04 02:20:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:20:24] [INFO ] Removed a total of 5493 redundant transitions.
[2025-06-04 02:20:24] [INFO ] Flatten gal took : 1159 ms
[2025-06-04 02:20:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 250 labels/synchronizations in 215 ms.
[2025-06-04 02:20:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality8719666743243742136.gal : 103 ms
[2025-06-04 02:20:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality5173423521094418882.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/CTLCardinality8719666743243742136.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5173423521094418882.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3461/3461 places, 7633/7633 transitions.
Graph (complete) has 24124 edges and 3461 vertex of which 3459 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.27 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 35 place count 3459 transition count 7599
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 69 place count 3425 transition count 7599
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 69 place count 3425 transition count 7556
Deduced a syphon composed of 43 places in 5 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 2 with 86 rules applied. Total rules applied 155 place count 3382 transition count 7556
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 192 place count 3345 transition count 7507
Iterating global reduction 2 with 37 rules applied. Total rules applied 229 place count 3345 transition count 7507
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 229 place count 3345 transition count 7506
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 231 place count 3344 transition count 7506
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 258 place count 3317 transition count 7410
Iterating global reduction 2 with 27 rules applied. Total rules applied 285 place count 3317 transition count 7410
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 286 place count 3316 transition count 7406
Iterating global reduction 2 with 1 rules applied. Total rules applied 287 place count 3316 transition count 7406
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 5 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 2 with 78 rules applied. Total rules applied 365 place count 3277 transition count 7367
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 385 place count 3257 transition count 7347
Iterating global reduction 2 with 20 rules applied. Total rules applied 405 place count 3257 transition count 7347
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 424 place count 3238 transition count 7271
Iterating global reduction 2 with 19 rules applied. Total rules applied 443 place count 3238 transition count 7271
Applied a total of 443 rules in 5209 ms. Remains 3238 /3461 variables (removed 223) and now considering 7271/7633 (removed 362) transitions.
[2025-06-04 02:21:01] [INFO ] Flow matrix only has 6671 transitions (discarded 600 similar events)
// Phase 1: matrix 6671 rows 3238 cols
[2025-06-04 02:21:02] [INFO ] Computed 107 invariants in 179 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:21:13] [INFO ] Implicit Places using invariants in 11567 ms returned [9, 50, 314, 467, 570, 700, 894, 1053, 1110, 1183, 1185, 1236, 1254, 1295, 1376, 1406, 1463, 1488, 1557, 1558, 1576, 1579, 1580, 1595, 1596, 1597, 1622, 1623, 1637, 1642, 1672, 1696, 1718, 1719, 1755, 1801, 1839, 1877, 1878, 1973, 2087, 2232, 2409, 2410, 2523, 2759, 2878, 2951, 3036]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 11573 ms to find 49 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3189/3461 places, 7271/7633 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3155 transition count 7237
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3155 transition count 7237
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 102 place count 3121 transition count 7203
Iterating global reduction 0 with 34 rules applied. Total rules applied 136 place count 3121 transition count 7203
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 157 place count 3100 transition count 7119
Iterating global reduction 0 with 21 rules applied. Total rules applied 178 place count 3100 transition count 7119
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 192 place count 3093 transition count 7112
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 199 place count 3086 transition count 7105
Iterating global reduction 0 with 7 rules applied. Total rules applied 206 place count 3086 transition count 7105
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 216 place count 3076 transition count 7065
Iterating global reduction 0 with 10 rules applied. Total rules applied 226 place count 3076 transition count 7065
Applied a total of 226 rules in 4788 ms. Remains 3076 /3189 variables (removed 113) and now considering 7065/7271 (removed 206) transitions.
[2025-06-04 02:21:18] [INFO ] Flow matrix only has 6465 transitions (discarded 600 similar events)
// Phase 1: matrix 6465 rows 3076 cols
[2025-06-04 02:21:18] [INFO ] Computed 58 invariants in 177 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:21:27] [INFO ] Implicit Places using invariants in 9052 ms returned []
[2025-06-04 02:21:27] [INFO ] Flow matrix only has 6465 transitions (discarded 600 similar events)
[2025-06-04 02:21:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:21:32] [INFO ] State equation strengthened by 2617 read => feed constraints.
[2025-06-04 02:22:03] [INFO ] Performed 498/3076 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:22:33] [INFO ] Performed 904/3076 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:23:04] [INFO ] Performed 1085/3076 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:23:34] [INFO ] Performed 1355/3076 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 02:23:34] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 02:23:34] [INFO ] Implicit Places using invariants and state equation in 126956 ms returned []
Implicit Place search using SMT with State Equation took 136012 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3076/3461 places, 7065/7633 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 157584 ms. Remains : 3076/3461 places, 7065/7633 transitions.
[2025-06-04 02:23:34] [INFO ] Flatten gal took : 309 ms
[2025-06-04 02:23:34] [INFO ] Flatten gal took : 215 ms
[2025-06-04 02:23:35] [INFO ] Input system was already deterministic with 7065 transitions.
[2025-06-04 02:23:35] [INFO ] Flatten gal took : 196 ms
[2025-06-04 02:23:35] [INFO ] Flatten gal took : 197 ms
[2025-06-04 02:23:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality16849068100869954645.gal : 36 ms
[2025-06-04 02:23:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality11996779551160350548.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/CTLCardinality16849068100869954645.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11996779551160350548.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:24:05] [INFO ] Flatten gal took : 193 ms
[2025-06-04 02:24:05] [INFO ] Applying decomposition
[2025-06-04 02:24:06] [INFO ] Flatten gal took : 198 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/graph2160437029309222114.txt' '-o' '/tmp/graph2160437029309222114.bin' '-w' '/tmp/graph2160437029309222114.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2160437029309222114.bin' '-l' '-1' '-v' '-w' '/tmp/graph2160437029309222114.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:24:06] [INFO ] Decomposing Gal with order
[2025-06-04 02:24:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:24:09] [INFO ] Removed a total of 6195 redundant transitions.
[2025-06-04 02:24:09] [INFO ] Flatten gal took : 1784 ms
[2025-06-04 02:24:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 865 labels/synchronizations in 439 ms.
[2025-06-04 02:24:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality6166713536876420278.gal : 44 ms
[2025-06-04 02:24:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality4994780502133943139.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/CTLCardinality6166713536876420278.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4994780502133943139.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 : 3461/3461 places, 7633/7633 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 3459 transition count 7633
Discarding 53 places :
Symmetric choice reduction at 1 with 53 rule applications. Total rules 55 place count 3406 transition count 7568
Iterating global reduction 1 with 53 rules applied. Total rules applied 108 place count 3406 transition count 7568
Discarding 43 places :
Symmetric choice reduction at 1 with 43 rule applications. Total rules 151 place count 3363 transition count 7468
Iterating global reduction 1 with 43 rules applied. Total rules applied 194 place count 3363 transition count 7468
Discarding 24 places :
Symmetric choice reduction at 1 with 24 rule applications. Total rules 218 place count 3339 transition count 7384
Iterating global reduction 1 with 24 rules applied. Total rules applied 242 place count 3339 transition count 7384
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 243 place count 3338 transition count 7380
Iterating global reduction 1 with 1 rules applied. Total rules applied 244 place count 3338 transition count 7380
Applied a total of 244 rules in 3116 ms. Remains 3338 /3461 variables (removed 123) and now considering 7380/7633 (removed 253) transitions.
[2025-06-04 02:24:43] [INFO ] Flow matrix only has 6780 transitions (discarded 600 similar events)
// Phase 1: matrix 6780 rows 3338 cols
[2025-06-04 02:24:43] [INFO ] Computed 107 invariants in 144 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:24:54] [INFO ] Implicit Places using invariants in 11253 ms returned [12, 55, 332, 485, 723, 1146, 1219, 1220, 1221, 1275, 1293, 1334, 1418, 1450, 1509, 1534, 1607, 1608, 1629, 1632, 1633, 1647, 1648, 1649, 1681, 1697, 1702, 1736, 1761, 1783, 1784, 1824, 1871, 1909, 1950, 1951, 2164, 2311, 2490, 2491, 2604, 2968, 3041, 3126]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 11259 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3294/3461 places, 7380/7633 transitions.
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 37 place count 3257 transition count 7343
Iterating global reduction 0 with 37 rules applied. Total rules applied 74 place count 3257 transition count 7343
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 111 place count 3220 transition count 7306
Iterating global reduction 0 with 37 rules applied. Total rules applied 148 place count 3220 transition count 7306
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 185 place count 3183 transition count 7269
Iterating global reduction 0 with 37 rules applied. Total rules applied 222 place count 3183 transition count 7269
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 249 place count 3156 transition count 7161
Iterating global reduction 0 with 27 rules applied. Total rules applied 276 place count 3156 transition count 7161
Applied a total of 276 rules in 2935 ms. Remains 3156 /3294 variables (removed 138) and now considering 7161/7380 (removed 219) transitions.
[2025-06-04 02:24:57] [INFO ] Flow matrix only has 6561 transitions (discarded 600 similar events)
// Phase 1: matrix 6561 rows 3156 cols
[2025-06-04 02:24:58] [INFO ] Computed 63 invariants in 189 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:25:06] [INFO ] Implicit Places using invariants in 9139 ms returned []
[2025-06-04 02:25:06] [INFO ] Flow matrix only has 6561 transitions (discarded 600 similar events)
[2025-06-04 02:25:06] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:25:12] [INFO ] State equation strengthened by 2638 read => feed constraints.
[2025-06-04 02:25:42] [INFO ] Performed 415/3156 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:26:12] [INFO ] Performed 836/3156 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:26:42] [INFO ] Performed 1158/3156 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:27:15] [INFO ] Performed 1399/3156 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2025-06-04 02:27:15] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2025-06-04 02:27:15] [INFO ] Implicit Places using invariants and state equation in 128344 ms returned []
Implicit Place search using SMT with State Equation took 137487 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3156/3461 places, 7161/7633 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 154799 ms. Remains : 3156/3461 places, 7161/7633 transitions.
[2025-06-04 02:27:15] [INFO ] Flatten gal took : 184 ms
[2025-06-04 02:27:15] [INFO ] Flatten gal took : 220 ms
[2025-06-04 02:27:16] [INFO ] Input system was already deterministic with 7161 transitions.
[2025-06-04 02:27:16] [INFO ] Flatten gal took : 210 ms
[2025-06-04 02:27:16] [INFO ] Flatten gal took : 216 ms
[2025-06-04 02:27:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality10532298995235997862.gal : 35 ms
[2025-06-04 02:27:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality16968442547044328667.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/CTLCardinality10532298995235997862.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16968442547044328667.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:27:46] [INFO ] Flatten gal took : 220 ms
[2025-06-04 02:27:46] [INFO ] Applying decomposition
[2025-06-04 02:27:47] [INFO ] Flatten gal took : 227 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/graph13108615093053026348.txt' '-o' '/tmp/graph13108615093053026348.bin' '-w' '/tmp/graph13108615093053026348.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13108615093053026348.bin' '-l' '-1' '-v' '-w' '/tmp/graph13108615093053026348.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:27:47] [INFO ] Decomposing Gal with order
[2025-06-04 02:27:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:27:48] [INFO ] Removed a total of 5739 redundant transitions.
[2025-06-04 02:27:48] [INFO ] Flatten gal took : 732 ms
[2025-06-04 02:27:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 247 labels/synchronizations in 80 ms.
[2025-06-04 02:27:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality7170829757099094408.gal : 47 ms
[2025-06-04 02:27:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality4928653059934489719.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/CTLCardinality7170829757099094408.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4928653059934489719.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 : 3461/3461 places, 7633/7633 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 3459 transition count 7633
Discarding 56 places :
Symmetric choice reduction at 1 with 56 rule applications. Total rules 58 place count 3403 transition count 7565
Iterating global reduction 1 with 56 rules applied. Total rules applied 114 place count 3403 transition count 7565
Discarding 46 places :
Symmetric choice reduction at 1 with 46 rule applications. Total rules 160 place count 3357 transition count 7453
Iterating global reduction 1 with 46 rules applied. Total rules applied 206 place count 3357 transition count 7453
Discarding 24 places :
Symmetric choice reduction at 1 with 24 rule applications. Total rules 230 place count 3333 transition count 7369
Iterating global reduction 1 with 24 rules applied. Total rules applied 254 place count 3333 transition count 7369
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 255 place count 3332 transition count 7365
Iterating global reduction 1 with 1 rules applied. Total rules applied 256 place count 3332 transition count 7365
Applied a total of 256 rules in 2995 ms. Remains 3332 /3461 variables (removed 129) and now considering 7365/7633 (removed 268) transitions.
[2025-06-04 02:28:22] [INFO ] Flow matrix only has 6765 transitions (discarded 600 similar events)
// Phase 1: matrix 6765 rows 3332 cols
[2025-06-04 02:28:22] [INFO ] Computed 107 invariants in 187 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:28:35] [INFO ] Implicit Places using invariants in 12739 ms returned [12, 55, 332, 485, 591, 721, 918, 1080, 1139, 1213, 1214, 1271, 1289, 1330, 1414, 1446, 1505, 1530, 1603, 1604, 1625, 1628, 1629, 1643, 1644, 1645, 1676, 1677, 1691, 1696, 1730, 1755, 1777, 1778, 1818, 1865, 1903, 1945, 2046, 2161, 2308, 2487, 2488, 2601, 2841, 2962, 3035, 3120]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 12746 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3284/3461 places, 7365/7633 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 3244 transition count 7325
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 3244 transition count 7325
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 120 place count 3204 transition count 7285
Iterating global reduction 0 with 40 rules applied. Total rules applied 160 place count 3204 transition count 7285
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 200 place count 3164 transition count 7245
Iterating global reduction 0 with 40 rules applied. Total rules applied 240 place count 3164 transition count 7245
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 270 place count 3134 transition count 7125
Iterating global reduction 0 with 30 rules applied. Total rules applied 300 place count 3134 transition count 7125
Applied a total of 300 rules in 3263 ms. Remains 3134 /3284 variables (removed 150) and now considering 7125/7365 (removed 240) transitions.
[2025-06-04 02:28:38] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
// Phase 1: matrix 6525 rows 3134 cols
[2025-06-04 02:28:38] [INFO ] Computed 59 invariants in 180 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:28:49] [INFO ] Implicit Places using invariants in 10646 ms returned []
[2025-06-04 02:28:49] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
[2025-06-04 02:28:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:28:55] [INFO ] State equation strengthened by 2620 read => feed constraints.
[2025-06-04 02:29:25] [INFO ] Performed 323/3134 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:29:55] [INFO ] Performed 809/3134 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:30:25] [INFO ] Performed 1149/3134 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:31:01] [INFO ] Performed 1387/3134 implicitness test of which 0 returned IMPLICIT in 125 seconds.
[2025-06-04 02:31:01] [INFO ] Timeout of Implicit test with SMT after 125 seconds.
[2025-06-04 02:31:01] [INFO ] Implicit Places using invariants and state equation in 131890 ms returned []
Implicit Place search using SMT with State Equation took 142547 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3134/3461 places, 7125/7633 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 161553 ms. Remains : 3134/3461 places, 7125/7633 transitions.
[2025-06-04 02:31:01] [INFO ] Flatten gal took : 209 ms
[2025-06-04 02:31:01] [INFO ] Flatten gal took : 204 ms
[2025-06-04 02:31:02] [INFO ] Input system was already deterministic with 7125 transitions.
[2025-06-04 02:31:02] [INFO ] Flatten gal took : 207 ms
[2025-06-04 02:31:02] [INFO ] Flatten gal took : 213 ms
[2025-06-04 02:31:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality12737759021774302315.gal : 31 ms
[2025-06-04 02:31:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality1299908455704116909.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/CTLCardinality12737759021774302315.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1299908455704116909.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:31:32] [INFO ] Flatten gal took : 208 ms
[2025-06-04 02:31:32] [INFO ] Applying decomposition
[2025-06-04 02:31:33] [INFO ] Flatten gal took : 244 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/graph11394570919283269746.txt' '-o' '/tmp/graph11394570919283269746.bin' '-w' '/tmp/graph11394570919283269746.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11394570919283269746.bin' '-l' '-1' '-v' '-w' '/tmp/graph11394570919283269746.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:31:33] [INFO ] Decomposing Gal with order
[2025-06-04 02:31:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:31:34] [INFO ] Removed a total of 5635 redundant transitions.
[2025-06-04 02:31:34] [INFO ] Flatten gal took : 718 ms
[2025-06-04 02:31:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 325 labels/synchronizations in 78 ms.
[2025-06-04 02:31:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality14448723144362073943.gal : 39 ms
[2025-06-04 02:31:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality10618267979131728650.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/CTLCardinality14448723144362073943.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10618267979131728650.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 : 3461/3461 places, 7633/7633 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 3459 transition count 7633
Discarding 56 places :
Symmetric choice reduction at 1 with 56 rule applications. Total rules 58 place count 3403 transition count 7565
Iterating global reduction 1 with 56 rules applied. Total rules applied 114 place count 3403 transition count 7565
Discarding 46 places :
Symmetric choice reduction at 1 with 46 rule applications. Total rules 160 place count 3357 transition count 7453
Iterating global reduction 1 with 46 rules applied. Total rules applied 206 place count 3357 transition count 7453
Discarding 24 places :
Symmetric choice reduction at 1 with 24 rule applications. Total rules 230 place count 3333 transition count 7369
Iterating global reduction 1 with 24 rules applied. Total rules applied 254 place count 3333 transition count 7369
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 255 place count 3332 transition count 7365
Iterating global reduction 1 with 1 rules applied. Total rules applied 256 place count 3332 transition count 7365
Applied a total of 256 rules in 2749 ms. Remains 3332 /3461 variables (removed 129) and now considering 7365/7633 (removed 268) transitions.
[2025-06-04 02:32:08] [INFO ] Flow matrix only has 6765 transitions (discarded 600 similar events)
// Phase 1: matrix 6765 rows 3332 cols
[2025-06-04 02:32:08] [INFO ] Computed 107 invariants in 165 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:32:20] [INFO ] Implicit Places using invariants in 11709 ms returned [12, 55, 332, 485, 591, 721, 918, 1080, 1139, 1212, 1213, 1214, 1268, 1286, 1327, 1411, 1505, 1530, 1603, 1604, 1625, 1628, 1629, 1643, 1644, 1645, 1676, 1677, 1691, 1696, 1730, 1755, 1777, 1778, 1818, 1865, 1903, 1944, 1945, 2043, 2158, 2305, 2484, 2601, 2841, 2962, 3035, 3120]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 11716 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3284/3461 places, 7365/7633 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 3244 transition count 7325
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 3244 transition count 7325
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 120 place count 3204 transition count 7285
Iterating global reduction 0 with 40 rules applied. Total rules applied 160 place count 3204 transition count 7285
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 200 place count 3164 transition count 7245
Iterating global reduction 0 with 40 rules applied. Total rules applied 240 place count 3164 transition count 7245
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 270 place count 3134 transition count 7125
Iterating global reduction 0 with 30 rules applied. Total rules applied 300 place count 3134 transition count 7125
Applied a total of 300 rules in 2961 ms. Remains 3134 /3284 variables (removed 150) and now considering 7125/7365 (removed 240) transitions.
[2025-06-04 02:32:23] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
// Phase 1: matrix 6525 rows 3134 cols
[2025-06-04 02:32:23] [INFO ] Computed 59 invariants in 280 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:32:33] [INFO ] Implicit Places using invariants in 10348 ms returned []
[2025-06-04 02:32:33] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
[2025-06-04 02:32:33] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:32:39] [INFO ] State equation strengthened by 2620 read => feed constraints.
[2025-06-04 02:33:09] [INFO ] Performed 474/3134 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:33:39] [INFO ] Performed 761/3134 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:34:14] [INFO ] Performed 1103/3134 implicitness test of which 0 returned IMPLICIT in 94 seconds.
[2025-06-04 02:34:44] [INFO ] Performed 1330/3134 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2025-06-04 02:34:44] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2025-06-04 02:34:44] [INFO ] Implicit Places using invariants and state equation in 131375 ms returned []
Implicit Place search using SMT with State Equation took 141726 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3134/3461 places, 7125/7633 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 159153 ms. Remains : 3134/3461 places, 7125/7633 transitions.
[2025-06-04 02:34:45] [INFO ] Flatten gal took : 188 ms
[2025-06-04 02:34:45] [INFO ] Flatten gal took : 298 ms
[2025-06-04 02:34:45] [INFO ] Input system was already deterministic with 7125 transitions.
[2025-06-04 02:34:45] [INFO ] Flatten gal took : 216 ms
[2025-06-04 02:34:46] [INFO ] Flatten gal took : 222 ms
[2025-06-04 02:34:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality2958750988679643270.gal : 36 ms
[2025-06-04 02:34:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality409277963137368969.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/CTLCardinality2958750988679643270.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality409277963137368969.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-04 02:35:16] [INFO ] Flatten gal took : 249 ms
[2025-06-04 02:35:16] [INFO ] Applying decomposition
[2025-06-04 02:35:16] [INFO ] Flatten gal took : 214 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/graph16261867955671632849.txt' '-o' '/tmp/graph16261867955671632849.bin' '-w' '/tmp/graph16261867955671632849.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16261867955671632849.bin' '-l' '-1' '-v' '-w' '/tmp/graph16261867955671632849.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:35:17] [INFO ] Decomposing Gal with order
[2025-06-04 02:35:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:35:18] [INFO ] Removed a total of 5750 redundant transitions.
[2025-06-04 02:35:18] [INFO ] Flatten gal took : 704 ms
[2025-06-04 02:35:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 255 labels/synchronizations in 70 ms.
[2025-06-04 02:35:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality10376510560033568932.gal : 38 ms
[2025-06-04 02:35:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality8089266045528626506.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/CTLCardinality10376510560033568932.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8089266045528626506.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3461/3461 places, 7633/7633 transitions.
Graph (complete) has 24124 edges and 3461 vertex of which 3459 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.12 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 35 place count 3459 transition count 7599
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 69 place count 3425 transition count 7599
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 69 place count 3425 transition count 7556
Deduced a syphon composed of 43 places in 6 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 2 with 86 rules applied. Total rules applied 155 place count 3382 transition count 7556
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 193 place count 3344 transition count 7506
Iterating global reduction 2 with 38 rules applied. Total rules applied 231 place count 3344 transition count 7506
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 231 place count 3344 transition count 7505
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 233 place count 3343 transition count 7505
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 261 place count 3315 transition count 7405
Iterating global reduction 2 with 28 rules applied. Total rules applied 289 place count 3315 transition count 7405
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 290 place count 3314 transition count 7401
Iterating global reduction 2 with 1 rules applied. Total rules applied 291 place count 3314 transition count 7401
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 5 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 2 with 78 rules applied. Total rules applied 369 place count 3275 transition count 7362
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 389 place count 3255 transition count 7342
Iterating global reduction 2 with 20 rules applied. Total rules applied 409 place count 3255 transition count 7342
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 429 place count 3235 transition count 7262
Iterating global reduction 2 with 20 rules applied. Total rules applied 449 place count 3235 transition count 7262
Applied a total of 449 rules in 4914 ms. Remains 3235 /3461 variables (removed 226) and now considering 7262/7633 (removed 371) transitions.
[2025-06-04 02:35:54] [INFO ] Flow matrix only has 6662 transitions (discarded 600 similar events)
// Phase 1: matrix 6662 rows 3235 cols
[2025-06-04 02:35:54] [INFO ] Computed 107 invariants in 166 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:36:05] [INFO ] Implicit Places using invariants in 11575 ms returned [9, 50, 314, 467, 570, 700, 894, 1053, 1110, 1183, 1184, 1185, 1234, 1252, 1293, 1374, 1404, 1461, 1486, 1555, 1556, 1574, 1577, 1578, 1592, 1593, 1594, 1619, 1620, 1634, 1639, 1669, 1693, 1715, 1716, 1752, 1798, 1836, 1874, 1875, 1970, 2084, 2229, 2406, 2407, 2520, 2756, 2875, 2948, 3033]
Discarding 50 places :
Implicit Place search using SMT only with invariants took 11580 ms to find 50 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3185/3461 places, 7262/7633 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 3150 transition count 7227
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 3150 transition count 7227
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 105 place count 3115 transition count 7192
Iterating global reduction 0 with 35 rules applied. Total rules applied 140 place count 3115 transition count 7192
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 161 place count 3094 transition count 7108
Iterating global reduction 0 with 21 rules applied. Total rules applied 182 place count 3094 transition count 7108
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 4 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 196 place count 3087 transition count 7101
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 203 place count 3080 transition count 7094
Iterating global reduction 0 with 7 rules applied. Total rules applied 210 place count 3080 transition count 7094
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 221 place count 3069 transition count 7050
Iterating global reduction 0 with 11 rules applied. Total rules applied 232 place count 3069 transition count 7050
Applied a total of 232 rules in 4818 ms. Remains 3069 /3185 variables (removed 116) and now considering 7050/7262 (removed 212) transitions.
[2025-06-04 02:36:10] [INFO ] Flow matrix only has 6450 transitions (discarded 600 similar events)
// Phase 1: matrix 6450 rows 3069 cols
[2025-06-04 02:36:10] [INFO ] Computed 57 invariants in 180 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:36:19] [INFO ] Implicit Places using invariants in 9368 ms returned []
[2025-06-04 02:36:19] [INFO ] Flow matrix only has 6450 transitions (discarded 600 similar events)
[2025-06-04 02:36:19] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:36:24] [INFO ] State equation strengthened by 2608 read => feed constraints.
[2025-06-04 02:36:54] [INFO ] Performed 326/3069 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:37:24] [INFO ] Performed 836/3069 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:37:58] [INFO ] Performed 1196/3069 implicitness test of which 0 returned IMPLICIT in 93 seconds.
[2025-06-04 02:38:28] [INFO ] Performed 1452/3069 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2025-06-04 02:38:28] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2025-06-04 02:38:28] [INFO ] Implicit Places using invariants and state equation in 129038 ms returned []
Implicit Place search using SMT with State Equation took 138410 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3069/3461 places, 7050/7633 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 159723 ms. Remains : 3069/3461 places, 7050/7633 transitions.
[2025-06-04 02:38:29] [INFO ] Flatten gal took : 175 ms
[2025-06-04 02:38:29] [INFO ] Flatten gal took : 175 ms
[2025-06-04 02:38:29] [INFO ] Input system was already deterministic with 7050 transitions.
[2025-06-04 02:38:29] [INFO ] Flatten gal took : 183 ms
[2025-06-04 02:38:29] [INFO ] Flatten gal took : 187 ms
[2025-06-04 02:38:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality2472155304255745264.gal : 31 ms
[2025-06-04 02:38:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality8810075856112315346.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/CTLCardinality2472155304255745264.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8810075856112315346.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:39:00] [INFO ] Flatten gal took : 251 ms
[2025-06-04 02:39:00] [INFO ] Applying decomposition
[2025-06-04 02:39:00] [INFO ] Flatten gal took : 301 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/graph4192103703560675133.txt' '-o' '/tmp/graph4192103703560675133.bin' '-w' '/tmp/graph4192103703560675133.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4192103703560675133.bin' '-l' '-1' '-v' '-w' '/tmp/graph4192103703560675133.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:39:00] [INFO ] Decomposing Gal with order
[2025-06-04 02:39:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:39:02] [INFO ] Removed a total of 6618 redundant transitions.
[2025-06-04 02:39:02] [INFO ] Flatten gal took : 1303 ms
[2025-06-04 02:39:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 4579 labels/synchronizations in 350 ms.
[2025-06-04 02:39:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality7053698825895614412.gal : 60 ms
[2025-06-04 02:39:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality17962327596841320899.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/CTLCardinality7053698825895614412.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17962327596841320899.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3461/3461 places, 7633/7633 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 3460 transition count 7633
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 52 place count 3409 transition count 7576
Iterating global reduction 1 with 51 rules applied. Total rules applied 103 place count 3409 transition count 7576
Discarding 43 places :
Symmetric choice reduction at 1 with 43 rule applications. Total rules 146 place count 3366 transition count 7470
Iterating global reduction 1 with 43 rules applied. Total rules applied 189 place count 3366 transition count 7470
Discarding 22 places :
Symmetric choice reduction at 1 with 22 rule applications. Total rules 211 place count 3344 transition count 7391
Iterating global reduction 1 with 22 rules applied. Total rules applied 233 place count 3344 transition count 7391
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 234 place count 3343 transition count 7387
Iterating global reduction 1 with 1 rules applied. Total rules applied 235 place count 3343 transition count 7387
Applied a total of 235 rules in 2917 ms. Remains 3343 /3461 variables (removed 118) and now considering 7387/7633 (removed 246) transitions.
[2025-06-04 02:39:36] [INFO ] Flow matrix only has 6787 transitions (discarded 600 similar events)
// Phase 1: matrix 6787 rows 3343 cols
[2025-06-04 02:39:36] [INFO ] Computed 108 invariants in 228 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:39:48] [INFO ] Implicit Places using invariants in 12079 ms returned [12, 55, 488, 595, 725, 922, 1084, 1219, 1220, 1221, 1275, 1293, 1334, 1418, 1450, 1509, 1611, 1635, 1638, 1639, 1653, 1654, 1655, 1688, 1689, 1703, 1708, 1742, 1767, 1790, 1791, 1831, 1878, 1916, 1957, 1958, 2056, 2171, 2318, 2497, 2498, 2611, 2851, 2972, 3045, 3130]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 12084 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3297/3461 places, 7387/7633 transitions.
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 37 place count 3260 transition count 7350
Iterating global reduction 0 with 37 rules applied. Total rules applied 74 place count 3260 transition count 7350
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 111 place count 3223 transition count 7313
Iterating global reduction 0 with 37 rules applied. Total rules applied 148 place count 3223 transition count 7313
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 185 place count 3186 transition count 7276
Iterating global reduction 0 with 37 rules applied. Total rules applied 222 place count 3186 transition count 7276
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 248 place count 3160 transition count 7172
Iterating global reduction 0 with 26 rules applied. Total rules applied 274 place count 3160 transition count 7172
Applied a total of 274 rules in 2980 ms. Remains 3160 /3297 variables (removed 137) and now considering 7172/7387 (removed 215) transitions.
[2025-06-04 02:39:51] [INFO ] Flow matrix only has 6572 transitions (discarded 600 similar events)
// Phase 1: matrix 6572 rows 3160 cols
[2025-06-04 02:39:51] [INFO ] Computed 62 invariants in 192 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:40:01] [INFO ] Implicit Places using invariants in 9808 ms returned []
[2025-06-04 02:40:01] [INFO ] Flow matrix only has 6572 transitions (discarded 600 similar events)
[2025-06-04 02:40:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:40:05] [INFO ] State equation strengthened by 2644 read => feed constraints.
[2025-06-04 02:40:36] [INFO ] Performed 502/3160 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:41:06] [INFO ] Performed 949/3160 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:41:36] [INFO ] Performed 1120/3160 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:42:06] [INFO ] Performed 1378/3160 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-04 02:42:06] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-04 02:42:06] [INFO ] Implicit Places using invariants and state equation in 125013 ms returned []
Implicit Place search using SMT with State Equation took 134825 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3160/3461 places, 7172/7633 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 152807 ms. Remains : 3160/3461 places, 7172/7633 transitions.
[2025-06-04 02:42:06] [INFO ] Flatten gal took : 191 ms
[2025-06-04 02:42:06] [INFO ] Flatten gal took : 360 ms
[2025-06-04 02:42:07] [INFO ] Input system was already deterministic with 7172 transitions.
[2025-06-04 02:42:07] [INFO ] Flatten gal took : 217 ms
[2025-06-04 02:42:07] [INFO ] Flatten gal took : 222 ms
[2025-06-04 02:42:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality11217636966289276532.gal : 33 ms
[2025-06-04 02:42:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality3696236082211435480.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/CTLCardinality11217636966289276532.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3696236082211435480.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:42:38] [INFO ] Flatten gal took : 243 ms
[2025-06-04 02:42:38] [INFO ] Applying decomposition
[2025-06-04 02:42:38] [INFO ] Flatten gal took : 214 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/graph8290399443861798362.txt' '-o' '/tmp/graph8290399443861798362.bin' '-w' '/tmp/graph8290399443861798362.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8290399443861798362.bin' '-l' '-1' '-v' '-w' '/tmp/graph8290399443861798362.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:42:38] [INFO ] Decomposing Gal with order
[2025-06-04 02:42:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:42:39] [INFO ] Removed a total of 5836 redundant transitions.
[2025-06-04 02:42:40] [INFO ] Flatten gal took : 839 ms
[2025-06-04 02:42:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 355 labels/synchronizations in 106 ms.
[2025-06-04 02:42:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality14497897361010864520.gal : 40 ms
[2025-06-04 02:42:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality10928116680683608033.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/CTLCardinality14497897361010864520.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10928116680683608033.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3461/3461 places, 7633/7633 transitions.
Graph (complete) has 24124 edges and 3461 vertex of which 3459 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.12 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 35 place count 3459 transition count 7599
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 69 place count 3425 transition count 7599
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 69 place count 3425 transition count 7556
Deduced a syphon composed of 43 places in 6 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 2 with 86 rules applied. Total rules applied 155 place count 3382 transition count 7556
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 192 place count 3345 transition count 7507
Iterating global reduction 2 with 37 rules applied. Total rules applied 229 place count 3345 transition count 7507
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 229 place count 3345 transition count 7506
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 231 place count 3344 transition count 7506
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 258 place count 3317 transition count 7410
Iterating global reduction 2 with 27 rules applied. Total rules applied 285 place count 3317 transition count 7410
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 286 place count 3316 transition count 7406
Iterating global reduction 2 with 1 rules applied. Total rules applied 287 place count 3316 transition count 7406
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 5 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 2 with 78 rules applied. Total rules applied 365 place count 3277 transition count 7367
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 385 place count 3257 transition count 7347
Iterating global reduction 2 with 20 rules applied. Total rules applied 405 place count 3257 transition count 7347
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 425 place count 3237 transition count 7267
Iterating global reduction 2 with 20 rules applied. Total rules applied 445 place count 3237 transition count 7267
Applied a total of 445 rules in 4826 ms. Remains 3237 /3461 variables (removed 224) and now considering 7267/7633 (removed 366) transitions.
[2025-06-04 02:43:16] [INFO ] Flow matrix only has 6667 transitions (discarded 600 similar events)
// Phase 1: matrix 6667 rows 3237 cols
[2025-06-04 02:43:16] [INFO ] Computed 107 invariants in 287 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:43:26] [INFO ] Implicit Places using invariants in 10785 ms returned [9, 314, 467, 570, 700, 894, 1053, 1110, 1183, 1184, 1236, 1254, 1295, 1376, 1406, 1463, 1488, 1557, 1558, 1576, 1579, 1580, 1594, 1595, 1596, 1621, 1622, 1636, 1641, 1671, 1695, 1717, 1718, 1754, 1800, 1838, 1876, 1877, 1972, 2086, 2231, 2408, 2409, 2522, 2758, 2877, 2950, 3035]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 10794 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3189/3461 places, 7267/7633 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3155 transition count 7233
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3155 transition count 7233
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 102 place count 3121 transition count 7199
Iterating global reduction 0 with 34 rules applied. Total rules applied 136 place count 3121 transition count 7199
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 157 place count 3100 transition count 7115
Iterating global reduction 0 with 21 rules applied. Total rules applied 178 place count 3100 transition count 7115
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 192 place count 3093 transition count 7108
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 199 place count 3086 transition count 7101
Iterating global reduction 0 with 7 rules applied. Total rules applied 206 place count 3086 transition count 7101
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 216 place count 3076 transition count 7061
Iterating global reduction 0 with 10 rules applied. Total rules applied 226 place count 3076 transition count 7061
Applied a total of 226 rules in 5046 ms. Remains 3076 /3189 variables (removed 113) and now considering 7061/7267 (removed 206) transitions.
[2025-06-04 02:43:31] [INFO ] Flow matrix only has 6461 transitions (discarded 600 similar events)
// Phase 1: matrix 6461 rows 3076 cols
[2025-06-04 02:43:32] [INFO ] Computed 59 invariants in 217 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:43:41] [INFO ] Implicit Places using invariants in 9631 ms returned []
[2025-06-04 02:43:41] [INFO ] Flow matrix only has 6461 transitions (discarded 600 similar events)
[2025-06-04 02:43:41] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:43:45] [INFO ] State equation strengthened by 2614 read => feed constraints.
[2025-06-04 02:44:16] [INFO ] Performed 338/3076 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 02:44:46] [INFO ] Performed 872/3076 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-04 02:45:16] [INFO ] Performed 1247/3076 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 02:45:49] [INFO ] Performed 1458/3076 implicitness test of which 0 returned IMPLICIT in 123 seconds.
[2025-06-04 02:45:49] [INFO ] Timeout of Implicit test with SMT after 123 seconds.
[2025-06-04 02:45:49] [INFO ] Implicit Places using invariants and state equation in 127874 ms returned []
Implicit Place search using SMT with State Equation took 137508 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3076/3461 places, 7061/7633 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 158176 ms. Remains : 3076/3461 places, 7061/7633 transitions.
[2025-06-04 02:45:49] [INFO ] Flatten gal took : 153 ms
[2025-06-04 02:45:49] [INFO ] Flatten gal took : 205 ms
[2025-06-04 02:45:50] [INFO ] Input system was already deterministic with 7061 transitions.
[2025-06-04 02:45:50] [INFO ] Flatten gal took : 198 ms
[2025-06-04 02:45:50] [INFO ] Flatten gal took : 186 ms
[2025-06-04 02:45:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality17330135560400281064.gal : 32 ms
[2025-06-04 02:45:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality6479186154559965593.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/CTLCardinality17330135560400281064.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6479186154559965593.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:46:20] [INFO ] Flatten gal took : 200 ms
[2025-06-04 02:46:20] [INFO ] Applying decomposition
[2025-06-04 02:46:20] [INFO ] Flatten gal took : 171 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/graph7076485842341355274.txt' '-o' '/tmp/graph7076485842341355274.bin' '-w' '/tmp/graph7076485842341355274.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7076485842341355274.bin' '-l' '-1' '-v' '-w' '/tmp/graph7076485842341355274.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:46:21] [INFO ] Decomposing Gal with order
[2025-06-04 02:46:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:46:23] [INFO ] Removed a total of 6248 redundant transitions.
[2025-06-04 02:46:23] [INFO ] Flatten gal took : 1478 ms
[2025-06-04 02:46:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 770 labels/synchronizations in 155 ms.
[2025-06-04 02:46:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality8038213380560742028.gal : 37 ms
[2025-06-04 02:46:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality14132260870662706604.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/CTLCardinality8038213380560742028.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14132260870662706604.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:46:54] [INFO ] Flatten gal took : 284 ms
[2025-06-04 02:46:54] [INFO ] Flatten gal took : 362 ms
[2025-06-04 02:46:54] [INFO ] Applying decomposition
[2025-06-04 02:46:54] [INFO ] Flatten gal took : 222 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/graph10414744140111695573.txt' '-o' '/tmp/graph10414744140111695573.bin' '-w' '/tmp/graph10414744140111695573.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10414744140111695573.bin' '-l' '-1' '-v' '-w' '/tmp/graph10414744140111695573.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:46:55] [INFO ] Decomposing Gal with order
[2025-06-04 02:46:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:46:56] [INFO ] Removed a total of 7332 redundant transitions.
[2025-06-04 02:46:56] [INFO ] Flatten gal took : 822 ms
[2025-06-04 02:46:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 292 labels/synchronizations in 95 ms.
[2025-06-04 02:46:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality12152764670895861733.gal : 39 ms
[2025-06-04 02:46:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality11985917261835957258.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/CTLCardinality12152764670895861733.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11985917261835957258.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 8 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C04"
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-S24C04, 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-174876524400353"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C04.tgz
mv MultiCrashLeafsetExtension-PT-S24C04 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 ;