About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ?F??T??F??F????T | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524300337.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-S24C02, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524300337
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.1M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.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 7.6M 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-S24C02-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1748979518489
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-S24C02
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-03 19:38:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-03 19:38:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 19:38:42] [INFO ] Load time of PNML (sax parser for PT used): 884 ms
[2025-06-03 19:38:42] [INFO ] Transformed 7032 places.
[2025-06-03 19:38:42] [INFO ] Transformed 10855 transitions.
[2025-06-03 19:38:42] [INFO ] Parsed PT model containing 7032 places and 10855 transitions and 46214 arcs in 1215 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 41 ms.
Support contains 149 out of 7032 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7032/7032 places, 10855/10855 transitions.
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 7000 transition count 10855
Discarding 1174 places :
Symmetric choice reduction at 1 with 1174 rule applications. Total rules 1206 place count 5826 transition count 9681
Iterating global reduction 1 with 1174 rules applied. Total rules applied 2380 place count 5826 transition count 9681
Discarding 1050 places :
Symmetric choice reduction at 1 with 1050 rule applications. Total rules 3430 place count 4776 transition count 8631
Iterating global reduction 1 with 1050 rules applied. Total rules applied 4480 place count 4776 transition count 8631
Discarding 492 places :
Symmetric choice reduction at 1 with 492 rule applications. Total rules 4972 place count 4284 transition count 7647
Iterating global reduction 1 with 492 rules applied. Total rules applied 5464 place count 4284 transition count 7647
Applied a total of 5464 rules in 4613 ms. Remains 4284 /7032 variables (removed 2748) and now considering 7647/10855 (removed 3208) transitions.
[2025-06-03 19:38:47] [INFO ] Flow matrix only has 7047 transitions (discarded 600 similar events)
// Phase 1: matrix 7047 rows 4284 cols
[2025-06-03 19:38:47] [INFO ] Computed 781 invariants in 521 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:39:04] [INFO ] Implicit Places using invariants in 16725 ms returned [4, 8, 14, 16, 21, 28, 40, 51, 64, 79, 96, 115, 136, 159, 183, 207, 211, 232, 251, 268, 283, 296, 307, 316, 323, 328, 333, 344, 351, 354, 356, 359, 364, 371, 382, 393, 406, 421, 439, 459, 480, 502, 524, 525, 526, 545, 562, 577, 590, 601, 610, 617, 622, 625, 627, 638, 645, 650, 652, 658, 663, 670, 681, 692, 705, 720, 737, 756, 776, 796, 797, 798, 815, 830, 843, 854, 863, 870, 875, 878, 880, 882, 893, 900, 904, 905, 907, 909, 914, 919, 926, 935, 949, 962, 977, 994, 1012, 1032, 1050, 1066, 1077, 1086, 1093, 1098, 1102, 1106, 1108, 1110, 1121, 1128, 1133, 1138, 1140, 1145, 1148, 1153, 1160, 1169, 1180, 1193, 1208, 1224, 1240, 1242, 1255, 1266, 1275, 1282, 1287, 1290, 1294, 1296, 1298, 1300, 1311, 1318, 1322, 1323, 1325, 1327, 1329, 1331, 1334, 1339, 1346, 1355, 1369, 1382, 1396, 1410, 1412, 1423, 1432, 1439, 1444, 1447, 1449, 1451, 1453, 1458, 1460, 1471, 1478, 1482, 1483, 1487, 1489, 1491, 1493, 1495, 1498, 1503, 1510, 1519, 1530, 1542, 1555, 1556, 1565, 1572, 1577, 1580, 1582, 1584, 1586, 1588, 1592, 1606, 1613, 1617, 1618, 1622, 1624, 1626, 1628, 1630, 1632, 1635, 1640, 1647, 1657, 1667, 1677, 1679, 1686, 1691, 1694, 1698, 1700, 1702, 1704, 1706, 1708, 1721, 1728, 1733, 1735, 1737, 1741, 1743, 1745, 1747, 1749, 1752, 1757, 1766, 1774, 1784, 1789, 1792, 1794, 1796, 1798, 1800, 1802, 1807, 1809, 1813, 1824, 1831, 1835, 1836, 1838, 1842, 1844, 1846, 1848, 1850, 1852, 1854, 1857, 1862, 1868, 1874, 1876, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1897, 1911, 1918, 1921, 1922, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1937, 1939, 1942, 1949, 1953, 1954, 1955, 1957, 1959, 1961, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1986, 1993, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2016, 2018, 2020, 2022, 2026, 2027, 2029, 2031, 2033, 2035, 2037, 2041, 2043, 2045, 2047, 2049, 2060, 2062, 2066, 2069, 2070, 2071, 2073, 2075, 2077, 2079, 2081, 2083, 2085, 2087, 2089, 2091, 2093, 2096, 2098, 2100, 2102, 2104, 2106, 2108, 2112, 2114, 2116, 2118, 2120, 2131, 2138, 2141, 2142, 2143, 2145, 2147, 2149, 2151, 2153, 2155, 2157, 2159, 2161, 2163, 2165, 2169, 2170, 2172, 2174, 2176, 2178, 2180, 2182, 2184, 2186, 2190, 2192, 2203, 2210, 2214, 2215, 2219, 2221, 2223, 2225, 2227, 2232, 2234, 2236, 2238, 2240, 2243, 2248, 2250, 2253, 2255, 2257, 2259, 2261, 2263, 2265, 2267, 2269, 2273, 2284, 2291, 2294, 2295, 2296, 2299, 2301, 2303, 2305, 2307, 2309, 2311, 2313, 2315, 2319, 2324, 2331, 2333, 2338, 2341, 2343, 2345, 2350, 2352, 2354, 2356, 2358, 2360, 2371, 2378, 2383, 2384, 2388, 2390, 2395, 2397, 2399, 2401, 2403, 2407, 2410, 2417, 2424, 2434, 2435, 2442, 2447, 2450, 2455, 2457, 2459, 2461, 2463, 2465, 2467, 2478, 2485, 2490, 2492, 2494, 2496, 2498, 2503, 2505, 2507, 2510, 2515, 2522, 2533, 2544, 2545, 2546, 2555, 2562, 2567, 2570, 2572, 2574, 2576, 2578, 2580, 2582, 2593, 2600, 2603, 2604, 2605, 2607, 2609, 2611, 2613, 2615, 2617, 2620, 2625, 2632, 2641, 2652, 2665, 2667, 2681, 2690, 2697, 2702, 2706, 2708, 2710, 2712, 2714, 2716, 2727, 2734, 2737, 2738, 2739, 2741, 2743, 2745, 2747, 2749, 2752, 2757, 2764, 2773, 2784, 2797, 2812, 2814, 2827, 2838, 2847, 2854, 2859, 2865, 2867, 2869, 2871, 2884, 2891, 2894, 2895, 2896, 2898, 2900, 2902, 2904, 2907, 2912, 2919, 2928, 2939, 2952, 2967, 2986, 3001, 3014, 3025, 3034, 3044, 3049, 3052, 3054, 3056, 3058, 3071, 3078, 3083, 3085, 3087, 3089, 3095, 3100, 3107, 3116, 3127, 3140, 3155, 3175, 3194, 3196, 3213, 3228, 3241, 3252, 3261, 3268, 3273, 3276, 3278, 3280, 3293, 3300, 3303, 3304, 3305, 3307, 3309, 3312, 3317, 3324, 3333, 3344, 3357, 3372, 3389, 3408, 3429, 3431, 3450, 3467, 3482, 3498, 3509, 3518, 3525, 3530, 3533, 3535, 3546, 3553, 3556, 3557, 3558, 3560, 3563, 3568, 3575, 3584, 3595, 3608, 3640, 3659, 3680, 3704, 3705, 3726, 3745, 3764, 3779, 3792, 3803, 3812, 3819, 3824, 3827, 3838, 3840, 3847, 3848, 3849, 3852, 3857, 3864, 3873, 3884, 3897, 3912, 3929, 3948, 3969, 3992, 4017, 4018, 4019, 4042, 4063, 4082, 4099, 4114, 4127, 4138, 4147, 4154, 4159, 4171]
[2025-06-03 19:39:04] [INFO ] Actually due to overlaps returned [344, 638, 893, 1121, 1311, 1471, 1606, 1721, 1824, 1911, 1986, 2060, 2131, 2203, 2284, 2371, 2478, 2593, 2727, 2884, 3071, 3293, 3546, 3838, 4171, 4, 14, 207, 354, 524, 525, 796, 797, 904, 1240, 1322, 1410, 1482, 1555, 1617, 1677, 1835, 1874, 1921, 1922, 1953, 1954, 1996, 2026, 2062, 2069, 2070, 2096, 2141, 2142, 2169, 2214, 2248, 2294, 2295, 2331, 2383, 2434, 2544, 2545, 2603, 2604, 2665, 2737, 2738, 2812, 2894, 2895, 3194, 3303, 3304, 3429, 3556, 3557, 3704, 3840, 3847, 3848, 4017, 4018]
Discarding 85 places :
Implicit Place search using SMT only with invariants took 16793 ms to find 85 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4199/7032 places, 7647/10855 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 4146 transition count 7594
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 4146 transition count 7594
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 158 place count 4094 transition count 7542
Iterating global reduction 0 with 52 rules applied. Total rules applied 210 place count 4094 transition count 7542
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 262 place count 4042 transition count 7490
Iterating global reduction 0 with 52 rules applied. Total rules applied 314 place count 4042 transition count 7490
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 327 place count 4029 transition count 7464
Iterating global reduction 0 with 13 rules applied. Total rules applied 340 place count 4029 transition count 7464
Applied a total of 340 rules in 3032 ms. Remains 4029 /4199 variables (removed 170) and now considering 7464/7647 (removed 183) transitions.
[2025-06-03 19:39:07] [INFO ] Flow matrix only has 6864 transitions (discarded 600 similar events)
// Phase 1: matrix 6864 rows 4029 cols
[2025-06-03 19:39:07] [INFO ] Computed 696 invariants in 316 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:39:20] [INFO ] Implicit Places using invariants in 13667 ms returned [7, 14, 19, 26, 38, 49, 62, 77, 94, 113, 134, 157, 181, 208, 229, 248, 265, 280, 293, 304, 313, 320, 325, 330, 347, 351, 354, 359, 366, 377, 388, 401, 416, 434, 454, 475, 497, 519, 538, 555, 570, 583, 594, 603, 610, 615, 618, 620, 635, 640, 642, 648, 653, 660, 671, 682, 695, 710, 727, 746, 766, 785, 802, 817, 830, 841, 850, 857, 862, 865, 867, 869, 882, 886, 888, 890, 895, 900, 907, 916, 930, 943, 958, 975, 993, 1013, 1031, 1047, 1058, 1067, 1074, 1079, 1083, 1087, 1089, 1091, 1106, 1111, 1116, 1118, 1123, 1126, 1131, 1138, 1147, 1158, 1171, 1186, 1202, 1219, 1232, 1243, 1252, 1259, 1264, 1267, 1271, 1273, 1275, 1277, 1292, 1296, 1298, 1300, 1302, 1304, 1307, 1312, 1319, 1328, 1342, 1355, 1369, 1384, 1395, 1404, 1411, 1416, 1419, 1421, 1423, 1425, 1430, 1432, 1446, 1450, 1454, 1456, 1458, 1460, 1462, 1465, 1470, 1477, 1486, 1497, 1509, 1522, 1531, 1538, 1543, 1546, 1548, 1550, 1552, 1554, 1558, 1574, 1578, 1582, 1584, 1586, 1588, 1590, 1592, 1595, 1600, 1607, 1617, 1627, 1638, 1645, 1650, 1653, 1657, 1659, 1661, 1663, 1665, 1667, 1682, 1687, 1689, 1691, 1695, 1697, 1699, 1701, 1703, 1706, 1711, 1720, 1728, 1738, 1743, 1746, 1748, 1750, 1752, 1754, 1756, 1761, 1763, 1767, 1784, 1788, 1790, 1794, 1796, 1798, 1800, 1802, 1804, 1806, 1809, 1814, 1820, 1827, 1830, 1832, 1834, 1836, 1838, 1840, 1842, 1844, 1846, 1848, 1864, 1867, 1869, 1871, 1873, 1875, 1877, 1879, 1881, 1883, 1886, 1893, 1896, 1898, 1900, 1902, 1904, 1906, 1908, 1910, 1912, 1914, 1916, 1925, 1929, 1931, 1933, 1935, 1937, 1939, 1941, 1943, 1947, 1949, 1951, 1953, 1957, 1959, 1961, 1963, 1965, 1967, 1971, 1973, 1975, 1977, 1979, 1990, 1992, 1994, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2014, 2018, 2020, 2022, 2024, 2026, 2028, 2032, 2034, 2036, 2038, 2040, 2051, 2053, 2055, 2057, 2059, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2075, 2079, 2081, 2083, 2085, 2087, 2089, 2091, 2093, 2095, 2099, 2101, 2112, 2116, 2120, 2122, 2124, 2126, 2128, 2133, 2135, 2137, 2139, 2141, 2144, 2150, 2153, 2155, 2157, 2159, 2161, 2163, 2165, 2167, 2169, 2173, 2186, 2188, 2191, 2193, 2195, 2197, 2199, 2201, 2203, 2205, 2207, 2211, 2216, 2224, 2229, 2232, 2234, 2236, 2241, 2243, 2245, 2247, 2249, 2251, 2262, 2267, 2271, 2273, 2278, 2280, 2282, 2284, 2286, 2290, 2293, 2300, 2307, 2317, 2324, 2329, 2332, 2337, 2339, 2341, 2343, 2345, 2347, 2349, 2362, 2367, 2369, 2371, 2373, 2375, 2380, 2382, 2384, 2387, 2392, 2399, 2410, 2420, 2429, 2436, 2441, 2444, 2446, 2448, 2450, 2452, 2454, 2456, 2469, 2471, 2473, 2475, 2477, 2479, 2481, 2483, 2486, 2491, 2498, 2507, 2518, 2532, 2546, 2555, 2562, 2567, 2571, 2573, 2575, 2577, 2579, 2581, 2592, 2594, 2596, 2598, 2600, 2602, 2604, 2607, 2612, 2619, 2628, 2639, 2652, 2668, 2681, 2692, 2701, 2708, 2713, 2719, 2721, 2723, 2725, 2738, 2740, 2742, 2744, 2746, 2748, 2751, 2756, 2763, 2772, 2783, 2796, 2811, 2830, 2845, 2858, 2869, 2878, 2888, 2893, 2896, 2898, 2900, 2902, 2917, 2922, 2924, 2926, 2928, 2934, 2939, 2946, 2955, 2966, 2979, 2994, 3014, 3034, 3051, 3066, 3079, 3090, 3099, 3106, 3111, 3114, 3116, 3118, 3135, 3137, 3139, 3141, 3144, 3149, 3156, 3165, 3176, 3189, 3204, 3221, 3240, 3262, 3281, 3298, 3313, 3329, 3340, 3349, 3356, 3361, 3364, 3366, 3377, 3379, 3381, 3384, 3389, 3396, 3405, 3416, 3429, 3461, 3480, 3501, 3525, 3546, 3565, 3584, 3599, 3612, 3623, 3632, 3639, 3644, 3647, 3658, 3661, 3666, 3673, 3682, 3693, 3706, 3721, 3738, 3757, 3778, 3801, 3825, 3848, 3869, 3888, 3905, 3920, 3933, 3944, 3953, 3960, 3965]
Discarding 594 places :
Implicit Place search using SMT only with invariants took 13690 ms to find 594 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3435/7032 places, 7464/10855 transitions.
Applied a total of 0 rules in 872 ms. Remains 3435 /3435 variables (removed 0) and now considering 7464/7464 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 39031 ms. Remains : 3435/7032 places, 7464/10855 transitions.
Support contains 149 out of 3435 places after structural reductions.
[2025-06-03 19:39:22] [INFO ] Flatten gal took : 794 ms
[2025-06-03 19:39:23] [INFO ] Flatten gal took : 394 ms
[2025-06-03 19:39:24] [INFO ] Input system was already deterministic with 7464 transitions.
Support contains 147 out of 3435 places (down from 149) after GAL structural reductions.
RANDOM walk for 40000 steps (1882 resets) in 5318 ms. (7 steps per ms) remains 58/88 properties
BEST_FIRST walk for 4004 steps (32 resets) in 59 ms. (66 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 42 ms. (93 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 46 ms. (85 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 53 ms. (74 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 88 ms. (44 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 88 ms. (44 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 33 ms. (117 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 68 ms. (58 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 42 ms. (93 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 45 ms. (87 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 51 ms. (76 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 88 ms. (44 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 40 ms. (97 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 69 ms. (57 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 37 ms. (105 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 62 ms. (63 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 52 ms. (75 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 46 ms. (85 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 70 ms. (56 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 41 ms. (95 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 79 ms. (50 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 57 ms. (69 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 51 ms. (77 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 104 ms. (38 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 55 ms. (71 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 35 ms. (111 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 35 ms. (111 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 36 ms. (108 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 36 ms. (108 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 131 ms. (30 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 42 ms. (93 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 41 ms. (95 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 46 ms. (85 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (32 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 45 ms. (87 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 43 ms. (90 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 44 ms. (88 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 43 ms. (90 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 56 ms. (70 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 57 ms. (69 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 50 ms. (78 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4003 steps (32 resets) in 45 ms. (87 steps per ms) remains 57/58 properties
BEST_FIRST walk for 4002 steps (32 resets) in 46 ms. (85 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 59 ms. (66 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 49 ms. (80 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 43 ms. (91 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 33 ms. (117 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 49 ms. (80 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 41 ms. (95 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 49 ms. (80 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4002 steps (32 resets) in 59 ms. (66 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 52 ms. (75 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (32 resets) in 52 ms. (75 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4003 steps (32 resets) in 35 ms. (111 steps per ms) remains 57/57 properties
[2025-06-03 19:39:26] [INFO ] Flow matrix only has 6864 transitions (discarded 600 similar events)
// Phase 1: matrix 6864 rows 3435 cols
[2025-06-03 19:39:27] [INFO ] Computed 102 invariants in 300 ms
[2025-06-03 19:39:27] [INFO ] State equation strengthened by 2697 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/94 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 57 unsolved
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp62 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp80 is UNSAT
Problem AtomicPropp83 is UNSAT
At refinement iteration 1 (OVERLAPS) 2596/2690 variables, 5/5 constraints. Problems are: Problem set: 23 solved, 34 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2690 variables, 0/5 constraints. Problems are: Problem set: 23 solved, 34 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp71 is UNSAT
Problem AtomicPropp77 is UNSAT
Problem AtomicPropp87 is UNSAT
At refinement iteration 3 (OVERLAPS) 697/3387 variables, 49/54 constraints. Problems are: Problem set: 35 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:39:36] [INFO ] Deduced a trap composed of 74 places in 4868 ms of which 420 ms to minimize.
SMT process timed out in 9360ms, After SMT, problems are : Problem set: 35 solved, 22 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 39 out of 3435 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 3435 transition count 7443
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 42 place count 3414 transition count 7443
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 42 place count 3414 transition count 7399
Deduced a syphon composed of 44 places in 8 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 130 place count 3370 transition count 7399
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 163 place count 3337 transition count 7357
Iterating global reduction 2 with 33 rules applied. Total rules applied 196 place count 3337 transition count 7357
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 219 place count 3314 transition count 7312
Iterating global reduction 2 with 23 rules applied. Total rules applied 242 place count 3314 transition count 7312
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 8 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 308 place count 3281 transition count 7279
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 325 place count 3264 transition count 7262
Iterating global reduction 2 with 17 rules applied. Total rules applied 342 place count 3264 transition count 7262
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 359 place count 3247 transition count 7228
Iterating global reduction 2 with 17 rules applied. Total rules applied 376 place count 3247 transition count 7228
Free-agglomeration rule (complex) applied 327 times.
Iterating global reduction 2 with 327 rules applied. Total rules applied 703 place count 3247 transition count 7433
Reduce places removed 327 places and 0 transitions.
Iterating post reduction 2 with 327 rules applied. Total rules applied 1030 place count 2920 transition count 7433
Partial Free-agglomeration rule applied 43 times.
Drop transitions (Partial Free agglomeration) removed 43 transitions
Iterating global reduction 3 with 43 rules applied. Total rules applied 1073 place count 2920 transition count 7433
Applied a total of 1073 rules in 6430 ms. Remains 2920 /3435 variables (removed 515) and now considering 7433/7464 (removed 31) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6432 ms. Remains : 2920/3435 places, 7433/7464 transitions.
RANDOM walk for 40000 steps (3289 resets) in 1539 ms. (25 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 23 ms. (166 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 16 ms. (235 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 16 ms. (235 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 24 ms. (160 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4002 steps (20 resets) in 22 ms. (174 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 25 ms. (154 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (18 resets) in 18 ms. (210 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 17 ms. (222 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 17 ms. (222 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 20 ms. (190 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 17 ms. (222 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 20 ms. (190 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 20 ms. (190 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 18 ms. (210 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 20 ms. (190 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 19 ms. (200 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 23 ms. (166 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 19 ms. (200 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (20 resets) in 27 ms. (143 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (19 resets) in 22 ms. (174 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (18 resets) in 19 ms. (200 steps per ms) remains 22/22 properties
Interrupted probabilistic random walk after 17150 steps, run timeout after 3001 ms. (steps per millisecond=5 ) properties seen :1 out of 22
Probabilistic random walk after 17150 steps, saw 7516 distinct states, run finished after 3010 ms. (steps per millisecond=5 ) properties seen :1
[2025-06-03 19:39:46] [INFO ] Flow matrix only has 6554 transitions (discarded 879 similar events)
// Phase 1: matrix 6554 rows 2920 cols
[2025-06-03 19:39:46] [INFO ] Computed 102 invariants in 195 ms
[2025-06-03 19:39:46] [INFO ] State equation strengthened by 3181 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/38 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 1 (OVERLAPS) 2752/2790 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2790 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2790 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 4 (OVERLAPS) 83/2873 variables, 50/55 constraints. Problems are: Problem set: 0 solved, 21 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:39:53] [INFO ] Deduced a trap composed of 6 places in 4296 ms of which 96 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:39:58] [INFO ] Deduced a trap composed of 41 places in 5056 ms of which 231 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:02] [INFO ] Deduced a trap composed of 60 places in 4294 ms of which 307 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:07] [INFO ] Deduced a trap composed of 59 places in 4536 ms of which 313 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:12] [INFO ] Deduced a trap composed of 60 places in 4518 ms of which 317 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:16] [INFO ] Deduced a trap composed of 60 places in 4693 ms of which 315 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:21] [INFO ] Deduced a trap composed of 60 places in 4587 ms of which 301 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:25] [INFO ] Deduced a trap composed of 59 places in 4263 ms of which 309 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:30] [INFO ] Deduced a trap composed of 59 places in 4679 ms of which 306 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:35] [INFO ] Deduced a trap composed of 58 places in 4453 ms of which 306 ms to minimize.
SMT process timed out in 48754ms, After SMT, problems are : Problem set: 0 solved, 21 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 38 out of 2920 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2920/2920 places, 7433/7433 transitions.
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 2920 transition count 7433
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 2 place count 2919 transition count 7432
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 2919 transition count 7432
Applied a total of 3 rules in 1348 ms. Remains 2919 /2920 variables (removed 1) and now considering 7432/7433 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1348 ms. Remains : 2919/2920 places, 7432/7433 transitions.
RANDOM walk for 40000 steps (3290 resets) in 2004 ms. (19 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (19 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (19 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (18 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4003 steps (20 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (18 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (17 resets) in 16 ms. (235 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (18 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (19 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (19 resets) in 19 ms. (200 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (19 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (18 resets) in 16 ms. (235 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (19 resets) in 17 ms. (222 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (20 resets) in 18 ms. (210 steps per ms) remains 21/21 properties
Interrupted probabilistic random walk after 19187 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 21
Probabilistic random walk after 19187 steps, saw 8393 distinct states, run finished after 3004 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-03 19:40:40] [INFO ] Flow matrix only has 6553 transitions (discarded 879 similar events)
// Phase 1: matrix 6553 rows 2919 cols
[2025-06-03 19:40:40] [INFO ] Computed 102 invariants in 199 ms
[2025-06-03 19:40:40] [INFO ] State equation strengthened by 3181 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/38 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 1 (OVERLAPS) 2752/2790 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2790 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2790 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 21 unsolved
At refinement iteration 4 (OVERLAPS) 81/2871 variables, 49/54 constraints. Problems are: Problem set: 0 solved, 21 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:46] [INFO ] Deduced a trap composed of 6 places in 3750 ms of which 94 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:49] [INFO ] Deduced a trap composed of 41 places in 3868 ms of which 275 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:54] [INFO ] Deduced a trap composed of 74 places in 4398 ms of which 359 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:40:58] [INFO ] Deduced a trap composed of 74 places in 3672 ms of which 360 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:02] [INFO ] Deduced a trap composed of 101 places in 3797 ms of which 459 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:06] [INFO ] Deduced a trap composed of 94 places in 3968 ms of which 432 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:10] [INFO ] Deduced a trap composed of 101 places in 4227 ms of which 458 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:14] [INFO ] Deduced a trap composed of 99 places in 4158 ms of which 449 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:18] [INFO ] Deduced a trap composed of 101 places in 4217 ms of which 447 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:23] [INFO ] Deduced a trap composed of 101 places in 4189 ms of which 461 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:27] [INFO ] Deduced a trap composed of 103 places in 4073 ms of which 461 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:31] [INFO ] Deduced a trap composed of 101 places in 4222 ms of which 461 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:35] [INFO ] Deduced a trap composed of 119 places in 4395 ms of which 509 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:39] [INFO ] Deduced a trap composed of 41 places in 3536 ms of which 236 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:43] [INFO ] Deduced a trap composed of 91 places in 4067 ms of which 431 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:47] [INFO ] Deduced a trap composed of 74 places in 3748 ms of which 369 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:51] [INFO ] Deduced a trap composed of 74 places in 3822 ms of which 380 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 19:41:56] [INFO ] Deduced a trap composed of 98 places in 4416 ms of which 509 ms to minimize.
SMT process timed out in 75952ms, After SMT, problems are : Problem set: 0 solved, 21 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 38 out of 2919 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2919/2919 places, 7432/7432 transitions.
Applied a total of 0 rules in 751 ms. Remains 2919 /2919 variables (removed 0) and now considering 7432/7432 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 752 ms. Remains : 2919/2919 places, 7432/7432 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2919/2919 places, 7432/7432 transitions.
Applied a total of 0 rules in 533 ms. Remains 2919 /2919 variables (removed 0) and now considering 7432/7432 (removed 0) transitions.
[2025-06-03 19:41:57] [INFO ] Flow matrix only has 6553 transitions (discarded 879 similar events)
[2025-06-03 19:41:57] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:42:09] [INFO ] Implicit Places using invariants in 11731 ms returned [7, 171, 284, 517, 518, 712, 810, 811, 876, 958, 1010, 1074, 1115, 1167, 1240, 1251, 1268, 1269, 1297, 1298, 1323, 1343, 1374, 1396, 1441, 1472, 1509, 1547, 1569, 1622, 1623, 1728, 1866, 1943, 2009, 2095, 2275, 2417, 2598]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 11738 ms to find 39 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 2880/2919 places, 7432/7432 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 2850 transition count 7402
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 2850 transition count 7402
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 90 place count 2820 transition count 7372
Iterating global reduction 0 with 30 rules applied. Total rules applied 120 place count 2820 transition count 7372
Applied a total of 120 rules in 1192 ms. Remains 2820 /2880 variables (removed 60) and now considering 7372/7432 (removed 60) transitions.
[2025-06-03 19:42:10] [INFO ] Flow matrix only has 6493 transitions (discarded 879 similar events)
// Phase 1: matrix 6493 rows 2820 cols
[2025-06-03 19:42:11] [INFO ] Computed 63 invariants in 717 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:42:19] [INFO ] Implicit Places using invariants in 9028 ms returned []
[2025-06-03 19:42:19] [INFO ] Flow matrix only has 6493 transitions (discarded 879 similar events)
[2025-06-03 19:42:19] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:42:23] [INFO ] State equation strengthened by 3181 read => feed constraints.
[2025-06-03 19:42:54] [INFO ] Performed 279/2820 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 19:43:25] [INFO ] Performed 512/2820 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2025-06-03 19:43:55] [INFO ] Performed 732/2820 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2025-06-03 19:44:25] [INFO ] Performed 925/2820 implicitness test of which 0 returned IMPLICIT in 121 seconds.
[2025-06-03 19:44:25] [INFO ] Timeout of Implicit test with SMT after 121 seconds.
[2025-06-03 19:44:25] [INFO ] Implicit Places using invariants and state equation in 126127 ms returned []
Implicit Place search using SMT with State Equation took 135159 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2820/2919 places, 7372/7432 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 148637 ms. Remains : 2820/2919 places, 7372/7432 transitions.
Successfully simplified 35 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2023-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 19:44:25] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2025-06-03 19:44:25] [INFO ] Flatten gal took : 211 ms
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 19:44:26] [INFO ] Flatten gal took : 241 ms
[2025-06-03 19:44:26] [INFO ] Input system was already deterministic with 7464 transitions.
Support contains 56 out of 3435 places (down from 74) after GAL structural reductions.
Computed a total of 811 stabilizing places and 2263 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Discarding 57 places :
Symmetric choice reduction at 0 with 57 rule applications. Total rules 57 place count 3378 transition count 7399
Iterating global reduction 0 with 57 rules applied. Total rules applied 114 place count 3378 transition count 7399
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 162 place count 3330 transition count 7324
Iterating global reduction 0 with 48 rules applied. Total rules applied 210 place count 3330 transition count 7324
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 230 place count 3310 transition count 7284
Iterating global reduction 0 with 20 rules applied. Total rules applied 250 place count 3310 transition count 7284
Applied a total of 250 rules in 3035 ms. Remains 3310 /3435 variables (removed 125) and now considering 7284/7464 (removed 180) transitions.
[2025-06-03 19:44:29] [INFO ] Flow matrix only has 6684 transitions (discarded 600 similar events)
// Phase 1: matrix 6684 rows 3310 cols
[2025-06-03 19:44:29] [INFO ] Computed 102 invariants in 260 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:44:44] [INFO ] Implicit Places using invariants in 14868 ms returned [10, 190, 320, 581, 582, 799, 908, 909, 985, 986, 1076, 1139, 1212, 1262, 1320, 1347, 1362, 1407, 1421, 1442, 1443, 1477, 1478, 1511, 1536, 1573, 1599, 1613, 1648, 1683, 1706, 1723, 1799, 1828, 1862, 1863, 1987, 2233, 2234, 2308, 2309, 2403, 2605, 2765, 2842, 2961]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 14875 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3264/3435 places, 7284/7464 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 3223 transition count 7243
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 3223 transition count 7243
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 123 place count 3182 transition count 7202
Iterating global reduction 0 with 41 rules applied. Total rules applied 164 place count 3182 transition count 7202
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 205 place count 3141 transition count 7161
Iterating global reduction 0 with 41 rules applied. Total rules applied 246 place count 3141 transition count 7161
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 279 place count 3108 transition count 7095
Iterating global reduction 0 with 33 rules applied. Total rules applied 312 place count 3108 transition count 7095
Applied a total of 312 rules in 2745 ms. Remains 3108 /3264 variables (removed 156) and now considering 7095/7284 (removed 189) transitions.
[2025-06-03 19:44:47] [INFO ] Flow matrix only has 6495 transitions (discarded 600 similar events)
// Phase 1: matrix 6495 rows 3108 cols
[2025-06-03 19:44:47] [INFO ] Computed 56 invariants in 187 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:44:55] [INFO ] Implicit Places using invariants in 8396 ms returned []
[2025-06-03 19:44:55] [INFO ] Flow matrix only has 6495 transitions (discarded 600 similar events)
[2025-06-03 19:44:55] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:45:00] [INFO ] State equation strengthened by 2609 read => feed constraints.
[2025-06-03 19:45:30] [INFO ] Performed 368/3108 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 19:46:00] [INFO ] Performed 631/3108 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 19:46:30] [INFO ] Performed 894/3108 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 19:47:01] [INFO ] Performed 1092/3108 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-03 19:47:01] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-03 19:47:01] [INFO ] Implicit Places using invariants and state equation in 125604 ms returned []
Implicit Place search using SMT with State Equation took 134019 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3108/3435 places, 7095/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 154682 ms. Remains : 3108/3435 places, 7095/7464 transitions.
[2025-06-03 19:47:01] [INFO ] Flatten gal took : 180 ms
[2025-06-03 19:47:01] [INFO ] Flatten gal took : 205 ms
[2025-06-03 19:47:02] [INFO ] Input system was already deterministic with 7095 transitions.
[2025-06-03 19:47:02] [INFO ] Flatten gal took : 195 ms
[2025-06-03 19:47:02] [INFO ] Flatten gal took : 201 ms
[2025-06-03 19:47:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality6416707980686728376.gal : 159 ms
[2025-06-03 19:47:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality2991838237781551826.ctl : 12 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/CTLCardinality6416707980686728376.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2991838237781551826.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 19:47:33] [INFO ] Flatten gal took : 317 ms
[2025-06-03 19:47:33] [INFO ] Applying decomposition
[2025-06-03 19:47:33] [INFO ] Flatten gal took : 310 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/graph16012020646510684385.txt' '-o' '/tmp/graph16012020646510684385.bin' '-w' '/tmp/graph16012020646510684385.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16012020646510684385.bin' '-l' '-1' '-v' '-w' '/tmp/graph16012020646510684385.weights' '-q' '0' '-e' '0.001'
[2025-06-03 19:47:34] [INFO ] Decomposing Gal with order
[2025-06-03 19:47:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 19:47:36] [INFO ] Removed a total of 5673 redundant transitions.
[2025-06-03 19:47:36] [INFO ] Flatten gal took : 1112 ms
[2025-06-03 19:47:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 318 labels/synchronizations in 308 ms.
[2025-06-03 19:47:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality6909378772151820548.gal : 95 ms
[2025-06-03 19:47:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality12368159618521460896.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/CTLCardinality6909378772151820548.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12368159618521460896.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 3376 transition count 7397
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 3376 transition count 7397
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 168 place count 3326 transition count 7320
Iterating global reduction 0 with 50 rules applied. Total rules applied 218 place count 3326 transition count 7320
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 240 place count 3304 transition count 7276
Iterating global reduction 0 with 22 rules applied. Total rules applied 262 place count 3304 transition count 7276
Applied a total of 262 rules in 2596 ms. Remains 3304 /3435 variables (removed 131) and now considering 7276/7464 (removed 188) transitions.
[2025-06-03 19:48:11] [INFO ] Flow matrix only has 6676 transitions (discarded 600 similar events)
// Phase 1: matrix 6676 rows 3304 cols
[2025-06-03 19:48:11] [INFO ] Computed 102 invariants in 196 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:48:22] [INFO ] Implicit Places using invariants in 11718 ms returned [10, 190, 320, 580, 581, 798, 907, 908, 984, 985, 1075, 1138, 1211, 1261, 1319, 1346, 1361, 1406, 1420, 1441, 1442, 1476, 1477, 1510, 1535, 1572, 1598, 1612, 1647, 1682, 1705, 1722, 1768, 1795, 1824, 1858, 1859, 1983, 2092, 2139, 2227, 2228, 2302, 2303, 2397, 2599, 2759, 2836, 2955]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 11729 ms to find 49 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3255/3435 places, 7276/7464 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 3212 transition count 7233
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 3212 transition count 7233
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 3169 transition count 7190
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 3169 transition count 7190
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 3126 transition count 7147
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 3126 transition count 7147
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 293 place count 3091 transition count 7077
Iterating global reduction 0 with 35 rules applied. Total rules applied 328 place count 3091 transition count 7077
Applied a total of 328 rules in 2983 ms. Remains 3091 /3255 variables (removed 164) and now considering 7077/7276 (removed 199) transitions.
[2025-06-03 19:48:25] [INFO ] Flow matrix only has 6477 transitions (discarded 600 similar events)
// Phase 1: matrix 6477 rows 3091 cols
[2025-06-03 19:48:25] [INFO ] Computed 53 invariants in 192 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:48:34] [INFO ] Implicit Places using invariants in 8618 ms returned []
[2025-06-03 19:48:34] [INFO ] Flow matrix only has 6477 transitions (discarded 600 similar events)
[2025-06-03 19:48:34] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:48:38] [INFO ] State equation strengthened by 2605 read => feed constraints.
[2025-06-03 19:49:09] [INFO ] Performed 437/3091 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 19:49:48] [INFO ] Performed 773/3091 implicitness test of which 0 returned IMPLICIT in 68 seconds.
[2025-06-03 19:50:18] [INFO ] Performed 1046/3091 implicitness test of which 0 returned IMPLICIT in 98 seconds.
[2025-06-03 19:50:49] [INFO ] Performed 1206/3091 implicitness test of which 0 returned IMPLICIT in 130 seconds.
[2025-06-03 19:50:49] [INFO ] Timeout of Implicit test with SMT after 130 seconds.
[2025-06-03 19:50:49] [INFO ] Implicit Places using invariants and state equation in 135282 ms returned []
Implicit Place search using SMT with State Equation took 143902 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3091/3435 places, 7077/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 161211 ms. Remains : 3091/3435 places, 7077/7464 transitions.
[2025-06-03 19:50:50] [INFO ] Flatten gal took : 455 ms
[2025-06-03 19:50:50] [INFO ] Flatten gal took : 339 ms
[2025-06-03 19:50:50] [INFO ] Input system was already deterministic with 7077 transitions.
[2025-06-03 19:50:51] [INFO ] Flatten gal took : 216 ms
[2025-06-03 19:50:51] [INFO ] Flatten gal took : 213 ms
[2025-06-03 19:50:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality9394563931079366369.gal : 34 ms
[2025-06-03 19:50:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality6097683049157242759.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9394563931079366369.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6097683049157242759.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 19:51:21] [INFO ] Flatten gal took : 237 ms
[2025-06-03 19:51:21] [INFO ] Applying decomposition
[2025-06-03 19:51:21] [INFO ] Flatten gal took : 258 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/graph12280667309086696524.txt' '-o' '/tmp/graph12280667309086696524.bin' '-w' '/tmp/graph12280667309086696524.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12280667309086696524.bin' '-l' '-1' '-v' '-w' '/tmp/graph12280667309086696524.weights' '-q' '0' '-e' '0.001'
[2025-06-03 19:51:22] [INFO ] Decomposing Gal with order
[2025-06-03 19:51:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 19:51:23] [INFO ] Removed a total of 5572 redundant transitions.
[2025-06-03 19:51:23] [INFO ] Flatten gal took : 616 ms
[2025-06-03 19:51:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 239 labels/synchronizations in 81 ms.
[2025-06-03 19:51:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality4540571902238488311.gal : 48 ms
[2025-06-03 19:51:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality552129430928865764.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/CTLCardinality4540571902238488311.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality552129430928865764.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 0 with 25 rules applied. Total rules applied 25 place count 3435 transition count 7439
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 1 with 25 rules applied. Total rules applied 50 place count 3410 transition count 7439
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 50 place count 3410 transition count 7395
Deduced a syphon composed of 44 places in 9 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 138 place count 3366 transition count 7395
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 177 place count 3327 transition count 7347
Iterating global reduction 2 with 39 rules applied. Total rules applied 216 place count 3327 transition count 7347
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 245 place count 3298 transition count 7290
Iterating global reduction 2 with 29 rules applied. Total rules applied 274 place count 3298 transition count 7290
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 28 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 340 place count 3265 transition count 7257
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 361 place count 3244 transition count 7236
Iterating global reduction 2 with 21 rules applied. Total rules applied 382 place count 3244 transition count 7236
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 403 place count 3223 transition count 7194
Iterating global reduction 2 with 21 rules applied. Total rules applied 424 place count 3223 transition count 7194
Applied a total of 424 rules in 4748 ms. Remains 3223 /3435 variables (removed 212) and now considering 7194/7464 (removed 270) transitions.
[2025-06-03 19:51:59] [INFO ] Flow matrix only has 6594 transitions (discarded 600 similar events)
// Phase 1: matrix 6594 rows 3223 cols
[2025-06-03 19:51:59] [INFO ] Computed 102 invariants in 180 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:52:10] [INFO ] Implicit Places using invariants in 11088 ms returned [9, 186, 310, 566, 567, 781, 890, 891, 963, 964, 1054, 1113, 1186, 1233, 1291, 1318, 1330, 1375, 1389, 1407, 1408, 1442, 1443, 1471, 1496, 1530, 1555, 1569, 1601, 1634, 1655, 1672, 1715, 1740, 1769, 1800, 1801, 1922, 2028, 2075, 2161, 2162, 2233, 2234, 2328, 2526, 2684, 2761, 2878]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 11096 ms to find 49 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3174/3435 places, 7194/7464 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 3135 transition count 7155
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 3135 transition count 7155
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 117 place count 3096 transition count 7116
Iterating global reduction 0 with 39 rules applied. Total rules applied 156 place count 3096 transition count 7116
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 185 place count 3067 transition count 7058
Iterating global reduction 0 with 29 rules applied. Total rules applied 214 place count 3067 transition count 7058
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 7 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 222 place count 3063 transition count 7054
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 226 place count 3059 transition count 7050
Iterating global reduction 0 with 4 rules applied. Total rules applied 230 place count 3059 transition count 7050
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 236 place count 3053 transition count 7038
Iterating global reduction 0 with 6 rules applied. Total rules applied 242 place count 3053 transition count 7038
Applied a total of 242 rules in 5108 ms. Remains 3053 /3174 variables (removed 121) and now considering 7038/7194 (removed 156) transitions.
[2025-06-03 19:52:15] [INFO ] Flow matrix only has 6438 transitions (discarded 600 similar events)
// Phase 1: matrix 6438 rows 3053 cols
[2025-06-03 19:52:15] [INFO ] Computed 53 invariants in 194 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:52:24] [INFO ] Implicit Places using invariants in 9330 ms returned []
[2025-06-03 19:52:24] [INFO ] Flow matrix only has 6438 transitions (discarded 600 similar events)
[2025-06-03 19:52:24] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:52:29] [INFO ] State equation strengthened by 2604 read => feed constraints.
[2025-06-03 19:53:01] [INFO ] Performed 552/3053 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2025-06-03 19:53:31] [INFO ] Performed 912/3053 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2025-06-03 19:54:02] [INFO ] Performed 1192/3053 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2025-06-03 19:54:35] [INFO ] Performed 1406/3053 implicitness test of which 0 returned IMPLICIT in 125 seconds.
[2025-06-03 19:54:35] [INFO ] Timeout of Implicit test with SMT after 125 seconds.
[2025-06-03 19:54:35] [INFO ] Implicit Places using invariants and state equation in 130164 ms returned []
Implicit Place search using SMT with State Equation took 139497 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3053/3435 places, 7038/7464 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 160451 ms. Remains : 3053/3435 places, 7038/7464 transitions.
[2025-06-03 19:54:35] [INFO ] Flatten gal took : 166 ms
[2025-06-03 19:54:35] [INFO ] Flatten gal took : 328 ms
[2025-06-03 19:54:35] [INFO ] Input system was already deterministic with 7038 transitions.
[2025-06-03 19:54:36] [INFO ] Flatten gal took : 181 ms
[2025-06-03 19:54:36] [INFO ] Flatten gal took : 183 ms
[2025-06-03 19:54:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality3989404603647550489.gal : 35 ms
[2025-06-03 19:54:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality14143927971484656531.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/CTLCardinality3989404603647550489.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14143927971484656531.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 19:55:06] [INFO ] Flatten gal took : 171 ms
[2025-06-03 19:55:06] [INFO ] Applying decomposition
[2025-06-03 19:55:06] [INFO ] Flatten gal took : 177 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/graph13139541803433583897.txt' '-o' '/tmp/graph13139541803433583897.bin' '-w' '/tmp/graph13139541803433583897.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13139541803433583897.bin' '-l' '-1' '-v' '-w' '/tmp/graph13139541803433583897.weights' '-q' '0' '-e' '0.001'
[2025-06-03 19:55:07] [INFO ] Decomposing Gal with order
[2025-06-03 19:55:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 19:55:09] [INFO ] Removed a total of 6545 redundant transitions.
[2025-06-03 19:55:09] [INFO ] Flatten gal took : 1420 ms
[2025-06-03 19:55:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 5970 labels/synchronizations in 395 ms.
[2025-06-03 19:55:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality3068532585148205201.gal : 74 ms
[2025-06-03 19:55:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality5051501802689133587.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/CTLCardinality3068532585148205201.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5051501802689133587.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 3376 transition count 7396
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 3376 transition count 7396
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 167 place count 3327 transition count 7320
Iterating global reduction 0 with 49 rules applied. Total rules applied 216 place count 3327 transition count 7320
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 237 place count 3306 transition count 7278
Iterating global reduction 0 with 21 rules applied. Total rules applied 258 place count 3306 transition count 7278
Applied a total of 258 rules in 2597 ms. Remains 3306 /3435 variables (removed 129) and now considering 7278/7464 (removed 186) transitions.
[2025-06-03 19:55:42] [INFO ] Flow matrix only has 6678 transitions (discarded 600 similar events)
// Phase 1: matrix 6678 rows 3306 cols
[2025-06-03 19:55:42] [INFO ] Computed 102 invariants in 195 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:55:53] [INFO ] Implicit Places using invariants in 11363 ms returned [10, 190, 320, 580, 581, 798, 907, 908, 984, 985, 1075, 1138, 1211, 1261, 1319, 1346, 1361, 1406, 1420, 1441, 1442, 1476, 1477, 1510, 1535, 1572, 1598, 1612, 1647, 1682, 1705, 1722, 1768, 1795, 1824, 1858, 1859, 1983, 2091, 2138, 2226, 2227, 2302, 2399, 2601, 2761, 2838, 2957]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 11373 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3258/3435 places, 7278/7464 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 3216 transition count 7236
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 3216 transition count 7236
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 126 place count 3174 transition count 7194
Iterating global reduction 0 with 42 rules applied. Total rules applied 168 place count 3174 transition count 7194
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 210 place count 3132 transition count 7152
Iterating global reduction 0 with 42 rules applied. Total rules applied 252 place count 3132 transition count 7152
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 286 place count 3098 transition count 7084
Iterating global reduction 0 with 34 rules applied. Total rules applied 320 place count 3098 transition count 7084
Applied a total of 320 rules in 3144 ms. Remains 3098 /3258 variables (removed 160) and now considering 7084/7278 (removed 194) transitions.
[2025-06-03 19:55:56] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
// Phase 1: matrix 6484 rows 3098 cols
[2025-06-03 19:55:57] [INFO ] Computed 54 invariants in 169 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:56:05] [INFO ] Implicit Places using invariants in 8902 ms returned []
[2025-06-03 19:56:05] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
[2025-06-03 19:56:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:56:10] [INFO ] State equation strengthened by 2606 read => feed constraints.
[2025-06-03 19:56:40] [INFO ] Performed 496/3098 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 19:57:11] [INFO ] Performed 776/3098 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 19:57:41] [INFO ] Performed 1092/3098 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 19:58:12] [INFO ] Performed 1297/3098 implicitness test of which 0 returned IMPLICIT in 121 seconds.
[2025-06-03 19:58:12] [INFO ] Timeout of Implicit test with SMT after 121 seconds.
[2025-06-03 19:58:12] [INFO ] Implicit Places using invariants and state equation in 126413 ms returned []
Implicit Place search using SMT with State Equation took 135323 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3098/3435 places, 7084/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 152439 ms. Remains : 3098/3435 places, 7084/7464 transitions.
[2025-06-03 19:58:12] [INFO ] Flatten gal took : 182 ms
[2025-06-03 19:58:12] [INFO ] Flatten gal took : 212 ms
[2025-06-03 19:58:13] [INFO ] Input system was already deterministic with 7084 transitions.
[2025-06-03 19:58:13] [INFO ] Flatten gal took : 206 ms
[2025-06-03 19:58:13] [INFO ] Flatten gal took : 257 ms
[2025-06-03 19:58:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality13899763109383212586.gal : 29 ms
[2025-06-03 19:58:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality13112047385296872948.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/CTLCardinality13899763109383212586.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13112047385296872948.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 19:58:43] [INFO ] Flatten gal took : 230 ms
[2025-06-03 19:58:43] [INFO ] Applying decomposition
[2025-06-03 19:58:44] [INFO ] Flatten gal took : 265 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/graph14065366059609596738.txt' '-o' '/tmp/graph14065366059609596738.bin' '-w' '/tmp/graph14065366059609596738.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14065366059609596738.bin' '-l' '-1' '-v' '-w' '/tmp/graph14065366059609596738.weights' '-q' '0' '-e' '0.001'
[2025-06-03 19:58:44] [INFO ] Decomposing Gal with order
[2025-06-03 19:58:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 19:58:45] [INFO ] Removed a total of 5663 redundant transitions.
[2025-06-03 19:58:45] [INFO ] Flatten gal took : 631 ms
[2025-06-03 19:58:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 272 labels/synchronizations in 63 ms.
[2025-06-03 19:58:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality8569809046518709632.gal : 38 ms
[2025-06-03 19:58:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality3784292661433887861.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/CTLCardinality8569809046518709632.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3784292661433887861.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 : 3435/3435 places, 7464/7464 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 3379 transition count 7399
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 3379 transition count 7399
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 158 place count 3333 transition count 7328
Iterating global reduction 0 with 46 rules applied. Total rules applied 204 place count 3333 transition count 7328
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 225 place count 3312 transition count 7286
Iterating global reduction 0 with 21 rules applied. Total rules applied 246 place count 3312 transition count 7286
Applied a total of 246 rules in 2366 ms. Remains 3312 /3435 variables (removed 123) and now considering 7286/7464 (removed 178) transitions.
[2025-06-03 19:59:18] [INFO ] Flow matrix only has 6686 transitions (discarded 600 similar events)
// Phase 1: matrix 6686 rows 3312 cols
[2025-06-03 19:59:18] [INFO ] Computed 102 invariants in 172 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:59:30] [INFO ] Implicit Places using invariants in 12305 ms returned [10, 190, 320, 580, 581, 909, 910, 986, 987, 1077, 1140, 1213, 1264, 1322, 1349, 1364, 1409, 1423, 1444, 1445, 1479, 1480, 1513, 1578, 1604, 1618, 1653, 1688, 1711, 1728, 1774, 1801, 1830, 1864, 1865, 1989, 2097, 2144, 2233, 2309, 2310, 2404, 2606, 2843, 2962]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 12313 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3267/3435 places, 7286/7464 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 3227 transition count 7246
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 3227 transition count 7246
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 120 place count 3187 transition count 7206
Iterating global reduction 0 with 40 rules applied. Total rules applied 160 place count 3187 transition count 7206
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 200 place count 3147 transition count 7166
Iterating global reduction 0 with 40 rules applied. Total rules applied 240 place count 3147 transition count 7166
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 271 place count 3116 transition count 7104
Iterating global reduction 0 with 31 rules applied. Total rules applied 302 place count 3116 transition count 7104
Applied a total of 302 rules in 3082 ms. Remains 3116 /3267 variables (removed 151) and now considering 7104/7286 (removed 182) transitions.
[2025-06-03 19:59:34] [INFO ] Flow matrix only has 6504 transitions (discarded 600 similar events)
// Phase 1: matrix 6504 rows 3116 cols
[2025-06-03 19:59:34] [INFO ] Computed 57 invariants in 225 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:59:42] [INFO ] Implicit Places using invariants in 8849 ms returned []
[2025-06-03 19:59:42] [INFO ] Flow matrix only has 6504 transitions (discarded 600 similar events)
[2025-06-03 19:59:42] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 19:59:47] [INFO ] State equation strengthened by 2611 read => feed constraints.
[2025-06-03 20:00:18] [INFO ] Performed 319/3116 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:00:52] [INFO ] Performed 773/3116 implicitness test of which 0 returned IMPLICIT in 63 seconds.
[2025-06-03 20:01:24] [INFO ] Performed 1097/3116 implicitness test of which 0 returned IMPLICIT in 95 seconds.
[2025-06-03 20:01:54] [INFO ] Performed 1282/3116 implicitness test of which 0 returned IMPLICIT in 125 seconds.
[2025-06-03 20:01:54] [INFO ] Timeout of Implicit test with SMT after 125 seconds.
[2025-06-03 20:01:54] [INFO ] Implicit Places using invariants and state equation in 131528 ms returned []
Implicit Place search using SMT with State Equation took 140391 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3116/3435 places, 7104/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 158155 ms. Remains : 3116/3435 places, 7104/7464 transitions.
[2025-06-03 20:01:54] [INFO ] Flatten gal took : 192 ms
[2025-06-03 20:01:54] [INFO ] Flatten gal took : 307 ms
[2025-06-03 20:01:55] [INFO ] Input system was already deterministic with 7104 transitions.
[2025-06-03 20:01:55] [INFO ] Flatten gal took : 248 ms
[2025-06-03 20:01:56] [INFO ] Flatten gal took : 309 ms
[2025-06-03 20:01:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality23768336941861.gal : 49 ms
[2025-06-03 20:01:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality17720208474820440622.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/CTLCardinality23768336941861.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17720208474820440622.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 -...279
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:02:26] [INFO ] Flatten gal took : 337 ms
[2025-06-03 20:02:26] [INFO ] Applying decomposition
[2025-06-03 20:02:26] [INFO ] Flatten gal took : 310 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/graph11813678030882583994.txt' '-o' '/tmp/graph11813678030882583994.bin' '-w' '/tmp/graph11813678030882583994.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11813678030882583994.bin' '-l' '-1' '-v' '-w' '/tmp/graph11813678030882583994.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:02:27] [INFO ] Decomposing Gal with order
[2025-06-03 20:02:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:02:28] [INFO ] Removed a total of 5892 redundant transitions.
[2025-06-03 20:02:28] [INFO ] Flatten gal took : 797 ms
[2025-06-03 20:02:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 338 labels/synchronizations in 118 ms.
[2025-06-03 20:02:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality11949319559498763865.gal : 39 ms
[2025-06-03 20:02:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality13115890962088045354.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/CTLCardinality11949319559498763865.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13115890962088045354.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 : 3435/3435 places, 7464/7464 transitions.
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 55 place count 3380 transition count 7400
Iterating global reduction 0 with 55 rules applied. Total rules applied 110 place count 3380 transition count 7400
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 155 place count 3335 transition count 7332
Iterating global reduction 0 with 45 rules applied. Total rules applied 200 place count 3335 transition count 7332
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 221 place count 3314 transition count 7290
Iterating global reduction 0 with 21 rules applied. Total rules applied 242 place count 3314 transition count 7290
Applied a total of 242 rules in 2417 ms. Remains 3314 /3435 variables (removed 121) and now considering 7290/7464 (removed 174) transitions.
[2025-06-03 20:03:01] [INFO ] Flow matrix only has 6690 transitions (discarded 600 similar events)
// Phase 1: matrix 6690 rows 3314 cols
[2025-06-03 20:03:01] [INFO ] Computed 102 invariants in 185 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:03:13] [INFO ] Implicit Places using invariants in 11775 ms returned [10, 322, 582, 583, 800, 909, 988, 989, 1079, 1142, 1215, 1265, 1323, 1350, 1365, 1410, 1424, 1445, 1446, 1480, 1481, 1541, 1578, 1604, 1618, 1653, 1688, 1711, 1728, 1774, 1801, 1830, 1864, 1865, 2100, 2147, 2235, 2236, 2310, 2311, 2405, 2607, 2767, 2965]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 11804 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3270/3435 places, 7290/7464 transitions.
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 38 place count 3232 transition count 7252
Iterating global reduction 0 with 38 rules applied. Total rules applied 76 place count 3232 transition count 7252
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 114 place count 3194 transition count 7214
Iterating global reduction 0 with 38 rules applied. Total rules applied 152 place count 3194 transition count 7214
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 190 place count 3156 transition count 7176
Iterating global reduction 0 with 38 rules applied. Total rules applied 228 place count 3156 transition count 7176
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 258 place count 3126 transition count 7116
Iterating global reduction 0 with 30 rules applied. Total rules applied 288 place count 3126 transition count 7116
Applied a total of 288 rules in 3099 ms. Remains 3126 /3270 variables (removed 144) and now considering 7116/7290 (removed 174) transitions.
[2025-06-03 20:03:16] [INFO ] Flow matrix only has 6516 transitions (discarded 600 similar events)
// Phase 1: matrix 6516 rows 3126 cols
[2025-06-03 20:03:16] [INFO ] Computed 58 invariants in 281 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:03:25] [INFO ] Implicit Places using invariants in 8368 ms returned []
[2025-06-03 20:03:25] [INFO ] Flow matrix only has 6516 transitions (discarded 600 similar events)
[2025-06-03 20:03:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:03:28] [INFO ] State equation strengthened by 2614 read => feed constraints.
[2025-06-03 20:03:59] [INFO ] Performed 395/3126 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:04:29] [INFO ] Performed 587/3126 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 20:04:59] [INFO ] Performed 893/3126 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 20:05:29] [INFO ] Performed 1100/3126 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-03 20:05:29] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-03 20:05:29] [INFO ] Implicit Places using invariants and state equation in 124740 ms returned []
Implicit Place search using SMT with State Equation took 133121 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3126/3435 places, 7116/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 150444 ms. Remains : 3126/3435 places, 7116/7464 transitions.
[2025-06-03 20:05:30] [INFO ] Flatten gal took : 310 ms
[2025-06-03 20:05:30] [INFO ] Flatten gal took : 366 ms
[2025-06-03 20:05:30] [INFO ] Input system was already deterministic with 7116 transitions.
[2025-06-03 20:05:31] [INFO ] Flatten gal took : 255 ms
[2025-06-03 20:05:31] [INFO ] Flatten gal took : 340 ms
[2025-06-03 20:05:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality11661829393556794866.gal : 53 ms
[2025-06-03 20:05:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality10385004842057531538.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/CTLCardinality11661829393556794866.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10385004842057531538.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:06:01] [INFO ] Flatten gal took : 232 ms
[2025-06-03 20:06:01] [INFO ] Applying decomposition
[2025-06-03 20:06:02] [INFO ] Flatten gal took : 242 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/graph551198586508549177.txt' '-o' '/tmp/graph551198586508549177.bin' '-w' '/tmp/graph551198586508549177.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph551198586508549177.bin' '-l' '-1' '-v' '-w' '/tmp/graph551198586508549177.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:06:02] [INFO ] Decomposing Gal with order
[2025-06-03 20:06:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:06:03] [INFO ] Removed a total of 6103 redundant transitions.
[2025-06-03 20:06:04] [INFO ] Flatten gal took : 725 ms
[2025-06-03 20:06:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 325 labels/synchronizations in 118 ms.
[2025-06-03 20:06:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality346369532618178285.gal : 40 ms
[2025-06-03 20:06:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality14086528648281946360.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/CTLCardinality346369532618178285.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14086528648281946360.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 : 3435/3435 places, 7464/7464 transitions.
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 60 place count 3375 transition count 7395
Iterating global reduction 0 with 60 rules applied. Total rules applied 120 place count 3375 transition count 7395
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 170 place count 3325 transition count 7318
Iterating global reduction 0 with 50 rules applied. Total rules applied 220 place count 3325 transition count 7318
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 242 place count 3303 transition count 7274
Iterating global reduction 0 with 22 rules applied. Total rules applied 264 place count 3303 transition count 7274
Applied a total of 264 rules in 2729 ms. Remains 3303 /3435 variables (removed 132) and now considering 7274/7464 (removed 190) transitions.
[2025-06-03 20:06:37] [INFO ] Flow matrix only has 6674 transitions (discarded 600 similar events)
// Phase 1: matrix 6674 rows 3303 cols
[2025-06-03 20:06:37] [INFO ] Computed 102 invariants in 200 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:06:49] [INFO ] Implicit Places using invariants in 11493 ms returned [10, 190, 320, 580, 581, 798, 907, 908, 984, 985, 1075, 1138, 1211, 1261, 1319, 1346, 1361, 1406, 1420, 1441, 1442, 1476, 1477, 1510, 1535, 1572, 1598, 1612, 1647, 1682, 1705, 1722, 1768, 1795, 1824, 1858, 1859, 1983, 2091, 2138, 2226, 2227, 2301, 2302, 2396, 2598, 2758, 2835, 2954]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 11501 ms to find 49 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3254/3435 places, 7274/7464 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 3211 transition count 7231
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 3211 transition count 7231
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 3168 transition count 7188
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 3168 transition count 7188
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 3125 transition count 7145
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 3125 transition count 7145
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 293 place count 3090 transition count 7075
Iterating global reduction 0 with 35 rules applied. Total rules applied 328 place count 3090 transition count 7075
Applied a total of 328 rules in 2844 ms. Remains 3090 /3254 variables (removed 164) and now considering 7075/7274 (removed 199) transitions.
[2025-06-03 20:06:51] [INFO ] Flow matrix only has 6475 transitions (discarded 600 similar events)
// Phase 1: matrix 6475 rows 3090 cols
[2025-06-03 20:06:52] [INFO ] Computed 53 invariants in 277 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:07:02] [INFO ] Implicit Places using invariants in 10127 ms returned []
[2025-06-03 20:07:02] [INFO ] Flow matrix only has 6475 transitions (discarded 600 similar events)
[2025-06-03 20:07:02] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:07:06] [INFO ] State equation strengthened by 2604 read => feed constraints.
[2025-06-03 20:07:36] [INFO ] Performed 319/3090 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:08:06] [INFO ] Performed 720/3090 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 20:08:37] [INFO ] Performed 948/3090 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 20:09:07] [INFO ] Performed 1204/3090 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-03 20:09:07] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-03 20:09:07] [INFO ] Implicit Places using invariants and state equation in 125017 ms returned []
Implicit Place search using SMT with State Equation took 135162 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3090/3435 places, 7075/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 152237 ms. Remains : 3090/3435 places, 7075/7464 transitions.
[2025-06-03 20:09:07] [INFO ] Flatten gal took : 181 ms
[2025-06-03 20:09:07] [INFO ] Flatten gal took : 213 ms
[2025-06-03 20:09:07] [INFO ] Input system was already deterministic with 7075 transitions.
[2025-06-03 20:09:08] [INFO ] Flatten gal took : 272 ms
[2025-06-03 20:09:08] [INFO ] Flatten gal took : 312 ms
[2025-06-03 20:09:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality15884631298028196464.gal : 45 ms
[2025-06-03 20:09:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality18093207329300697956.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/CTLCardinality15884631298028196464.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18093207329300697956.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:09:38] [INFO ] Flatten gal took : 300 ms
[2025-06-03 20:09:38] [INFO ] Applying decomposition
[2025-06-03 20:09:39] [INFO ] Flatten gal took : 361 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/graph13424089318206042658.txt' '-o' '/tmp/graph13424089318206042658.bin' '-w' '/tmp/graph13424089318206042658.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13424089318206042658.bin' '-l' '-1' '-v' '-w' '/tmp/graph13424089318206042658.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:09:39] [INFO ] Decomposing Gal with order
[2025-06-03 20:09:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:09:40] [INFO ] Removed a total of 5679 redundant transitions.
[2025-06-03 20:09:40] [INFO ] Flatten gal took : 660 ms
[2025-06-03 20:09:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 4965 labels/synchronizations in 310 ms.
[2025-06-03 20:09:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality9461555250991787364.gal : 52 ms
[2025-06-03 20:09:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality1774837110265249042.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/CTLCardinality9461555250991787364.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1774837110265249042.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 3376 transition count 7396
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 3376 transition count 7396
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 167 place count 3327 transition count 7320
Iterating global reduction 0 with 49 rules applied. Total rules applied 216 place count 3327 transition count 7320
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 237 place count 3306 transition count 7278
Iterating global reduction 0 with 21 rules applied. Total rules applied 258 place count 3306 transition count 7278
Applied a total of 258 rules in 2576 ms. Remains 3306 /3435 variables (removed 129) and now considering 7278/7464 (removed 186) transitions.
[2025-06-03 20:10:14] [INFO ] Flow matrix only has 6678 transitions (discarded 600 similar events)
// Phase 1: matrix 6678 rows 3306 cols
[2025-06-03 20:10:14] [INFO ] Computed 102 invariants in 172 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:10:26] [INFO ] Implicit Places using invariants in 12643 ms returned [10, 190, 320, 580, 581, 798, 907, 908, 984, 985, 1075, 1138, 1211, 1261, 1319, 1346, 1361, 1406, 1420, 1441, 1442, 1476, 1513, 1538, 1575, 1601, 1615, 1650, 1685, 1708, 1725, 1771, 1798, 1827, 1861, 1862, 1986, 2094, 2141, 2229, 2230, 2304, 2305, 2399, 2601, 2761, 2838, 2957]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 12650 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3258/3435 places, 7278/7464 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 3216 transition count 7236
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 3216 transition count 7236
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 126 place count 3174 transition count 7194
Iterating global reduction 0 with 42 rules applied. Total rules applied 168 place count 3174 transition count 7194
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 210 place count 3132 transition count 7152
Iterating global reduction 0 with 42 rules applied. Total rules applied 252 place count 3132 transition count 7152
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 286 place count 3098 transition count 7084
Iterating global reduction 0 with 34 rules applied. Total rules applied 320 place count 3098 transition count 7084
Applied a total of 320 rules in 3041 ms. Remains 3098 /3258 variables (removed 160) and now considering 7084/7278 (removed 194) transitions.
[2025-06-03 20:10:29] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
// Phase 1: matrix 6484 rows 3098 cols
[2025-06-03 20:10:29] [INFO ] Computed 54 invariants in 179 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:10:37] [INFO ] Implicit Places using invariants in 7895 ms returned []
[2025-06-03 20:10:37] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
[2025-06-03 20:10:37] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:10:42] [INFO ] State equation strengthened by 2606 read => feed constraints.
[2025-06-03 20:11:12] [INFO ] Performed 463/3098 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:11:49] [INFO ] Performed 773/3098 implicitness test of which 0 returned IMPLICIT in 66 seconds.
[2025-06-03 20:12:19] [INFO ] Performed 1016/3098 implicitness test of which 0 returned IMPLICIT in 96 seconds.
[2025-06-03 20:12:53] [INFO ] Performed 1206/3098 implicitness test of which 0 returned IMPLICIT in 130 seconds.
[2025-06-03 20:12:53] [INFO ] Timeout of Implicit test with SMT after 130 seconds.
[2025-06-03 20:12:53] [INFO ] Implicit Places using invariants and state equation in 135993 ms returned []
Implicit Place search using SMT with State Equation took 143901 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3098/3435 places, 7084/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 162168 ms. Remains : 3098/3435 places, 7084/7464 transitions.
[2025-06-03 20:12:53] [INFO ] Flatten gal took : 193 ms
[2025-06-03 20:12:54] [INFO ] Flatten gal took : 281 ms
[2025-06-03 20:12:54] [INFO ] Input system was already deterministic with 7084 transitions.
[2025-06-03 20:12:54] [INFO ] Flatten gal took : 218 ms
[2025-06-03 20:12:55] [INFO ] Flatten gal took : 215 ms
[2025-06-03 20:12:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality12081738558247733619.gal : 32 ms
[2025-06-03 20:12:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality9496247572730802545.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/CTLCardinality12081738558247733619.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9496247572730802545.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:13:25] [INFO ] Flatten gal took : 361 ms
[2025-06-03 20:13:25] [INFO ] Applying decomposition
[2025-06-03 20:13:25] [INFO ] Flatten gal took : 267 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/graph2197888651963454986.txt' '-o' '/tmp/graph2197888651963454986.bin' '-w' '/tmp/graph2197888651963454986.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2197888651963454986.bin' '-l' '-1' '-v' '-w' '/tmp/graph2197888651963454986.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:13:26] [INFO ] Decomposing Gal with order
[2025-06-03 20:13:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:13:27] [INFO ] Removed a total of 5662 redundant transitions.
[2025-06-03 20:13:27] [INFO ] Flatten gal took : 799 ms
[2025-06-03 20:13:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 4115 labels/synchronizations in 297 ms.
[2025-06-03 20:13:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality17512795243612934583.gal : 39 ms
[2025-06-03 20:13:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality13961687251513342737.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/CTLCardinality17512795243612934583.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13961687251513342737.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 58 place count 3377 transition count 7397
Iterating global reduction 0 with 58 rules applied. Total rules applied 116 place count 3377 transition count 7397
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 164 place count 3329 transition count 7322
Iterating global reduction 0 with 48 rules applied. Total rules applied 212 place count 3329 transition count 7322
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 232 place count 3309 transition count 7282
Iterating global reduction 0 with 20 rules applied. Total rules applied 252 place count 3309 transition count 7282
Applied a total of 252 rules in 2647 ms. Remains 3309 /3435 variables (removed 126) and now considering 7282/7464 (removed 182) transitions.
[2025-06-03 20:14:00] [INFO ] Flow matrix only has 6682 transitions (discarded 600 similar events)
// Phase 1: matrix 6682 rows 3309 cols
[2025-06-03 20:14:00] [INFO ] Computed 102 invariants in 292 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:14:14] [INFO ] Implicit Places using invariants in 13341 ms returned [10, 190, 320, 580, 581, 798, 907, 987, 988, 1078, 1217, 1267, 1325, 1352, 1367, 1412, 1426, 1447, 1448, 1482, 1483, 1516, 1541, 1578, 1604, 1618, 1653, 1688, 1711, 1728, 1774, 1801, 1830, 1864, 1865, 1989, 2097, 2144, 2232, 2233, 2307, 2308, 2402, 2604, 2764, 2841, 2960]
Discarding 47 places :
Implicit Place search using SMT only with invariants took 13347 ms to find 47 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3262/3435 places, 7282/7464 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 3221 transition count 7241
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 3221 transition count 7241
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 123 place count 3180 transition count 7200
Iterating global reduction 0 with 41 rules applied. Total rules applied 164 place count 3180 transition count 7200
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 205 place count 3139 transition count 7159
Iterating global reduction 0 with 41 rules applied. Total rules applied 246 place count 3139 transition count 7159
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 279 place count 3106 transition count 7093
Iterating global reduction 0 with 33 rules applied. Total rules applied 312 place count 3106 transition count 7093
Applied a total of 312 rules in 3092 ms. Remains 3106 /3262 variables (removed 156) and now considering 7093/7282 (removed 189) transitions.
[2025-06-03 20:14:17] [INFO ] Flow matrix only has 6493 transitions (discarded 600 similar events)
// Phase 1: matrix 6493 rows 3106 cols
[2025-06-03 20:14:17] [INFO ] Computed 55 invariants in 273 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:14:25] [INFO ] Implicit Places using invariants in 8771 ms returned []
[2025-06-03 20:14:25] [INFO ] Flow matrix only has 6493 transitions (discarded 600 similar events)
[2025-06-03 20:14:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:14:30] [INFO ] State equation strengthened by 2608 read => feed constraints.
[2025-06-03 20:15:01] [INFO ] Performed 488/3106 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:15:35] [INFO ] Performed 773/3106 implicitness test of which 0 returned IMPLICIT in 63 seconds.
[2025-06-03 20:16:05] [INFO ] Performed 998/3106 implicitness test of which 0 returned IMPLICIT in 93 seconds.
[2025-06-03 20:16:35] [INFO ] Performed 1280/3106 implicitness test of which 0 returned IMPLICIT in 123 seconds.
[2025-06-03 20:16:35] [INFO ] Timeout of Implicit test with SMT after 123 seconds.
[2025-06-03 20:16:35] [INFO ] Implicit Places using invariants and state equation in 129354 ms returned []
Implicit Place search using SMT with State Equation took 138143 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3106/3435 places, 7093/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 157231 ms. Remains : 3106/3435 places, 7093/7464 transitions.
[2025-06-03 20:16:35] [INFO ] Flatten gal took : 198 ms
[2025-06-03 20:16:35] [INFO ] Flatten gal took : 235 ms
[2025-06-03 20:16:36] [INFO ] Input system was already deterministic with 7093 transitions.
[2025-06-03 20:16:36] [INFO ] Flatten gal took : 222 ms
[2025-06-03 20:16:36] [INFO ] Flatten gal took : 234 ms
[2025-06-03 20:16:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality1033387418002205565.gal : 33 ms
[2025-06-03 20:16:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality15312485806893198465.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/CTLCardinality1033387418002205565.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15312485806893198465.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:17:06] [INFO ] Flatten gal took : 217 ms
[2025-06-03 20:17:06] [INFO ] Applying decomposition
[2025-06-03 20:17:07] [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/graph6736497288767939669.txt' '-o' '/tmp/graph6736497288767939669.bin' '-w' '/tmp/graph6736497288767939669.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6736497288767939669.bin' '-l' '-1' '-v' '-w' '/tmp/graph6736497288767939669.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:17:07] [INFO ] Decomposing Gal with order
[2025-06-03 20:17:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:17:08] [INFO ] Removed a total of 5574 redundant transitions.
[2025-06-03 20:17:09] [INFO ] Flatten gal took : 707 ms
[2025-06-03 20:17:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 305 labels/synchronizations in 68 ms.
[2025-06-03 20:17:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality16300100463210519942.gal : 38 ms
[2025-06-03 20:17:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality16551081245306173251.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/CTLCardinality16300100463210519942.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16551081245306173251.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 : 3435/3435 places, 7464/7464 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 0 with 24 rules applied. Total rules applied 24 place count 3435 transition count 7440
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 48 place count 3411 transition count 7440
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 48 place count 3411 transition count 7396
Deduced a syphon composed of 44 places in 8 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 136 place count 3367 transition count 7396
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 175 place count 3328 transition count 7348
Iterating global reduction 2 with 39 rules applied. Total rules applied 214 place count 3328 transition count 7348
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 243 place count 3299 transition count 7291
Iterating global reduction 2 with 29 rules applied. Total rules applied 272 place count 3299 transition count 7291
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 5 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 338 place count 3266 transition count 7258
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 358 place count 3246 transition count 7238
Iterating global reduction 2 with 20 rules applied. Total rules applied 378 place count 3246 transition count 7238
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 398 place count 3226 transition count 7198
Iterating global reduction 2 with 20 rules applied. Total rules applied 418 place count 3226 transition count 7198
Applied a total of 418 rules in 4353 ms. Remains 3226 /3435 variables (removed 209) and now considering 7198/7464 (removed 266) transitions.
[2025-06-03 20:17:44] [INFO ] Flow matrix only has 6598 transitions (discarded 600 similar events)
// Phase 1: matrix 6598 rows 3226 cols
[2025-06-03 20:17:44] [INFO ] Computed 102 invariants in 176 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:17:54] [INFO ] Implicit Places using invariants in 10515 ms returned [9, 186, 310, 566, 567, 781, 890, 891, 963, 964, 1054, 1113, 1186, 1233, 1291, 1318, 1330, 1375, 1389, 1407, 1408, 1442, 1443, 1471, 1496, 1530, 1555, 1569, 1601, 1634, 1675, 1718, 1743, 1772, 1803, 1804, 1925, 2031, 2078, 2164, 2165, 2236, 2237, 2331, 2529, 2687, 2764, 2881]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 10536 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3178/3435 places, 7198/7464 transitions.
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 38 place count 3140 transition count 7160
Iterating global reduction 0 with 38 rules applied. Total rules applied 76 place count 3140 transition count 7160
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 114 place count 3102 transition count 7122
Iterating global reduction 0 with 38 rules applied. Total rules applied 152 place count 3102 transition count 7122
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 180 place count 3074 transition count 7066
Iterating global reduction 0 with 28 rules applied. Total rules applied 208 place count 3074 transition count 7066
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 216 place count 3070 transition count 7062
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 220 place count 3066 transition count 7058
Iterating global reduction 0 with 4 rules applied. Total rules applied 224 place count 3066 transition count 7058
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 230 place count 3060 transition count 7046
Iterating global reduction 0 with 6 rules applied. Total rules applied 236 place count 3060 transition count 7046
Applied a total of 236 rules in 4479 ms. Remains 3060 /3178 variables (removed 118) and now considering 7046/7198 (removed 152) transitions.
[2025-06-03 20:17:59] [INFO ] Flow matrix only has 6446 transitions (discarded 600 similar events)
// Phase 1: matrix 6446 rows 3060 cols
[2025-06-03 20:17:59] [INFO ] Computed 54 invariants in 309 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:18:07] [INFO ] Implicit Places using invariants in 8659 ms returned []
[2025-06-03 20:18:07] [INFO ] Flow matrix only has 6446 transitions (discarded 600 similar events)
[2025-06-03 20:18:07] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:18:12] [INFO ] State equation strengthened by 2606 read => feed constraints.
[2025-06-03 20:18:42] [INFO ] Performed 555/3060 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:19:14] [INFO ] Performed 936/3060 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2025-06-03 20:19:45] [INFO ] Performed 1223/3060 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2025-06-03 20:20:16] [INFO ] Performed 1448/3060 implicitness test of which 0 returned IMPLICIT in 123 seconds.
[2025-06-03 20:20:16] [INFO ] Timeout of Implicit test with SMT after 123 seconds.
[2025-06-03 20:20:16] [INFO ] Implicit Places using invariants and state equation in 128124 ms returned []
Implicit Place search using SMT with State Equation took 136787 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3060/3435 places, 7046/7464 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 156156 ms. Remains : 3060/3435 places, 7046/7464 transitions.
[2025-06-03 20:20:16] [INFO ] Flatten gal took : 239 ms
[2025-06-03 20:20:16] [INFO ] Flatten gal took : 208 ms
[2025-06-03 20:20:16] [INFO ] Input system was already deterministic with 7046 transitions.
[2025-06-03 20:20:17] [INFO ] Flatten gal took : 175 ms
[2025-06-03 20:20:17] [INFO ] Flatten gal took : 208 ms
[2025-06-03 20:20:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality11894239454457270196.gal : 31 ms
[2025-06-03 20:20:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality8873100339974202066.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/CTLCardinality11894239454457270196.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8873100339974202066.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:20:47] [INFO ] Flatten gal took : 173 ms
[2025-06-03 20:20:47] [INFO ] Applying decomposition
[2025-06-03 20:20:47] [INFO ] Flatten gal took : 181 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/graph2251096893996051041.txt' '-o' '/tmp/graph2251096893996051041.bin' '-w' '/tmp/graph2251096893996051041.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2251096893996051041.bin' '-l' '-1' '-v' '-w' '/tmp/graph2251096893996051041.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:20:48] [INFO ] Decomposing Gal with order
[2025-06-03 20:20:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:20:49] [INFO ] Removed a total of 6599 redundant transitions.
[2025-06-03 20:20:50] [INFO ] Flatten gal took : 1534 ms
[2025-06-03 20:20:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 5486 labels/synchronizations in 355 ms.
[2025-06-03 20:20:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality2147858398026160265.gal : 46 ms
[2025-06-03 20:20:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality2406215034484172303.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/CTLCardinality2147858398026160265.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2406215034484172303.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3435/3435 places, 7464/7464 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 3379 transition count 7399
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 3379 transition count 7399
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 158 place count 3333 transition count 7329
Iterating global reduction 0 with 46 rules applied. Total rules applied 204 place count 3333 transition count 7329
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 225 place count 3312 transition count 7287
Iterating global reduction 0 with 21 rules applied. Total rules applied 246 place count 3312 transition count 7287
Applied a total of 246 rules in 2410 ms. Remains 3312 /3435 variables (removed 123) and now considering 7287/7464 (removed 177) transitions.
[2025-06-03 20:21:23] [INFO ] Flow matrix only has 6687 transitions (discarded 600 similar events)
// Phase 1: matrix 6687 rows 3312 cols
[2025-06-03 20:21:23] [INFO ] Computed 102 invariants in 156 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:21:34] [INFO ] Implicit Places using invariants in 11580 ms returned [10, 190, 320, 581, 800, 909, 910, 987, 1145, 1218, 1268, 1326, 1353, 1368, 1413, 1427, 1448, 1449, 1483, 1484, 1517, 1542, 1579, 1605, 1619, 1654, 1689, 1712, 1729, 1775, 1833, 1867, 1868, 1992, 2100, 2147, 2235, 2236, 2310, 2311, 2405, 2607, 2767, 2844, 2963]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 11585 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3267/3435 places, 7287/7464 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 3228 transition count 7248
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 3228 transition count 7248
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 117 place count 3189 transition count 7209
Iterating global reduction 0 with 39 rules applied. Total rules applied 156 place count 3189 transition count 7209
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 195 place count 3150 transition count 7170
Iterating global reduction 0 with 39 rules applied. Total rules applied 234 place count 3150 transition count 7170
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 265 place count 3119 transition count 7108
Iterating global reduction 0 with 31 rules applied. Total rules applied 296 place count 3119 transition count 7108
Applied a total of 296 rules in 3012 ms. Remains 3119 /3267 variables (removed 148) and now considering 7108/7287 (removed 179) transitions.
[2025-06-03 20:21:37] [INFO ] Flow matrix only has 6508 transitions (discarded 600 similar events)
// Phase 1: matrix 6508 rows 3119 cols
[2025-06-03 20:21:37] [INFO ] Computed 57 invariants in 174 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:21:46] [INFO ] Implicit Places using invariants in 9114 ms returned []
[2025-06-03 20:21:46] [INFO ] Flow matrix only has 6508 transitions (discarded 600 similar events)
[2025-06-03 20:21:46] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 20:21:50] [INFO ] State equation strengthened by 2612 read => feed constraints.
[2025-06-03 20:22:21] [INFO ] Performed 561/3119 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 20:22:53] [INFO ] Performed 779/3119 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2025-06-03 20:23:24] [INFO ] Performed 954/3119 implicitness test of which 0 returned IMPLICIT in 93 seconds.
[2025-06-03 20:23:54] [INFO ] Performed 1168/3119 implicitness test of which 0 returned IMPLICIT in 123 seconds.
[2025-06-03 20:23:54] [INFO ] Timeout of Implicit test with SMT after 123 seconds.
[2025-06-03 20:23:54] [INFO ] Implicit Places using invariants and state equation in 127527 ms returned []
Implicit Place search using SMT with State Equation took 136648 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3119/3435 places, 7108/7464 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 153656 ms. Remains : 3119/3435 places, 7108/7464 transitions.
[2025-06-03 20:23:54] [INFO ] Flatten gal took : 314 ms
[2025-06-03 20:23:55] [INFO ] Flatten gal took : 366 ms
[2025-06-03 20:23:55] [INFO ] Input system was already deterministic with 7108 transitions.
[2025-06-03 20:23:55] [INFO ] Flatten gal took : 220 ms
[2025-06-03 20:23:55] [INFO ] Flatten gal took : 217 ms
[2025-06-03 20:23:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality11501564647298404864.gal : 30 ms
[2025-06-03 20:23:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality12982662885125450708.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/CTLCardinality11501564647298404864.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12982662885125450708.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:24:26] [INFO ] Flatten gal took : 366 ms
[2025-06-03 20:24:26] [INFO ] Applying decomposition
[2025-06-03 20:24:26] [INFO ] Flatten gal took : 349 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/graph13548719954497987708.txt' '-o' '/tmp/graph13548719954497987708.bin' '-w' '/tmp/graph13548719954497987708.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13548719954497987708.bin' '-l' '-1' '-v' '-w' '/tmp/graph13548719954497987708.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:24:27] [INFO ] Decomposing Gal with order
[2025-06-03 20:24:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:24:28] [INFO ] Removed a total of 5666 redundant transitions.
[2025-06-03 20:24:28] [INFO ] Flatten gal took : 796 ms
[2025-06-03 20:24:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 329 labels/synchronizations in 78 ms.
[2025-06-03 20:24:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality12084649544765125634.gal : 41 ms
[2025-06-03 20:24:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality4305051881002123340.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/CTLCardinality12084649544765125634.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4305051881002123340.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 20:24:59] [INFO ] Flatten gal took : 364 ms
[2025-06-03 20:25:00] [INFO ] Flatten gal took : 380 ms
[2025-06-03 20:25:00] [INFO ] Applying decomposition
[2025-06-03 20:25:00] [INFO ] Flatten gal took : 237 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/graph3468035581442881641.txt' '-o' '/tmp/graph3468035581442881641.bin' '-w' '/tmp/graph3468035581442881641.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3468035581442881641.bin' '-l' '-1' '-v' '-w' '/tmp/graph3468035581442881641.weights' '-q' '0' '-e' '0.001'
[2025-06-03 20:25:00] [INFO ] Decomposing Gal with order
[2025-06-03 20:25:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 20:25:02] [INFO ] Removed a total of 6926 redundant transitions.
[2025-06-03 20:25:02] [INFO ] Flatten gal took : 891 ms
[2025-06-03 20:25:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 359 labels/synchronizations in 121 ms.
[2025-06-03 20:25:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality11656639357599147633.gal : 42 ms
[2025-06-03 20:25:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality3791807919885320945.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/CTLCardinality11656639357599147633.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3791807919885320945.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C02"
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-S24C02, 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-174876524300337"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C02.tgz
mv MultiCrashLeafsetExtension-PT-S24C02 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 ;