About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C07
| 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?TF?F?TTT???T?F | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524600465.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-S32C07, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524600465
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K 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.9K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K 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.9K 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 26M 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-S32C07-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1749202321626
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-S32C07
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-06-06 09:32:04] [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-06 09:32:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 09:32:05] [INFO ] Load time of PNML (sax parser for PT used): 1603 ms
[2025-06-06 09:32:05] [INFO ] Transformed 25134 places.
[2025-06-06 09:32:06] [INFO ] Transformed 38317 transitions.
[2025-06-06 09:32:06] [INFO ] Parsed PT model containing 25134 places and 38317 transitions and 148438 arcs in 2079 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 32 ms.
Support contains 147 out of 25134 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 25134/25134 places, 38317/38317 transitions.
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 0 with 50 rules applied. Total rules applied 50 place count 25084 transition count 38317
Applied a total of 50 rules in 3226 ms. Remains 25084 /25134 variables (removed 50) and now considering 38317/38317 (removed 0) transitions.
[2025-06-06 09:32:10] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
// Phase 1: matrix 37261 rows 25084 cols
[2025-06-06 09:32:20] [INFO ] Computed 1633 invariants in 9733 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:33:01] [INFO ] Performed 3900/25084 implicitness test of which 133 returned IMPLICIT in 31 seconds.
[2025-06-06 09:33:34] [INFO ] Performed 7027/25084 implicitness test of which 265 returned IMPLICIT in 64 seconds.
[2025-06-06 09:34:04] [INFO ] Performed 9046/25084 implicitness test of which 366 returned IMPLICIT in 94 seconds.
[2025-06-06 09:34:34] [INFO ] Performed 11530/25084 implicitness test of which 501 returned IMPLICIT in 124 seconds.
[2025-06-06 09:35:00] [INFO ] Implicit Places using invariants in 169995 ms returned [4, 8, 26, 46, 68, 92, 118, 146, 176, 208, 242, 278, 316, 356, 398, 442, 488, 535, 581, 625, 667, 707, 745, 781, 815, 847, 877, 905, 931, 955, 977, 997, 1015, 1061, 1068, 1085, 1103, 1123, 1145, 1169, 1195, 1223, 1253, 1285, 1319, 1355, 1393, 1433, 1475, 1519, 1564, 1608, 1650, 1690, 1728, 1764, 1798, 1830, 1860, 1888, 1914, 1938, 1960, 1980, 1998, 2015, 2061, 2068, 2085, 2102, 2120, 2140, 2162, 2186, 2212, 2240, 2270, 2302, 2336, 2372, 2410, 2450, 2492, 2535, 2577, 2617, 2655, 2691, 2725, 2757, 2787, 2815, 2841, 2865, 2887, 2907, 2925, 2942, 2959, 3005, 3012, 3029, 3046, 3063, 3081, 3101, 3123, 3147, 3173, 3201, 3231, 3263, 3297, 3333, 3371, 3411, 3452, 3492, 3530, 3566, 3600, 3632, 3662, 3690, 3716, 3740, 3762, 3782, 3800, 3817, 3834, 3851, 3897, 3904, 3921, 3938, 3955, 3972, 3990, 4010, 4032, 4056, 4082, 4110, 4140, 4172, 4206, 4242, 4280, 4319, 4357, 4393, 4427, 4459, 4489, 4517, 4543, 4567, 4589, 4609, 4627, 4644, 4661, 4678, 4695, 4741, 4748, 4765, 4782, 4799, 4816, 4833, 4851, 4871, 4893, 4917, 4943, 4971, 5001, 5033, 5067, 5103, 5140, 5176, 5210, 5242, 5272, 5300, 5326, 5350, 5372, 5392, 5410, 5427, 5444, 5461, 5478, 5495, 5541, 5548, 5565, 5582, 5599, 5616, 5633, 5650, 5668, 5688, 5710, 5734, 5760, 5788, 5818, 5850, 5884, 5919, 5953, 5985, 6015, 6043, 6069, 6093, 6115, 6135, 6153, 6170, 6187, 6204, 6221, 6238, 6255, 6301, 6308, 6325, 6342, 6359, 6376, 6393, 6410, 6427, 6445, 6465, 6487, 6511, 6537, 6565, 6595, 6627, 6660, 6692, 6722, 6750, 6776, 6800, 6822, 6842, 6860, 6877, 6894, 6911, 6928, 6945, 6962, 6979, 7025, 7032, 7049, 7066, 7083, 7100, 7117, 7134, 7151, 7168, 7186, 7206, 7228, 7252, 7278, 7306, 7336, 7367, 7397, 7425, 7451, 7475, 7497, 7517, 7535, 7552, 7569, 7586, 7603, 7620, 7637, 7654, 7671, 7717, 7724, 7741, 7758, 7775, 7792, 7809, 7826, 7843, 7860, 7877, 7895, 7915, 7937, 7961, 7987, 8015, 8044, 8072, 8098, 8122, 8144, 8164, 8182, 8199, 8216, 8233, 8250, 8267, 8284, 8301, 8318, 8335, 8381, 8388, 8405, 8422, 8439, 8456, 8473, 8490, 8507, 8524, 8541, 8558, 8576, 8596, 8618, 8642, 8668, 8695, 8721, 8745, 8767, 8787, 8805, 8822, 8839, 8856, 8873, 8890, 8907, 8924, 8941, 8958, 8975, 9021, 9028, 9045, 9062, 9079, 9096, 9113, 9130, 9147, 9164, 9181, 9198, 9215, 9233, 9253, 9275, 9299, 9324, 9348, 9370, 9390, 9408, 9425, 9442, 9459, 9476, 9493, 9527, 9544, 9561, 9578, 9595, 9641, 9648, 9665, 9682, 9699, 9716, 9733, 9750, 9767, 9784, 9801, 9818, 9835, 9852, 9870, 9890, 9912, 9935, 9957, 9977, 9995, 10012, 10029, 10046, 10063, 10080, 10097, 10114, 10131, 10148, 10165, 10182, 10199, 10245, 10252, 10269, 10286, 10303, 10320, 10337, 10354, 10371, 10388, 10405, 10422, 10439, 10456, 10473, 10491, 10511, 10532, 10552, 10570, 10587, 10604, 10621, 10638, 10655, 10672, 10689, 10706, 10723, 10740, 10757, 10774, 10791, 10837, 10844, 10861, 10878, 10895, 10912, 10929, 10946, 10963, 10997, 11014, 11031, 11048, 11065, 11082, 11100, 11119, 11137, 11154, 11171, 11188, 11205, 11222, 11239, 11256, 11273, 11290, 11307, 11324, 11341, 11358, 11375, 11421, 11428, 11445, 11462, 11479, 11496, 11513, 11530, 11547, 11564, 11581, 11598, 11615, 11632, 11649, 11666, 11683, 11700, 11717, 11734, 11751, 11768, 11785, 11802, 11819, 11836, 11853, 11870, 11887, 11904, 11921, 11938, 11955, 12001, 12003, 12007, 12024, 12041, 12058, 12075, 12092, 12109, 12126, 12143, 12160, 12177, 12194, 12211, 12228, 12245, 12262, 12279, 12296, 12313, 12330, 12347, 12364, 12381, 12398, 12415, 12432, 12449, 12466, 12483, 12500, 12517, 12534, 12580, 12587, 12604, 12621, 12638, 12655, 12672, 12689, 12706, 12723, 12740, 12757, 12774, 12791, 12808, 12825, 12842, 12859, 12876, 12893, 12910, 12927, 12944, 12961, 12978, 12995, 13012, 13029, 13046, 13063, 13080, 13097, 13114, 13160, 13167, 13184, 13201, 13218, 13235, 13252, 13269, 13286, 13303, 13320, 13337, 13354, 13371, 13388, 13405, 13422, 13440, 13459, 13477, 13494, 13511, 13528, 13545, 13562, 13579, 13596, 13613, 13630, 13647, 13664, 13681, 13698, 13744, 13751, 13768, 13785, 13802]
[2025-06-06 09:35:00] [INFO ] Actually due to overlaps returned [1061, 2061, 3005, 3897, 4741, 5541, 6301, 7025, 7717, 8381, 9021, 9641, 10245, 10837, 11421, 12001, 12580, 13160, 13744, 4, 625, 667, 707, 745, 781, 815, 847, 877, 905, 931, 955, 977, 997, 1015, 1650, 1690, 1728, 1764, 1798, 1830, 1860, 1888, 1914, 1938, 1960, 1980, 1998, 2015, 2617, 2655, 2691, 2725, 2757, 2787, 2815, 2841, 2865, 2887, 2907, 2925, 2942, 2959, 3530, 3566, 3600, 3632, 3662, 3690, 3716, 3740, 3762, 3782, 3800, 3817, 3834, 3851, 4393, 4427, 4459, 4489, 4517, 4543, 4567, 4589, 4609, 4627, 4644, 4661, 4678, 4695, 5210, 5242, 5272, 5300, 5326, 5350, 5372, 5392, 5410, 5427, 5444, 5461, 5478, 5495, 5985, 6015, 6043, 6069, 6093, 6115, 6135, 6153, 6170, 6187, 6204, 6221, 6238, 6255, 6722, 6750, 6776, 6800, 6822, 6842, 6860, 6877, 6894, 6911, 6928, 6945, 6962, 6979, 7425, 7451, 7475, 7497, 7517, 7535, 7552, 7569, 7586, 7603, 7620, 7637, 7654, 7671, 8098, 8122, 8144, 8164, 8182, 8199, 8216, 8233, 8250, 8267, 8284, 8301, 8318, 8335, 8745, 8767, 8787, 8805, 8822, 8839, 8856, 8873, 8890, 8907, 8924, 8941, 8958, 8975, 9370, 9390, 9408, 9425, 9442, 9459, 9476, 9493, 9527, 9544, 9561, 9578, 9595, 9977, 9995, 10012, 10029, 10046, 10063, 10080, 10097, 10114, 10131, 10148, 10165, 10182, 10199, 10570, 10587, 10604, 10621, 10638, 10655, 10672, 10689, 10706, 10723, 10740, 10757, 10774, 10791, 11154, 11171, 11188, 11205, 11222, 11239, 11256, 11273, 11290, 11307, 11324, 11341, 11358, 11375, 11734, 11751, 11768, 11785, 11802, 11819, 11836, 11853, 11870, 11887, 11904, 11921, 11938, 11955, 12003, 12313, 12330, 12347, 12364, 12381, 12398, 12415, 12432, 12449, 12466, 12483, 12500, 12517, 12534, 12893, 12910, 12927, 12944, 12961, 12978, 12995, 13012, 13029, 13046, 13063, 13080, 13097, 13114, 13477, 13494, 13511, 13528, 13545, 13562, 13579, 13596, 13613, 13630, 13647, 13664, 13681, 13698]
Discarding 286 places :
Implicit Place search using SMT only with invariants took 170105 ms to find 286 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 24798/25134 places, 38317/38317 transitions.
Applied a total of 0 rules in 2761 ms. Remains 24798 /24798 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 176126 ms. Remains : 24798/25134 places, 38317/38317 transitions.
Support contains 147 out of 24798 places after structural reductions.
[2025-06-06 09:35:05] [INFO ] Flatten gal took : 2012 ms
[2025-06-06 09:35:07] [INFO ] Flatten gal took : 1227 ms
[2025-06-06 09:35:09] [INFO ] Input system was already deterministic with 38317 transitions.
Support contains 145 out of 24798 places (down from 147) after GAL structural reductions.
RANDOM walk for 40000 steps (556 resets) in 6399 ms. (6 steps per ms) remains 67/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 67/67 properties
[2025-06-06 09:35:12] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
// Phase 1: matrix 37261 rows 24798 cols
[2025-06-06 09:35:21] [INFO ] Computed 1347 invariants in 8486 ms
[2025-06-06 09:35:21] [INFO ] State equation strengthened by 12322 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/121 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 67 unsolved
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp62 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp77 is UNSAT
At refinement iteration 1 (OVERLAPS) 16285/16406 variables, 4/4 constraints. Problems are: Problem set: 34 solved, 33 unsolved
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp63 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/16406 variables, 4/8 constraints. Problems are: Problem set: 36 solved, 31 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16406/62059 variables, and 8 constraints, problems are : Problem set: 36 solved, 31 unsolved in 5062 ms.
Refiners :[Positive P Invariants (semi-flows): 4/63 constraints, Generalized P Invariants (flows): 4/1284 constraints, State Equation: 0/24798 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 67/67 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 36 solved, 31 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 0/0 constraints. Problems are: Problem set: 36 solved, 31 unsolved
Problem AtomicPropp55 is UNSAT
At refinement iteration 1 (OVERLAPS) 16331/16398 variables, 3/3 constraints. Problems are: Problem set: 37 solved, 30 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/16398 variables, 2/5 constraints. Problems are: Problem set: 37 solved, 30 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16398/62059 variables, and 5 constraints, problems are : Problem set: 37 solved, 30 unsolved in 5746 ms.
Refiners :[Positive P Invariants (semi-flows): 3/63 constraints, Generalized P Invariants (flows): 2/1284 constraints, State Equation: 0/24798 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 0/67 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 20136ms problems are : Problem set: 37 solved, 30 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 62 out of 24798 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 24798/24798 places, 38317/38317 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7349 transitions
Trivial Post-agglo rules discarded 7349 transitions
Performed 7349 trivial Post agglomeration. Transition count delta: 7349
Iterating post reduction 0 with 7349 rules applied. Total rules applied 7349 place count 24798 transition count 30968
Reduce places removed 7349 places and 0 transitions.
Performed 30 Post agglomeration using F-continuation condition.Transition count delta: 30
Iterating post reduction 1 with 7379 rules applied. Total rules applied 14728 place count 17449 transition count 30938
Reduce places removed 30 places and 0 transitions.
Iterating post reduction 2 with 30 rules applied. Total rules applied 14758 place count 17419 transition count 30938
Performed 461 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 461 Pre rules applied. Total rules applied 14758 place count 17419 transition count 30477
Deduced a syphon composed of 461 places in 46 ms
Reduce places removed 461 places and 0 transitions.
Iterating global reduction 3 with 922 rules applied. Total rules applied 15680 place count 16958 transition count 30477
Discarding 6887 places :
Symmetric choice reduction at 3 with 6887 rule applications. Total rules 22567 place count 10071 transition count 23590
Iterating global reduction 3 with 6887 rules applied. Total rules applied 29454 place count 10071 transition count 23590
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 29454 place count 10071 transition count 23588
Deduced a syphon composed of 2 places in 31 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 29458 place count 10069 transition count 23588
Discarding 947 places :
Symmetric choice reduction at 3 with 947 rule applications. Total rules 30405 place count 9122 transition count 16959
Iterating global reduction 3 with 947 rules applied. Total rules applied 31352 place count 9122 transition count 16959
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 21 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 31418 place count 9089 transition count 16926
Free-agglomeration rule (complex) applied 614 times.
Iterating global reduction 3 with 614 rules applied. Total rules applied 32032 place count 9089 transition count 21814
Reduce places removed 614 places and 0 transitions.
Iterating post reduction 3 with 614 rules applied. Total rules applied 32646 place count 8475 transition count 21814
Partial Free-agglomeration rule applied 396 times.
Drop transitions (Partial Free agglomeration) removed 396 transitions
Iterating global reduction 4 with 396 rules applied. Total rules applied 33042 place count 8475 transition count 21814
Applied a total of 33042 rules in 17395 ms. Remains 8475 /24798 variables (removed 16323) and now considering 21814/38317 (removed 16503) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 17398 ms. Remains : 8475/24798 places, 21814/38317 transitions.
RANDOM walk for 40000 steps (939 resets) in 5079 ms. (7 steps per ms) remains 29/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 29/29 properties
Interrupted probabilistic random walk after 8282 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :1 out of 29
Probabilistic random walk after 8282 steps, saw 3936 distinct states, run finished after 3015 ms. (steps per millisecond=2 ) properties seen :1
[2025-06-06 09:35:55] [INFO ] Flow matrix only has 20250 transitions (discarded 1564 similar events)
// Phase 1: matrix 20250 rows 8475 cols
[2025-06-06 09:35:56] [INFO ] Computed 1347 invariants in 1484 ms
[2025-06-06 09:35:56] [INFO ] State equation strengthened by 12142 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/58 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 28 unsolved
Problem AtomicPropp0 is UNSAT
At refinement iteration 1 (OVERLAPS) 6797/6855 variables, 5/5 constraints. Problems are: Problem set: 1 solved, 27 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6855 variables, 1/6 constraints. Problems are: Problem set: 1 solved, 27 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6855 variables, 0/6 constraints. Problems are: Problem set: 1 solved, 27 unsolved
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp66 is UNSAT
Problem AtomicPropp78 is UNSAT
At refinement iteration 4 (OVERLAPS) 1480/8335 variables, 1201/1207 constraints. Problems are: Problem set: 13 solved, 15 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8335 variables, 0/1207 constraints. Problems are: Problem set: 13 solved, 15 unsolved
At refinement iteration 6 (OVERLAPS) 60/8395 variables, 60/1267 constraints. Problems are: Problem set: 13 solved, 15 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8395 variables, 0/1267 constraints. Problems are: Problem set: 13 solved, 15 unsolved
At refinement iteration 8 (OVERLAPS) 80/8475 variables, 80/1347 constraints. Problems are: Problem set: 13 solved, 15 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/8475 variables, 0/1347 constraints. Problems are: Problem set: 13 solved, 15 unsolved
At refinement iteration 10 (OVERLAPS) 20250/28725 variables, 8475/9822 constraints. Problems are: Problem set: 13 solved, 15 unsolved
SMT process timed out in 46842ms, After SMT, problems are : Problem set: 13 solved, 15 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 35 out of 8475 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8475/8475 places, 21814/21814 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 8475 transition count 21809
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 8470 transition count 21809
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 10 place count 8470 transition count 21808
Deduced a syphon composed of 1 places in 19 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 8469 transition count 21808
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 16 place count 8469 transition count 21894
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 20 place count 8465 transition count 21894
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 22 place count 8463 transition count 21892
Iterating global reduction 3 with 2 rules applied. Total rules applied 24 place count 8463 transition count 21892
Partial Free-agglomeration rule applied 21 times.
Drop transitions (Partial Free agglomeration) removed 21 transitions
Iterating global reduction 3 with 21 rules applied. Total rules applied 45 place count 8463 transition count 21892
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 66 place count 8442 transition count 21871
Iterating global reduction 3 with 21 rules applied. Total rules applied 87 place count 8442 transition count 21871
Applied a total of 87 rules in 11088 ms. Remains 8442 /8475 variables (removed 33) and now considering 21871/21814 (removed -57) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11088 ms. Remains : 8442/8475 places, 21871/21814 transitions.
Successfully simplified 50 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-06 09:36:54] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2025-06-06 09:36:54] [INFO ] Flatten gal took : 1158 ms
[2025-06-06 09:36:54] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2023-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-06 09:36:54] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2023-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2023-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C07-CTLCardinality-2025-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-06 09:36:55] [INFO ] Flatten gal took : 1106 ms
[2025-06-06 09:36:57] [INFO ] Input system was already deterministic with 38317 transitions.
Support contains 21 out of 24798 places (down from 48) after GAL structural reductions.
Computed a total of 18782 stabilizing places and 26348 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 24798/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3437 ms. Remains 24798 /24798 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
[2025-06-06 09:37:00] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
// Phase 1: matrix 37261 rows 24798 cols
[2025-06-06 09:37:06] [INFO ] Computed 1347 invariants in 5769 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:37:44] [INFO ] Performed 4668/24798 implicitness test of which 90 returned IMPLICIT in 30 seconds.
[2025-06-06 09:38:14] [INFO ] Performed 7585/24798 implicitness test of which 162 returned IMPLICIT in 60 seconds.
[2025-06-06 09:38:45] [INFO ] Performed 10053/24798 implicitness test of which 235 returned IMPLICIT in 91 seconds.
[2025-06-06 09:39:16] [INFO ] Performed 13460/24798 implicitness test of which 343 returned IMPLICIT in 122 seconds.
[2025-06-06 09:39:46] [INFO ] Performed 15613/24798 implicitness test of which 460 returned IMPLICIT in 152 seconds.
[2025-06-06 09:39:46] [INFO ] Implicit Places using invariants in 165884 ms returned [7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13800, 13817, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14050, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14403, 14421, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608, 14654, 14661, 14678, 14695, 14712, 14729, 14746, 14763, 14780, 14797, 14814, 14831, 14848, 14865, 14883, 14903, 14925, 14949, 14974, 14998, 15020, 15040, 15058, 15075, 15092, 15109, 15126, 15143, 15160, 15177, 15194, 15211, 15228, 15274, 15281, 15298, 15315, 15332, 15349, 15366, 15383, 15400, 15417, 15434, 15451, 15468, 15486, 15506, 15528, 15552, 15578, 15605, 15631, 15655]
[2025-06-06 09:39:46] [INFO ] Actually due to overlaps returned [14050, 14654, 15274, 7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608, 14661, 14678, 14695, 14712, 14729, 14746, 14763, 14780, 14797, 14814, 14831, 14848, 14865, 14883, 14903, 14925, 14949, 14974, 14998, 15058, 15075, 15092, 15109, 15126, 15143, 15160, 15177, 15194, 15211, 15228, 15281, 15298, 15315, 15332, 15349, 15366, 15383, 15400, 15417, 15434, 15451, 15468, 15486, 15506, 15528, 15552, 15578, 15605, 15631]
Discarding 455 places :
Implicit Place search using SMT only with invariants took 165922 ms to find 455 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 24343/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3618 ms. Remains 24343 /24343 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 172980 ms. Remains : 24343/24798 places, 38317/38317 transitions.
[2025-06-06 09:39:51] [INFO ] Flatten gal took : 955 ms
[2025-06-06 09:39:52] [INFO ] Flatten gal took : 1096 ms
[2025-06-06 09:39:54] [INFO ] Input system was already deterministic with 38317 transitions.
[2025-06-06 09:39:55] [INFO ] Flatten gal took : 1049 ms
[2025-06-06 09:39:56] [INFO ] Flatten gal took : 1012 ms
[2025-06-06 09:39:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality13178670495786608160.gal : 361 ms
[2025-06-06 09:39:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality4782947398297635729.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13178670495786608160.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4782947398297635729.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-06 09:40:28] [INFO ] Flatten gal took : 1070 ms
[2025-06-06 09:40:28] [INFO ] Applying decomposition
[2025-06-06 09:40:29] [INFO ] Flatten gal took : 1065 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/graph1266354523326621587.txt' '-o' '/tmp/graph1266354523326621587.bin' '-w' '/tmp/graph1266354523326621587.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1266354523326621587.bin' '-l' '-1' '-v' '-w' '/tmp/graph1266354523326621587.weights' '-q' '0' '-e' '0.001'
[2025-06-06 09:40:32] [INFO ] Decomposing Gal with order
[2025-06-06 09:40:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 09:41:05] [INFO ] Removed a total of 27219 redundant transitions.
[2025-06-06 09:41:06] [INFO ] Flatten gal took : 6902 ms
[2025-06-06 09:41:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 4556 labels/synchronizations in 2185 ms.
[2025-06-06 09:41:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality3452566668664164183.gal : 312 ms
[2025-06-06 09:41:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality11949235021427742666.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/CTLCardinality3452566668664164183.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11949235021427742666.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 24798/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3191 ms. Remains 24798 /24798 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
[2025-06-06 09:41:44] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
[2025-06-06 09:41:44] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:42:22] [INFO ] Performed 4228/24798 implicitness test of which 88 returned IMPLICIT in 30 seconds.
[2025-06-06 09:42:52] [INFO ] Performed 7191/24798 implicitness test of which 159 returned IMPLICIT in 60 seconds.
[2025-06-06 09:43:23] [INFO ] Performed 9464/24798 implicitness test of which 217 returned IMPLICIT in 91 seconds.
[2025-06-06 09:43:53] [INFO ] Performed 12382/24798 implicitness test of which 311 returned IMPLICIT in 121 seconds.
[2025-06-06 09:44:24] [INFO ] Performed 14656/24798 implicitness test of which 409 returned IMPLICIT in 151 seconds.
[2025-06-06 09:44:24] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160084 ms
[2025-06-06 09:44:24] [INFO ] Actually due to overlaps returned [14050, 14654, 7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13817, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14421, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608]
Discarding 407 places :
Implicit Place search using SMT only with invariants took 160120 ms to find 407 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 24391/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3510 ms. Remains 24391 /24391 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 166823 ms. Remains : 24391/24798 places, 38317/38317 transitions.
[2025-06-06 09:44:29] [INFO ] Flatten gal took : 975 ms
[2025-06-06 09:44:30] [INFO ] Flatten gal took : 1116 ms
[2025-06-06 09:44:32] [INFO ] Input system was already deterministic with 38317 transitions.
[2025-06-06 09:44:33] [INFO ] Flatten gal took : 1072 ms
[2025-06-06 09:44:35] [INFO ] Flatten gal took : 1113 ms
[2025-06-06 09:44:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality3592578947678021572.gal : 163 ms
[2025-06-06 09:44:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality18184310497963815597.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/CTLCardinality3592578947678021572.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18184310497963815597.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-06 09:45:06] [INFO ] Flatten gal took : 1105 ms
[2025-06-06 09:45:06] [INFO ] Applying decomposition
[2025-06-06 09:45:07] [INFO ] Flatten gal took : 1093 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/graph12425134206648895026.txt' '-o' '/tmp/graph12425134206648895026.bin' '-w' '/tmp/graph12425134206648895026.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12425134206648895026.bin' '-l' '-1' '-v' '-w' '/tmp/graph12425134206648895026.weights' '-q' '0' '-e' '0.001'
[2025-06-06 09:45:09] [INFO ] Decomposing Gal with order
[2025-06-06 09:45:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 09:45:42] [INFO ] Removed a total of 27221 redundant transitions.
[2025-06-06 09:45:43] [INFO ] Flatten gal took : 6387 ms
[2025-06-06 09:45:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 8471 labels/synchronizations in 1783 ms.
[2025-06-06 09:45:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality1884280695938291269.gal : 251 ms
[2025-06-06 09:45:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality6434389698049984464.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/CTLCardinality1884280695938291269.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6434389698049984464.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 : 24798/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3324 ms. Remains 24798 /24798 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
[2025-06-06 09:46:20] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
[2025-06-06 09:46:20] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:47:00] [INFO ] Performed 3838/24798 implicitness test of which 72 returned IMPLICIT in 31 seconds.
[2025-06-06 09:47:31] [INFO ] Performed 6907/24798 implicitness test of which 144 returned IMPLICIT in 62 seconds.
[2025-06-06 09:48:01] [INFO ] Performed 9465/24798 implicitness test of which 217 returned IMPLICIT in 92 seconds.
[2025-06-06 09:48:32] [INFO ] Performed 12891/24798 implicitness test of which 325 returned IMPLICIT in 123 seconds.
[2025-06-06 09:49:00] [INFO ] Implicit Places using invariants in 160086 ms returned [7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13800, 13817, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14050, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14403, 14421, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608, 14654, 14661, 14678, 14695, 14712, 14729]
[2025-06-06 09:49:00] [INFO ] Actually due to overlaps returned [14050, 14654, 7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13817, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14421, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608, 14661, 14678, 14695, 14712, 14729]
Discarding 412 places :
Implicit Place search using SMT only with invariants took 160131 ms to find 412 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 24386/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3532 ms. Remains 24386 /24386 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 166994 ms. Remains : 24386/24798 places, 38317/38317 transitions.
[2025-06-06 09:49:05] [INFO ] Flatten gal took : 939 ms
[2025-06-06 09:49:06] [INFO ] Flatten gal took : 1077 ms
[2025-06-06 09:49:07] [INFO ] Input system was already deterministic with 38317 transitions.
[2025-06-06 09:49:09] [INFO ] Flatten gal took : 1038 ms
[2025-06-06 09:49:10] [INFO ] Flatten gal took : 1078 ms
[2025-06-06 09:49:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality2209676867613796731.gal : 162 ms
[2025-06-06 09:49:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality420502254214478879.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/CTLCardinality2209676867613796731.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality420502254214478879.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-06 09:49:41] [INFO ] Flatten gal took : 1016 ms
[2025-06-06 09:49:41] [INFO ] Applying decomposition
[2025-06-06 09:49:42] [INFO ] Flatten gal took : 1200 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/graph1487974204893705564.txt' '-o' '/tmp/graph1487974204893705564.bin' '-w' '/tmp/graph1487974204893705564.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1487974204893705564.bin' '-l' '-1' '-v' '-w' '/tmp/graph1487974204893705564.weights' '-q' '0' '-e' '0.001'
[2025-06-06 09:49:44] [INFO ] Decomposing Gal with order
[2025-06-06 09:49:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 09:50:27] [INFO ] Removed a total of 28479 redundant transitions.
[2025-06-06 09:50:28] [INFO ] Flatten gal took : 6481 ms
[2025-06-06 09:50:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 273 labels/synchronizations in 401 ms.
[2025-06-06 09:50:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality8205540051119157822.gal : 252 ms
[2025-06-06 09:50:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality13284501813733110757.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/CTLCardinality8205540051119157822.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13284501813733110757.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 24798/24798 places, 38317/38317 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7390 transitions
Trivial Post-agglo rules discarded 7390 transitions
Performed 7390 trivial Post agglomeration. Transition count delta: 7390
Iterating post reduction 0 with 7390 rules applied. Total rules applied 7390 place count 24798 transition count 30927
Reduce places removed 7390 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 7391 rules applied. Total rules applied 14781 place count 17408 transition count 30926
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14782 place count 17407 transition count 30926
Performed 462 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 462 Pre rules applied. Total rules applied 14782 place count 17407 transition count 30464
Deduced a syphon composed of 462 places in 37 ms
Reduce places removed 462 places and 0 transitions.
Iterating global reduction 3 with 924 rules applied. Total rules applied 15706 place count 16945 transition count 30464
Discarding 6928 places :
Symmetric choice reduction at 3 with 6928 rule applications. Total rules 22634 place count 10017 transition count 23536
Iterating global reduction 3 with 6928 rules applied. Total rules applied 29562 place count 10017 transition count 23536
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 12 Pre rules applied. Total rules applied 29562 place count 10017 transition count 23524
Deduced a syphon composed of 12 places in 23 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 3 with 24 rules applied. Total rules applied 29586 place count 10005 transition count 23524
Discarding 988 places :
Symmetric choice reduction at 3 with 988 rule applications. Total rules 30574 place count 9017 transition count 16608
Iterating global reduction 3 with 988 rules applied. Total rules applied 31562 place count 9017 transition count 16608
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 17 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 31628 place count 8984 transition count 16575
Applied a total of 31628 rules in 17723 ms. Remains 8984 /24798 variables (removed 15814) and now considering 16575/38317 (removed 21742) transitions.
[2025-06-06 09:51:22] [INFO ] Flow matrix only has 15519 transitions (discarded 1056 similar events)
// Phase 1: matrix 15519 rows 8984 cols
[2025-06-06 09:51:23] [INFO ] Computed 1347 invariants in 1171 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:51:56] [INFO ] Performed 4599/8984 implicitness test of which 702 returned IMPLICIT in 30 seconds.
[2025-06-06 09:52:17] [INFO ] Implicit Places using invariants in 55329 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 17, 22, 29, 38, 49, 62, 77, 94, 113, 134, 157, 182, 209, 238, 269, 301, 333, 334, 335, 336, 337, 338, 339, 340, 572, 575, 576, 577, 578, 579, 580, 581, 582, 585, 590, 597, 606, 617, 630, 645, 662, 681, 702, 725, 750, 777, 806, 836, 866, 867, 868, 869, 870, 871, 872, 873, 1078, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1090, 1093, 1098, 1105, 1114, 1125, 1138, 1153, 1170, 1189, 1210, 1233, 1258, 1285, 1313, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1528, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1540, 1542, 1545, 1550, 1557, 1566, 1577, 1590, 1605, 1622, 1641, 1662, 1685, 1710, 1736, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1926, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1938, 1940, 1942, 1945, 1950, 1957, 1966, 1977, 1990, 2005, 2022, 2041, 2062, 2085, 2109, 2133, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2276, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2329, 2342, 2357, 2374, 2393, 2414, 2436, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2582, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2598, 2600, 2602, 2605, 2610, 2617, 2626, 2637, 2650, 2665, 2682, 2701, 2721, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2848, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2860, 2862, 2864, 2866, 2868, 2870, 2873, 2878, 2885, 2894, 2905, 2918, 2933, 2950, 2968, 2986, 2987, 2988, 2989, 2990, 2991, 2992, 2993, 3078, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088, 3090, 3092, 3094, 3096, 3098, 3100, 3102, 3105, 3110, 3117, 3126, 3137, 3150, 3165, 3181, 3197, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3276, 3279, 3281, 3282, 3283, 3284, 3285, 3286, 3288, 3290, 3292, 3294, 3296, 3298, 3300, 3302, 3305, 3310, 3319, 3328, 3339, 3352, 3366, 3380, 3381, 3382, 3383, 3384, 3385, 3386, 3387, 3448, 3451, 3452, 3453, 3454, 3455, 3456, 3457, 3458, 3460, 3462, 3464, 3466, 3468, 3470, 3472, 3474, 3476, 3479, 3484, 3491, 3500, 3511, 3523, 3535, 3536, 3537, 3538, 3539, 3540, 3541, 3542, 3594, 3597, 3598, 3599, 3600, 3601, 3602, 3603, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3624, 3627, 3632, 3639, 3648, 3658, 3668, 3669, 3670, 3671, 3672, 3673, 3674, 3675, 3694, 3721, 3724, 3725, 3726, 3727, 3728, 3729, 3730, 3731, 3733, 3735, 3737, 3739, 3741, 3743, 3745, 3747, 3749, 3751, 3753, 3756, 3761, 3768, 3776, 3784, 3785, 3786, 3787, 3788, 3789, 3790, 3791, 3831, 3834, 3835, 3836, 3837, 3838, 3839, 3840, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3857, 3859, 3861, 3863, 3865, 3868, 3873, 3879, 3885, 3886, 3887, 3888, 3889, 3890, 3891, 3892, 3929, 3932, 3933, 3934, 3935, 3936, 3937, 3938, 3939, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3965, 3968, 3972, 3976, 3977, 3978, 3979, 3980, 3981, 3982, 3983, 4019, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4059, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4103, 4106, 4107, 4108, 4109, 4110, 4111, 4112, 4113, 4115, 4117, 4119, 4121, 4123, 4125, 4127, 4129, 4131, 4133, 4135, 4137, 4139, 4141, 4143, 4146, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4189, 4192, 4193, 4194, 4195, 4196, 4197, 4198, 4199, 4201, 4203, 4205, 4207, 4209, 4211, 4213, 4215, 4217, 4219, 4221, 4223, 4225, 4227, 4229, 4232, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4275, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4287, 4289, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4311, 4313, 4316, 4321, 4322, 4323, 4324, 4325, 4326, 4327, 4328, 4365, 4368, 4369, 4370, 4371, 4372, 4373, 4374, 4375, 4377, 4379, 4381, 4383, 4385, 4387, 4389, 4391, 4393, 4395, 4397, 4399, 4401, 4404, 4409, 4416, 4417, 4418, 4419, 4420, 4421, 4422, 4423, 4428, 4431, 4433, 4435, 4437, 4439, 4441, 4443, 4445, 4447, 4449, 4451, 4453, 4455, 4472, 4478, 4481, 4482, 4483, 4484, 4485, 4486, 4487, 4488, 4490, 4492, 4494, 4496, 4498, 4500, 4502, 4504, 4506, 4508, 4510, 4512, 4515, 4520, 4527, 4536, 4537, 4538, 4539, 4540, 4541, 4542, 4543, 4550, 4555, 4558, 4560, 4562, 4564, 4566, 4568, 4570, 4572, 4574, 4576, 4578, 4580, 4597, 4603, 4606, 4607, 4608, 4609, 4610, 4611, 4612, 4613, 4615, 4617, 4619, 4621, 4623, 4625, 4627, 4629, 4631, 4633, 4635, 4638, 4643, 4650, 4659, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4677, 4686, 4693, 4698, 4701, 4703, 4705, 4707, 4709, 4711, 4713, 4715, 4717, 4719, 4721, 4738, 4744, 4747, 4748, 4749, 4750, 4751, 4752, 4753, 4754, 4756, 4758, 4760, 4762, 4764, 4766, 4768, 4770, 4772, 4774, 4777, 4782, 4789, 4798, 4809, 4822, 4823, 4824, 4825, 4826, 4827, 4828, 4829, 4840, 4849, 4856, 4861, 4864, 4866, 4868, 4870, 4872, 4874, 4876, 4878, 4880, 4882, 4899, 4905, 4908, 4909, 4910, 4911, 4912, 4913, 4914, 4915, 4917, 4919, 4921, 4923, 4925, 4927, 4929, 4931, 4933, 4936, 4941, 4948, 4957, 4968, 4981, 4996, 4997, 4998, 4999, 5000, 5001, 5002, 5003, 5016, 5027, 5036, 5043, 5048, 5051, 5053, 5055, 5057, 5059, 5061, 5063, 5065, 5067, 5084, 5090, 5093, 5094, 5095, 5096, 5097, 5099, 5100, 5102, 5104, 5106, 5108, 5110, 5112, 5114, 5116, 5119, 5127, 5134, 5143, 5154, 5167, 5182, 5199, 5200, 5201, 5202, 5203, 5204, 5205, 5206, 5221, 5234, 5245, 5254, 5261, 5266, 5269, 5271, 5273, 5275, 5277, 5279, 5281, 5283, 5300, 5306, 5309, 5310, 5311, 5312, 5313, 5314, 5315, 5316, 5318, 5320, 5322, 5324, 5326, 5328, 5330, 5333, 5338, 5345, 5354, 5365, 5378, 5393, 5410, 5429, 5430, 5431, 5432, 5433, 5434, 5435, 5436, 5453, 5468, 5481, 5492, 5501, 5508, 5513, 5516, 5518, 5520, 5522, 5524, 5526, 5528, 5545, 5551, 5554, 5555, 5556, 5557, 5558, 5559, 5560, 5561, 5563, 5565, 5567, 5569, 5571, 5573, 5576, 5581, 5588, 5597, 5608, 5621, 5636, 5653, 5672, 5693, 5694, 5695, 5696, 5697, 5698, 5699, 5700, 5719, 5736, 5751, 5764, 5775, 5784, 5791, 5796, 5799, 5801, 5803, 5805, 5807, 5809, 5826, 5832, 5835, 5836, 5837, 5838, 5839, 5840, 5841, 5842, 5844, 5846, 5848, 5850, 5852, 5855, 5860, 5867, 5876, 5887, 5900, 5915, 5932, 5951, 5972, 5995, 5996, 5997, 5998, 5999, 6000, 6001, 6002, 6023, 6042, 6059, 6074, 6087, 6098, 6107, 6114, 6119, 6122, 6124, 6126, 6128, 6130, 6147, 6153, 6156, 6157, 6158, 6159, 6160, 6161, 6162, 6163, 6165, 6167, 6169, 6171, 6174, 6179, 6186, 6195, 6206, 6219, 6234, 6251, 6270, 6291, 6314, 6339, 6340, 6341, 6342, 6343, 6344, 6345, 6346, 6369, 6390, 6409, 6426, 6441, 6454, 6465, 6474, 6481, 6486, 6489, 6491, 6493, 6495, 6512, 6518, 6521, 6522, 6523, 6524, 6525, 6526, 6527, 6528, 6530, 6532, 6534, 6537, 6542, 6549, 6558, 6569, 6582, 6597, 6614, 6633, 6654, 6677, 6702, 6729, 6730, 6731, 6732, 6733, 6734, 6735, 6736, 6761, 6784, 6805, 6824, 6841, 6856, 6869, 6880, 6889, 6896, 6901, 6904, 6906, 6908, 6925, 6931, 6934, 6935, 6936, 6937, 6938, 6939, 6940, 6941, 6943, 6945, 6948, 6953, 6960, 6969, 6980, 6993, 7008, 7025, 7044, 7065, 7088, 7113, 7140, 7169, 7170, 7171, 7172, 7173, 7174, 7175, 7176, 7203, 7228, 7251, 7272, 7291, 7308, 7323, 7336, 7347, 7356, 7363, 7368, 7371, 7373, 7390, 7396, 7399, 7400, 7401, 7402, 7403, 7404, 7405, 7406, 7408, 7411, 7416, 7423, 7432, 7443, 7456, 7471, 7488, 7507, 7528, 7551, 7576, 7603, 7632, 7663, 7664, 7665, 7666, 7667, 7668, 7669, 7670, 7699, 7726, 7751, 7774, 7795, 7814, 7831, 7846, 7859, 7870, 7879, 7886, 7891, 7894, 7911, 7913, 7916, 7919, 7920, 7921, 7922, 7923, 7924, 7925, 7926, 7929, 7934, 7941, 7950, 7961, 7974, 7989, 8006, 8025, 8046, 8069, 8094, 8121, 8150, 8181, 8214, 8215, 8216, 8217, 8218, 8219, 8220, 8221, 8252, 8281, 8308, 8333, 8356, 8377, 8396, 8413, 8428, 8441, 8452, 8461, 8468, 8473, 8491]
[2025-06-06 09:52:17] [INFO ] Actually due to overlaps returned [4472, 4597, 4738, 4899, 5084, 5300, 5545, 5826, 6147, 6512, 6925, 7390, 7911, 8491, 6, 10, 11, 12, 13, 14, 15, 16, 17, 22, 29, 38, 49, 62, 77, 94, 113, 134, 157, 182, 209, 238, 269, 301, 333, 334, 335, 336, 337, 338, 339, 340, 572, 575, 576, 577, 578, 579, 580, 581, 582, 585, 590, 597, 606, 617, 630, 645, 662, 681, 702, 725, 750, 777, 806, 836, 866, 867, 868, 869, 870, 871, 872, 873, 1078, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1090, 1093, 1098, 1105, 1114, 1125, 1138, 1153, 1170, 1189, 1210, 1233, 1258, 1285, 1313, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1528, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1540, 1542, 1545, 1550, 1557, 1566, 1577, 1590, 1605, 1622, 1641, 1662, 1685, 1710, 1736, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1926, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1938, 1940, 1942, 1945, 1950, 1957, 1966, 1977, 1990, 2005, 2022, 2041, 2062, 2085, 2109, 2133, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2276, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2329, 2342, 2357, 2374, 2393, 2414, 2436, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2582, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2598, 2600, 2602, 2605, 2610, 2617, 2626, 2637, 2650, 2665, 2682, 2701, 2721, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2848, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2860, 2862, 2864, 2866, 2868, 2870, 2873, 2878, 2885, 2894, 2905, 2918, 2933, 2950, 2968, 2986, 2987, 2988, 2989, 2990, 2991, 2992, 2993, 3078, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088, 3090, 3092, 3094, 3096, 3098, 3100, 3102, 3105, 3110, 3117, 3126, 3137, 3150, 3165, 3181, 3197, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3276, 3279, 3281, 3282, 3283, 3284, 3285, 3286, 3288, 3290, 3292, 3294, 3296, 3298, 3300, 3302, 3305, 3310, 3319, 3328, 3339, 3352, 3366, 3380, 3381, 3382, 3383, 3384, 3385, 3386, 3387, 3448, 3451, 3452, 3453, 3454, 3455, 3456, 3457, 3458, 3460, 3462, 3464, 3466, 3468, 3470, 3472, 3474, 3476, 3479, 3484, 3491, 3500, 3511, 3523, 3535, 3536, 3537, 3538, 3539, 3540, 3541, 3542, 3594, 3597, 3598, 3599, 3600, 3601, 3602, 3603, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3624, 3627, 3632, 3639, 3648, 3658, 3668, 3669, 3670, 3671, 3672, 3673, 3674, 3675, 3721, 3724, 3725, 3726, 3727, 3728, 3729, 3730, 3731, 3733, 3735, 3737, 3739, 3741, 3743, 3745, 3747, 3749, 3751, 3753, 3756, 3761, 3768, 3776, 3784, 3785, 3786, 3787, 3788, 3789, 3790, 3791, 3831, 3834, 3835, 3836, 3837, 3838, 3839, 3840, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3857, 3859, 3861, 3863, 3865, 3868, 3873, 3879, 3885, 3886, 3887, 3888, 3889, 3890, 3891, 3892, 3929, 3932, 3933, 3934, 3935, 3936, 3937, 3938, 3939, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3965, 3968, 3972, 3976, 3977, 3978, 3979, 3980, 3981, 3982, 3983, 4019, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4059, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4103, 4106, 4107, 4108, 4109, 4110, 4111, 4112, 4113, 4115, 4117, 4119, 4121, 4123, 4125, 4127, 4129, 4131, 4133, 4135, 4137, 4139, 4141, 4143, 4146, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4189, 4192, 4193, 4194, 4195, 4196, 4197, 4198, 4199, 4201, 4203, 4205, 4207, 4209, 4211, 4213, 4215, 4217, 4219, 4221, 4223, 4225, 4227, 4229, 4232, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4275, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4287, 4289, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4311, 4313, 4316, 4321, 4322, 4323, 4324, 4325, 4326, 4327, 4328, 4365, 4368, 4369, 4370, 4371, 4372, 4373, 4374, 4375, 4377, 4379, 4381, 4383, 4385, 4387, 4389, 4391, 4393, 4395, 4397, 4399, 4401, 4404, 4409, 4416, 4417, 4418, 4419, 4420, 4421, 4422, 4423, 4428, 4478, 4481, 4482, 4483, 4484, 4485, 4486, 4487, 4488, 4490, 4492, 4494, 4496, 4498, 4500, 4502, 4504, 4506, 4508, 4510, 4512, 4515, 4520, 4527, 4536, 4537, 4538, 4539, 4540, 4541, 4542, 4543, 4550, 4603, 4606, 4607, 4608, 4609, 4610, 4611, 4612, 4613, 4615, 4617, 4619, 4621, 4623, 4625, 4627, 4629, 4631, 4633, 4635, 4638, 4643, 4650, 4659, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4677, 4686, 4744, 4747, 4748, 4749, 4750, 4751, 4752, 4753, 4754, 4756, 4758, 4760, 4762, 4764, 4766, 4768, 4770, 4772, 4774, 4777, 4782, 4789, 4798, 4809, 4822, 4823, 4824, 4825, 4826, 4827, 4828, 4829, 4840, 4905, 4908, 4909, 4910, 4911, 4912, 4913, 4914, 4915, 4917, 4919, 4921, 4923, 4925, 4927, 4929, 4931, 4933, 4936, 4941, 4948, 4957, 4968, 4981, 4996, 4997, 4998, 4999, 5000, 5001, 5002, 5003, 5016, 5090, 5093, 5094, 5095, 5096, 5097, 5099, 5100, 5102, 5104, 5106, 5108, 5110, 5112, 5114, 5116, 5119, 5127, 5134, 5143, 5154, 5167, 5182, 5199, 5200, 5201, 5202, 5203, 5204, 5205, 5206, 5221, 5306, 5309, 5310, 5311, 5312, 5313, 5314, 5315, 5316, 5318, 5320, 5322, 5324, 5326, 5328, 5330, 5333, 5338, 5345, 5354, 5365, 5378, 5393, 5410, 5429, 5430, 5431, 5432, 5433, 5434, 5435, 5436, 5453, 5551, 5554, 5555, 5556, 5557, 5558, 5559, 5560, 5561, 5563, 5565, 5567, 5569, 5571, 5573, 5576, 5581, 5588, 5597, 5608, 5621, 5636, 5653, 5672, 5693, 5694, 5695, 5696, 5697, 5698, 5699, 5700, 5719, 5832, 5835, 5836, 5837, 5838, 5839, 5840, 5841, 5842, 5844, 5846, 5848, 5850, 5852, 5855, 5860, 5867, 5876, 5887, 5900, 5915, 5932, 5951, 5972, 5995, 5996, 5997, 5998, 5999, 6000, 6001, 6002, 6023, 6153, 6156, 6157, 6158, 6159, 6160, 6161, 6162, 6163, 6165, 6167, 6169, 6171, 6174, 6179, 6186, 6195, 6206, 6219, 6234, 6251, 6270, 6291, 6314, 6339, 6340, 6341, 6342, 6343, 6344, 6345, 6346, 6369, 6518, 6521, 6522, 6523, 6524, 6525, 6526, 6527, 6528, 6530, 6532, 6534, 6537, 6542, 6549, 6558, 6569, 6582, 6597, 6614, 6633, 6654, 6677, 6702, 6729, 6730, 6731, 6732, 6733, 6734, 6735, 6736, 6761, 6931, 6934, 6935, 6936, 6937, 6938, 6939, 6940, 6941, 6943, 6945, 6948, 6953, 6960, 6969, 6980, 6993, 7008, 7025, 7044, 7065, 7088, 7113, 7140, 7169, 7170, 7171, 7172, 7173, 7174, 7175, 7176, 7203, 7396, 7399, 7400, 7401, 7402, 7403, 7404, 7405, 7406, 7408, 7411, 7416, 7423, 7432, 7443, 7456, 7471, 7488, 7507, 7528, 7551, 7576, 7603, 7632, 7663, 7664, 7665, 7666, 7667, 7668, 7669, 7670, 7699, 7913, 7916, 7919, 7920, 7921, 7922, 7923, 7924, 7925, 7926, 7929, 7934, 7941, 7950, 7961, 7974, 7989, 8006, 8025, 8046, 8069, 8094, 8121, 8150, 8181, 8214, 8215, 8216, 8217, 8218, 8219, 8220, 8221, 8252]
Discarding 1083 places :
Implicit Place search using SMT only with invariants took 55379 ms to find 1083 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 7901/24798 places, 16575/38317 transitions.
Discarding 446 places :
Symmetric choice reduction at 0 with 446 rule applications. Total rules 446 place count 7455 transition count 16129
Iterating global reduction 0 with 446 rules applied. Total rules applied 892 place count 7455 transition count 16129
Discarding 446 places :
Symmetric choice reduction at 0 with 446 rule applications. Total rules 1338 place count 7009 transition count 15683
Iterating global reduction 0 with 446 rules applied. Total rules applied 1784 place count 7009 transition count 15683
Discarding 62 places :
Symmetric choice reduction at 0 with 62 rule applications. Total rules 1846 place count 6947 transition count 15249
Iterating global reduction 0 with 62 rules applied. Total rules applied 1908 place count 6947 transition count 15249
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 12 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 1912 place count 6945 transition count 15247
Applied a total of 1912 rules in 18051 ms. Remains 6945 /7901 variables (removed 956) and now considering 15247/16575 (removed 1328) transitions.
[2025-06-06 09:52:35] [INFO ] Flow matrix only has 14191 transitions (discarded 1056 similar events)
// Phase 1: matrix 14191 rows 6945 cols
[2025-06-06 09:52:37] [INFO ] Computed 264 invariants in 1513 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:53:08] [INFO ] Performed 6051/6945 implicitness test of which 157 returned IMPLICIT in 30 seconds.
[2025-06-06 09:53:10] [INFO ] Implicit Places using invariants in 34471 ms returned [3151, 3503, 3505, 3507, 3509, 3511, 3513, 3515, 3517, 3519, 3521, 3523, 3525, 3527, 3577, 3580, 3582, 3584, 3586, 3588, 3590, 3592, 3594, 3596, 3598, 3600, 3602, 3665, 3670, 3673, 3675, 3677, 3679, 3681, 3683, 3685, 3687, 3689, 3691, 3693, 3771, 3778, 3783, 3786, 3788, 3790, 3792, 3794, 3796, 3798, 3800, 3802, 3804, 3899, 3908, 3915, 3920, 3923, 3925, 3927, 3929, 3931, 3933, 3935, 3937, 3939, 4058, 4069, 4078, 4085, 4090, 4093, 4095, 4097, 4099, 4101, 4103, 4105, 4107, 4243, 4256, 4267, 4276, 4283, 4288, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4461, 4476, 4489, 4500, 4509, 4516, 4521, 4524, 4526, 4528, 4530, 4532, 4534, 4717, 4734, 4749, 4762, 4773, 4782, 4789, 4794, 4797, 4799, 4801, 4803, 4805, 5015, 5034, 5051, 5066, 5079, 5090, 5099, 5106, 5111, 5114, 5116, 5118, 5120, 5359, 5380, 5399, 5416, 5431, 5444, 5455, 5464, 5471, 5476, 5479, 5481, 5483, 5753, 5776, 5797, 5816, 5833, 5848, 5861, 5872, 5881, 5888, 5893, 5896, 5898, 6201, 6226, 6249, 6270, 6289, 6306, 6321, 6334, 6345, 6354, 6361, 6366, 6369, 6705, 6732, 6757, 6780, 6801, 6820, 6837, 6852, 6865, 6876, 6885, 6892, 6897]
Discarding 183 places :
Implicit Place search using SMT only with invariants took 34495 ms to find 183 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 6762/24798 places, 15247/38317 transitions.
Applied a total of 0 rules in 3650 ms. Remains 6762 /6762 variables (removed 0) and now considering 15247/15247 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 129300 ms. Remains : 6762/24798 places, 15247/38317 transitions.
[2025-06-06 09:53:15] [INFO ] Flatten gal took : 814 ms
[2025-06-06 09:53:15] [INFO ] Flatten gal took : 542 ms
[2025-06-06 09:53:17] [INFO ] Input system was already deterministic with 15247 transitions.
[2025-06-06 09:53:17] [INFO ] Flatten gal took : 419 ms
[2025-06-06 09:53:18] [INFO ] Flatten gal took : 417 ms
[2025-06-06 09:53:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality10274997075997607423.gal : 98 ms
[2025-06-06 09:53:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality6495573000246273915.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/CTLCardinality10274997075997607423.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6495573000246273915.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-06 09:53:48] [INFO ] Flatten gal took : 381 ms
[2025-06-06 09:53:48] [INFO ] Applying decomposition
[2025-06-06 09:53:49] [INFO ] Flatten gal took : 663 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/graph3895353518829943490.txt' '-o' '/tmp/graph3895353518829943490.bin' '-w' '/tmp/graph3895353518829943490.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3895353518829943490.bin' '-l' '-1' '-v' '-w' '/tmp/graph3895353518829943490.weights' '-q' '0' '-e' '0.001'
[2025-06-06 09:53:51] [INFO ] Decomposing Gal with order
[2025-06-06 09:53:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 09:53:58] [INFO ] Removed a total of 14701 redundant transitions.
[2025-06-06 09:53:59] [INFO ] Flatten gal took : 4983 ms
[2025-06-06 09:54:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 1319 labels/synchronizations in 881 ms.
[2025-06-06 09:54:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality1308581331147922532.gal : 106 ms
[2025-06-06 09:54:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality10536359496111600395.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/CTLCardinality1308581331147922532.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10536359496111600395.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 24798/24798 places, 38317/38317 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7391 transitions
Trivial Post-agglo rules discarded 7391 transitions
Performed 7391 trivial Post agglomeration. Transition count delta: 7391
Iterating post reduction 0 with 7391 rules applied. Total rules applied 7391 place count 24798 transition count 30926
Reduce places removed 7391 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 7392 rules applied. Total rules applied 14783 place count 17407 transition count 30925
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14784 place count 17406 transition count 30925
Performed 462 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 462 Pre rules applied. Total rules applied 14784 place count 17406 transition count 30463
Deduced a syphon composed of 462 places in 52 ms
Reduce places removed 462 places and 0 transitions.
Iterating global reduction 3 with 924 rules applied. Total rules applied 15708 place count 16944 transition count 30463
Discarding 6929 places :
Symmetric choice reduction at 3 with 6929 rule applications. Total rules 22637 place count 10015 transition count 23534
Iterating global reduction 3 with 6929 rules applied. Total rules applied 29566 place count 10015 transition count 23534
Performed 13 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 13 Pre rules applied. Total rules applied 29566 place count 10015 transition count 23521
Deduced a syphon composed of 13 places in 21 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 3 with 26 rules applied. Total rules applied 29592 place count 10002 transition count 23521
Discarding 988 places :
Symmetric choice reduction at 3 with 988 rule applications. Total rules 30580 place count 9014 transition count 16605
Iterating global reduction 3 with 988 rules applied. Total rules applied 31568 place count 9014 transition count 16605
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 16 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 31634 place count 8981 transition count 16572
Applied a total of 31634 rules in 19239 ms. Remains 8981 /24798 variables (removed 15817) and now considering 16572/38317 (removed 21745) transitions.
[2025-06-06 09:54:52] [INFO ] Flow matrix only has 15516 transitions (discarded 1056 similar events)
// Phase 1: matrix 15516 rows 8981 cols
[2025-06-06 09:54:53] [INFO ] Computed 1347 invariants in 1702 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:55:26] [INFO ] Performed 4742/8981 implicitness test of which 750 returned IMPLICIT in 30 seconds.
[2025-06-06 09:55:43] [INFO ] Implicit Places using invariants in 51678 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 17, 22, 29, 38, 49, 62, 77, 94, 113, 134, 157, 182, 209, 238, 269, 301, 333, 334, 335, 336, 337, 338, 339, 340, 572, 575, 576, 577, 578, 579, 580, 581, 582, 585, 590, 597, 606, 617, 630, 645, 662, 681, 702, 725, 750, 777, 806, 836, 866, 867, 868, 869, 870, 871, 872, 873, 1078, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1090, 1093, 1098, 1105, 1114, 1125, 1138, 1153, 1170, 1189, 1210, 1233, 1258, 1285, 1313, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1528, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1540, 1542, 1545, 1550, 1557, 1566, 1577, 1590, 1605, 1622, 1641, 1662, 1685, 1710, 1736, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1926, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1938, 1940, 1942, 1945, 1950, 1957, 1966, 1977, 1990, 2005, 2022, 2041, 2062, 2085, 2109, 2133, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2276, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2329, 2342, 2357, 2374, 2393, 2414, 2436, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2582, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2598, 2600, 2602, 2605, 2610, 2617, 2626, 2637, 2650, 2665, 2682, 2701, 2721, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2848, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2860, 2862, 2864, 2866, 2868, 2870, 2873, 2878, 2885, 2894, 2905, 2918, 2933, 2950, 2968, 2986, 2987, 2988, 2989, 2990, 2991, 2992, 2993, 3078, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088, 3090, 3092, 3094, 3096, 3098, 3100, 3102, 3105, 3110, 3117, 3126, 3137, 3150, 3165, 3181, 3197, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3276, 3279, 3280, 3281, 3282, 3283, 3284, 3285, 3286, 3288, 3290, 3292, 3294, 3296, 3298, 3300, 3302, 3305, 3310, 3317, 3326, 3337, 3350, 3364, 3378, 3379, 3380, 3381, 3382, 3383, 3384, 3385, 3446, 3449, 3450, 3451, 3452, 3453, 3454, 3455, 3456, 3458, 3460, 3462, 3464, 3466, 3468, 3470, 3472, 3474, 3477, 3482, 3489, 3498, 3509, 3521, 3533, 3534, 3535, 3536, 3537, 3538, 3539, 3540, 3592, 3595, 3596, 3597, 3598, 3599, 3600, 3601, 3602, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3625, 3630, 3637, 3646, 3656, 3666, 3667, 3668, 3669, 3670, 3671, 3672, 3673, 3692, 3719, 3722, 3723, 3724, 3725, 3726, 3727, 3728, 3729, 3731, 3733, 3735, 3737, 3739, 3741, 3743, 3745, 3747, 3749, 3751, 3754, 3759, 3766, 3774, 3782, 3783, 3784, 3785, 3786, 3787, 3788, 3789, 3829, 3832, 3833, 3834, 3835, 3836, 3837, 3838, 3839, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3857, 3859, 3861, 3863, 3866, 3871, 3877, 3883, 3884, 3885, 3886, 3887, 3888, 3889, 3890, 3927, 3930, 3931, 3932, 3933, 3934, 3935, 3936, 3937, 3939, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3966, 3970, 3974, 3975, 3976, 3977, 3978, 3979, 3980, 3981, 4017, 4020, 4021, 4022, 4023, 4024, 4025, 4026, 4027, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4060, 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4101, 4104, 4105, 4106, 4107, 4108, 4109, 4110, 4111, 4113, 4115, 4117, 4119, 4121, 4123, 4125, 4127, 4129, 4131, 4133, 4135, 4137, 4139, 4141, 4144, 4145, 4146, 4147, 4148, 4149, 4150, 4151, 4187, 4190, 4191, 4192, 4193, 4194, 4195, 4196, 4197, 4199, 4201, 4203, 4205, 4207, 4209, 4211, 4213, 4215, 4217, 4219, 4221, 4223, 4225, 4227, 4230, 4231, 4232, 4233, 4234, 4235, 4236, 4237, 4273, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4283, 4285, 4287, 4289, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4311, 4314, 4319, 4320, 4321, 4322, 4323, 4324, 4325, 4326, 4363, 4366, 4367, 4368, 4369, 4370, 4371, 4372, 4373, 4375, 4377, 4379, 4381, 4383, 4385, 4387, 4389, 4391, 4393, 4395, 4397, 4399, 4402, 4407, 4414, 4415, 4416, 4417, 4418, 4419, 4420, 4421, 4426, 4429, 4431, 4433, 4435, 4437, 4439, 4441, 4443, 4445, 4447, 4449, 4451, 4453, 4470, 4476, 4479, 4480, 4481, 4482, 4483, 4484, 4485, 4486, 4488, 4490, 4492, 4494, 4496, 4498, 4500, 4503, 4505, 4507, 4509, 4511, 4514, 4519, 4526, 4535, 4536, 4537, 4538, 4539, 4540, 4541, 4542, 4549, 4554, 4557, 4559, 4561, 4563, 4565, 4567, 4569, 4571, 4573, 4575, 4577, 4579, 4596, 4602, 4605, 4606, 4607, 4608, 4609, 4610, 4611, 4612, 4614, 4616, 4618, 4620, 4622, 4624, 4626, 4628, 4630, 4632, 4634, 4637, 4642, 4649, 4658, 4669, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4685, 4692, 4697, 4700, 4702, 4704, 4706, 4708, 4710, 4712, 4714, 4716, 4718, 4720, 4737, 4743, 4746, 4747, 4749, 4750, 4751, 4752, 4753, 4755, 4757, 4759, 4761, 4763, 4765, 4767, 4769, 4771, 4773, 4776, 4781, 4788, 4797, 4810, 4823, 4824, 4825, 4826, 4827, 4828, 4829, 4830, 4841, 4850, 4857, 4862, 4865, 4867, 4869, 4871, 4873, 4875, 4877, 4879, 4881, 4883, 4900, 4906, 4909, 4910, 4911, 4912, 4913, 4914, 4915, 4916, 4918, 4920, 4922, 4924, 4926, 4928, 4930, 4932, 4934, 4937, 4942, 4949, 4958, 4969, 4982, 4997, 4998, 4999, 5000, 5001, 5002, 5003, 5004, 5017, 5028, 5037, 5044, 5049, 5052, 5054, 5056, 5058, 5060, 5062, 5064, 5066, 5068, 5085, 5091, 5094, 5095, 5096, 5097, 5098, 5099, 5100, 5101, 5103, 5105, 5107, 5109, 5111, 5113, 5115, 5117, 5120, 5125, 5132, 5141, 5152, 5165, 5180, 5197, 5198, 5199, 5200, 5201, 5202, 5203, 5204, 5219, 5232, 5243, 5252, 5259, 5264, 5267, 5269, 5271, 5273, 5275, 5277, 5279, 5281, 5298, 5304, 5307, 5308, 5309, 5310, 5311, 5312, 5313, 5314, 5316, 5318, 5320, 5322, 5324, 5326, 5328, 5331, 5336, 5343, 5352, 5363, 5376, 5391, 5408, 5427, 5428, 5429, 5430, 5431, 5432, 5433, 5434, 5451, 5466, 5479, 5490, 5499, 5506, 5511, 5514, 5516, 5518, 5520, 5522, 5524, 5526, 5543, 5549, 5552, 5553, 5554, 5555, 5556, 5557, 5558, 5559, 5561, 5563, 5565, 5567, 5569, 5571, 5574, 5579, 5586, 5595, 5606, 5619, 5634, 5651, 5670, 5691, 5692, 5693, 5694, 5695, 5696, 5697, 5698, 5717, 5734, 5749, 5762, 5773, 5782, 5789, 5794, 5797, 5799, 5801, 5803, 5805, 5807, 5824, 5830, 5833, 5834, 5835, 5836, 5837, 5838, 5839, 5840, 5842, 5844, 5846, 5848, 5850, 5853, 5858, 5865, 5874, 5885, 5898, 5913, 5930, 5949, 5970, 5993, 5994, 5995, 5996, 5997, 5998, 5999, 6000, 6021, 6040, 6057, 6072, 6085, 6096, 6105, 6112, 6117, 6120, 6122, 6124, 6126, 6128, 6145, 6151, 6154, 6155, 6156, 6157, 6158, 6159, 6160, 6161, 6163, 6165, 6167, 6169, 6172, 6177, 6184, 6193, 6204, 6217, 6232, 6249, 6268, 6289, 6312, 6337, 6338, 6339, 6340, 6341, 6342, 6343, 6344, 6367, 6388, 6407, 6424, 6439, 6452, 6463, 6472, 6479, 6484, 6487, 6489, 6491, 6493, 6510, 6516, 6519, 6520, 6521, 6522, 6523, 6524, 6525, 6526, 6528, 6530, 6532, 6535, 6540, 6547, 6556, 6567, 6580, 6595, 6612, 6631, 6652, 6675, 6700, 6727, 6728, 6729, 6730, 6731, 6732, 6733, 6734, 6759, 6782, 6803, 6822, 6839, 6854, 6867, 6878, 6887, 6894, 6899, 6902, 6904, 6906, 6923, 6929, 6932, 6933, 6934, 6935, 6936, 6937, 6938, 6939, 6941, 6943, 6946, 6951, 6958, 6967, 6978, 6991, 7006, 7023, 7042, 7063, 7086, 7111, 7138, 7167, 7168, 7169, 7170, 7171, 7172, 7173, 7174, 7201, 7226, 7249, 7270, 7289, 7306, 7321, 7334, 7345, 7354, 7361, 7366, 7369, 7371, 7388, 7394, 7397, 7398, 7399, 7400, 7401, 7402, 7403, 7404, 7406, 7409, 7414, 7421, 7430, 7441, 7454, 7469, 7486, 7505, 7526, 7549, 7574, 7601, 7630, 7661, 7662, 7663, 7664, 7665, 7666, 7667, 7668, 7697, 7724, 7749, 7772, 7793, 7812, 7829, 7844, 7857, 7868, 7877, 7884, 7889, 7892, 7909, 7911, 7914, 7917, 7918, 7919, 7920, 7921, 7922, 7923, 7924, 7927, 7932, 7939, 7948, 7959, 7972, 7987, 8004, 8023, 8044, 8067, 8092, 8119, 8148, 8179, 8212, 8213, 8214, 8215, 8216, 8217, 8218, 8219, 8250, 8279, 8306, 8331, 8354, 8375, 8394, 8411, 8426, 8439, 8450, 8459, 8466, 8471, 8489]
[2025-06-06 09:55:43] [INFO ] Actually due to overlaps returned [4470, 4596, 4737, 4900, 5085, 5298, 5543, 5824, 6145, 6510, 6923, 7388, 7909, 8489, 6, 10, 11, 12, 13, 14, 15, 16, 17, 22, 29, 38, 49, 62, 77, 94, 113, 134, 157, 182, 209, 238, 269, 301, 333, 334, 335, 336, 337, 338, 339, 340, 572, 575, 576, 577, 578, 579, 580, 581, 582, 585, 590, 597, 606, 617, 630, 645, 662, 681, 702, 725, 750, 777, 806, 836, 866, 867, 868, 869, 870, 871, 872, 873, 1078, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1090, 1093, 1098, 1105, 1114, 1125, 1138, 1153, 1170, 1189, 1210, 1233, 1258, 1285, 1313, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1528, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1540, 1542, 1545, 1550, 1557, 1566, 1577, 1590, 1605, 1622, 1641, 1662, 1685, 1710, 1736, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1926, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1938, 1940, 1942, 1945, 1950, 1957, 1966, 1977, 1990, 2005, 2022, 2041, 2062, 2085, 2109, 2133, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2276, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2329, 2342, 2357, 2374, 2393, 2414, 2436, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2582, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2598, 2600, 2602, 2605, 2610, 2617, 2626, 2637, 2650, 2665, 2682, 2701, 2721, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2848, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2860, 2862, 2864, 2866, 2868, 2870, 2873, 2878, 2885, 2894, 2905, 2918, 2933, 2950, 2968, 2986, 2987, 2988, 2989, 2990, 2991, 2992, 2993, 3078, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088, 3090, 3092, 3094, 3096, 3098, 3100, 3102, 3105, 3110, 3117, 3126, 3137, 3150, 3165, 3181, 3197, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3276, 3279, 3280, 3281, 3282, 3283, 3284, 3285, 3286, 3288, 3290, 3292, 3294, 3296, 3298, 3300, 3302, 3305, 3310, 3317, 3326, 3337, 3350, 3364, 3378, 3379, 3380, 3381, 3382, 3383, 3384, 3385, 3446, 3449, 3450, 3451, 3452, 3453, 3454, 3455, 3456, 3458, 3460, 3462, 3464, 3466, 3468, 3470, 3472, 3474, 3477, 3482, 3489, 3498, 3509, 3521, 3533, 3534, 3535, 3536, 3537, 3538, 3539, 3540, 3592, 3595, 3596, 3597, 3598, 3599, 3600, 3601, 3602, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3625, 3630, 3637, 3646, 3656, 3666, 3667, 3668, 3669, 3670, 3671, 3672, 3673, 3719, 3722, 3723, 3724, 3725, 3726, 3727, 3728, 3729, 3731, 3733, 3735, 3737, 3739, 3741, 3743, 3745, 3747, 3749, 3751, 3754, 3759, 3766, 3774, 3782, 3783, 3784, 3785, 3786, 3787, 3788, 3789, 3829, 3832, 3833, 3834, 3835, 3836, 3837, 3838, 3839, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3857, 3859, 3861, 3863, 3866, 3871, 3877, 3883, 3884, 3885, 3886, 3887, 3888, 3889, 3890, 3927, 3930, 3931, 3932, 3933, 3934, 3935, 3936, 3937, 3939, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3966, 3970, 3974, 3975, 3976, 3977, 3978, 3979, 3980, 3981, 4017, 4020, 4021, 4022, 4023, 4024, 4025, 4026, 4027, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4060, 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4101, 4104, 4105, 4106, 4107, 4108, 4109, 4110, 4111, 4113, 4115, 4117, 4119, 4121, 4123, 4125, 4127, 4129, 4131, 4133, 4135, 4137, 4139, 4141, 4144, 4145, 4146, 4147, 4148, 4149, 4150, 4151, 4187, 4190, 4191, 4192, 4193, 4194, 4195, 4196, 4197, 4199, 4201, 4203, 4205, 4207, 4209, 4211, 4213, 4215, 4217, 4219, 4221, 4223, 4225, 4227, 4230, 4231, 4232, 4233, 4234, 4235, 4236, 4237, 4273, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4283, 4285, 4287, 4289, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4311, 4314, 4319, 4320, 4321, 4322, 4323, 4324, 4325, 4326, 4363, 4366, 4367, 4368, 4369, 4370, 4371, 4372, 4373, 4375, 4377, 4379, 4381, 4383, 4385, 4387, 4389, 4391, 4393, 4395, 4397, 4399, 4402, 4407, 4414, 4415, 4416, 4417, 4418, 4419, 4420, 4421, 4426, 4476, 4479, 4480, 4481, 4482, 4483, 4484, 4485, 4486, 4488, 4490, 4492, 4494, 4496, 4498, 4500, 4503, 4505, 4507, 4509, 4511, 4514, 4519, 4526, 4535, 4536, 4537, 4538, 4539, 4540, 4541, 4542, 4549, 4602, 4605, 4606, 4607, 4608, 4609, 4610, 4611, 4612, 4614, 4616, 4618, 4620, 4622, 4624, 4626, 4628, 4630, 4632, 4634, 4637, 4642, 4649, 4658, 4669, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4685, 4743, 4746, 4747, 4749, 4750, 4751, 4752, 4753, 4755, 4757, 4759, 4761, 4763, 4765, 4767, 4769, 4771, 4773, 4776, 4781, 4788, 4797, 4810, 4823, 4824, 4825, 4826, 4827, 4828, 4829, 4830, 4841, 4906, 4909, 4910, 4911, 4912, 4913, 4914, 4915, 4916, 4918, 4920, 4922, 4924, 4926, 4928, 4930, 4932, 4934, 4937, 4942, 4949, 4958, 4969, 4982, 4997, 4998, 4999, 5000, 5001, 5002, 5003, 5004, 5017, 5091, 5094, 5095, 5096, 5097, 5098, 5099, 5100, 5101, 5103, 5105, 5107, 5109, 5111, 5113, 5115, 5117, 5120, 5125, 5132, 5141, 5152, 5165, 5180, 5197, 5198, 5199, 5200, 5201, 5202, 5203, 5204, 5219, 5304, 5307, 5308, 5309, 5310, 5311, 5312, 5313, 5314, 5316, 5318, 5320, 5322, 5324, 5326, 5328, 5331, 5336, 5343, 5352, 5363, 5376, 5391, 5408, 5427, 5428, 5429, 5430, 5431, 5432, 5433, 5434, 5451, 5549, 5552, 5553, 5554, 5555, 5556, 5557, 5558, 5559, 5561, 5563, 5565, 5567, 5569, 5571, 5574, 5579, 5586, 5595, 5606, 5619, 5634, 5651, 5670, 5691, 5692, 5693, 5694, 5695, 5696, 5697, 5698, 5717, 5830, 5833, 5834, 5835, 5836, 5837, 5838, 5839, 5840, 5842, 5844, 5846, 5848, 5850, 5853, 5858, 5865, 5874, 5885, 5898, 5913, 5930, 5949, 5970, 5993, 5994, 5995, 5996, 5997, 5998, 5999, 6000, 6021, 6151, 6154, 6155, 6156, 6157, 6158, 6159, 6160, 6161, 6163, 6165, 6167, 6169, 6172, 6177, 6184, 6193, 6204, 6217, 6232, 6249, 6268, 6289, 6312, 6337, 6338, 6339, 6340, 6341, 6342, 6343, 6344, 6367, 6516, 6519, 6520, 6521, 6522, 6523, 6524, 6525, 6526, 6528, 6530, 6532, 6535, 6540, 6547, 6556, 6567, 6580, 6595, 6612, 6631, 6652, 6675, 6700, 6727, 6728, 6729, 6730, 6731, 6732, 6733, 6734, 6759, 6929, 6932, 6933, 6934, 6935, 6936, 6937, 6938, 6939, 6941, 6943, 6946, 6951, 6958, 6967, 6978, 6991, 7006, 7023, 7042, 7063, 7086, 7111, 7138, 7167, 7168, 7169, 7170, 7171, 7172, 7173, 7174, 7201, 7394, 7397, 7398, 7399, 7400, 7401, 7402, 7403, 7404, 7406, 7409, 7414, 7421, 7430, 7441, 7454, 7469, 7486, 7505, 7526, 7549, 7574, 7601, 7630, 7661, 7662, 7663, 7664, 7665, 7666, 7667, 7668, 7697, 7911, 7914, 7917, 7918, 7919, 7920, 7921, 7922, 7923, 7924, 7927, 7932, 7939, 7948, 7959, 7972, 7987, 8004, 8023, 8044, 8067, 8092, 8119, 8148, 8179, 8212, 8213, 8214, 8215, 8216, 8217, 8218, 8219, 8250]
Discarding 1084 places :
Implicit Place search using SMT only with invariants took 51730 ms to find 1084 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 7897/24798 places, 16572/38317 transitions.
Discarding 447 places :
Symmetric choice reduction at 0 with 447 rule applications. Total rules 447 place count 7450 transition count 16125
Iterating global reduction 0 with 447 rules applied. Total rules applied 894 place count 7450 transition count 16125
Discarding 447 places :
Symmetric choice reduction at 0 with 447 rule applications. Total rules 1341 place count 7003 transition count 15678
Iterating global reduction 0 with 447 rules applied. Total rules applied 1788 place count 7003 transition count 15678
Discarding 63 places :
Symmetric choice reduction at 0 with 63 rule applications. Total rules 1851 place count 6940 transition count 15237
Iterating global reduction 0 with 63 rules applied. Total rules applied 1914 place count 6940 transition count 15237
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1916 place count 6939 transition count 15236
Applied a total of 1916 rules in 17288 ms. Remains 6939 /7897 variables (removed 958) and now considering 15236/16572 (removed 1336) transitions.
[2025-06-06 09:56:01] [INFO ] Flow matrix only has 14180 transitions (discarded 1056 similar events)
// Phase 1: matrix 14180 rows 6939 cols
[2025-06-06 09:56:02] [INFO ] Computed 263 invariants in 1275 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:56:33] [INFO ] Performed 5122/6939 implicitness test of which 131 returned IMPLICIT in 30 seconds.
[2025-06-06 09:56:37] [INFO ] Implicit Places using invariants in 36430 ms returned [3146, 3498, 3500, 3502, 3504, 3506, 3508, 3510, 3512, 3514, 3516, 3518, 3520, 3522, 3573, 3576, 3578, 3580, 3582, 3584, 3586, 3588, 3590, 3592, 3594, 3596, 3598, 3661, 3666, 3669, 3671, 3673, 3675, 3677, 3679, 3681, 3683, 3685, 3687, 3689, 3771, 3778, 3783, 3786, 3788, 3790, 3792, 3794, 3796, 3798, 3800, 3802, 3804, 3900, 3909, 3916, 3921, 3924, 3926, 3928, 3930, 3932, 3934, 3936, 3938, 3940, 4054, 4065, 4074, 4081, 4086, 4089, 4091, 4093, 4095, 4097, 4099, 4101, 4103, 4238, 4251, 4262, 4271, 4278, 4283, 4286, 4288, 4290, 4292, 4294, 4296, 4298, 4456, 4471, 4484, 4495, 4504, 4511, 4516, 4519, 4521, 4523, 4525, 4527, 4529, 4712, 4729, 4744, 4757, 4768, 4777, 4784, 4789, 4792, 4794, 4796, 4798, 4800, 5010, 5029, 5046, 5061, 5074, 5085, 5094, 5101, 5106, 5109, 5111, 5113, 5115, 5354, 5375, 5394, 5411, 5426, 5439, 5450, 5459, 5466, 5471, 5474, 5476, 5478, 5748, 5771, 5792, 5811, 5828, 5843, 5856, 5867, 5876, 5883, 5888, 5891, 5893, 6196, 6221, 6244, 6265, 6284, 6301, 6316, 6329, 6340, 6349, 6356, 6361, 6364, 6700, 6727, 6752, 6775, 6796, 6815, 6832, 6847, 6860, 6871, 6880, 6887, 6892]
Discarding 183 places :
Implicit Place search using SMT only with invariants took 36451 ms to find 183 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 6756/24798 places, 15236/38317 transitions.
Applied a total of 0 rules in 4081 ms. Remains 6756 /6756 variables (removed 0) and now considering 15236/15236 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 128803 ms. Remains : 6756/24798 places, 15236/38317 transitions.
[2025-06-06 09:56:43] [INFO ] Flatten gal took : 872 ms
[2025-06-06 09:56:43] [INFO ] Flatten gal took : 465 ms
[2025-06-06 09:56:44] [INFO ] Input system was already deterministic with 15236 transitions.
[2025-06-06 09:56:45] [INFO ] Flatten gal took : 411 ms
[2025-06-06 09:56:45] [INFO ] Flatten gal took : 413 ms
[2025-06-06 09:56:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality8452466133988930109.gal : 121 ms
[2025-06-06 09:56:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality11663787026179780186.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/CTLCardinality8452466133988930109.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11663787026179780186.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-06 09:57:16] [INFO ] Flatten gal took : 496 ms
[2025-06-06 09:57:16] [INFO ] Applying decomposition
[2025-06-06 09:57:17] [INFO ] Flatten gal took : 447 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/graph9405153901231418635.txt' '-o' '/tmp/graph9405153901231418635.bin' '-w' '/tmp/graph9405153901231418635.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9405153901231418635.bin' '-l' '-1' '-v' '-w' '/tmp/graph9405153901231418635.weights' '-q' '0' '-e' '0.001'
[2025-06-06 09:57:18] [INFO ] Decomposing Gal with order
[2025-06-06 09:57:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 09:57:25] [INFO ] Removed a total of 14591 redundant transitions.
[2025-06-06 09:57:26] [INFO ] Flatten gal took : 3757 ms
[2025-06-06 09:57:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 11030 labels/synchronizations in 1881 ms.
[2025-06-06 09:57:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality8919508993555550909.gal : 141 ms
[2025-06-06 09:57:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality1720426823884534313.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/CTLCardinality8919508993555550909.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1720426823884534313.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 : 24798/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3512 ms. Remains 24798 /24798 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
[2025-06-06 09:58:02] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
// Phase 1: matrix 37261 rows 24798 cols
[2025-06-06 09:58:09] [INFO ] Computed 1347 invariants in 7357 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 09:58:48] [INFO ] Performed 4660/24798 implicitness test of which 90 returned IMPLICIT in 30 seconds.
[2025-06-06 09:59:18] [INFO ] Performed 7562/24798 implicitness test of which 162 returned IMPLICIT in 60 seconds.
[2025-06-06 09:59:48] [INFO ] Performed 9466/24798 implicitness test of which 217 returned IMPLICIT in 90 seconds.
[2025-06-06 10:00:18] [INFO ] Performed 12892/24798 implicitness test of which 325 returned IMPLICIT in 120 seconds.
[2025-06-06 10:00:49] [INFO ] Performed 15277/24798 implicitness test of which 442 returned IMPLICIT in 151 seconds.
[2025-06-06 10:00:49] [INFO ] Implicit Places using invariants in 167442 ms returned [7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13800, 13817, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14050, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14403, 14421, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608, 14654, 14661, 14678, 14695, 14712, 14729, 14746, 14763, 14780, 14797, 14814, 14831, 14848, 14865, 14883, 14903, 14925, 14949, 14974, 14998, 15020, 15040, 15058, 15075, 15092, 15109, 15126, 15143, 15160, 15177, 15194, 15211, 15228, 15274]
[2025-06-06 10:00:49] [INFO ] Actually due to overlaps returned [14050, 14654, 15274, 7, 25, 45, 67, 91, 117, 145, 175, 207, 241, 277, 315, 355, 397, 441, 487, 534, 580, 1052, 1069, 1087, 1107, 1129, 1153, 1179, 1207, 1237, 1269, 1303, 1339, 1377, 1417, 1459, 1503, 1548, 1592, 2037, 2054, 2071, 2089, 2109, 2131, 2155, 2181, 2209, 2239, 2271, 2305, 2341, 2379, 2419, 2461, 2504, 2546, 2966, 2983, 3000, 3017, 3035, 3055, 3077, 3101, 3127, 3155, 3185, 3217, 3251, 3287, 3325, 3365, 3406, 3446, 3843, 3860, 3877, 3894, 3911, 3929, 3949, 3971, 3995, 4021, 4049, 4079, 4111, 4145, 4181, 4219, 4258, 4296, 4672, 4689, 4706, 4723, 4740, 4757, 4775, 4795, 4817, 4841, 4867, 4895, 4925, 4957, 4991, 5027, 5064, 5100, 5457, 5474, 5491, 5508, 5525, 5542, 5559, 5577, 5597, 5619, 5643, 5669, 5697, 5727, 5759, 5793, 5828, 5862, 6202, 6219, 6236, 6253, 6270, 6287, 6304, 6321, 6339, 6359, 6381, 6405, 6431, 6459, 6489, 6521, 6554, 6586, 6911, 6928, 6945, 6962, 6979, 6996, 7013, 7030, 7047, 7065, 7085, 7107, 7131, 7157, 7185, 7215, 7246, 7276, 7588, 7605, 7622, 7639, 7656, 7673, 7690, 7707, 7724, 7741, 7759, 7779, 7801, 7825, 7851, 7879, 7908, 7936, 8237, 8254, 8271, 8288, 8305, 8322, 8339, 8356, 8373, 8390, 8407, 8425, 8445, 8467, 8491, 8517, 8544, 8570, 8862, 8879, 8896, 8913, 8930, 8947, 8964, 8981, 8998, 9015, 9032, 9049, 9067, 9087, 9109, 9133, 9158, 9182, 9336, 9468, 9485, 9502, 9519, 9536, 9553, 9570, 9587, 9604, 9621, 9638, 9655, 9672, 9690, 9710, 9732, 9755, 9777, 10057, 10074, 10091, 10108, 10125, 10142, 10159, 10176, 10193, 10210, 10227, 10244, 10261, 10278, 10296, 10316, 10337, 10357, 10634, 10651, 10668, 10685, 10702, 10719, 10736, 10753, 10770, 10787, 10804, 10821, 10838, 10855, 10872, 10890, 10909, 10927, 11203, 11220, 11237, 11254, 11271, 11288, 11305, 11322, 11339, 11356, 11373, 11390, 11407, 11424, 11441, 11458, 11475, 11492, 11766, 11783, 11800, 11817, 11834, 11851, 11868, 11885, 11902, 11919, 11936, 11953, 11970, 11987, 12004, 12021, 12038, 12055, 12331, 12348, 12365, 12382, 12399, 12416, 12433, 12450, 12467, 12484, 12501, 12518, 12535, 12552, 12569, 12586, 12603, 12620, 12896, 12913, 12930, 12947, 12964, 12981, 12998, 13015, 13032, 13049, 13066, 13083, 13100, 13117, 13134, 13151, 13169, 13188, 13465, 13482, 13499, 13516, 13533, 13550, 13567, 13584, 13601, 13618, 13635, 13652, 13669, 13686, 13703, 13721, 13741, 13762, 13782, 13834, 13851, 13868, 13885, 13902, 13919, 13936, 13953, 13970, 13987, 14004, 14057, 14074, 14091, 14108, 14125, 14142, 14159, 14176, 14193, 14210, 14227, 14244, 14261, 14278, 14296, 14316, 14338, 14361, 14383, 14438, 14455, 14472, 14489, 14506, 14523, 14540, 14557, 14574, 14591, 14608, 14661, 14678, 14695, 14712, 14729, 14746, 14763, 14780, 14797, 14814, 14831, 14848, 14865, 14883, 14903, 14925, 14949, 14974, 14998, 15058, 15075, 15092, 15109, 15126, 15143, 15160, 15177, 15194, 15211, 15228]
Discarding 436 places :
Implicit Place search using SMT only with invariants took 167483 ms to find 436 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 24362/24798 places, 38317/38317 transitions.
Applied a total of 0 rules in 3646 ms. Remains 24362 /24362 variables (removed 0) and now considering 38317/38317 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 174644 ms. Remains : 24362/24798 places, 38317/38317 transitions.
[2025-06-06 10:00:54] [INFO ] Flatten gal took : 971 ms
[2025-06-06 10:00:55] [INFO ] Flatten gal took : 1118 ms
[2025-06-06 10:00:57] [INFO ] Input system was already deterministic with 38317 transitions.
[2025-06-06 10:00:59] [INFO ] Flatten gal took : 1205 ms
[2025-06-06 10:01:00] [INFO ] Flatten gal took : 1314 ms
[2025-06-06 10:01:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality14550216952008047967.gal : 152 ms
[2025-06-06 10:01:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality3968972596193048772.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/CTLCardinality14550216952008047967.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3968972596193048772.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-06 10:01:31] [INFO ] Flatten gal took : 1027 ms
[2025-06-06 10:01:31] [INFO ] Applying decomposition
[2025-06-06 10:01:32] [INFO ] Flatten gal took : 1106 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/graph7367245068604987797.txt' '-o' '/tmp/graph7367245068604987797.bin' '-w' '/tmp/graph7367245068604987797.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7367245068604987797.bin' '-l' '-1' '-v' '-w' '/tmp/graph7367245068604987797.weights' '-q' '0' '-e' '0.001'
[2025-06-06 10:01:35] [INFO ] Decomposing Gal with order
[2025-06-06 10:01:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 10:02:09] [INFO ] Removed a total of 27210 redundant transitions.
[2025-06-06 10:02:10] [INFO ] Flatten gal took : 6332 ms
[2025-06-06 10:02:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 5258 labels/synchronizations in 1371 ms.
[2025-06-06 10:02:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality10938688573454653674.gal : 189 ms
[2025-06-06 10:02:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality9806011278011652963.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/CTLCardinality10938688573454653674.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9806011278011652963.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 24798/24798 places, 38317/38317 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7389 transitions
Trivial Post-agglo rules discarded 7389 transitions
Performed 7389 trivial Post agglomeration. Transition count delta: 7389
Iterating post reduction 0 with 7389 rules applied. Total rules applied 7389 place count 24798 transition count 30928
Reduce places removed 7389 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 7392 rules applied. Total rules applied 14781 place count 17409 transition count 30925
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 14784 place count 17406 transition count 30925
Performed 462 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 462 Pre rules applied. Total rules applied 14784 place count 17406 transition count 30463
Deduced a syphon composed of 462 places in 61 ms
Reduce places removed 462 places and 0 transitions.
Iterating global reduction 3 with 924 rules applied. Total rules applied 15708 place count 16944 transition count 30463
Discarding 6927 places :
Symmetric choice reduction at 3 with 6927 rule applications. Total rules 22635 place count 10017 transition count 23536
Iterating global reduction 3 with 6927 rules applied. Total rules applied 29562 place count 10017 transition count 23536
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 11 Pre rules applied. Total rules applied 29562 place count 10017 transition count 23525
Deduced a syphon composed of 11 places in 30 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 3 with 22 rules applied. Total rules applied 29584 place count 10006 transition count 23525
Discarding 986 places :
Symmetric choice reduction at 3 with 986 rule applications. Total rules 30570 place count 9020 transition count 16623
Iterating global reduction 3 with 986 rules applied. Total rules applied 31556 place count 9020 transition count 16623
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 17 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 31622 place count 8987 transition count 16590
Applied a total of 31622 rules in 18290 ms. Remains 8987 /24798 variables (removed 15811) and now considering 16590/38317 (removed 21727) transitions.
[2025-06-06 10:03:01] [INFO ] Flow matrix only has 15534 transitions (discarded 1056 similar events)
// Phase 1: matrix 15534 rows 8987 cols
[2025-06-06 10:03:02] [INFO ] Computed 1347 invariants in 1147 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 10:03:35] [INFO ] Performed 4743/8987 implicitness test of which 748 returned IMPLICIT in 30 seconds.
[2025-06-06 10:03:54] [INFO ] Implicit Places using invariants in 52716 ms returned [6, 10, 11, 12, 13, 14, 15, 16, 17, 22, 29, 38, 49, 62, 77, 94, 113, 134, 157, 182, 209, 238, 269, 301, 333, 334, 335, 336, 337, 338, 339, 340, 572, 575, 576, 577, 578, 579, 580, 581, 582, 585, 590, 597, 606, 617, 630, 645, 662, 681, 702, 725, 750, 777, 806, 836, 866, 867, 868, 869, 870, 871, 872, 873, 1078, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1090, 1093, 1098, 1105, 1114, 1125, 1138, 1153, 1170, 1189, 1210, 1233, 1258, 1285, 1313, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1528, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1540, 1542, 1545, 1550, 1557, 1566, 1577, 1590, 1605, 1622, 1641, 1662, 1685, 1710, 1736, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1926, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1938, 1940, 1942, 1945, 1950, 1957, 1966, 1977, 1990, 2005, 2022, 2041, 2062, 2085, 2109, 2133, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2276, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2329, 2342, 2357, 2374, 2393, 2414, 2436, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2582, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2598, 2600, 2602, 2605, 2610, 2617, 2626, 2637, 2650, 2665, 2682, 2701, 2721, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2848, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2860, 2862, 2864, 2866, 2868, 2870, 2873, 2878, 2885, 2894, 2905, 2918, 2933, 2950, 2968, 2986, 2987, 2988, 2989, 2990, 2991, 2992, 2993, 3078, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088, 3090, 3092, 3094, 3096, 3098, 3100, 3102, 3105, 3110, 3117, 3126, 3138, 3151, 3166, 3182, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3205, 3277, 3280, 3281, 3282, 3283, 3285, 3286, 3287, 3289, 3291, 3293, 3295, 3299, 3301, 3303, 3305, 3308, 3313, 3320, 3329, 3340, 3353, 3367, 3381, 3382, 3383, 3384, 3385, 3386, 3387, 3388, 3449, 3452, 3453, 3454, 3455, 3456, 3457, 3458, 3459, 3461, 3463, 3465, 3467, 3469, 3471, 3473, 3475, 3477, 3480, 3485, 3492, 3501, 3512, 3524, 3536, 3537, 3538, 3539, 3540, 3541, 3542, 3543, 3595, 3598, 3599, 3600, 3601, 3602, 3603, 3604, 3605, 3607, 3609, 3611, 3613, 3615, 3617, 3619, 3621, 3623, 3625, 3628, 3633, 3640, 3649, 3659, 3669, 3670, 3671, 3672, 3673, 3674, 3675, 3676, 3695, 3722, 3725, 3726, 3727, 3728, 3729, 3730, 3731, 3732, 3734, 3736, 3738, 3740, 3742, 3744, 3746, 3748, 3750, 3752, 3754, 3757, 3762, 3769, 3777, 3785, 3786, 3787, 3788, 3789, 3790, 3791, 3792, 3832, 3835, 3836, 3837, 3838, 3839, 3840, 3841, 3842, 3844, 3846, 3848, 3850, 3852, 3854, 3856, 3858, 3860, 3862, 3864, 3866, 3869, 3874, 3880, 3886, 3887, 3888, 3889, 3890, 3891, 3892, 3893, 3930, 3933, 3934, 3935, 3936, 3937, 3938, 3939, 3940, 3942, 3944, 3946, 3948, 3950, 3952, 3954, 3956, 3958, 3960, 3962, 3964, 3966, 3969, 3973, 3977, 3978, 3979, 3980, 3981, 3982, 3983, 3984, 4020, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 4032, 4034, 4036, 4038, 4040, 4042, 4044, 4046, 4048, 4050, 4052, 4054, 4056, 4058, 4060, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4070, 4104, 4107, 4108, 4109, 4110, 4111, 4112, 4113, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4128, 4130, 4132, 4134, 4136, 4138, 4140, 4142, 4144, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4190, 4193, 4194, 4195, 4196, 4197, 4198, 4199, 4200, 4202, 4204, 4206, 4208, 4210, 4212, 4214, 4216, 4218, 4220, 4222, 4224, 4226, 4228, 4230, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4240, 4276, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4288, 4290, 4292, 4294, 4296, 4298, 4300, 4302, 4304, 4306, 4308, 4310, 4312, 4314, 4317, 4322, 4323, 4324, 4325, 4326, 4327, 4328, 4329, 4366, 4369, 4370, 4371, 4372, 4373, 4374, 4375, 4376, 4378, 4380, 4382, 4384, 4386, 4388, 4390, 4392, 4394, 4396, 4398, 4400, 4402, 4405, 4410, 4417, 4418, 4419, 4420, 4421, 4422, 4423, 4424, 4429, 4432, 4434, 4436, 4438, 4440, 4442, 4444, 4446, 4448, 4450, 4452, 4454, 4456, 4473, 4479, 4482, 4483, 4484, 4485, 4486, 4487, 4488, 4489, 4491, 4493, 4495, 4497, 4499, 4501, 4503, 4505, 4507, 4509, 4511, 4513, 4516, 4521, 4528, 4537, 4538, 4540, 4541, 4542, 4543, 4544, 4551, 4556, 4559, 4561, 4563, 4565, 4569, 4571, 4573, 4575, 4577, 4579, 4581, 4583, 4600, 4606, 4609, 4610, 4611, 4612, 4613, 4614, 4615, 4616, 4618, 4620, 4622, 4624, 4626, 4628, 4630, 4632, 4634, 4636, 4638, 4641, 4646, 4653, 4662, 4673, 4674, 4675, 4676, 4677, 4678, 4679, 4680, 4689, 4696, 4701, 4704, 4706, 4708, 4710, 4712, 4714, 4716, 4718, 4720, 4722, 4724, 4741, 4747, 4750, 4751, 4752, 4753, 4754, 4755, 4756, 4757, 4759, 4761, 4763, 4765, 4767, 4769, 4771, 4773, 4775, 4777, 4780, 4785, 4792, 4801, 4812, 4825, 4826, 4827, 4828, 4829, 4830, 4831, 4832, 4843, 4852, 4859, 4864, 4867, 4869, 4871, 4873, 4875, 4877, 4879, 4881, 4883, 4885, 4902, 4908, 4911, 4912, 4913, 4914, 4915, 4916, 4917, 4918, 4920, 4922, 4924, 4926, 4928, 4930, 4932, 4934, 4936, 4939, 4944, 4951, 4960, 4971, 4984, 4999, 5000, 5001, 5002, 5003, 5004, 5005, 5006, 5019, 5030, 5039, 5046, 5051, 5054, 5056, 5058, 5060, 5062, 5064, 5066, 5068, 5070, 5087, 5093, 5096, 5097, 5098, 5099, 5100, 5102, 5103, 5105, 5109, 5111, 5113, 5115, 5117, 5119, 5121, 5124, 5129, 5136, 5145, 5156, 5169, 5184, 5201, 5202, 5203, 5204, 5205, 5206, 5207, 5208, 5223, 5236, 5247, 5256, 5263, 5268, 5271, 5273, 5275, 5277, 5279, 5281, 5283, 5285, 5302, 5308, 5311, 5312, 5313, 5314, 5315, 5316, 5317, 5318, 5320, 5322, 5324, 5326, 5328, 5330, 5332, 5335, 5340, 5347, 5356, 5367, 5380, 5395, 5412, 5431, 5432, 5433, 5434, 5435, 5436, 5437, 5438, 5455, 5470, 5483, 5494, 5503, 5510, 5515, 5518, 5520, 5522, 5524, 5526, 5528, 5530, 5547, 5553, 5556, 5557, 5558, 5559, 5560, 5561, 5562, 5563, 5565, 5567, 5569, 5571, 5573, 5575, 5578, 5583, 5590, 5599, 5610, 5623, 5638, 5655, 5674, 5695, 5696, 5697, 5698, 5699, 5700, 5701, 5702, 5721, 5738, 5753, 5766, 5777, 5786, 5793, 5798, 5801, 5803, 5805, 5807, 5809, 5811, 5828, 5834, 5837, 5838, 5839, 5840, 5841, 5842, 5843, 5844, 5846, 5848, 5850, 5852, 5854, 5857, 5862, 5869, 5878, 5889, 5902, 5917, 5934, 5953, 5974, 5997, 5998, 5999, 6000, 6001, 6002, 6003, 6004, 6025, 6044, 6061, 6076, 6089, 6100, 6109, 6116, 6121, 6124, 6126, 6128, 6130, 6132, 6149, 6155, 6158, 6159, 6160, 6161, 6162, 6163, 6164, 6165, 6167, 6169, 6171, 6173, 6176, 6181, 6188, 6197, 6208, 6221, 6236, 6253, 6272, 6293, 6316, 6341, 6342, 6343, 6344, 6345, 6346, 6347, 6348, 6371, 6392, 6411, 6428, 6443, 6456, 6467, 6476, 6483, 6488, 6491, 6493, 6495, 6497, 6514, 6520, 6523, 6524, 6525, 6526, 6527, 6528, 6529, 6530, 6532, 6534, 6536, 6539, 6544, 6551, 6560, 6571, 6584, 6599, 6616, 6635, 6656, 6679, 6704, 6731, 6732, 6733, 6734, 6735, 6736, 6737, 6738, 6763, 6786, 6807, 6826, 6843, 6858, 6871, 6882, 6891, 6898, 6903, 6906, 6908, 6910, 6927, 6933, 6936, 6937, 6938, 6939, 6940, 6941, 6942, 6943, 6945, 6947, 6950, 6955, 6962, 6971, 6982, 6995, 7010, 7027, 7046, 7067, 7090, 7115, 7142, 7171, 7172, 7173, 7174, 7175, 7176, 7177, 7178, 7205, 7230, 7253, 7274, 7293, 7310, 7325, 7338, 7349, 7358, 7365, 7370, 7373, 7375, 7392, 7398, 7401, 7402, 7403, 7404, 7405, 7406, 7407, 7408, 7410, 7413, 7418, 7425, 7434, 7445, 7458, 7473, 7490, 7509, 7530, 7553, 7578, 7605, 7634, 7665, 7666, 7667, 7668, 7669, 7670, 7671, 7672, 7701, 7728, 7753, 7776, 7797, 7816, 7833, 7848, 7861, 7872, 7881, 7888, 7893, 7896, 7913, 7915, 7918, 7921, 7922, 7923, 7924, 7925, 7926, 7927, 7928, 7931, 7936, 7943, 7952, 7963, 7976, 7991, 8008, 8027, 8048, 8071, 8096, 8123, 8152, 8183, 8216, 8217, 8218, 8219, 8220, 8221, 8222, 8223, 8254, 8283, 8310, 8335, 8358, 8379, 8398, 8415, 8430, 8443, 8454, 8463, 8470, 8475, 8493]
[2025-06-06 10:03:54] [INFO ] Actually due to overlaps returned [4473, 4600, 4741, 4902, 5087, 5302, 5547, 5828, 6149, 6514, 6927, 7392, 7913, 8493, 6, 10, 11, 12, 13, 14, 15, 16, 17, 22, 29, 38, 49, 62, 77, 94, 113, 134, 157, 182, 209, 238, 269, 301, 333, 334, 335, 336, 337, 338, 339, 340, 572, 575, 576, 577, 578, 579, 580, 581, 582, 585, 590, 597, 606, 617, 630, 645, 662, 681, 702, 725, 750, 777, 806, 836, 866, 867, 868, 869, 870, 871, 872, 873, 1078, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1090, 1093, 1098, 1105, 1114, 1125, 1138, 1153, 1170, 1189, 1210, 1233, 1258, 1285, 1313, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1528, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1540, 1542, 1545, 1550, 1557, 1566, 1577, 1590, 1605, 1622, 1641, 1662, 1685, 1710, 1736, 1762, 1763, 1764, 1765, 1766, 1767, 1768, 1769, 1926, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1938, 1940, 1942, 1945, 1950, 1957, 1966, 1977, 1990, 2005, 2022, 2041, 2062, 2085, 2109, 2133, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2276, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2329, 2342, 2357, 2374, 2393, 2414, 2436, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2582, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2594, 2596, 2598, 2600, 2602, 2605, 2610, 2617, 2626, 2637, 2650, 2665, 2682, 2701, 2721, 2741, 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2848, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2860, 2862, 2864, 2866, 2868, 2870, 2873, 2878, 2885, 2894, 2905, 2918, 2933, 2950, 2968, 2986, 2987, 2988, 2989, 2990, 2991, 2992, 2993, 3078, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088, 3090, 3092, 3094, 3096, 3098, 3100, 3102, 3105, 3110, 3117, 3126, 3138, 3151, 3166, 3182, 3198, 3199, 3200, 3201, 3202, 3203, 3204, 3205, 3277, 3280, 3281, 3282, 3283, 3285, 3286, 3287, 3289, 3291, 3293, 3295, 3299, 3301, 3303, 3305, 3308, 3313, 3320, 3329, 3340, 3353, 3367, 3381, 3382, 3383, 3384, 3385, 3386, 3387, 3388, 3449, 3452, 3453, 3454, 3455, 3456, 3457, 3458, 3459, 3461, 3463, 3465, 3467, 3469, 3471, 3473, 3475, 3477, 3480, 3485, 3492, 3501, 3512, 3524, 3536, 3537, 3538, 3539, 3540, 3541, 3542, 3543, 3595, 3598, 3599, 3600, 3601, 3602, 3603, 3604, 3605, 3607, 3609, 3611, 3613, 3615, 3617, 3619, 3621, 3623, 3625, 3628, 3633, 3640, 3649, 3659, 3669, 3670, 3671, 3672, 3673, 3674, 3675, 3676, 3722, 3725, 3726, 3727, 3728, 3729, 3730, 3731, 3732, 3734, 3736, 3738, 3740, 3742, 3744, 3746, 3748, 3750, 3752, 3754, 3757, 3762, 3769, 3777, 3785, 3786, 3787, 3788, 3789, 3790, 3791, 3792, 3832, 3835, 3836, 3837, 3838, 3839, 3840, 3841, 3842, 3844, 3846, 3848, 3850, 3852, 3854, 3856, 3858, 3860, 3862, 3864, 3866, 3869, 3874, 3880, 3886, 3887, 3888, 3889, 3890, 3891, 3892, 3893, 3930, 3933, 3934, 3935, 3936, 3937, 3938, 3939, 3940, 3942, 3944, 3946, 3948, 3950, 3952, 3954, 3956, 3958, 3960, 3962, 3964, 3966, 3969, 3973, 3977, 3978, 3979, 3980, 3981, 3982, 3983, 3984, 4020, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 4032, 4034, 4036, 4038, 4040, 4042, 4044, 4046, 4048, 4050, 4052, 4054, 4056, 4058, 4060, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4070, 4104, 4107, 4108, 4109, 4110, 4111, 4112, 4113, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4128, 4130, 4132, 4134, 4136, 4138, 4140, 4142, 4144, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4190, 4193, 4194, 4195, 4196, 4197, 4198, 4199, 4200, 4202, 4204, 4206, 4208, 4210, 4212, 4214, 4216, 4218, 4220, 4222, 4224, 4226, 4228, 4230, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4240, 4276, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4288, 4290, 4292, 4294, 4296, 4298, 4300, 4302, 4304, 4306, 4308, 4310, 4312, 4314, 4317, 4322, 4323, 4324, 4325, 4326, 4327, 4328, 4329, 4366, 4369, 4370, 4371, 4372, 4373, 4374, 4375, 4376, 4378, 4380, 4382, 4384, 4386, 4388, 4390, 4392, 4394, 4396, 4398, 4400, 4402, 4405, 4410, 4417, 4418, 4419, 4420, 4421, 4422, 4423, 4424, 4429, 4479, 4482, 4483, 4484, 4485, 4486, 4487, 4488, 4489, 4491, 4493, 4495, 4497, 4499, 4501, 4503, 4505, 4507, 4509, 4511, 4513, 4516, 4521, 4528, 4537, 4538, 4540, 4541, 4542, 4543, 4544, 4551, 4606, 4609, 4610, 4611, 4612, 4613, 4614, 4615, 4616, 4618, 4620, 4622, 4624, 4626, 4628, 4630, 4632, 4634, 4636, 4638, 4641, 4646, 4653, 4662, 4673, 4674, 4675, 4676, 4677, 4678, 4679, 4680, 4689, 4747, 4750, 4751, 4752, 4753, 4754, 4755, 4756, 4757, 4759, 4761, 4763, 4765, 4767, 4769, 4771, 4773, 4775, 4777, 4780, 4785, 4792, 4801, 4812, 4825, 4826, 4827, 4828, 4829, 4830, 4831, 4832, 4843, 4908, 4911, 4912, 4913, 4914, 4915, 4916, 4917, 4918, 4920, 4922, 4924, 4926, 4928, 4930, 4932, 4934, 4936, 4939, 4944, 4951, 4960, 4971, 4984, 4999, 5000, 5001, 5002, 5003, 5004, 5005, 5006, 5019, 5093, 5096, 5097, 5098, 5099, 5100, 5102, 5103, 5105, 5109, 5111, 5113, 5115, 5117, 5119, 5121, 5124, 5129, 5136, 5145, 5156, 5169, 5184, 5201, 5202, 5203, 5204, 5205, 5206, 5207, 5208, 5223, 5308, 5311, 5312, 5313, 5314, 5315, 5316, 5317, 5318, 5320, 5322, 5324, 5326, 5328, 5330, 5332, 5335, 5340, 5347, 5356, 5367, 5380, 5395, 5412, 5431, 5432, 5433, 5434, 5435, 5436, 5437, 5438, 5455, 5553, 5556, 5557, 5558, 5559, 5560, 5561, 5562, 5563, 5565, 5567, 5569, 5571, 5573, 5575, 5578, 5583, 5590, 5599, 5610, 5623, 5638, 5655, 5674, 5695, 5696, 5697, 5698, 5699, 5700, 5701, 5702, 5721, 5834, 5837, 5838, 5839, 5840, 5841, 5842, 5843, 5844, 5846, 5848, 5850, 5852, 5854, 5857, 5862, 5869, 5878, 5889, 5902, 5917, 5934, 5953, 5974, 5997, 5998, 5999, 6000, 6001, 6002, 6003, 6004, 6025, 6155, 6158, 6159, 6160, 6161, 6162, 6163, 6164, 6165, 6167, 6169, 6171, 6173, 6176, 6181, 6188, 6197, 6208, 6221, 6236, 6253, 6272, 6293, 6316, 6341, 6342, 6343, 6344, 6345, 6346, 6347, 6348, 6371, 6520, 6523, 6524, 6525, 6526, 6527, 6528, 6529, 6530, 6532, 6534, 6536, 6539, 6544, 6551, 6560, 6571, 6584, 6599, 6616, 6635, 6656, 6679, 6704, 6731, 6732, 6733, 6734, 6735, 6736, 6737, 6738, 6763, 6933, 6936, 6937, 6938, 6939, 6940, 6941, 6942, 6943, 6945, 6947, 6950, 6955, 6962, 6971, 6982, 6995, 7010, 7027, 7046, 7067, 7090, 7115, 7142, 7171, 7172, 7173, 7174, 7175, 7176, 7177, 7178, 7205, 7398, 7401, 7402, 7403, 7404, 7405, 7406, 7407, 7408, 7410, 7413, 7418, 7425, 7434, 7445, 7458, 7473, 7490, 7509, 7530, 7553, 7578, 7605, 7634, 7665, 7666, 7667, 7668, 7669, 7670, 7671, 7672, 7701, 7915, 7918, 7921, 7922, 7923, 7924, 7925, 7926, 7927, 7928, 7931, 7936, 7943, 7952, 7963, 7976, 7991, 8008, 8027, 8048, 8071, 8096, 8123, 8152, 8183, 8216, 8217, 8218, 8219, 8220, 8221, 8222, 8223, 8254]
Discarding 1082 places :
Implicit Place search using SMT only with invariants took 52764 ms to find 1082 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 7905/24798 places, 16590/38317 transitions.
Discarding 445 places :
Symmetric choice reduction at 0 with 445 rule applications. Total rules 445 place count 7460 transition count 16145
Iterating global reduction 0 with 445 rules applied. Total rules applied 890 place count 7460 transition count 16145
Discarding 445 places :
Symmetric choice reduction at 0 with 445 rule applications. Total rules 1335 place count 7015 transition count 15700
Iterating global reduction 0 with 445 rules applied. Total rules applied 1780 place count 7015 transition count 15700
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 1841 place count 6954 transition count 15273
Iterating global reduction 0 with 61 rules applied. Total rules applied 1902 place count 6954 transition count 15273
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 13 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 1908 place count 6951 transition count 15270
Applied a total of 1908 rules in 18416 ms. Remains 6951 /7905 variables (removed 954) and now considering 15270/16590 (removed 1320) transitions.
[2025-06-06 10:04:12] [INFO ] Flow matrix only has 14214 transitions (discarded 1056 similar events)
// Phase 1: matrix 14214 rows 6951 cols
[2025-06-06 10:04:14] [INFO ] Computed 265 invariants in 1250 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 10:04:45] [INFO ] Performed 5129/6951 implicitness test of which 131 returned IMPLICIT in 30 seconds.
[2025-06-06 10:04:49] [INFO ] Implicit Places using invariants in 37130 ms returned [3152, 3504, 3506, 3508, 3510, 3512, 3514, 3516, 3518, 3520, 3522, 3524, 3526, 3528, 3580, 3583, 3585, 3587, 3589, 3593, 3595, 3597, 3599, 3601, 3603, 3605, 3607, 3671, 3676, 3679, 3681, 3683, 3685, 3687, 3689, 3691, 3693, 3695, 3697, 3699, 3777, 3784, 3789, 3792, 3794, 3796, 3798, 3800, 3802, 3804, 3806, 3808, 3810, 3905, 3914, 3921, 3926, 3929, 3931, 3933, 3935, 3937, 3939, 3941, 3943, 3945, 4063, 4074, 4083, 4090, 4095, 4098, 4100, 4102, 4104, 4106, 4108, 4110, 4112, 4248, 4261, 4272, 4281, 4288, 4293, 4296, 4298, 4300, 4302, 4304, 4306, 4308, 4466, 4481, 4494, 4505, 4514, 4521, 4526, 4529, 4531, 4533, 4535, 4537, 4539, 4722, 4739, 4754, 4767, 4778, 4787, 4794, 4799, 4802, 4804, 4806, 4808, 4810, 5020, 5039, 5056, 5071, 5084, 5095, 5104, 5111, 5116, 5119, 5121, 5123, 5125, 5364, 5385, 5404, 5421, 5436, 5449, 5460, 5469, 5476, 5481, 5484, 5486, 5488, 5758, 5781, 5802, 5821, 5838, 5853, 5866, 5877, 5886, 5893, 5898, 5901, 5903, 6206, 6231, 6254, 6275, 6294, 6311, 6326, 6339, 6350, 6359, 6366, 6371, 6374, 6710, 6737, 6762, 6785, 6806, 6825, 6842, 6857, 6870, 6881, 6890, 6897, 6902]
Discarding 183 places :
Implicit Place search using SMT only with invariants took 37140 ms to find 183 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 6768/24798 places, 15270/38317 transitions.
Applied a total of 0 rules in 3745 ms. Remains 6768 /6768 variables (removed 0) and now considering 15270/15270 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 130361 ms. Remains : 6768/24798 places, 15270/38317 transitions.
[2025-06-06 10:04:54] [INFO ] Flatten gal took : 489 ms
[2025-06-06 10:04:54] [INFO ] Flatten gal took : 365 ms
[2025-06-06 10:04:55] [INFO ] Input system was already deterministic with 15270 transitions.
[2025-06-06 10:04:55] [INFO ] Flatten gal took : 421 ms
[2025-06-06 10:04:56] [INFO ] Flatten gal took : 424 ms
[2025-06-06 10:04:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality3875703297319926619.gal : 69 ms
[2025-06-06 10:04:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality15291604010787208506.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/CTLCardinality3875703297319926619.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15291604010787208506.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-06 10:05:26] [INFO ] Flatten gal took : 391 ms
[2025-06-06 10:05:26] [INFO ] Applying decomposition
[2025-06-06 10:05:27] [INFO ] Flatten gal took : 399 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/graph2890410095472146209.txt' '-o' '/tmp/graph2890410095472146209.bin' '-w' '/tmp/graph2890410095472146209.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2890410095472146209.bin' '-l' '-1' '-v' '-w' '/tmp/graph2890410095472146209.weights' '-q' '0' '-e' '0.001'
[2025-06-06 10:05:27] [INFO ] Decomposing Gal with order
[2025-06-06 10:05:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 10:05:34] [INFO ] Removed a total of 14988 redundant transitions.
[2025-06-06 10:05:35] [INFO ] Flatten gal took : 4443 ms
[2025-06-06 10:05:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 1549 labels/synchronizations in 604 ms.
[2025-06-06 10:05:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality9072212191733841938.gal : 92 ms
[2025-06-06 10:05:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality6429330927921187622.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/CTLCardinality9072212191733841938.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6429330927921187622.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-06 10:06:08] [INFO ] Flatten gal took : 1061 ms
[2025-06-06 10:06:10] [INFO ] Flatten gal took : 1125 ms
[2025-06-06 10:06:10] [INFO ] Applying decomposition
[2025-06-06 10:06:11] [INFO ] Flatten gal took : 1208 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/graph9393741683416785888.txt' '-o' '/tmp/graph9393741683416785888.bin' '-w' '/tmp/graph9393741683416785888.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9393741683416785888.bin' '-l' '-1' '-v' '-w' '/tmp/graph9393741683416785888.weights' '-q' '0' '-e' '0.001'
[2025-06-06 10:06:14] [INFO ] Decomposing Gal with order
[2025-06-06 10:06:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 10:07:14] [INFO ] Removed a total of 29005 redundant transitions.
[2025-06-06 10:07:15] [INFO ] Flatten gal took : 6944 ms
[2025-06-06 10:07:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 343 labels/synchronizations in 358 ms.
[2025-06-06 10:07:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality6845202273223827390.gal : 209 ms
[2025-06-06 10:07:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality16516141551670596752.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/CTLCardinality6845202273223827390.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16516141551670596752.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 7 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-S32C07"
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-S32C07, 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-174876524600465"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C07.tgz
mv MultiCrashLeafsetExtension-PT-S32C07 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 ;