About the Execution of ITS-Tools for CANConstruction-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ??T?????????F??? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r030-smll-174853813500193.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 CANConstruction-PT-040, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-smll-174853813500193
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K 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 8.6K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.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 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 2.5M 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 CANConstruction-PT-040-CTLCardinality-2023-12
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2023-13
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2023-14
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2023-15
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-00
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-01
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-02
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-03
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-04
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-05
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-06
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-07
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-08
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-09
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-10
FORMULA_NAME CANConstruction-PT-040-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1748652196176
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-040
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-05-31 00:43:18] [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-05-31 00:43:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-31 00:43:19] [INFO ] Load time of PNML (sax parser for PT used): 709 ms
[2025-05-31 00:43:19] [INFO ] Transformed 3682 places.
[2025-05-31 00:43:19] [INFO ] Transformed 6720 transitions.
[2025-05-31 00:43:19] [INFO ] Parsed PT model containing 3682 places and 6720 transitions and 20000 arcs in 996 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 28 ms.
Support contains 185 out of 3682 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3682/3682 places, 6720/6720 transitions.
Discarding 1445 places :
Symmetric choice reduction at 0 with 1445 rule applications. Total rules 1445 place count 2237 transition count 3830
Iterating global reduction 0 with 1445 rules applied. Total rules applied 2890 place count 2237 transition count 3830
Applied a total of 2890 rules in 808 ms. Remains 2237 /3682 variables (removed 1445) and now considering 3830/6720 (removed 2890) transitions.
// Phase 1: matrix 3830 rows 2237 cols
[2025-05-31 00:43:21] [INFO ] Computed 81 invariants in 133 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:43:26] [INFO ] Implicit Places using invariants in 5238 ms returned [12, 26, 40, 54, 68, 82, 96, 110, 124, 138, 152, 166, 180, 194, 222, 236, 250, 264, 278, 292, 306, 320, 334, 348, 362, 376, 390, 404, 418, 432, 446, 474, 488, 502, 516, 530, 544, 558]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 5340 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2199/3682 places, 3830/6720 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 2165 transition count 3796
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 2165 transition count 3796
Applied a total of 68 rules in 597 ms. Remains 2165 /2199 variables (removed 34) and now considering 3796/3830 (removed 34) transitions.
// Phase 1: matrix 3796 rows 2165 cols
[2025-05-31 00:43:26] [INFO ] Computed 43 invariants in 62 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:43:29] [INFO ] Implicit Places using invariants in 3086 ms returned []
[2025-05-31 00:43:29] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:43:32] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 00:44:03] [INFO ] Performed 1082/2165 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 00:44:33] [INFO ] Performed 1745/2165 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 00:44:50] [INFO ] Implicit Places using invariants and state equation in 80205 ms returned []
Implicit Place search using SMT with State Equation took 83298 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2165/3682 places, 3796/6720 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 90071 ms. Remains : 2165/3682 places, 3796/6720 transitions.
Support contains 185 out of 2165 places after structural reductions.
[2025-05-31 00:44:50] [INFO ] Flatten gal took : 461 ms
[2025-05-31 00:44:51] [INFO ] Flatten gal took : 240 ms
[2025-05-31 00:44:51] [INFO ] Input system was already deterministic with 3796 transitions.
Support contains 183 out of 2165 places (down from 185) after GAL structural reductions.
RANDOM walk for 40000 steps (56 resets) in 3781 ms. (10 steps per ms) remains 29/104 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 35 ms. (111 steps per ms) remains 28/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 28/28 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 28/28 properties
[2025-05-31 00:44:53] [INFO ] Invariant cache hit.
[2025-05-31 00:44:53] [INFO ] State equation strengthened by 3160 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/63 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 28 unsolved
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp86 is UNSAT
Problem AtomicPropp87 is UNSAT
Problem AtomicPropp101 is UNSAT
At refinement iteration 1 (OVERLAPS) 2093/2156 variables, 33/33 constraints. Problems are: Problem set: 15 solved, 13 unsolved
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp24 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/2156 variables, 2/35 constraints. Problems are: Problem set: 17 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2156 variables, 0/35 constraints. Problems are: Problem set: 17 solved, 11 unsolved
At refinement iteration 4 (OVERLAPS) 8/2164 variables, 8/43 constraints. Problems are: Problem set: 17 solved, 11 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2164 variables, 0/43 constraints. Problems are: Problem set: 17 solved, 11 unsolved
At refinement iteration 6 (OVERLAPS) 3796/5960 variables, 2164/2207 constraints. Problems are: Problem set: 17 solved, 11 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5960 variables, 3160/5367 constraints. Problems are: Problem set: 17 solved, 11 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5960/5961 variables, and 5367 constraints, problems are : Problem set: 17 solved, 11 unsolved in 5017 ms.
Refiners :[Positive P Invariants (semi-flows): 41/41 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 2164/2165 constraints, ReadFeed: 3160/3160 constraints, PredecessorRefiner: 28/28 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 17 solved, 11 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/34 variables, 0/0 constraints. Problems are: Problem set: 17 solved, 11 unsolved
At refinement iteration 1 (OVERLAPS) 2112/2146 variables, 25/25 constraints. Problems are: Problem set: 17 solved, 11 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:02] [INFO ] Deduced a trap composed of 5 places in 3103 ms of which 100 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:05] [INFO ] Deduced a trap composed of 5 places in 3551 ms of which 85 ms to minimize.
SMT process timed out in 12801ms, After SMT, problems are : Problem set: 17 solved, 11 unsolved
Fused 11 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 34 out of 2165 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 239 transitions
Trivial Post-agglo rules discarded 239 transitions
Performed 239 trivial Post agglomeration. Transition count delta: 239
Iterating post reduction 0 with 239 rules applied. Total rules applied 239 place count 2165 transition count 3557
Reduce places removed 239 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 240 rules applied. Total rules applied 479 place count 1926 transition count 3556
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 480 place count 1925 transition count 3556
Performed 37 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 37 Pre rules applied. Total rules applied 480 place count 1925 transition count 3519
Deduced a syphon composed of 37 places in 1 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 3 with 74 rules applied. Total rules applied 554 place count 1888 transition count 3519
Discarding 60 places :
Symmetric choice reduction at 3 with 60 rule applications. Total rules 614 place count 1828 transition count 3399
Iterating global reduction 3 with 60 rules applied. Total rules applied 674 place count 1828 transition count 3399
Drop transitions (Trivial Post-Agglo cleanup.) removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 3 with 25 rules applied. Total rules applied 699 place count 1828 transition count 3374
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 4 with 25 rules applied. Total rules applied 724 place count 1803 transition count 3374
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Deduced a syphon composed of 51 places in 2 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 5 with 102 rules applied. Total rules applied 826 place count 1752 transition count 3323
Free-agglomeration rule applied 3 times.
Iterating global reduction 5 with 3 rules applied. Total rules applied 829 place count 1752 transition count 3320
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 832 place count 1749 transition count 3320
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 6 with 2 rules applied. Total rules applied 834 place count 1749 transition count 3318
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 836 place count 1747 transition count 3318
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 7 with 4 rules applied. Total rules applied 840 place count 1747 transition count 3318
Applied a total of 840 rules in 2318 ms. Remains 1747 /2165 variables (removed 418) and now considering 3318/3796 (removed 478) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2319 ms. Remains : 1747/2165 places, 3318/3796 transitions.
RANDOM walk for 40000 steps (141 resets) in 903 ms. (44 steps per ms) remains 8/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 113 ms. (350 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 107 ms. (370 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 107 ms. (370 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 116 ms. (341 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 94 ms. (421 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 104 ms. (380 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 106 ms. (373 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 109 ms. (363 steps per ms) remains 8/8 properties
// Phase 1: matrix 3318 rows 1747 cols
[2025-05-31 00:45:08] [INFO ] Computed 43 invariants in 28 ms
[2025-05-31 00:45:08] [INFO ] State equation strengthened by 3163 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/27 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 1699/1726 variables, 23/23 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1726 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 18/1744 variables, 18/41 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1744 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (OVERLAPS) 2/1746 variables, 2/43 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1746 variables, 0/43 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (OVERLAPS) 3318/5064 variables, 1746/1789 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5064 variables, 3163/4952 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5064 variables, 0/4952 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 10 (OVERLAPS) 1/5065 variables, 1/4953 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/5065 variables, 0/4953 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 12 (OVERLAPS) 0/5065 variables, 0/4953 constraints. Problems are: Problem set: 0 solved, 8 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5065/5065 variables, and 4953 constraints, problems are : Problem set: 0 solved, 8 unsolved in 12006 ms.
Refiners :[Positive P Invariants (semi-flows): 41/41 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 1747/1747 constraints, ReadFeed: 3163/3163 constraints, PredecessorRefiner: 8/8 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 8 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/27 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 1699/1726 variables, 23/23 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:23] [INFO ] Deduced a trap composed of 2 places in 2399 ms of which 32 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:25] [INFO ] Deduced a trap composed of 43 places in 1126 ms of which 110 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:26] [INFO ] Deduced a trap composed of 43 places in 1291 ms of which 119 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:27] [INFO ] Deduced a trap composed of 43 places in 949 ms of which 58 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:28] [INFO ] Deduced a trap composed of 43 places in 789 ms of which 76 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:29] [INFO ] Deduced a trap composed of 43 places in 972 ms of which 70 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:30] [INFO ] Deduced a trap composed of 43 places in 1108 ms of which 86 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:31] [INFO ] Deduced a trap composed of 43 places in 954 ms of which 24 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:32] [INFO ] Deduced a trap composed of 43 places in 926 ms of which 57 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:33] [INFO ] Deduced a trap composed of 43 places in 782 ms of which 67 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:34] [INFO ] Deduced a trap composed of 43 places in 662 ms of which 55 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:34] [INFO ] Deduced a trap composed of 43 places in 738 ms of which 89 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:35] [INFO ] Deduced a trap composed of 43 places in 568 ms of which 51 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:36] [INFO ] Deduced a trap composed of 43 places in 898 ms of which 92 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:37] [INFO ] Deduced a trap composed of 43 places in 871 ms of which 92 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:38] [INFO ] Deduced a trap composed of 43 places in 904 ms of which 80 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:38] [INFO ] Deduced a trap composed of 43 places in 640 ms of which 37 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:39] [INFO ] Deduced a trap composed of 43 places in 516 ms of which 58 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:40] [INFO ] Deduced a trap composed of 43 places in 633 ms of which 51 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:40] [INFO ] Deduced a trap composed of 43 places in 574 ms of which 36 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1726 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:41] [INFO ] Deduced a trap composed of 43 places in 647 ms of which 40 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:42] [INFO ] Deduced a trap composed of 43 places in 705 ms of which 60 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:43] [INFO ] Deduced a trap composed of 43 places in 729 ms of which 61 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:43] [INFO ] Deduced a trap composed of 43 places in 703 ms of which 68 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:44] [INFO ] Deduced a trap composed of 43 places in 802 ms of which 81 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:45] [INFO ] Deduced a trap composed of 43 places in 657 ms of which 52 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:45] [INFO ] Deduced a trap composed of 43 places in 603 ms of which 50 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:46] [INFO ] Deduced a trap composed of 43 places in 643 ms of which 52 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:47] [INFO ] Deduced a trap composed of 43 places in 585 ms of which 12 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:47] [INFO ] Deduced a trap composed of 43 places in 559 ms of which 19 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:48] [INFO ] Deduced a trap composed of 43 places in 539 ms of which 18 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:49] [INFO ] Deduced a trap composed of 43 places in 820 ms of which 57 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:50] [INFO ] Deduced a trap composed of 43 places in 711 ms of which 90 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:50] [INFO ] Deduced a trap composed of 43 places in 723 ms of which 44 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:51] [INFO ] Deduced a trap composed of 43 places in 765 ms of which 74 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:52] [INFO ] Deduced a trap composed of 43 places in 717 ms of which 44 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:53] [INFO ] Deduced a trap composed of 43 places in 658 ms of which 71 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:53] [INFO ] Deduced a trap composed of 43 places in 710 ms of which 56 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:54] [INFO ] Deduced a trap composed of 43 places in 721 ms of which 93 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:55] [INFO ] Deduced a trap composed of 43 places in 618 ms of which 54 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1726 variables, 20/63 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:55] [INFO ] Deduced a trap composed of 43 places in 573 ms of which 40 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:56] [INFO ] Deduced a trap composed of 43 places in 550 ms of which 37 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:57] [INFO ] Deduced a trap composed of 43 places in 501 ms of which 35 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:57] [INFO ] Deduced a trap composed of 43 places in 488 ms of which 34 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:58] [INFO ] Deduced a trap composed of 43 places in 486 ms of which 33 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:58] [INFO ] Deduced a trap composed of 43 places in 434 ms of which 31 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:59] [INFO ] Deduced a trap composed of 43 places in 516 ms of which 50 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:45:59] [INFO ] Deduced a trap composed of 43 places in 466 ms of which 15 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:00] [INFO ] Deduced a trap composed of 43 places in 374 ms of which 14 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:00] [INFO ] Deduced a trap composed of 43 places in 379 ms of which 14 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:00] [INFO ] Deduced a trap composed of 43 places in 344 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:01] [INFO ] Deduced a trap composed of 43 places in 423 ms of which 15 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:01] [INFO ] Deduced a trap composed of 43 places in 402 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:02] [INFO ] Deduced a trap composed of 43 places in 288 ms of which 10 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:02] [INFO ] Deduced a trap composed of 43 places in 368 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:03] [INFO ] Deduced a trap composed of 43 places in 419 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:03] [INFO ] Deduced a trap composed of 43 places in 362 ms of which 12 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:03] [INFO ] Deduced a trap composed of 43 places in 353 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:04] [INFO ] Deduced a trap composed of 43 places in 320 ms of which 12 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:04] [INFO ] Deduced a trap composed of 43 places in 433 ms of which 14 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1726 variables, 20/83 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:05] [INFO ] Deduced a trap composed of 43 places in 821 ms of which 66 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:06] [INFO ] Deduced a trap composed of 43 places in 699 ms of which 37 ms to minimize.
SMT process timed out in 57516ms, After SMT, problems are : Problem set: 0 solved, 8 unsolved
Fused 8 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 27 out of 1747 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1747/1747 places, 3318/3318 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 1747 transition count 3317
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1746 transition count 3317
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 4 place count 1744 transition count 3313
Iterating global reduction 0 with 2 rules applied. Total rules applied 6 place count 1744 transition count 3313
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 10 place count 1742 transition count 3311
Applied a total of 10 rules in 591 ms. Remains 1742 /1747 variables (removed 5) and now considering 3311/3318 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 591 ms. Remains : 1742/1747 places, 3311/3318 transitions.
RANDOM walk for 40000 steps (142 resets) in 1133 ms. (35 steps per ms) remains 7/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 67 ms. (588 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 67 ms. (588 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 55 ms. (714 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 71 ms. (555 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 66 ms. (597 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 74 ms. (533 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 71 ms. (555 steps per ms) remains 7/7 properties
// Phase 1: matrix 3311 rows 1742 cols
[2025-05-31 00:46:07] [INFO ] Computed 43 invariants in 38 ms
[2025-05-31 00:46:07] [INFO ] State equation strengthened by 3163 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/24 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 1696/1720 variables, 22/22 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1720 variables, 0/22 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (OVERLAPS) 19/1739 variables, 19/41 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1739 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 2/1741 variables, 2/43 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1741 variables, 0/43 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (OVERLAPS) 3311/5052 variables, 1741/1784 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5052 variables, 3163/4947 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5052 variables, 0/4947 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 10 (OVERLAPS) 1/5053 variables, 1/4948 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/5053 variables, 0/4948 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 12 (OVERLAPS) 0/5053 variables, 0/4948 constraints. Problems are: Problem set: 0 solved, 7 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5053/5053 variables, and 4948 constraints, problems are : Problem set: 0 solved, 7 unsolved in 7702 ms.
Refiners :[Positive P Invariants (semi-flows): 41/41 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 1742/1742 constraints, ReadFeed: 3163/3163 constraints, PredecessorRefiner: 7/7 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/24 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 1696/1720 variables, 22/22 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:17] [INFO ] Deduced a trap composed of 2 places in 1933 ms of which 33 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:18] [INFO ] Deduced a trap composed of 43 places in 742 ms of which 66 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:19] [INFO ] Deduced a trap composed of 43 places in 879 ms of which 62 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:20] [INFO ] Deduced a trap composed of 43 places in 799 ms of which 66 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:21] [INFO ] Deduced a trap composed of 43 places in 619 ms of which 87 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:21] [INFO ] Deduced a trap composed of 43 places in 710 ms of which 63 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:22] [INFO ] Deduced a trap composed of 43 places in 560 ms of which 11 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:23] [INFO ] Deduced a trap composed of 43 places in 616 ms of which 89 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:23] [INFO ] Deduced a trap composed of 43 places in 717 ms of which 53 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:24] [INFO ] Deduced a trap composed of 43 places in 747 ms of which 63 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:25] [INFO ] Deduced a trap composed of 43 places in 576 ms of which 38 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:25] [INFO ] Deduced a trap composed of 43 places in 666 ms of which 35 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:26] [INFO ] Deduced a trap composed of 43 places in 422 ms of which 42 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:27] [INFO ] Deduced a trap composed of 43 places in 646 ms of which 57 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:27] [INFO ] Deduced a trap composed of 43 places in 620 ms of which 57 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:28] [INFO ] Deduced a trap composed of 43 places in 622 ms of which 33 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:28] [INFO ] Deduced a trap composed of 43 places in 382 ms of which 30 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:29] [INFO ] Deduced a trap composed of 43 places in 537 ms of which 38 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:29] [INFO ] Deduced a trap composed of 43 places in 408 ms of which 11 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:30] [INFO ] Deduced a trap composed of 43 places in 392 ms of which 11 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1720 variables, 20/42 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:30] [INFO ] Deduced a trap composed of 43 places in 621 ms of which 83 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:31] [INFO ] Deduced a trap composed of 43 places in 864 ms of which 89 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:32] [INFO ] Deduced a trap composed of 43 places in 609 ms of which 53 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:33] [INFO ] Deduced a trap composed of 43 places in 544 ms of which 50 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:33] [INFO ] Deduced a trap composed of 43 places in 695 ms of which 86 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:34] [INFO ] Deduced a trap composed of 43 places in 710 ms of which 51 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:35] [INFO ] Deduced a trap composed of 43 places in 553 ms of which 51 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:35] [INFO ] Deduced a trap composed of 43 places in 685 ms of which 80 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:36] [INFO ] Deduced a trap composed of 43 places in 668 ms of which 69 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:37] [INFO ] Deduced a trap composed of 43 places in 628 ms of which 66 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:37] [INFO ] Deduced a trap composed of 43 places in 620 ms of which 62 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:38] [INFO ] Deduced a trap composed of 43 places in 619 ms of which 48 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:39] [INFO ] Deduced a trap composed of 44 places in 494 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:39] [INFO ] Deduced a trap composed of 43 places in 603 ms of which 39 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:40] [INFO ] Deduced a trap composed of 44 places in 593 ms of which 19 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:40] [INFO ] Deduced a trap composed of 44 places in 456 ms of which 15 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:41] [INFO ] Deduced a trap composed of 43 places in 862 ms of which 87 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:42] [INFO ] Deduced a trap composed of 43 places in 725 ms of which 52 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:43] [INFO ] Deduced a trap composed of 43 places in 599 ms of which 65 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:43] [INFO ] Deduced a trap composed of 43 places in 651 ms of which 68 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1720 variables, 20/62 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:44] [INFO ] Deduced a trap composed of 43 places in 645 ms of which 44 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:45] [INFO ] Deduced a trap composed of 43 places in 697 ms of which 43 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:45] [INFO ] Deduced a trap composed of 44 places in 431 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:46] [INFO ] Deduced a trap composed of 44 places in 473 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:46] [INFO ] Deduced a trap composed of 43 places in 408 ms of which 11 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:47] [INFO ] Deduced a trap composed of 44 places in 621 ms of which 21 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:47] [INFO ] Deduced a trap composed of 44 places in 389 ms of which 12 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:48] [INFO ] Deduced a trap composed of 44 places in 600 ms of which 20 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:49] [INFO ] Deduced a trap composed of 44 places in 603 ms of which 21 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:49] [INFO ] Deduced a trap composed of 44 places in 549 ms of which 18 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:50] [INFO ] Deduced a trap composed of 43 places in 665 ms of which 55 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:51] [INFO ] Deduced a trap composed of 44 places in 572 ms of which 20 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:51] [INFO ] Deduced a trap composed of 44 places in 580 ms of which 19 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:52] [INFO ] Deduced a trap composed of 43 places in 618 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:52] [INFO ] Deduced a trap composed of 43 places in 484 ms of which 14 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:53] [INFO ] Deduced a trap composed of 44 places in 481 ms of which 14 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:53] [INFO ] Deduced a trap composed of 43 places in 483 ms of which 12 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1720 variables, 17/79 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:54] [INFO ] Deduced a trap composed of 43 places in 343 ms of which 11 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:54] [INFO ] Deduced a trap composed of 43 places in 321 ms of which 10 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:55] [INFO ] Deduced a trap composed of 43 places in 288 ms of which 10 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:55] [INFO ] Deduced a trap composed of 43 places in 395 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:56] [INFO ] Deduced a trap composed of 43 places in 365 ms of which 11 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:56] [INFO ] Deduced a trap composed of 43 places in 553 ms of which 17 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:57] [INFO ] Deduced a trap composed of 43 places in 526 ms of which 16 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:57] [INFO ] Deduced a trap composed of 43 places in 483 ms of which 15 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:58] [INFO ] Deduced a trap composed of 43 places in 446 ms of which 14 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:58] [INFO ] Deduced a trap composed of 43 places in 567 ms of which 17 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:59] [INFO ] Deduced a trap composed of 43 places in 484 ms of which 16 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:46:59] [INFO ] Deduced a trap composed of 43 places in 473 ms of which 15 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:00] [INFO ] Deduced a trap composed of 43 places in 405 ms of which 13 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:00] [INFO ] Deduced a trap composed of 43 places in 463 ms of which 15 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:01] [INFO ] Deduced a trap composed of 43 places in 406 ms of which 15 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1720 variables, 15/94 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:02] [INFO ] Deduced a trap composed of 43 places in 611 ms of which 54 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:02] [INFO ] Deduced a trap composed of 43 places in 344 ms of which 11 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:03] [INFO ] Deduced a trap composed of 44 places in 384 ms of which 12 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1720 variables, 3/97 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1720 variables, 0/97 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (OVERLAPS) 19/1739 variables, 19/116 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:18] [INFO ] Deduced a trap composed of 43 places in 14280 ms of which 12010 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 00:47:33] [INFO ] Deduced a trap composed of 43 places in 14772 ms of which 12053 ms to minimize.
SMT process timed out in 85579ms, After SMT, problems are : Problem set: 0 solved, 7 unsolved
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 24 out of 1742 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1742/1742 places, 3311/3311 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 1740 transition count 3307
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 1740 transition count 3307
Applied a total of 4 rules in 337 ms. Remains 1740 /1742 variables (removed 2) and now considering 3307/3311 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 338 ms. Remains : 1740/1742 places, 3307/3311 transitions.
Successfully simplified 17 atomic propositions for a total of 16 simplifications.
[2025-05-31 00:47:33] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2025-05-31 00:47:33] [INFO ] Flatten gal took : 140 ms
[2025-05-31 00:47:33] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA CANConstruction-PT-040-CTLCardinality-2023-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CANConstruction-PT-040-CTLCardinality-2025-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-05-31 00:47:33] [INFO ] Flatten gal took : 151 ms
[2025-05-31 00:47:34] [INFO ] Input system was already deterministic with 3796 transitions.
Support contains 122 out of 2165 places (down from 134) after GAL structural reductions.
Computed a total of 127 stabilizing places and 166 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 76 places :
Symmetric choice reduction at 0 with 76 rule applications. Total rules 76 place count 2089 transition count 3648
Iterating global reduction 0 with 76 rules applied. Total rules applied 152 place count 2089 transition count 3648
Applied a total of 152 rules in 444 ms. Remains 2089 /2165 variables (removed 76) and now considering 3648/3796 (removed 148) transitions.
// Phase 1: matrix 3648 rows 2089 cols
[2025-05-31 00:47:34] [INFO ] Computed 43 invariants in 33 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:47:37] [INFO ] Implicit Places using invariants in 3098 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3100 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2087/2165 places, 3648/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2085 transition count 3646
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2085 transition count 3646
Applied a total of 4 rules in 421 ms. Remains 2085 /2087 variables (removed 2) and now considering 3646/3648 (removed 2) transitions.
// Phase 1: matrix 3646 rows 2085 cols
[2025-05-31 00:47:38] [INFO ] Computed 41 invariants in 22 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:47:41] [INFO ] Implicit Places using invariants in 3217 ms returned []
[2025-05-31 00:47:41] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:47:43] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 00:48:13] [INFO ] Performed 933/2085 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 00:48:43] [INFO ] Performed 1563/2085 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 00:49:09] [INFO ] Implicit Places using invariants and state equation in 88306 ms returned []
Implicit Place search using SMT with State Equation took 91529 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2085/2165 places, 3646/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 95496 ms. Remains : 2085/2165 places, 3646/3796 transitions.
[2025-05-31 00:49:09] [INFO ] Flatten gal took : 108 ms
[2025-05-31 00:49:09] [INFO ] Flatten gal took : 124 ms
[2025-05-31 00:49:10] [INFO ] Input system was already deterministic with 3646 transitions.
[2025-05-31 00:49:10] [INFO ] Flatten gal took : 116 ms
[2025-05-31 00:49:10] [INFO ] Flatten gal took : 114 ms
[2025-05-31 00:49:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality1640396305445406399.gal : 85 ms
[2025-05-31 00:49:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality17101256757577477782.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1640396305445406399.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17101256757577477782.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-05-31 00:49:40] [INFO ] Flatten gal took : 120 ms
[2025-05-31 00:49:40] [INFO ] Applying decomposition
[2025-05-31 00:49:40] [INFO ] Flatten gal took : 117 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/graph4331097740739796797.txt' '-o' '/tmp/graph4331097740739796797.bin' '-w' '/tmp/graph4331097740739796797.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4331097740739796797.bin' '-l' '-1' '-v' '-w' '/tmp/graph4331097740739796797.weights' '-q' '0' '-e' '0.001'
[2025-05-31 00:49:41] [INFO ] Decomposing Gal with order
[2025-05-31 00:49:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 00:49:42] [INFO ] Removed a total of 3230 redundant transitions.
[2025-05-31 00:49:42] [INFO ] Flatten gal took : 879 ms
[2025-05-31 00:49:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 6298 labels/synchronizations in 410 ms.
[2025-05-31 00:49:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality4365671211826307808.gal : 42 ms
[2025-05-31 00:49:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality11320612981368697976.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/CTLCardinality4365671211826307808.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11320612981368697976.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 : 2165/2165 places, 3796/3796 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 2088 transition count 3646
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 2088 transition count 3646
Applied a total of 154 rules in 441 ms. Remains 2088 /2165 variables (removed 77) and now considering 3646/3796 (removed 150) transitions.
// Phase 1: matrix 3646 rows 2088 cols
[2025-05-31 00:50:13] [INFO ] Computed 43 invariants in 27 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:50:17] [INFO ] Implicit Places using invariants in 3488 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3502 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2086/2165 places, 3646/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2084 transition count 3644
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2084 transition count 3644
Applied a total of 4 rules in 650 ms. Remains 2084 /2086 variables (removed 2) and now considering 3644/3646 (removed 2) transitions.
// Phase 1: matrix 3644 rows 2084 cols
[2025-05-31 00:50:17] [INFO ] Computed 41 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:50:20] [INFO ] Implicit Places using invariants in 3077 ms returned []
[2025-05-31 00:50:20] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:50:23] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 00:50:53] [INFO ] Performed 995/2084 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 00:51:23] [INFO ] Performed 1647/2084 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 00:51:42] [INFO ] Implicit Places using invariants and state equation in 81225 ms returned []
Implicit Place search using SMT with State Equation took 84316 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2084/2165 places, 3644/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 88912 ms. Remains : 2084/2165 places, 3644/3796 transitions.
[2025-05-31 00:51:42] [INFO ] Flatten gal took : 116 ms
[2025-05-31 00:51:42] [INFO ] Flatten gal took : 116 ms
[2025-05-31 00:51:42] [INFO ] Input system was already deterministic with 3644 transitions.
[2025-05-31 00:51:42] [INFO ] Flatten gal took : 89 ms
[2025-05-31 00:51:43] [INFO ] Flatten gal took : 120 ms
[2025-05-31 00:51:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality8622524201594842166.gal : 19 ms
[2025-05-31 00:51:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality15411214645141877898.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/CTLCardinality8622524201594842166.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15411214645141877898.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-05-31 00:52:13] [INFO ] Flatten gal took : 110 ms
[2025-05-31 00:52:13] [INFO ] Applying decomposition
[2025-05-31 00:52:13] [INFO ] Flatten gal took : 116 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/graph3118229188847043898.txt' '-o' '/tmp/graph3118229188847043898.bin' '-w' '/tmp/graph3118229188847043898.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3118229188847043898.bin' '-l' '-1' '-v' '-w' '/tmp/graph3118229188847043898.weights' '-q' '0' '-e' '0.001'
[2025-05-31 00:52:13] [INFO ] Decomposing Gal with order
[2025-05-31 00:52:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 00:52:14] [INFO ] Removed a total of 3160 redundant transitions.
[2025-05-31 00:52:14] [INFO ] Flatten gal took : 473 ms
[2025-05-31 00:52:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 3036 labels/synchronizations in 206 ms.
[2025-05-31 00:52:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality1347729735479204654.gal : 29 ms
[2025-05-31 00:52:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality8854717019994960712.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/CTLCardinality1347729735479204654.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8854717019994960712.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 78 place count 2087 transition count 3644
Iterating global reduction 0 with 78 rules applied. Total rules applied 156 place count 2087 transition count 3644
Applied a total of 156 rules in 424 ms. Remains 2087 /2165 variables (removed 78) and now considering 3644/3796 (removed 152) transitions.
// Phase 1: matrix 3644 rows 2087 cols
[2025-05-31 00:52:45] [INFO ] Computed 43 invariants in 29 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:52:48] [INFO ] Implicit Places using invariants in 3457 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3466 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2085/2165 places, 3644/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2083 transition count 3642
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2083 transition count 3642
Applied a total of 4 rules in 540 ms. Remains 2083 /2085 variables (removed 2) and now considering 3642/3644 (removed 2) transitions.
// Phase 1: matrix 3642 rows 2083 cols
[2025-05-31 00:52:49] [INFO ] Computed 41 invariants in 60 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:52:52] [INFO ] Implicit Places using invariants in 3387 ms returned []
[2025-05-31 00:52:52] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:52:54] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 00:53:25] [INFO ] Performed 926/2083 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 00:53:55] [INFO ] Performed 1453/2083 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 00:54:25] [INFO ] Performed 1989/2083 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 00:54:30] [INFO ] Implicit Places using invariants and state equation in 97329 ms returned []
Implicit Place search using SMT with State Equation took 100719 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2083/2165 places, 3642/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 105152 ms. Remains : 2083/2165 places, 3642/3796 transitions.
[2025-05-31 00:54:30] [INFO ] Flatten gal took : 150 ms
[2025-05-31 00:54:30] [INFO ] Flatten gal took : 217 ms
[2025-05-31 00:54:30] [INFO ] Input system was already deterministic with 3642 transitions.
[2025-05-31 00:54:31] [INFO ] Flatten gal took : 117 ms
[2025-05-31 00:54:31] [INFO ] Flatten gal took : 123 ms
[2025-05-31 00:54:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality11107409633030021456.gal : 26 ms
[2025-05-31 00:54:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality16021890071227187483.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/CTLCardinality11107409633030021456.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16021890071227187483.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 00:55:01] [INFO ] Flatten gal took : 105 ms
[2025-05-31 00:55:01] [INFO ] Applying decomposition
[2025-05-31 00:55:01] [INFO ] Flatten gal took : 150 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/graph11610682777211241102.txt' '-o' '/tmp/graph11610682777211241102.bin' '-w' '/tmp/graph11610682777211241102.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11610682777211241102.bin' '-l' '-1' '-v' '-w' '/tmp/graph11610682777211241102.weights' '-q' '0' '-e' '0.001'
[2025-05-31 00:55:01] [INFO ] Decomposing Gal with order
[2025-05-31 00:55:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 00:55:02] [INFO ] Removed a total of 3233 redundant transitions.
[2025-05-31 00:55:02] [INFO ] Flatten gal took : 409 ms
[2025-05-31 00:55:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 6230 labels/synchronizations in 213 ms.
[2025-05-31 00:55:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality6210152448198024121.gal : 34 ms
[2025-05-31 00:55:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality12060552485329468257.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/CTLCardinality6210152448198024121.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12060552485329468257.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 : 2165/2165 places, 3796/3796 transitions.
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 77 place count 2088 transition count 3646
Iterating global reduction 0 with 77 rules applied. Total rules applied 154 place count 2088 transition count 3646
Applied a total of 154 rules in 579 ms. Remains 2088 /2165 variables (removed 77) and now considering 3646/3796 (removed 150) transitions.
// Phase 1: matrix 3646 rows 2088 cols
[2025-05-31 00:55:33] [INFO ] Computed 43 invariants in 42 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:55:36] [INFO ] Implicit Places using invariants in 3543 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3547 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2086/2165 places, 3646/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2084 transition count 3644
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2084 transition count 3644
Applied a total of 4 rules in 442 ms. Remains 2084 /2086 variables (removed 2) and now considering 3644/3646 (removed 2) transitions.
// Phase 1: matrix 3644 rows 2084 cols
[2025-05-31 00:55:37] [INFO ] Computed 41 invariants in 33 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:55:40] [INFO ] Implicit Places using invariants in 2865 ms returned []
[2025-05-31 00:55:40] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:55:42] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 00:56:12] [INFO ] Performed 974/2084 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 00:56:42] [INFO ] Performed 1535/2084 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 00:57:12] [INFO ] Performed 2050/2084 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 00:57:14] [INFO ] Implicit Places using invariants and state equation in 94797 ms returned []
Implicit Place search using SMT with State Equation took 97665 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2084/2165 places, 3644/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 102235 ms. Remains : 2084/2165 places, 3644/3796 transitions.
[2025-05-31 00:57:15] [INFO ] Flatten gal took : 82 ms
[2025-05-31 00:57:15] [INFO ] Flatten gal took : 100 ms
[2025-05-31 00:57:15] [INFO ] Input system was already deterministic with 3644 transitions.
[2025-05-31 00:57:15] [INFO ] Flatten gal took : 98 ms
[2025-05-31 00:57:15] [INFO ] Flatten gal took : 103 ms
[2025-05-31 00:57:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality3400664637536552502.gal : 19 ms
[2025-05-31 00:57:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality2651940709723778382.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/CTLCardinality3400664637536552502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2651940709723778382.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-05-31 00:57:45] [INFO ] Flatten gal took : 107 ms
[2025-05-31 00:57:45] [INFO ] Applying decomposition
[2025-05-31 00:57:45] [INFO ] Flatten gal took : 104 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/graph3434303779473052957.txt' '-o' '/tmp/graph3434303779473052957.bin' '-w' '/tmp/graph3434303779473052957.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3434303779473052957.bin' '-l' '-1' '-v' '-w' '/tmp/graph3434303779473052957.weights' '-q' '0' '-e' '0.001'
[2025-05-31 00:57:46] [INFO ] Decomposing Gal with order
[2025-05-31 00:57:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 00:57:46] [INFO ] Removed a total of 3161 redundant transitions.
[2025-05-31 00:57:46] [INFO ] Flatten gal took : 384 ms
[2025-05-31 00:57:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 3040 labels/synchronizations in 165 ms.
[2025-05-31 00:57:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality3570975663427167448.gal : 25 ms
[2025-05-31 00:57:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality188344833629877383.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/CTLCardinality3570975663427167448.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality188344833629877383.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 2091 transition count 3652
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 2091 transition count 3652
Applied a total of 148 rules in 451 ms. Remains 2091 /2165 variables (removed 74) and now considering 3652/3796 (removed 144) transitions.
// Phase 1: matrix 3652 rows 2091 cols
[2025-05-31 00:58:17] [INFO ] Computed 43 invariants in 31 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:58:20] [INFO ] Implicit Places using invariants in 2921 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 2925 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2089/2165 places, 3652/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2087 transition count 3650
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2087 transition count 3650
Applied a total of 4 rules in 451 ms. Remains 2087 /2089 variables (removed 2) and now considering 3650/3652 (removed 2) transitions.
// Phase 1: matrix 3650 rows 2087 cols
[2025-05-31 00:58:21] [INFO ] Computed 41 invariants in 21 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:58:24] [INFO ] Implicit Places using invariants in 3695 ms returned []
[2025-05-31 00:58:24] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 00:58:26] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 00:58:57] [INFO ] Performed 953/2087 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 00:59:27] [INFO ] Performed 1502/2087 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 00:59:57] [INFO ] Performed 2053/2087 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 00:59:59] [INFO ] Implicit Places using invariants and state equation in 94331 ms returned []
Implicit Place search using SMT with State Equation took 98033 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2087/2165 places, 3650/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 101862 ms. Remains : 2087/2165 places, 3650/3796 transitions.
[2025-05-31 00:59:59] [INFO ] Flatten gal took : 90 ms
[2025-05-31 00:59:59] [INFO ] Flatten gal took : 90 ms
[2025-05-31 00:59:59] [INFO ] Input system was already deterministic with 3650 transitions.
[2025-05-31 00:59:59] [INFO ] Flatten gal took : 164 ms
[2025-05-31 00:59:59] [INFO ] Flatten gal took : 142 ms
[2025-05-31 00:59:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality4428717081175446096.gal : 24 ms
[2025-05-31 00:59:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality1983953503785658694.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/CTLCardinality4428717081175446096.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1983953503785658694.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-05-31 01:00:29] [INFO ] Flatten gal took : 88 ms
[2025-05-31 01:00:29] [INFO ] Applying decomposition
[2025-05-31 01:00:30] [INFO ] Flatten gal took : 89 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/graph479552657165520654.txt' '-o' '/tmp/graph479552657165520654.bin' '-w' '/tmp/graph479552657165520654.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph479552657165520654.bin' '-l' '-1' '-v' '-w' '/tmp/graph479552657165520654.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:00:30] [INFO ] Decomposing Gal with order
[2025-05-31 01:00:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:00:30] [INFO ] Removed a total of 3168 redundant transitions.
[2025-05-31 01:00:30] [INFO ] Flatten gal took : 376 ms
[2025-05-31 01:00:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 3040 labels/synchronizations in 242 ms.
[2025-05-31 01:00:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality4426252365385517819.gal : 20 ms
[2025-05-31 01:00:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality13846932835829647481.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/CTLCardinality4426252365385517819.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13846932835829647481.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 : 2165/2165 places, 3796/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 247 transitions
Trivial Post-agglo rules discarded 247 transitions
Performed 247 trivial Post agglomeration. Transition count delta: 247
Iterating post reduction 0 with 247 rules applied. Total rules applied 247 place count 2165 transition count 3549
Reduce places removed 247 places and 0 transitions.
Iterating post reduction 1 with 247 rules applied. Total rules applied 494 place count 1918 transition count 3549
Performed 38 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 38 Pre rules applied. Total rules applied 494 place count 1918 transition count 3511
Deduced a syphon composed of 38 places in 1 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 2 with 76 rules applied. Total rules applied 570 place count 1880 transition count 3511
Discarding 74 places :
Symmetric choice reduction at 2 with 74 rule applications. Total rules 644 place count 1806 transition count 3363
Iterating global reduction 2 with 74 rules applied. Total rules applied 718 place count 1806 transition count 3363
Drop transitions (Trivial Post-Agglo cleanup.) removed 40 transitions
Trivial Post-agglo rules discarded 40 transitions
Performed 40 trivial Post agglomeration. Transition count delta: 40
Iterating post reduction 2 with 40 rules applied. Total rules applied 758 place count 1806 transition count 3323
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 3 with 40 rules applied. Total rules applied 798 place count 1766 transition count 3323
Performed 37 Post agglomeration using F-continuation condition.Transition count delta: 37
Deduced a syphon composed of 37 places in 0 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 4 with 74 rules applied. Total rules applied 872 place count 1729 transition count 3286
Applied a total of 872 rules in 761 ms. Remains 1729 /2165 variables (removed 436) and now considering 3286/3796 (removed 510) transitions.
// Phase 1: matrix 3286 rows 1729 cols
[2025-05-31 01:01:02] [INFO ] Computed 43 invariants in 24 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:01:04] [INFO ] Implicit Places using invariants in 2058 ms returned [47, 104]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 2061 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1727/2165 places, 3286/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1727 transition count 3282
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 1723 transition count 3282
Applied a total of 8 rules in 210 ms. Remains 1723 /1727 variables (removed 4) and now considering 3282/3286 (removed 4) transitions.
// Phase 1: matrix 3282 rows 1723 cols
[2025-05-31 01:01:04] [INFO ] Computed 41 invariants in 36 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:01:07] [INFO ] Implicit Places using invariants in 2627 ms returned []
[2025-05-31 01:01:07] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:01:08] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:01:39] [INFO ] Performed 805/1723 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:02:09] [INFO ] Performed 1542/1723 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:02:17] [INFO ] Implicit Places using invariants and state equation in 69917 ms returned []
Implicit Place search using SMT with State Equation took 72547 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1723/2165 places, 3282/3796 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 75580 ms. Remains : 1723/2165 places, 3282/3796 transitions.
[2025-05-31 01:02:17] [INFO ] Flatten gal took : 68 ms
[2025-05-31 01:02:17] [INFO ] Flatten gal took : 84 ms
[2025-05-31 01:02:17] [INFO ] Input system was already deterministic with 3282 transitions.
[2025-05-31 01:02:17] [INFO ] Flatten gal took : 136 ms
[2025-05-31 01:02:17] [INFO ] Flatten gal took : 141 ms
[2025-05-31 01:02:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality8314396889594640160.gal : 22 ms
[2025-05-31 01:02:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality5919067601806208847.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/CTLCardinality8314396889594640160.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5919067601806208847.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-05-31 01:02:48] [INFO ] Flatten gal took : 138 ms
[2025-05-31 01:02:48] [INFO ] Applying decomposition
[2025-05-31 01:02:48] [INFO ] Flatten gal took : 152 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/graph11577280392241025033.txt' '-o' '/tmp/graph11577280392241025033.bin' '-w' '/tmp/graph11577280392241025033.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11577280392241025033.bin' '-l' '-1' '-v' '-w' '/tmp/graph11577280392241025033.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:02:48] [INFO ] Decomposing Gal with order
[2025-05-31 01:02:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:02:49] [INFO ] Removed a total of 3159 redundant transitions.
[2025-05-31 01:02:49] [INFO ] Flatten gal took : 597 ms
[2025-05-31 01:02:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 3044 labels/synchronizations in 243 ms.
[2025-05-31 01:02:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality14839883118022653854.gal : 31 ms
[2025-05-31 01:02:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality17502331219039626237.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/CTLCardinality14839883118022653854.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17502331219039626237.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 246 transitions
Trivial Post-agglo rules discarded 246 transitions
Performed 246 trivial Post agglomeration. Transition count delta: 246
Iterating post reduction 0 with 246 rules applied. Total rules applied 246 place count 2165 transition count 3550
Reduce places removed 246 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 247 rules applied. Total rules applied 493 place count 1919 transition count 3549
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 494 place count 1918 transition count 3549
Performed 38 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 38 Pre rules applied. Total rules applied 494 place count 1918 transition count 3511
Deduced a syphon composed of 38 places in 1 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 3 with 76 rules applied. Total rules applied 570 place count 1880 transition count 3511
Discarding 70 places :
Symmetric choice reduction at 3 with 70 rule applications. Total rules 640 place count 1810 transition count 3371
Iterating global reduction 3 with 70 rules applied. Total rules applied 710 place count 1810 transition count 3371
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 3 with 37 rules applied. Total rules applied 747 place count 1810 transition count 3334
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 4 with 37 rules applied. Total rules applied 784 place count 1773 transition count 3334
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 1 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 5 with 78 rules applied. Total rules applied 862 place count 1734 transition count 3295
Applied a total of 862 rules in 847 ms. Remains 1734 /2165 variables (removed 431) and now considering 3295/3796 (removed 501) transitions.
// Phase 1: matrix 3295 rows 1734 cols
[2025-05-31 01:03:20] [INFO ] Computed 43 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:03:23] [INFO ] Implicit Places using invariants in 3059 ms returned [48, 105]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3064 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1732/2165 places, 3295/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1732 transition count 3291
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 1728 transition count 3291
Applied a total of 8 rules in 320 ms. Remains 1728 /1732 variables (removed 4) and now considering 3291/3295 (removed 4) transitions.
// Phase 1: matrix 3291 rows 1728 cols
[2025-05-31 01:03:23] [INFO ] Computed 41 invariants in 37 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:03:26] [INFO ] Implicit Places using invariants in 3066 ms returned []
[2025-05-31 01:03:26] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:03:28] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:03:59] [INFO ] Performed 720/1728 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:04:29] [INFO ] Performed 1325/1728 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:04:48] [INFO ] Implicit Places using invariants and state equation in 81959 ms returned []
Implicit Place search using SMT with State Equation took 85032 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1728/2165 places, 3291/3796 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 89263 ms. Remains : 1728/2165 places, 3291/3796 transitions.
[2025-05-31 01:04:48] [INFO ] Flatten gal took : 82 ms
[2025-05-31 01:04:48] [INFO ] Flatten gal took : 85 ms
[2025-05-31 01:04:49] [INFO ] Input system was already deterministic with 3291 transitions.
[2025-05-31 01:04:49] [INFO ] Flatten gal took : 101 ms
[2025-05-31 01:04:49] [INFO ] Flatten gal took : 104 ms
[2025-05-31 01:04:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality13826948891639689877.gal : 22 ms
[2025-05-31 01:04:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality3007216945708756427.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/CTLCardinality13826948891639689877.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3007216945708756427.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-05-31 01:05:19] [INFO ] Flatten gal took : 129 ms
[2025-05-31 01:05:19] [INFO ] Applying decomposition
[2025-05-31 01:05:19] [INFO ] Flatten gal took : 131 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/graph9000176973121344662.txt' '-o' '/tmp/graph9000176973121344662.bin' '-w' '/tmp/graph9000176973121344662.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9000176973121344662.bin' '-l' '-1' '-v' '-w' '/tmp/graph9000176973121344662.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:05:19] [INFO ] Decomposing Gal with order
[2025-05-31 01:05:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:05:20] [INFO ] Removed a total of 3171 redundant transitions.
[2025-05-31 01:05:20] [INFO ] Flatten gal took : 544 ms
[2025-05-31 01:05:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 3034 labels/synchronizations in 172 ms.
[2025-05-31 01:05:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality436180760870001457.gal : 15 ms
[2025-05-31 01:05:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality13254840134043844908.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/CTLCardinality436180760870001457.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13254840134043844908.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 69 place count 2096 transition count 3662
Iterating global reduction 0 with 69 rules applied. Total rules applied 138 place count 2096 transition count 3662
Applied a total of 138 rules in 431 ms. Remains 2096 /2165 variables (removed 69) and now considering 3662/3796 (removed 134) transitions.
// Phase 1: matrix 3662 rows 2096 cols
[2025-05-31 01:05:51] [INFO ] Computed 43 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:05:54] [INFO ] Implicit Places using invariants in 3074 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3086 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2094/2165 places, 3662/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2092 transition count 3660
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2092 transition count 3660
Applied a total of 4 rules in 553 ms. Remains 2092 /2094 variables (removed 2) and now considering 3660/3662 (removed 2) transitions.
// Phase 1: matrix 3660 rows 2092 cols
[2025-05-31 01:05:55] [INFO ] Computed 41 invariants in 30 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:05:58] [INFO ] Implicit Places using invariants in 3706 ms returned []
[2025-05-31 01:05:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:06:01] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:06:32] [INFO ] Performed 996/2092 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:07:02] [INFO ] Performed 1670/2092 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:07:22] [INFO ] Implicit Places using invariants and state equation in 83509 ms returned []
Implicit Place search using SMT with State Equation took 87224 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2092/2165 places, 3660/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 91297 ms. Remains : 2092/2165 places, 3660/3796 transitions.
[2025-05-31 01:07:22] [INFO ] Flatten gal took : 78 ms
[2025-05-31 01:07:22] [INFO ] Flatten gal took : 99 ms
[2025-05-31 01:07:22] [INFO ] Input system was already deterministic with 3660 transitions.
[2025-05-31 01:07:22] [INFO ] Flatten gal took : 93 ms
[2025-05-31 01:07:22] [INFO ] Flatten gal took : 100 ms
[2025-05-31 01:07:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality10980658008753622467.gal : 17 ms
[2025-05-31 01:07:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality1302369729614190853.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/CTLCardinality10980658008753622467.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1302369729614190853.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-05-31 01:07:53] [INFO ] Flatten gal took : 81 ms
[2025-05-31 01:07:53] [INFO ] Applying decomposition
[2025-05-31 01:07:53] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9164924453863009914.txt' '-o' '/tmp/graph9164924453863009914.bin' '-w' '/tmp/graph9164924453863009914.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9164924453863009914.bin' '-l' '-1' '-v' '-w' '/tmp/graph9164924453863009914.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:07:53] [INFO ] Decomposing Gal with order
[2025-05-31 01:07:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:07:54] [INFO ] Removed a total of 3236 redundant transitions.
[2025-05-31 01:07:54] [INFO ] Flatten gal took : 602 ms
[2025-05-31 01:07:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 3084 labels/synchronizations in 161 ms.
[2025-05-31 01:07:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality18355011639220061941.gal : 18 ms
[2025-05-31 01:07:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality6838903018470576970.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/CTLCardinality18355011639220061941.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6838903018470576970.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 : 2165/2165 places, 3796/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 240 transitions
Trivial Post-agglo rules discarded 240 transitions
Performed 240 trivial Post agglomeration. Transition count delta: 240
Iterating post reduction 0 with 240 rules applied. Total rules applied 240 place count 2165 transition count 3556
Reduce places removed 240 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 243 rules applied. Total rules applied 483 place count 1925 transition count 3553
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 486 place count 1922 transition count 3553
Performed 37 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 37 Pre rules applied. Total rules applied 486 place count 1922 transition count 3516
Deduced a syphon composed of 37 places in 1 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 3 with 74 rules applied. Total rules applied 560 place count 1885 transition count 3516
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 622 place count 1823 transition count 3392
Iterating global reduction 3 with 62 rules applied. Total rules applied 684 place count 1823 transition count 3392
Drop transitions (Trivial Post-Agglo cleanup.) removed 28 transitions
Trivial Post-agglo rules discarded 28 transitions
Performed 28 trivial Post agglomeration. Transition count delta: 28
Iterating post reduction 3 with 28 rules applied. Total rules applied 712 place count 1823 transition count 3364
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 4 with 28 rules applied. Total rules applied 740 place count 1795 transition count 3364
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Deduced a syphon composed of 48 places in 1 ms
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 5 with 96 rules applied. Total rules applied 836 place count 1747 transition count 3316
Applied a total of 836 rules in 600 ms. Remains 1747 /2165 variables (removed 418) and now considering 3316/3796 (removed 480) transitions.
// Phase 1: matrix 3316 rows 1747 cols
[2025-05-31 01:08:25] [INFO ] Computed 43 invariants in 38 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:08:28] [INFO ] Implicit Places using invariants in 2637 ms returned [50, 110]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 2642 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1745/2165 places, 3316/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1745 transition count 3314
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1743 transition count 3314
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 1741 transition count 3312
Applied a total of 8 rules in 346 ms. Remains 1741 /1745 variables (removed 4) and now considering 3312/3316 (removed 4) transitions.
// Phase 1: matrix 3312 rows 1741 cols
[2025-05-31 01:08:28] [INFO ] Computed 41 invariants in 27 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:08:30] [INFO ] Implicit Places using invariants in 2225 ms returned []
[2025-05-31 01:08:30] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:08:32] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:09:02] [INFO ] Performed 751/1741 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:09:32] [INFO ] Performed 1431/1741 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:09:47] [INFO ] Implicit Places using invariants and state equation in 76898 ms returned []
Implicit Place search using SMT with State Equation took 79129 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1741/2165 places, 3312/3796 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 82717 ms. Remains : 1741/2165 places, 3312/3796 transitions.
[2025-05-31 01:09:47] [INFO ] Flatten gal took : 67 ms
[2025-05-31 01:09:47] [INFO ] Flatten gal took : 84 ms
[2025-05-31 01:09:47] [INFO ] Input system was already deterministic with 3312 transitions.
[2025-05-31 01:09:47] [INFO ] Flatten gal took : 88 ms
[2025-05-31 01:09:47] [INFO ] Flatten gal took : 84 ms
[2025-05-31 01:09:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality11510674697022077239.gal : 13 ms
[2025-05-31 01:09:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality16197137738815229789.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/CTLCardinality11510674697022077239.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16197137738815229789.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 01:10:18] [INFO ] Flatten gal took : 82 ms
[2025-05-31 01:10:18] [INFO ] Applying decomposition
[2025-05-31 01:10:18] [INFO ] Flatten gal took : 98 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/graph6386287141257516847.txt' '-o' '/tmp/graph6386287141257516847.bin' '-w' '/tmp/graph6386287141257516847.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6386287141257516847.bin' '-l' '-1' '-v' '-w' '/tmp/graph6386287141257516847.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:10:18] [INFO ] Decomposing Gal with order
[2025-05-31 01:10:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:10:19] [INFO ] Removed a total of 3186 redundant transitions.
[2025-05-31 01:10:19] [INFO ] Flatten gal took : 579 ms
[2025-05-31 01:10:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 3051 labels/synchronizations in 167 ms.
[2025-05-31 01:10:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality9631923799076329978.gal : 16 ms
[2025-05-31 01:10:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality2161030406199094164.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/CTLCardinality9631923799076329978.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2161030406199094164.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 2090 transition count 3649
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 2090 transition count 3649
Applied a total of 150 rules in 435 ms. Remains 2090 /2165 variables (removed 75) and now considering 3649/3796 (removed 147) transitions.
// Phase 1: matrix 3649 rows 2090 cols
[2025-05-31 01:10:50] [INFO ] Computed 43 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:10:53] [INFO ] Implicit Places using invariants in 3279 ms returned [180, 399]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3283 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2088/2165 places, 3649/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2086 transition count 3647
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2086 transition count 3647
Applied a total of 4 rules in 706 ms. Remains 2086 /2088 variables (removed 2) and now considering 3647/3649 (removed 2) transitions.
// Phase 1: matrix 3647 rows 2086 cols
[2025-05-31 01:10:54] [INFO ] Computed 41 invariants in 21 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:10:56] [INFO ] Implicit Places using invariants in 2875 ms returned []
[2025-05-31 01:10:56] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:10:58] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:11:29] [INFO ] Performed 953/2086 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:11:59] [INFO ] Performed 1510/2086 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:12:28] [INFO ] Implicit Places using invariants and state equation in 91444 ms returned []
Implicit Place search using SMT with State Equation took 94334 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2086/2165 places, 3647/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 98759 ms. Remains : 2086/2165 places, 3647/3796 transitions.
[2025-05-31 01:12:28] [INFO ] Flatten gal took : 80 ms
[2025-05-31 01:12:28] [INFO ] Flatten gal took : 101 ms
[2025-05-31 01:12:28] [INFO ] Input system was already deterministic with 3647 transitions.
[2025-05-31 01:12:28] [INFO ] Flatten gal took : 98 ms
[2025-05-31 01:12:28] [INFO ] Flatten gal took : 105 ms
[2025-05-31 01:12:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality12169808141294540918.gal : 17 ms
[2025-05-31 01:12:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality12371889606885003219.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/CTLCardinality12169808141294540918.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12371889606885003219.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 01:12:59] [INFO ] Flatten gal took : 98 ms
[2025-05-31 01:12:59] [INFO ] Applying decomposition
[2025-05-31 01:12:59] [INFO ] Flatten gal took : 101 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph870309368713626003.txt' '-o' '/tmp/graph870309368713626003.bin' '-w' '/tmp/graph870309368713626003.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph870309368713626003.bin' '-l' '-1' '-v' '-w' '/tmp/graph870309368713626003.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:12:59] [INFO ] Decomposing Gal with order
[2025-05-31 01:12:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:12:59] [INFO ] Removed a total of 3165 redundant transitions.
[2025-05-31 01:12:59] [INFO ] Flatten gal took : 416 ms
[2025-05-31 01:13:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 3038 labels/synchronizations in 176 ms.
[2025-05-31 01:13:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality5458036153661353066.gal : 18 ms
[2025-05-31 01:13:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality7687323848595730727.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/CTLCardinality5458036153661353066.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7687323848595730727.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 247 transitions
Trivial Post-agglo rules discarded 247 transitions
Performed 247 trivial Post agglomeration. Transition count delta: 247
Iterating post reduction 0 with 247 rules applied. Total rules applied 247 place count 2165 transition count 3549
Reduce places removed 247 places and 0 transitions.
Iterating post reduction 1 with 247 rules applied. Total rules applied 494 place count 1918 transition count 3549
Performed 38 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 38 Pre rules applied. Total rules applied 494 place count 1918 transition count 3511
Deduced a syphon composed of 38 places in 1 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 2 with 76 rules applied. Total rules applied 570 place count 1880 transition count 3511
Discarding 73 places :
Symmetric choice reduction at 2 with 73 rule applications. Total rules 643 place count 1807 transition count 3365
Iterating global reduction 2 with 73 rules applied. Total rules applied 716 place count 1807 transition count 3365
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 2 with 39 rules applied. Total rules applied 755 place count 1807 transition count 3326
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 3 with 39 rules applied. Total rules applied 794 place count 1768 transition count 3326
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Deduced a syphon composed of 38 places in 0 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 4 with 76 rules applied. Total rules applied 870 place count 1730 transition count 3288
Applied a total of 870 rules in 858 ms. Remains 1730 /2165 variables (removed 435) and now considering 3288/3796 (removed 508) transitions.
// Phase 1: matrix 3288 rows 1730 cols
[2025-05-31 01:13:31] [INFO ] Computed 43 invariants in 25 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:13:34] [INFO ] Implicit Places using invariants in 3242 ms returned [47, 104]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3258 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1728/2165 places, 3288/3796 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1728 transition count 3284
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 1724 transition count 3284
Applied a total of 8 rules in 203 ms. Remains 1724 /1728 variables (removed 4) and now considering 3284/3288 (removed 4) transitions.
// Phase 1: matrix 3284 rows 1724 cols
[2025-05-31 01:13:35] [INFO ] Computed 41 invariants in 23 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:13:37] [INFO ] Implicit Places using invariants in 2736 ms returned []
[2025-05-31 01:13:37] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:13:39] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:14:09] [INFO ] Performed 733/1724 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:14:39] [INFO ] Performed 1459/1724 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:14:50] [INFO ] Implicit Places using invariants and state equation in 72590 ms returned []
Implicit Place search using SMT with State Equation took 75336 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1724/2165 places, 3284/3796 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 79655 ms. Remains : 1724/2165 places, 3284/3796 transitions.
[2025-05-31 01:14:50] [INFO ] Flatten gal took : 72 ms
[2025-05-31 01:14:50] [INFO ] Flatten gal took : 88 ms
[2025-05-31 01:14:50] [INFO ] Input system was already deterministic with 3284 transitions.
[2025-05-31 01:14:50] [INFO ] Flatten gal took : 85 ms
[2025-05-31 01:14:50] [INFO ] Flatten gal took : 104 ms
[2025-05-31 01:14:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality11475031608225062166.gal : 12 ms
[2025-05-31 01:14:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality18273656822991675056.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/CTLCardinality11475031608225062166.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18273656822991675056.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 01:15:21] [INFO ] Flatten gal took : 82 ms
[2025-05-31 01:15:21] [INFO ] Applying decomposition
[2025-05-31 01:15:21] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2675488429547622808.txt' '-o' '/tmp/graph2675488429547622808.bin' '-w' '/tmp/graph2675488429547622808.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2675488429547622808.bin' '-l' '-1' '-v' '-w' '/tmp/graph2675488429547622808.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:15:21] [INFO ] Decomposing Gal with order
[2025-05-31 01:15:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:15:21] [INFO ] Removed a total of 3162 redundant transitions.
[2025-05-31 01:15:21] [INFO ] Flatten gal took : 487 ms
[2025-05-31 01:15:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 3040 labels/synchronizations in 144 ms.
[2025-05-31 01:15:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality17517888652635176430.gal : 15 ms
[2025-05-31 01:15:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality3320374309059766532.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/CTLCardinality17517888652635176430.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3320374309059766532.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 2091 transition count 3652
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 2091 transition count 3652
Applied a total of 148 rules in 450 ms. Remains 2091 /2165 variables (removed 74) and now considering 3652/3796 (removed 144) transitions.
// Phase 1: matrix 3652 rows 2091 cols
[2025-05-31 01:15:52] [INFO ] Computed 43 invariants in 25 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:15:55] [INFO ] Implicit Places using invariants in 2905 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 2935 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2089/2165 places, 3652/3796 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 2088 transition count 3651
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 2088 transition count 3651
Applied a total of 2 rules in 433 ms. Remains 2088 /2089 variables (removed 1) and now considering 3651/3652 (removed 1) transitions.
// Phase 1: matrix 3651 rows 2088 cols
[2025-05-31 01:15:56] [INFO ] Computed 41 invariants in 31 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:15:58] [INFO ] Implicit Places using invariants in 2839 ms returned []
[2025-05-31 01:15:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:16:01] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:16:31] [INFO ] Performed 953/2088 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:17:01] [INFO ] Performed 1541/2088 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:17:28] [INFO ] Implicit Places using invariants and state equation in 89830 ms returned []
Implicit Place search using SMT with State Equation took 92695 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2088/2165 places, 3651/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 96513 ms. Remains : 2088/2165 places, 3651/3796 transitions.
[2025-05-31 01:17:28] [INFO ] Flatten gal took : 110 ms
[2025-05-31 01:17:29] [INFO ] Flatten gal took : 89 ms
[2025-05-31 01:17:29] [INFO ] Input system was already deterministic with 3651 transitions.
[2025-05-31 01:17:29] [INFO ] Flatten gal took : 87 ms
[2025-05-31 01:17:29] [INFO ] Flatten gal took : 91 ms
[2025-05-31 01:17:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality1546165670333391391.gal : 14 ms
[2025-05-31 01:17:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality9929408356250906621.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/CTLCardinality1546165670333391391.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9929408356250906621.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-05-31 01:17:59] [INFO ] Flatten gal took : 158 ms
[2025-05-31 01:17:59] [INFO ] Applying decomposition
[2025-05-31 01:17:59] [INFO ] Flatten gal took : 146 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/graph3677805007955853029.txt' '-o' '/tmp/graph3677805007955853029.bin' '-w' '/tmp/graph3677805007955853029.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3677805007955853029.bin' '-l' '-1' '-v' '-w' '/tmp/graph3677805007955853029.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:18:00] [INFO ] Decomposing Gal with order
[2025-05-31 01:18:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:18:00] [INFO ] Removed a total of 3168 redundant transitions.
[2025-05-31 01:18:00] [INFO ] Flatten gal took : 563 ms
[2025-05-31 01:18:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 3032 labels/synchronizations in 158 ms.
[2025-05-31 01:18:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality3759504382658703857.gal : 17 ms
[2025-05-31 01:18:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality4309551463796297387.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/CTLCardinality3759504382658703857.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4309551463796297387.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 2090 transition count 3650
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 2090 transition count 3650
Applied a total of 150 rules in 702 ms. Remains 2090 /2165 variables (removed 75) and now considering 3650/3796 (removed 146) transitions.
// Phase 1: matrix 3650 rows 2090 cols
[2025-05-31 01:18:32] [INFO ] Computed 43 invariants in 25 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:18:35] [INFO ] Implicit Places using invariants in 3294 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3296 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2088/2165 places, 3650/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2086 transition count 3648
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2086 transition count 3648
Applied a total of 4 rules in 428 ms. Remains 2086 /2088 variables (removed 2) and now considering 3648/3650 (removed 2) transitions.
// Phase 1: matrix 3648 rows 2086 cols
[2025-05-31 01:18:35] [INFO ] Computed 41 invariants in 20 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:18:38] [INFO ] Implicit Places using invariants in 2983 ms returned []
[2025-05-31 01:18:38] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:18:40] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:19:11] [INFO ] Performed 950/2086 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:19:41] [INFO ] Performed 1502/2086 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:20:11] [INFO ] Performed 2057/2086 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 01:20:12] [INFO ] Implicit Places using invariants and state equation in 93845 ms returned []
Implicit Place search using SMT with State Equation took 96831 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2086/2165 places, 3648/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 101259 ms. Remains : 2086/2165 places, 3648/3796 transitions.
[2025-05-31 01:20:12] [INFO ] Flatten gal took : 136 ms
[2025-05-31 01:20:12] [INFO ] Flatten gal took : 155 ms
[2025-05-31 01:20:13] [INFO ] Input system was already deterministic with 3648 transitions.
[2025-05-31 01:20:13] [INFO ] Flatten gal took : 149 ms
[2025-05-31 01:20:13] [INFO ] Flatten gal took : 155 ms
[2025-05-31 01:20:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality17732750233075803821.gal : 25 ms
[2025-05-31 01:20:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality1158557832784923758.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/CTLCardinality17732750233075803821.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1158557832784923758.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-05-31 01:20:43] [INFO ] Flatten gal took : 104 ms
[2025-05-31 01:20:43] [INFO ] Applying decomposition
[2025-05-31 01:20:43] [INFO ] Flatten gal took : 84 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/graph10841350342480428995.txt' '-o' '/tmp/graph10841350342480428995.bin' '-w' '/tmp/graph10841350342480428995.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10841350342480428995.bin' '-l' '-1' '-v' '-w' '/tmp/graph10841350342480428995.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:20:43] [INFO ] Decomposing Gal with order
[2025-05-31 01:20:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:20:44] [INFO ] Removed a total of 3166 redundant transitions.
[2025-05-31 01:20:44] [INFO ] Flatten gal took : 347 ms
[2025-05-31 01:20:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 3034 labels/synchronizations in 165 ms.
[2025-05-31 01:20:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality3176682669510559528.gal : 18 ms
[2025-05-31 01:20:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality10205623823131075536.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/CTLCardinality3176682669510559528.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10205623823131075536.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2165/2165 places, 3796/3796 transitions.
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 78 place count 2087 transition count 3643
Iterating global reduction 0 with 78 rules applied. Total rules applied 156 place count 2087 transition count 3643
Applied a total of 156 rules in 453 ms. Remains 2087 /2165 variables (removed 78) and now considering 3643/3796 (removed 153) transitions.
// Phase 1: matrix 3643 rows 2087 cols
[2025-05-31 01:21:15] [INFO ] Computed 43 invariants in 24 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:21:18] [INFO ] Implicit Places using invariants in 2855 ms returned [180, 398]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 2858 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2085/2165 places, 3643/3796 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 2083 transition count 3641
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 2083 transition count 3641
Applied a total of 4 rules in 437 ms. Remains 2083 /2085 variables (removed 2) and now considering 3641/3643 (removed 2) transitions.
// Phase 1: matrix 3641 rows 2083 cols
[2025-05-31 01:21:18] [INFO ] Computed 41 invariants in 21 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:21:21] [INFO ] Implicit Places using invariants in 2445 ms returned []
[2025-05-31 01:21:21] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 01:21:22] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2025-05-31 01:21:53] [INFO ] Performed 930/2083 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 01:22:23] [INFO ] Performed 1484/2083 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 01:22:53] [INFO ] Performed 2076/2083 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 01:22:53] [INFO ] Implicit Places using invariants and state equation in 92523 ms returned []
Implicit Place search using SMT with State Equation took 94984 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2083/2165 places, 3641/3796 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 98732 ms. Remains : 2083/2165 places, 3641/3796 transitions.
[2025-05-31 01:22:53] [INFO ] Flatten gal took : 69 ms
[2025-05-31 01:22:53] [INFO ] Flatten gal took : 87 ms
[2025-05-31 01:22:53] [INFO ] Input system was already deterministic with 3641 transitions.
[2025-05-31 01:22:54] [INFO ] Flatten gal took : 129 ms
[2025-05-31 01:22:54] [INFO ] Flatten gal took : 131 ms
[2025-05-31 01:22:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality15985171435198014019.gal : 20 ms
[2025-05-31 01:22:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality13683053952986662470.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/CTLCardinality15985171435198014019.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13683053952986662470.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 01:23:24] [INFO ] Flatten gal took : 103 ms
[2025-05-31 01:23:24] [INFO ] Applying decomposition
[2025-05-31 01:23:24] [INFO ] Flatten gal took : 81 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/graph2302723704932974336.txt' '-o' '/tmp/graph2302723704932974336.bin' '-w' '/tmp/graph2302723704932974336.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2302723704932974336.bin' '-l' '-1' '-v' '-w' '/tmp/graph2302723704932974336.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:23:24] [INFO ] Decomposing Gal with order
[2025-05-31 01:23:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:23:25] [INFO ] Removed a total of 3235 redundant transitions.
[2025-05-31 01:23:25] [INFO ] Flatten gal took : 477 ms
[2025-05-31 01:23:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 6240 labels/synchronizations in 179 ms.
[2025-05-31 01:23:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality17554719564809601962.gal : 21 ms
[2025-05-31 01:23:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality5573443989953157532.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/CTLCardinality17554719564809601962.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5573443989953157532.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.
[2025-05-31 01:23:55] [INFO ] Flatten gal took : 108 ms
[2025-05-31 01:23:55] [INFO ] Flatten gal took : 136 ms
[2025-05-31 01:23:56] [INFO ] Applying decomposition
[2025-05-31 01:23:56] [INFO ] Flatten gal took : 135 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/graph10625639364834962063.txt' '-o' '/tmp/graph10625639364834962063.bin' '-w' '/tmp/graph10625639364834962063.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10625639364834962063.bin' '-l' '-1' '-v' '-w' '/tmp/graph10625639364834962063.weights' '-q' '0' '-e' '0.001'
[2025-05-31 01:23:56] [INFO ] Decomposing Gal with order
[2025-05-31 01:23:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 01:23:56] [INFO ] Removed a total of 3386 redundant transitions.
[2025-05-31 01:23:56] [INFO ] Flatten gal took : 394 ms
[2025-05-31 01:23:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 2990 labels/synchronizations in 258 ms.
[2025-05-31 01:23:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality11747540219267025171.gal : 25 ms
[2025-05-31 01:23:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality10163542854029461161.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/CTLCardinality11747540219267025171.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10163542854029461161.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 14 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="CANConstruction-PT-040"
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 CANConstruction-PT-040, 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 r030-smll-174853813500193"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-040.tgz
mv CANConstruction-PT-040 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 ;